Logs: freenode/#haskell
| 2021-04-29 23:55:52 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds) |
| 2021-04-29 23:56:13 | → | Tario joins (~Tario@200.119.187.173) |
| 2021-04-30 00:00:22 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-04-30 00:02:56 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) |
| 2021-04-30 00:03:30 | × | Bigcheese quits (~quassel@unaffiliated/bigcheese) (Ping timeout: 258 seconds) |
| 2021-04-30 00:03:31 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:6972:4f4b:800a:5969) (Ping timeout: 248 seconds) |
| 2021-04-30 00:03:56 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 00:05:47 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-04-30 00:05:47 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-04-30 00:06:14 | → | frobnicator joins (~frobnicat@185-227-75-147.dsl.cambrium.nl) |
| 2021-04-30 00:07:10 | <DigitalKiwi> | ok so i can't find the one i want and i'm not even sure it's a smbc one anyway but lol https://pics.conservativememes.com/after-the-robot-uprising-was-put-down-we-hunted-down-42001756.png |
| 2021-04-30 00:08:38 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-04-30 00:12:42 | × | puke quits (~vroom@217.138.252.196) (Quit: puke) |
| 2021-04-30 00:13:18 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-30 00:14:33 | <monochrom> | It's https://www.smbc-comics.com/comic/the-program |
| 2021-04-30 00:15:30 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:3bb8:341c:5ed0:c138) |
| 2021-04-30 00:15:34 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-04-30 00:19:53 | → | nf joins (~n@monade.li) |
| 2021-04-30 00:19:53 | × | acowley quits (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Read error: Connection reset by peer) |
| 2021-04-30 00:21:25 | <geekosaur> | every butlerian jihad has its tleilax… |
| 2021-04-30 00:21:35 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-30 00:23:17 | → | acowley joins (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 2021-04-30 00:26:12 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-30 00:26:14 | × | Tario quits (~Tario@200.119.187.173) (Read error: Connection reset by peer) |
| 2021-04-30 00:30:14 | <sm[m]> | yow, good comic |
| 2021-04-30 00:30:26 | × | nineonin_ quits (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 2021-04-30 00:30:34 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-30 00:35:01 | × | bennofs__ quits (~quassel@dynamic-089-014-017-218.89.14.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2021-04-30 00:35:39 | → | bennofs_ joins (~quassel@x4dbf8c0e.dyn.telefonica.de) |
| 2021-04-30 00:35:47 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 00:36:43 | sm[m] | reviews "tleilax" and falls down a deep rabbit hole |
| 2021-04-30 00:36:51 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-cinqhqsiyvsglyzn) (Quit: Connection closed for inactivity) |
| 2021-04-30 00:37:30 | geekosaur | should've said "bene tleilax" |
| 2021-04-30 00:37:49 | <sm[m]> | I'm impressed it's on the main Wikipedia too |
| 2021-04-30 00:37:54 | <geekosaur> | not that that necessarily will help; "dune" got rather _big_ |
| 2021-04-30 00:38:47 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-04-30 00:39:19 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b95722c5bb32012e463b2.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2021-04-30 00:40:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-30 00:40:48 | <geekosaur> | lookslike I confused them with Ix anyway |
| 2021-04-30 00:40:58 | <geekosaur> | thought they both dealt in secret tech |
| 2021-04-30 00:41:32 | → | argento joins (~argent0@168.227.97.34) |
| 2021-04-30 00:41:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-30 00:47:28 | → | Bigcheese joins (~quassel@unaffiliated/bigcheese) |
| 2021-04-30 00:48:00 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-30 00:49:48 | × | xsperry quits (~as@unaffiliated/xsperry) () |
| 2021-04-30 00:51:45 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 2021-04-30 00:52:11 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-30 00:57:19 | × | chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 2021-04-30 00:57:41 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-30 00:59:59 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-04-30 01:01:00 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-30 01:02:02 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 2021-04-30 01:04:01 | × | Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-04-30 01:04:16 | <jackdk> | I have a situation where two records in the same module have a common field name. How can I identify which record type I want to extract from? |
| 2021-04-30 01:04:38 | → | Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-04-30 01:05:58 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 2021-04-30 01:08:01 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-04-30 01:09:25 | × | vk3wtf_ quits (~doc@61.68.250.44) (Quit: WeeChat 3.0.1) |
| 2021-04-30 01:09:52 | → | pfurla joins (~pfurla@185.108.105.76) |
| 2021-04-30 01:09:53 | → | vk3wtf joins (~doc@61.68.250.44) |
| 2021-04-30 01:10:13 | × | ep1ctetus_ quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-04-30 01:11:10 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 260 seconds) |
| 2021-04-30 01:11:31 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-04-30 01:11:52 | × | pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-30 01:12:38 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-04-30 01:13:45 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-30 01:15:02 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-30 01:16:22 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-rueswbcyoxegdjny) |
| 2021-04-30 01:18:48 | × | Qwerky_ quits (~qwerky@37.168.128.229) (Remote host closed the connection) |
| 2021-04-30 01:19:34 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-30 01:19:52 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-30 01:22:21 | <sm[m]> | geekosaur: ahh, that makes more sense |
| 2021-04-30 01:22:43 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-30 01:22:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 01:22:56 | <geekosaur> | it's been a few years since I read it and I kinda gave up on sequel-mania |
| 2021-04-30 01:22:59 | <sm[m]> | jackdk: I don't think that module will compile, eh ? |
| 2021-04-30 01:23:14 | <geekosaur> | I was thinking lens |
| 2021-04-30 01:23:39 | <geekosaur> | which can use typeclasses to do that, but in that case only one should be able to typecheck |
| 2021-04-30 01:26:06 | <geekosaur> | that, or they've done data Foo = Foo1 {record description 1} | Foo2 {record description 2}, but then there's no distinct type |
| 2021-04-30 01:28:45 | → | jgt joins (~jgt@88.225.221.135) |
| 2021-04-30 01:28:46 | → | Qwerky joins (~qwerky@37.168.128.229) |
| 2021-04-30 01:31:08 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-30 01:32:35 | × | EricYuzo quits (~EricYuzo@195.140.213.38) (Remote host closed the connection) |
| 2021-04-30 01:33:17 | × | Qwerky quits (~qwerky@37.168.128.229) (Ping timeout: 260 seconds) |
| 2021-04-30 01:33:42 | × | jgt quits (~jgt@88.225.221.135) (Ping timeout: 265 seconds) |
| 2021-04-30 01:34:39 | <zzz> | i like this one: https://toggl.com/blog/kill-dragon-comic |
| 2021-04-30 01:35:52 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 2021-04-30 01:37:08 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 01:37:21 | <sm[m]> | :) |
| 2021-04-30 01:39:00 | <monochrom> | The extension DuplicateRecordFields allows two types to have the same field name. However, you need types to disambiguate selectors. |
| 2021-04-30 01:39:02 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-04-30 01:39:23 | <monochrom> | Hey let me make that more punny. |
| 2021-04-30 01:39:27 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-30 01:39:32 | <monochrom> | You need types to select selectors! |
| 2021-04-30 01:39:43 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-30 01:41:35 | <jackdk> | monochrom: tyvm |
| 2021-04-30 01:41:43 | × | xff0x quits (~xff0x@2001:1a81:524d:ea00:4bc5:b0ea:c9c9:30a8) (Ping timeout: 276 seconds) |
| 2021-04-30 01:43:04 | → | xff0x joins (~xff0x@2001:1a81:5283:5b00:a859:aa60:21e:361d) |
| 2021-04-30 01:43:13 | <monochrom> | See the GHC user's guide for examples. There is actually a corner case that intuitively should work but doesn't. I don't understand it either, it's pretty weird. |
| 2021-04-30 01:43:21 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
All times are in UTC.