Logs: freenode/#haskell
| 2021-04-09 03:19:33 | × | aerona quits (~aerona@2600:6c54:4600:f300:ec35:c665:ee7f:e84a) (Quit: Leaving) |
| 2021-04-09 03:20:45 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-09 03:22:34 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:285a:fb73:b36f:23fa) (Remote host closed the connection) |
| 2021-04-09 03:37:46 | × | fissureman quits (~quassel@c-73-201-159-163.hsd1.dc.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-09 03:38:36 | → | carlomagno joins (~cararell@148.87.23.11) |
| 2021-04-09 03:39:42 | → | hexreel joins (~hr@2600:1700:28e2:14d0:f988:ad11:6604:9d7c) |
| 2021-04-09 03:40:04 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-eacnnlwpubqgsxmt) (Quit: Connection closed for inactivity) |
| 2021-04-09 03:43:54 | <gnumonic> | I have a style question: Is it frowned upon to mix and match >>= and do notation? Or, is there any norm for when to use one or the other? I realized that I do a lot of 'f something >>= \case' inside of do blocks |
| 2021-04-09 03:44:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-09 03:48:28 | × | alx741 quits (~alx741@181.196.68.139) (Quit: alx741) |
| 2021-04-09 03:50:56 | × | carlomagno quits (~cararell@148.87.23.11) (Quit: Leaving.) |
| 2021-04-09 03:55:20 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:7439:ab2d:1830:49b5) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-09 03:57:25 | <glguy> | When I'm mixing with do-notation I'm more likely to use =<< treating it like a variant of function application |
| 2021-04-09 04:00:21 | → | Alleria joins (~textual@2603-7000-3040-0000-51d8-5ed8-3199-01b0.res6.spectrum.com) |
| 2021-04-09 04:00:44 | Alleria | is now known as Guest99161 |
| 2021-04-09 04:01:34 | × | dinciorip quits (~dincio@5.170.124.181) (Quit: WeeChat 3.1) |
| 2021-04-09 04:04:35 | → | raym joins (~ray@45.64.220.116) |
| 2021-04-09 04:04:43 | × | Guest99161 quits (~textual@2603-7000-3040-0000-51d8-5ed8-3199-01b0.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-04-09 04:05:18 | → | raym_ joins (~ray@45.64.220.116) |
| 2021-04-09 04:06:08 | × | raym_ quits (~ray@45.64.220.116) (Client Quit) |
| 2021-04-09 04:06:27 | → | raym_ joins (~ray@45.64.220.116) |
| 2021-04-09 04:06:51 | × | raym_ quits (~ray@45.64.220.116) (Client Quit) |
| 2021-04-09 04:09:28 | → | raym_ joins (~ray@45.64.220.116) |
| 2021-04-09 04:10:04 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-04-09 04:11:14 | <wroathe> | Have any of you read through Typing Haskell in Haskell and do you remember any of the details of the paper? I'm seeing something odd with one of the functions they've defined, and I wanted to verify if it is a bug or not. |
| 2021-04-09 04:12:03 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-04-09 04:12:46 | <wroathe> | Specifically his implementation of adding an instance to a class seems to append a new entry for a class declaration with the new instance, instead of "modifying" the existing class declaration in the collection |
| 2021-04-09 04:13:26 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-09 04:14:06 | <wroathe> | Which I suppose might be correct if the goal is to model a list of mutations on class declarations, but I don't think that was specifically the goal, and the collection itself supports looking up a class declaration by unique ID (which is semantically odd if the collection can contain multiple class declarations with that ID) |
| 2021-04-09 04:16:42 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-09 04:17:41 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-09 04:18:43 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-09 04:18:47 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:cde1:2c3d:19e0:545) (Ping timeout: 258 seconds) |
| 2021-04-09 04:19:15 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-04-09 04:19:44 | <wroathe> | The relevant parts of this are https://gist.github.com/JustinChristensen/7929109c10134471c0b2ab4293c195eb#file-thih-hs-L327-L333 and https://gist.github.com/JustinChristensen/7929109c10134471c0b2ab4293c195eb#file-thih-hs-L398 |
| 2021-04-09 04:23:01 | × | raym_ quits (~ray@45.64.220.116) (Quit: leaving) |
| 2021-04-09 04:23:24 | <wroathe> | I added the output I'm seeing here: https://gist.github.com/JustinChristensen/7929109c10134471c0b2ab4293c195eb#file-show-output-txt-L17. The last line is a list of class names. As you can see, after adding an instance of Ord there's now two "Ord" entries in the list |
| 2021-04-09 04:24:09 | <wroathe> | And this is the paper: https://web.cecs.pdx.edu/~mpj/thih/thih.pdf (Sorry for the spam) |
| 2021-04-09 04:24:33 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:cde1:2c3d:19e0:545) |
| 2021-04-09 04:25:40 | × | hexreel quits (~hr@2600:1700:28e2:14d0:f988:ad11:6604:9d7c) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-04-09 04:26:54 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-09 04:28:48 | × | raym quits (~ray@45.64.220.116) (Remote host closed the connection) |
| 2021-04-09 04:33:47 | <wroathe> | Oh, you know what... He's taking advantage of the fact that lookup will find the most recent declaration |
| 2021-04-09 04:34:14 | <wroathe> | This guy's a mad scientist. You can ignore my question. |
| 2021-04-09 04:34:24 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:d3b2) |
| 2021-04-09 04:35:11 | × | shailangsa quits (~shailangs@host86-186-133-58.range86-186.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2021-04-09 04:38:54 | → | Tario joins (~Tario@199.58.83.9) |
| 2021-04-09 04:39:53 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-04-09 04:39:54 | × | Tario quits (~Tario@199.58.83.9) (Read error: Connection reset by peer) |
| 2021-04-09 04:40:32 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-09 04:42:05 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-09 04:44:02 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-09 04:46:43 | × | mmmattyx quits (uid17782@gateway/web/irccloud.com/x-ifgqqwhegwxcynjh) (Quit: Connection closed for inactivity) |
| 2021-04-09 04:47:43 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-09 04:48:55 | × | mach1speed quits (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-04-09 04:49:17 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds) |
| 2021-04-09 04:49:18 | <bradparker> | laudiacay: I think there are loads of these now (lens tutorials are the new monad tutorials they say) but I sort of wrote out all my thoughts when trying to understand lenses https://bradparker.com/posts/lets-learn-about-lenses. I can't say it'll be of any help, but you never know. |
| 2021-04-09 04:49:54 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-hfpmxlwbhgshcyel) (Quit: Connection closed for inactivity) |
| 2021-04-09 04:50:48 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:cde4:48e7:42b3:a06c) |
| 2021-04-09 04:52:18 | × | laudiacay quits (~laudiacay@tjctf/organizer/laudiacay) (Ping timeout: 240 seconds) |
| 2021-04-09 04:53:40 | → | John69 joins (b7ab6c36@183.171.108.54) |
| 2021-04-09 04:53:42 | samebchase-6 | is now known as samebchase- |
| 2021-04-09 04:53:48 | <John69> | https://www.ebay.com/itm/333952068836 |
| 2021-04-09 04:53:50 | ← | John69 parts (b7ab6c36@183.171.108.54) () |
| 2021-04-09 04:55:20 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-09 04:58:05 | → | shailangsa joins (~shailangs@host86-185-98-61.range86-185.btcentralplus.com) |
| 2021-04-09 04:59:00 | → | laudiacay joins (~laudiacay@67.176.215.84) |
| 2021-04-09 04:59:23 | laudiacay | is now known as Guest182 |
| 2021-04-09 05:04:58 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-04-09 05:05:33 | × | eacameron quits (uid256985@gateway/web/irccloud.com/x-dcmuyvkojmhnusok) (Quit: Connection closed for inactivity) |
| 2021-04-09 05:18:04 | × | mrchampion quits (~mrchampio@38.18.109.23) (Remote host closed the connection) |
| 2021-04-09 05:25:01 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:cde4:48e7:42b3:a06c) (Remote host closed the connection) |
| 2021-04-09 05:25:36 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-fyuhqehxjravomym) |
| 2021-04-09 05:28:18 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-09 05:28:26 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-09 05:29:22 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:cde4:48e7:42b3:a06c) |
| 2021-04-09 05:33:02 | → | Kaynex joins (689e1f05@104.158.31.5) |
| 2021-04-09 05:36:13 | → | graf_blutwurst joins (~user@2001:171b:226e:adc0:e87b:2aba:9c97:5f75) |
| 2021-04-09 05:38:32 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:cde4:48e7:42b3:a06c) () |
| 2021-04-09 05:41:10 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-09 05:49:24 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-09 05:52:52 | × | leifm_ quits (~leifm@dawn.whatbox.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-09 05:53:20 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-09 05:54:39 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 268 seconds) |
| 2021-04-09 05:56:56 | × | Lycurgus quits (~niemand@98.4.118.65) (Quit: Exeunt) |
| 2021-04-09 05:57:03 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-09 05:57:12 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2021-04-09 05:59:11 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-09 05:59:19 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-09 05:59:51 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-09 06:00:07 | → | Alleria joins (~textual@2603-7000-3040-0000-51d8-5ed8-3199-01b0.res6.spectrum.com) |
| 2021-04-09 06:00:31 | Alleria | is now known as Guest89265 |
| 2021-04-09 06:00:32 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-09 06:00:48 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-09 06:03:18 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-04-09 06:04:34 | → | plutoniix joins (~q@184.82.194.168) |
| 2021-04-09 06:04:34 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-09 06:04:35 | × | Guest89265 quits (~textual@2603-7000-3040-0000-51d8-5ed8-3199-01b0.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2021-04-09 06:06:40 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-09 06:07:27 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
All times are in UTC.