Logs: freenode/#haskell
| 2021-04-13 00:45:31 | × | __minoru__shirae quits (~shiraeesh@109.166.56.189) (Ping timeout: 252 seconds) |
| 2021-04-13 00:45:44 | <DigitalKiwi> | edwardk: who? ;) |
| 2021-04-13 00:46:21 | <DigitalKiwi> | edwardk: even on the occassions that i remember there is a third author i don't remember the name... |
| 2021-04-13 00:46:40 | × | dariof4 quits (~dario@217.171.72.98) (Quit: WeeChat 3.1) |
| 2021-04-13 00:46:47 | × | HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-04-13 00:46:59 | <Axman6> | Turns out that Real World HAskell leads to disappearing into the Faceborg |
| 2021-04-13 00:47:34 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-04-13 00:49:02 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-13 00:50:15 | <DigitalKiwi> | ski: see that right there is that why python doesn't have TCO. all of those words that i know a few of... |
| 2021-04-13 00:51:38 | <ski> | i could try to elaborate, if there's any particular ones you're wondering about |
| 2021-04-13 00:52:25 | <ski> | (not sure about what the lack of TCO (a misnomer) in Python has to do with the above, though) |
| 2021-04-13 00:54:38 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-13 00:55:28 | <ski> | (sometimes people put forth the argument that proper tail calls interfere with (traditional procedural) debugging. however, i've not seen anyone complain about not being able to see in a stack trace all the previous iterations of a loop (whose execution hasn't ended yet), so i consider this argument to be specious, or at least not sufficiently taking the relevant issues into account) |
| 2021-04-13 00:56:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-13 00:56:28 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-13 00:57:25 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-13 00:58:05 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-04-13 00:59:49 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection) |
| 2021-04-13 01:00:09 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-04-13 01:00:34 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-13 01:02:19 | → | Guest_88 joins (708d802a@112-141-128-42.sta.dodo.net.au) |
| 2021-04-13 01:05:26 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-zldwlxmsftsxcrzs) |
| 2021-04-13 01:06:11 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2021-04-13 01:08:57 | → | Codaraxis_ joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 2021-04-13 01:10:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-13 01:10:28 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-13 01:11:22 | × | Guest_88 quits (708d802a@112-141-128-42.sta.dodo.net.au) (Quit: Connection closed) |
| 2021-04-13 01:13:06 | × | Codaraxis__ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 268 seconds) |
| 2021-04-13 01:14:59 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-13 01:16:28 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:d34f) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-13 01:19:56 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-13 01:20:59 | × | xff0x quits (~xff0x@2001:1a81:52af:1400:ec8a:b59a:161d:e7ba) (Ping timeout: 260 seconds) |
| 2021-04-13 01:22:50 | → | xff0x joins (~xff0x@2001:1a81:52e3:ed00:5af0:6fcf:3010:c4d9) |
| 2021-04-13 01:24:39 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-04-13 01:25:20 | × | krkini quits (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 2021-04-13 01:25:32 | × | wopas32 quits (uid384704@gateway/web/irccloud.com/x-nsunqoqlyntbwalw) (Quit: Connection closed for inactivity) |
| 2021-04-13 01:26:04 | × | mud quits (~mud@unaffiliated/kadoban) (Quit: bye) |
| 2021-04-13 01:26:37 | → | kini joins (~kini@unaffiliated/kini) |
| 2021-04-13 01:27:20 | × | cafce25_ quits (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-04-13 01:28:20 | → | Benzi-Junior joins (~BenziJuni@dsl-149-64-251.hive.is) |
| 2021-04-13 01:28:23 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-13 01:28:39 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-13 01:29:58 | <DigitalKiwi> | ski: yeah the debugging argument (GVR) is bs. always was. i think it's a red herring. especially considering how bad the python error messages are that they find acceptable. always seemed more like a "I don't understand this thing but I can't let them know that" |
| 2021-04-13 01:30:15 | <DigitalKiwi> | (GVR) gave* |
| 2021-04-13 01:30:28 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-13 01:31:27 | <DigitalKiwi> | https://twitter.com/haskellhutt/status/1308076394417655820 |
| 2021-04-13 01:32:06 | <monochrom> | How did Hutton manage to call himself haskellhutt :) |
| 2021-04-13 01:33:01 | → | APic joins (apic@apic.name) |
| 2021-04-13 01:33:03 | → | mud joins (~mud@unaffiliated/kadoban) |
| 2021-04-13 01:33:29 | <monochrom> | Sounds like violin gang vs piano gang |
| 2021-04-13 01:33:32 | <DigitalKiwi> | not understanding a thing is fine but sometimes it's really hard for people to allow for the possibility that they are wrong |
| 2021-04-13 01:34:22 | <DigitalKiwi> | odersky did that too |
| 2021-04-13 01:36:11 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-13 01:37:21 | <monochrom> | Perhaps not, I guess violin is difficult from the beginning to the end. |
| 2021-04-13 01:37:24 | <DigitalKiwi> | that* not understand a thing but attempt to convince people otherwise |
| 2021-04-13 01:37:59 | <DigitalKiwi> | ...and robert martin |
| 2021-04-13 01:38:10 | × | dan64- quits (~dan64@dannyadam.com) (Quit: ZNC - http://znc.in) |
| 2021-04-13 01:38:12 | × | Arahael quits (~arahael@203.221.197.144) (Ping timeout: 240 seconds) |
| 2021-04-13 01:38:13 | <DigitalKiwi> | hmm i'm starting to see a pattern |
| 2021-04-13 01:38:33 | → | dan64 joins (~dan64@dannyadam.com) |
| 2021-04-13 01:39:33 | × | poscat quits (~poscat@114.245.106.173) (Ping timeout: 240 seconds) |
| 2021-04-13 01:45:28 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-13 01:46:21 | → | Arahael joins (~arahael@123-243-38-74.tpgi.com.au) |
| 2021-04-13 01:46:28 | × | cansis quits (uid90033@gateway/web/irccloud.com/x-ifsukysjwkgufywd) (Quit: Connection closed for inactivity) |
| 2021-04-13 01:49:29 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-nfhjdcxtvlbhsvti) (Quit: Connection closed for inactivity) |
| 2021-04-13 01:49:48 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-13 01:50:54 | → | drbean_ joins (~drbean@TC210-63-209-98.static.apol.com.tw) |
| 2021-04-13 01:52:02 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:d34f) |
| 2021-04-13 01:52:10 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-13 01:52:27 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-13 01:53:09 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:d34f) (Client Quit) |
| 2021-04-13 01:53:43 | × | tmciver quits (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 252 seconds) |
| 2021-04-13 01:55:43 | → | tmciver joins (~tmciver@cpe-172-101-40-226.maine.res.rr.com) |
| 2021-04-13 01:55:59 | <maralorn> | wz1000: I actually chose that solution exactly because I want every error to bubble up. |
| 2021-04-13 01:56:17 | <maralorn> | Have been bitten to much by a crucial worker thread silently dying. |
| 2021-04-13 01:57:10 | <maralorn> | But of course I would like to do that without building up pointers to already exited threads in memory. |
| 2021-04-13 01:58:06 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-13 02:00:03 | → | __minoru__shirae joins (~shiraeesh@109.166.56.189) |
| 2021-04-13 02:00:06 | → | Alleria joins (~textual@2603-7000-3040-0000-61e5-3b09-ada8-75b7.res6.spectrum.com) |
| 2021-04-13 02:00:30 | Alleria | is now known as Guest26121 |
| 2021-04-13 02:00:57 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds) |
| 2021-04-13 02:01:55 | <ski> | DigitalKiwi : .. yea :/ |
| 2021-04-13 02:02:02 | <ski> | (who's Robert Martin ?) |
| 2021-04-13 02:03:06 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Remote host closed the connection) |
| 2021-04-13 02:03:26 | <DigitalKiwi> | green orb |
| 2021-04-13 02:03:34 | × | Jajik quits (xchlup2@gateway/shell/fi.muni.cz/x-ynaunapgbwfqheim) (Quit: Ping timeout (120 seconds)) |
| 2021-04-13 02:03:49 | → | Jajik joins (xchlup2@gateway/shell/fi.muni.cz/x-dnykbukmeewwqznd) |
| 2021-04-13 02:04:03 | <DigitalKiwi> | Clean Code |
| 2021-04-13 02:04:19 | × | Guest26121 quits (~textual@2603-7000-3040-0000-61e5-3b09-ada8-75b7.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-04-13 02:04:24 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-04-13 02:05:49 | × | lawid quits (~quassel@ip5b41869c.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2021-04-13 02:06:16 | <DigitalKiwi> | https://twitter.com/jdan/status/1305170088304300032 lolol |
| 2021-04-13 02:06:46 | × | __minoru__shirae quits (~shiraeesh@109.166.56.189) (Ping timeout: 268 seconds) |
| 2021-04-13 02:06:52 | <ski> | <https://en.wikipedia.org/wiki/Robert_C._Martin>, i take it |
| 2021-04-13 02:06:59 | <glguy> | It doesn't seem obvious to me that not having an implicit tail call optimization is a misfeature |
| 2021-04-13 02:07:08 | <glguy> | not having it and having an explicit tail call both seem valid |
| 2021-04-13 02:07:30 | <glguy> | certainly not something that merits insulting the person making the tradeoff |
| 2021-04-13 02:07:30 | <DigitalKiwi> | that was the first one that popped up in my browser history for 'unclebob' |
| 2021-04-13 02:08:52 | <ski> | having it as an optimization is rather meh, i think |
| 2021-04-13 02:09:45 | DigitalKiwi | probably meant TCE not TCO if that makes a difference |
All times are in UTC.