IRCBrowse

2021/03/19

2021-03-19 00:00:23 +0100AlleriaGuest217
2021-03-19 00:01:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-19 00:02:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 00:02:22 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Quit: WeeChat 2.9)
2021-03-19 00:03:57 +0100stree(~stree@68.36.8.116) (Ping timeout: 256 seconds)
2021-03-19 00:04:27 +0100 <monochrom> This subtlety is all implied by the Haskell Report. One clause says MonoN bottom = bottom. Another clause says seq bottom () = bottom, so MonoN bottom is included. Lastly, the pattern matching clauses have a corner case for "(case bottom of MonoN pat -> e) = (case bottom of pat -> e)" but my pat is _
2021-03-19 00:11:20 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-19 00:12:26 +0100Tario(~Tario@201.192.165.173)
2021-03-19 00:13:25 +0100coot(~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-19 00:13:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-19 00:13:53 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 00:14:32 +0100motersen(~user@2001-4dd1-d88a-0-5338-d0f4-6eda-2a0f.ipv6dyn.netcologne.de) (Ping timeout: 240 seconds)
2021-03-19 00:14:53 +0100hackagekempe 0.2.0.0 - Kempe compiler https://hackage.haskell.org/package/kempe-0.2.0.0 (vmchale)
2021-03-19 00:15:54 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-19 00:15:57 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Remote host closed the connection)
2021-03-19 00:16:59 +0100stree(~stree@68.36.8.116)
2021-03-19 00:17:56 +0100thc202(~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds)
2021-03-19 00:18:52 +0100xff0x(~xff0x@2001:1a81:520b:5100:334b:8a6e:b179:1c97) (Ping timeout: 260 seconds)
2021-03-19 00:19:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-19 00:19:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 00:20:17 +0100xff0x(~xff0x@2001:1a81:522e:8700:e7a1:c2d3:2b7b:9821)
2021-03-19 00:24:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-03-19 00:25:51 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 00:29:42 +0100canta(~canta@cvm0.d5k.one) (Quit: WeeChat 2.8)
2021-03-19 00:30:51 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8)
2021-03-19 00:31:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-03-19 00:31:26 +0100SegFaultAX(SegFaultAX@unaffiliated/segfaultax)
2021-03-19 00:31:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 00:34:21 +0100d34df00d(~d34df00d@104-14-27-213.lightspeed.austtx.sbcglobal.net)
2021-03-19 00:35:00 +0100Guest5530(beed0de4@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.228) (Quit: Connection closed)
2021-03-19 00:35:26 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-19 00:37:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-19 00:37:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 00:38:00 +0100kupi(uid212005@gateway/web/irccloud.com/x-svypwsrujkkhxdfd) (Quit: Connection closed for inactivity)
2021-03-19 00:39:53 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-03-19 00:40:51 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-03-19 00:42:37 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-03-19 00:43:03 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-03-19 00:43:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 00:43:27 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2021-03-19 00:47:11 +0100kderme(4fa6552d@ppp079166085045.access.hol.gr)
2021-03-19 00:48:54 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net) (Ping timeout: 260 seconds)
2021-03-19 00:49:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-19 00:49:10 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-03-19 00:49:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 00:51:28 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-19 00:53:39 +0100aplainze1akind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-03-19 00:53:56 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 244 seconds)
2021-03-19 00:54:32 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-19 00:54:59 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 00:58:35 +0100zebrag(~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-19 00:58:55 +0100zebrag(~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr)
2021-03-19 00:59:10 +0100Hi-Angel(~constanti@broadband-188-32-15-112.ip.moscow.rt.ru) (Ping timeout: 260 seconds)
2021-03-19 00:59:57 +0100redmp(~redmp@172.58.30.211) (Ping timeout: 264 seconds)
2021-03-19 00:59:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-19 01:00:47 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 01:01:51 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-19 01:02:08 +0100acidjnk_new(~acidjnk@p200300d0c72b9511759421c9ddfcc58f.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-03-19 01:02:20 +0100canta(~canta@cvm0.d5k.one)
2021-03-19 01:03:44 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds)
2021-03-19 01:03:48 +0100epicte7us(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 260 seconds)
2021-03-19 01:04:01 +0100cosimone(~user@93-47-228-249.ip115.fastwebnet.it) (Ping timeout: 256 seconds)
2021-03-19 01:05:54 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-19 01:07:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 01:07:26 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-03-19 01:08:56 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 240 seconds)
2021-03-19 01:09:11 +0100SolidusRiver(~fuag1@174.127.249.180)
2021-03-19 01:12:14 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-19 01:12:53 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 01:12:57 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-19 01:14:29 +0100zzz(~zzz@2a03:b0c0:3:d0::3095:3001)
2021-03-19 01:14:52 +0100zzzGuest38849
2021-03-19 01:16:35 +0100sgibber2018(d055ed90@208.85.237.144) (Quit: Connection closed)
2021-03-19 01:18:02 +0100Guest26442(~zzz@2a03:b0c0:3:d0::3095:3001) (Ping timeout: 264 seconds)
2021-03-19 01:18:33 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-19 01:18:49 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 01:19:43 +0100falsifia1falsifian
2021-03-19 01:22:33 +0100Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection)
2021-03-19 01:23:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-19 01:24:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 01:25:20 +0100teardown(~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds)
2021-03-19 01:26:26 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-19 01:26:46 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-19 01:28:23 +0100Gurkenglas_(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds)
2021-03-19 01:28:49 +0100Synthetica(uid199651@gateway/web/irccloud.com/x-ircgkbilfzdxjhvn) (Quit: Connection closed for inactivity)
2021-03-19 01:29:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-19 01:30:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 01:30:39 +0100dhil(~dhil@80.208.56.181) (Ping timeout: 256 seconds)
2021-03-19 01:31:20 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-03-19 01:31:56 +0100teardown(~user@gateway/tor-sasl/mrush)
2021-03-19 01:32:13 +0100SolidusRiver(~fuag1@174.127.249.180) (Quit: Leaving)
2021-03-19 01:35:34 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-19 01:36:34 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 01:38:53 +0100hackagepersistent-mtl 0.2.1.0 - Monad transformer for the persistent API https://hackage.haskell.org/package/persistent-mtl-0.2.1.0 (brandonchinn178)
2021-03-19 01:41:04 +0100 <koz_> If I use http://hackage.haskell.org/package/primitive-0.7.1.0/docs/Data-Primitive-ByteArray.html#v:newByteA… taking care to specify the size as a multiple of Word size, will it be Word-aligned?
2021-03-19 01:41:25 +0100poscat(~poscat@123.112.148.153) (Ping timeout: 256 seconds)
2021-03-19 01:41:29 +0100poscat1(~poscat@2408:8207:4823:b150::1)
2021-03-19 01:41:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-19 01:42:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 01:42:49 +0100ntkr(uid491148@gateway/web/irccloud.com/x-grscyfuzvjfkwmna)
2021-03-19 01:44:30 +0100Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-03-19 01:45:48 +0100 <ephemient> koz_: I would expect so because the object header comes before it and I think that has to be word aligned, but I don't know if it's guaranteed anywhere
2021-03-19 01:46:09 +0100 <koz_> ephemient: I've asked in #ghc for clarification.
2021-03-19 01:46:15 +0100 <koz_> If anyone knows they would.
2021-03-19 01:47:42 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-19 01:48:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 01:52:13 +0100InsideBreeze(~manjaro-i@183.217.98.211) (Read error: Connection reset by peer)
2021-03-19 01:54:14 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-19 01:58:52 +0100conal(~conal@66.115.157.150) (Quit: Computer has gone to sleep.)
2021-03-19 02:07:37 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-19 02:08:42 +0100doom29(9d2df085@157.45.240.133)
2021-03-19 02:09:01 +0100doom29(9d2df085@157.45.240.133) (Client Quit)
2021-03-19 02:10:29 +0100maroloccio(~marolocci@pousada3ja.mma.com.br) (Quit: WeeChat 2.3)
2021-03-19 02:12:03 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-03-19 02:12:25 +0100whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-03-19 02:13:31 +0100whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-03-19 02:17:34 +0100 <Axman6> koz_: what're you playing with byte arrays for? I was also looking at them this morning...
2021-03-19 02:17:34 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2021-03-19 02:17:45 +0100 <koz_> Axman6: I'm writing a new back-end for text-ascii.
2021-03-19 02:18:04 +0100 <koz_> Also, Word# alignment has been confirmed, ephemient .
2021-03-19 02:18:08 +0100 <koz_> By Ben Gamari himself.
2021-03-19 02:18:09 +0100 <Axman6> ah nice. I'm doing a lot of thinking about text-utf8 :)
2021-03-19 02:20:23 +0100nfd(~nfd9001@2601:602:77f:1820:4d29:e851:1101:fd1c)
2021-03-19 02:20:31 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 02:22:00 +0100 <monochrom> lyxia: ohai I just randomly noticed you co-authored the paper "interaction trees: ... impure programs in Coq", and it's recently too, like just last year. Is it true that this is "simply" noticing that free monads are trees, especially eg "data PutGet r = ... | Get (Char -> PutGet) | ..." is a tree s.t. each path stands for a particular user session?
2021-03-19 02:22:17 +0100 <emmanuel_erc> So I've run into this frustrating case where compiling a module with a case statament casing on a GADT with 32 clauses, is taking both a long time and a lot of memory (several GBs)
2021-03-19 02:22:28 +0100 <emmanuel_erc> Has anyone ever run into a situation like this?
2021-03-19 02:22:40 +0100 <Axman6> D:
2021-03-19 02:22:55 +0100 <Axman6> that sounds unoptimal
2021-03-19 02:24:37 +0100 <monochrom> (I was entering "benjamin pierce advanced types and programming languages" into my university's library website in hope of locating a free online copy of AdvancedTaPL from our library. It came back with book reviews and then a lot of Pierce-coauthored papers.)
2021-03-19 02:24:56 +0100nfd(~nfd9001@2601:602:77f:1820:4d29:e851:1101:fd1c) (Ping timeout: 240 seconds)
2021-03-19 02:25:02 +0100stree(~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-03-19 02:25:46 +0100 <koz_> emmanuel_erc: I haven't seen this with GADTs, but I know large sums, products or records aren't wonderful with GHC.
2021-03-19 02:25:50 +0100 <Axman6> emmanuel_erc: do you have a minimal example?
2021-03-19 02:25:58 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-03-19 02:27:17 +0100 <emmanuel_erc> Axma6: Sure, I can produce that.
2021-03-19 02:35:39 +0100dramforever(~dram@unaffiliated/dramforever)
2021-03-19 02:36:46 +0100rajivr(uid269651@gateway/web/irccloud.com/x-qbpyohprirpsktei)
2021-03-19 02:36:46 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 02:37:10 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 02:37:53 +0100stree(~stree@68.36.8.116)
2021-03-19 02:38:07 +0100 <emmanuel_erc> Axman6: Here is my minimal example http://ix.io/2Tng
2021-03-19 02:38:55 +0100 <emmanuel_erc> I suppose I should have been more specific, I'm using dependent sums ala https://hackage.haskell.org/package/dependent-sum
2021-03-19 02:39:03 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-19 02:40:29 +0100 <Axman6> yeah that'd definitely not a minimal example, that's just a snippet of code. would be good to at least have syntax highlighting
2021-03-19 02:41:24 +0100Axman6is weary that the favicon is Rick Astley
2021-03-19 02:43:20 +0100xff0x(~xff0x@2001:1a81:522e:8700:e7a1:c2d3:2b7b:9821) (Ping timeout: 240 seconds)
2021-03-19 02:44:30 +0100xff0x(~xff0x@2001:1a81:522e:8700:ae9a:c4cb:63ce:6170)
2021-03-19 02:46:03 +0100kumo(~kumo@139.180.144.166) (Quit: WeeChat 2.9)
2021-03-19 02:47:21 +0100teardown(~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds)
2021-03-19 02:48:00 +0100 <emmanuel_erc> ah
2021-03-19 02:48:35 +0100 <emmanuel_erc> Axman6: I didn't want to post on pastebin.
2021-03-19 02:48:56 +0100 <emmanuel_erc> I guess I could post the entire case statement (it is LONG) as a gist.
2021-03-19 02:49:14 +0100conal(~conal@64.71.133.70)
2021-03-19 02:49:38 +0100conal(~conal@64.71.133.70) (Client Quit)
2021-03-19 02:52:34 +0100 <lyxia> monochrom: that's where the name comes from but the extra work is in formalizing the right notion of equality and dealing with nontermination in a total language.
2021-03-19 02:54:21 +0100 <monochrom> Ah, equality is a lot of work, yes.
2021-03-19 02:57:00 +0100 <emmanuel_erc> Axma6: Is this better? https://gist.github.com/emmanueldenloye/33d9751c66110d9f32a5f51f42a8d1c4
2021-03-19 02:58:29 +0100 <ephemient> emmanuel_erc: by minimal example something along the lines of https://stackoverflow.com/help/reprex is meant
2021-03-19 02:58:34 +0100zebrag(~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-19 02:58:43 +0100sh91(~sh9@softbank060116136158.bbtec.net)
2021-03-19 02:58:55 +0100zebrag(~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr)
2021-03-19 02:59:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 02:59:40 +0100sh91sh9
2021-03-19 03:00:04 +0100 <emmanuel_erc> Ok thanks ephemient
2021-03-19 03:00:32 +0100 <emmanuel_erc> This might take a little bit longer to produce. But I'll be back.
2021-03-19 03:00:48 +0100 <emmanuel_erc> And sorry for the spam I suppose.
2021-03-19 03:03:39 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 03:04:16 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 03:04:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-19 03:05:10 +0100darjeeling_(~darjeelin@122.245.217.128) (Ping timeout: 260 seconds)
2021-03-19 03:06:03 +0100toorevitimirp(~tooreviti@117.182.183.55)
2021-03-19 03:09:10 +0100psygate(~psygate@unaffiliated/psygate) (Read error: Connection reset by peer)
2021-03-19 03:09:56 +0100poscat1(~poscat@2408:8207:4823:b150::1) (Remote host closed the connection)
2021-03-19 03:11:44 +0100poscat(~poscat@2408:8207:4823:b150::1)
2021-03-19 03:13:40 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-ibeawnzzibcmilki) ()
2021-03-19 03:15:42 +0100 <siraben> monochrom: very nice
2021-03-19 03:15:53 +0100drbean(~drbean@TC210-63-209-13.static.apol.com.tw)
2021-03-19 03:15:57 +0100 <siraben> I wonder if there's a formalization of TAPL material in Coq or something
2021-03-19 03:16:31 +0100 <siraben> I found the usual proofs of soundness and preservation tedious as they added more and more language constructs
2021-03-19 03:16:46 +0100 <lyxia> siraben: https://www.seas.upenn.edu/~plclub/poplmark/
2021-03-19 03:18:43 +0100 <siraben> lyxia: oh, great!
2021-03-19 03:19:10 +0100sirabenhopes to get through all these references when he's done reviewing vol 1 & 2 of software foundations
2021-03-19 03:19:43 +0100dyeplexer(~lol@unaffiliated/terpin)
2021-03-19 03:21:07 +0100nfd(~nfd9001@c-73-225-42-170.hsd1.wa.comcast.net)
2021-03-19 03:21:58 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 260 seconds)
2021-03-19 03:22:28 +0100redmp(~redmp@172.58.35.162)
2021-03-19 03:24:33 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 256 seconds)
2021-03-19 03:26:52 +0100elusive(~Jeanne-Ka@static-198-54-134-37.cust.tzulo.com)
2021-03-19 03:29:58 +0100xff0x(~xff0x@2001:1a81:522e:8700:ae9a:c4cb:63ce:6170) (Ping timeout: 244 seconds)
2021-03-19 03:30:34 +0100Wuzzy(~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de) (Quit: Wuzzy)
2021-03-19 03:31:40 +0100willmoffat(~willmoffa@37.120.211.188) (Remote host closed the connection)
2021-03-19 03:31:42 +0100xff0x(~xff0x@2001:1a81:5242:1600:cb36:cbb0:c64a:920)
2021-03-19 03:32:44 +0100urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-03-19 03:32:49 +0100viluon(uid453725@gateway/web/irccloud.com/x-ghtyiurdwpejnnhv) (Quit: Connection closed for inactivity)
2021-03-19 03:36:26 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds)
2021-03-19 03:42:27 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 260 seconds)
2021-03-19 03:43:46 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-19 03:44:42 +0100conal(~conal@64.71.133.70)
2021-03-19 03:47:41 +0100unyu(~pyon@unaffiliated/pyon) (Quit: I remember I was told there's a new love that's born for each one that has died.)
2021-03-19 03:49:23 +0100 <Axman6> Came across this on Lobste.rs, and just reading the abstract I thought there could be some interesting applications to GHC... turns out they're way ahead of me https://drops.dagstuhl.de/opus/volltexte/2017/7273/
2021-03-19 03:49:38 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-19 03:49:45 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-03-19 03:54:22 +0100gitgoood(~gitgood@80-44-9-221.dynamic.dsl.as9105.com)
2021-03-19 03:55:57 +0100carlomagno(~cararell@148.87.23.7) (Quit: Leaving.)
2021-03-19 03:57:25 +0100gitgood(~gitgood@80-44-12-129.dynamic.dsl.as9105.com) (Ping timeout: 256 seconds)
2021-03-19 04:00:45 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-19 04:03:03 +0100conal(~conal@64.71.133.70)
2021-03-19 04:04:05 +0100FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-19 04:04:05 +0100finn_elijaGuest52584
2021-03-19 04:04:05 +0100FinnElijafinn_elija
2021-03-19 04:05:21 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-03-19 04:08:05 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-19 04:08:08 +0100Guest52584(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds)
2021-03-19 04:11:52 +0100MVQq(~anja@198.254.199.42) (Quit: q)
2021-03-19 04:12:27 +0100MarcelineVQ(~anja@198.254.199.42)
2021-03-19 04:13:02 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-19 04:13:09 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2021-03-19 04:13:16 +0100plutoniix(~q@184.82.212.50)
2021-03-19 04:13:29 +0100conal(~conal@64.71.133.70)
2021-03-19 04:16:43 +0100elusive(~Jeanne-Ka@static-198-54-134-37.cust.tzulo.com) (Quit: Leaving)
2021-03-19 04:17:58 +0100conal(~conal@64.71.133.70) (Ping timeout: 245 seconds)
2021-03-19 04:20:29 +0100alx741(~alx741@181.196.68.246) (Quit: alx741)
2021-03-19 04:21:28 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection)
2021-03-19 04:22:26 +0100poljar1(~poljar@93-139-44-107.adsl.net.t-com.hr) (Read error: Connection reset by peer)
2021-03-19 04:23:00 +0100epicte7us(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-19 04:23:12 +0100poljar1(~poljar@93-139-44-107.adsl.net.t-com.hr)
2021-03-19 04:24:26 +0100stree(~stree@68.36.8.116) (Excess Flood)
2021-03-19 04:24:58 +0100stree(~stree@68.36.8.116)
2021-03-19 04:26:21 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 264 seconds)
2021-03-19 04:29:27 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-19 04:33:02 +0100conal(~conal@64.71.133.70)
2021-03-19 04:34:02 +0100kderme(4fa6552d@ppp079166085045.access.hol.gr) (Ping timeout: 240 seconds)
2021-03-19 04:34:13 +0100mrchampion(~mrchampio@38.18.109.23) (Ping timeout: 245 seconds)
2021-03-19 04:34:19 +0100sm2n(~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Read error: Connection reset by peer)
2021-03-19 04:35:09 +0100MVQq(~anja@198.254.199.42)
2021-03-19 04:35:30 +0100sm2n(~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca)
2021-03-19 04:36:15 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 246 seconds)
2021-03-19 04:36:37 +0100Tario(~Tario@201.192.165.173)
2021-03-19 04:37:45 +0100MarcelineVQ(~anja@198.254.199.42) (Ping timeout: 264 seconds)
2021-03-19 04:37:47 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-03-19 04:39:36 +0100MVQq(~anja@198.254.199.42) (Quit: q)
2021-03-19 04:39:55 +0100forgottenone(~forgotten@176.42.16.24)
2021-03-19 04:40:08 +0100MarcelineVQ(~anja@198.254.199.42)
2021-03-19 04:40:38 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2021-03-19 04:43:29 +0100zyga(~zyga@139.28.218.148)
2021-03-19 04:49:54 +0100theDon(~td@muedsl-82-207-238-114.citykom.de) (Ping timeout: 246 seconds)
2021-03-19 04:52:01 +0100theDon(~td@muedsl-82-207-238-162.citykom.de)
2021-03-19 04:56:33 +0100nfd(~nfd9001@c-73-225-42-170.hsd1.wa.comcast.net) (Ping timeout: 246 seconds)
2021-03-19 04:59:58 +0100 <emmanuel_erc> Axman6: Here is a minimal example, hopefully. https://gist.github.com/emmanueldenloye/68767ab87827a5e048d4a9cecffa43b4. This compiles and runs and I assume you have a version of cabal that allows for cabal scripting.
2021-03-19 05:00:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 05:00:16 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-19 05:00:50 +0100 <emmanuel_erc> Of course, the compilation speed here is relatively fast because there are few cases. In the code that I showed previously (this is the example where compilation chokes) there are at least 30 cases to consider.
2021-03-19 05:01:10 +0100 <emmanuel_erc> Is there someway to alleviate the burden of the compiler?
2021-03-19 05:02:33 +0100guest316`(~user@49.5.6.87) (Ping timeout: 245 seconds)
2021-03-19 05:03:43 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-19 05:04:07 +0100Tario(~Tario@201.192.165.173)
2021-03-19 05:04:31 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 244 seconds)
2021-03-19 05:18:54 +0100shad0w_(a0ca254d@160.202.37.77)
2021-03-19 05:25:06 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-hqwyhalzcvtqolcp) (Quit: Connection closed for inactivity)
2021-03-19 05:25:06 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 05:25:07 +0100redmp(~redmp@172.58.35.162) (Quit: leaving)
2021-03-19 05:25:21 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 05:25:25 +0100ddellaco_(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-19 05:28:08 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds)
2021-03-19 05:32:36 +0100paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Ping timeout: 246 seconds)
2021-03-19 05:33:23 +0100jespada(~jespada@90.254.243.187) (Ping timeout: 245 seconds)
2021-03-19 05:34:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-19 05:34:30 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 260 seconds)
2021-03-19 05:36:32 +0100jespada(~jespada@90.254.243.187)
2021-03-19 05:37:44 +0100 <dramforever> Is https://gitlab.haskell.org down?
2021-03-19 05:41:47 +0100shad0w_(a0ca254d@160.202.37.77) (Quit: Connection closed)
2021-03-19 05:45:39 +0100 <ephemient> dramforever: seems like it, I can't get to it either
2021-03-19 05:45:56 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-03-19 05:48:12 +0100 <ephemient> emmanuel_erc: doesn't seem reproducible to me. I even cloned them to `data MinimalTag where MinimalTag_String1 ... MinimalTagFloat100` for 500 cases total, and my Cabal+run time went from 2 seconds to 3 seconds. maybe it's missing something?
2021-03-19 05:48:34 +0100 <ephemient> I wonder if you're running into something like https://mail.haskell.org/pipermail/ghc-devs/2018-March/015538.html though
2021-03-19 05:50:05 +0100teardown(~user@gateway/tor-sasl/mrush)
2021-03-19 05:51:33 +0100drbean(~drbean@TC210-63-209-13.static.apol.com.tw) (Ping timeout: 264 seconds)
2021-03-19 05:53:07 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 260 seconds)
2021-03-19 05:55:17 +0100bobweb(ac3a17ce@172.58.23.206)
2021-03-19 05:55:20 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 240 seconds)
2021-03-19 05:55:40 +0100forgottenone(~forgotten@176.42.16.24) (Quit: Konversation terminated!)
2021-03-19 05:58:30 +0100kashima(~sphone@2001:ee0:21c:3e3f:df30:800a:29fa:cd04)
2021-03-19 05:58:38 +0100zebrag(~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr) (Read error: Connection reset by peer)
2021-03-19 05:58:55 +0100zebrag(~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr)
2021-03-19 05:58:57 +0100jrqc(~rofl@96.78.87.197)
2021-03-19 06:00:58 +0100hexfive(~hexfive@50.35.83.177)
2021-03-19 06:01:18 +0100dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net) ()
2021-03-19 06:02:29 +0100tfl^(tfl@ip98-184-89-2.mc.at.cox.net)
2021-03-19 06:04:12 +0100dramforever(~dram@unaffiliated/dramforever) (Quit: Leaving)
2021-03-19 06:04:28 +0100 <emmanuel_erc> ephemient: Thanks for answering and showing me that thread.
2021-03-19 06:04:46 +0100 <emmanuel_erc> It seems like the only way to get past this strangeness is to turn off the pattern match checker
2021-03-19 06:04:54 +0100 <emmanuel_erc> This seems strange...maybe dangerous.
2021-03-19 06:06:01 +0100 <bobweb> Hi. I have this problem: https://paste.tomsmeding.com/9aXgZdwX Please help me to get my Functor instance to compile. Thank you.
2021-03-19 06:08:42 +0100 <ephemient> :t +v fmap
2021-03-19 06:08:43 +0100 <lambdabot> Functor f => (a -> b) -> f a -> f b
2021-03-19 06:08:54 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-19 06:09:38 +0100 <ephemient> hmm was there some way to get lambdabot/eval to explicitly print out the forall.?
2021-03-19 06:09:49 +0100zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-03-19 06:10:07 +0100 <bobweb> Sorry, that came from the ghci capture.
2021-03-19 06:10:41 +0100 <ephemient> in any case, bobweb. "how do i make the compiler understand that the function f should be (a -> a)" you can't, fmap :: forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b means that it has to work for all types a and b, not restricted to ones that you choose
2021-03-19 06:11:10 +0100zaquest(~notzaques@5.128.210.178)
2021-03-19 06:11:40 +0100 <bobweb> So it's impossible to instantiate Functor for a type (Pair a a) ?
2021-03-19 06:11:57 +0100 <ephemient> you don't have a type Pair a a, you have a type Pair a
2021-03-19 06:12:06 +0100 <ephemient> and it is possible, just not in the way you're thinking
2021-03-19 06:12:30 +0100 <bobweb> Sorry, type (Pair a) yes, data constructor (Pair a a).
2021-03-19 06:12:44 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-03-19 06:13:09 +0100 <bobweb> OK. Well, I'm a noob. Any suggestions?
2021-03-19 06:13:46 +0100 <ephemient> I don't know how to give a hint without spoiling the whole thing, and I think it would be more elucidating if you figured it out yourself...
2021-03-19 06:14:11 +0100 <bobweb> OK. Thanks.
2021-03-19 06:14:21 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2021-03-19 06:14:30 +0100 <ephemient> but what makes you want to use (f y)?
2021-03-19 06:15:32 +0100kashima(~sphone@2001:ee0:21c:3e3f:df30:800a:29fa:cd04) (Read error: Connection reset by peer)
2021-03-19 06:15:36 +0100 <bobweb> Because the function f has to apply to the last argument to satisfy kindedness
2021-03-19 06:16:27 +0100xff0x(~xff0x@2001:1a81:5242:1600:cb36:cbb0:c64a:920) (Ping timeout: 265 seconds)
2021-03-19 06:16:56 +0100xff0x(~xff0x@port-92-195-0-54.dynamic.as20676.net)
2021-03-19 06:17:01 +0100 <ephemient> of the type, but you're working with the values there
2021-03-19 06:18:04 +0100 <ephemient> it's totally legal to define data Pair a b = Pair b a, for example, and then Functor (Pair a) would have to fmap the *first* (b) part of the constructor
2021-03-19 06:18:29 +0100 <ephemient> perhaps give Pair (type) and Pair (data constructor) different names and you'll see?
2021-03-19 06:21:20 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-03-19 06:21:21 +0100 <bobweb> OK, but the exercise gives the data constructor parameters as a a not a b and trying to make them a b gives a variable not in scope error for the b.
2021-03-19 06:22:19 +0100forgottenone(~forgotten@176.42.16.24)
2021-03-19 06:24:34 +0100drbean(~drbean@TC210-63-209-220.static.apol.com.tw)
2021-03-19 06:25:38 +0100 <ephemient> Pair b (type) = Pair b b (value)
2021-03-19 06:25:48 +0100 <ephemient> how would you make that?
2021-03-19 06:25:48 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 06:25:58 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 06:26:06 +0100samebchase-5samebchase-
2021-03-19 06:26:28 +0100 <bobweb> data Pair b = Pair b b
2021-03-19 06:26:55 +0100 <bobweb> deriving (Eq, Show)
2021-03-19 06:27:31 +0100sm2n_(~sm2n@bras-base-hmtnon143hw-grc-11-65-95-103-225.dsl.bell.ca)
2021-03-19 06:28:03 +0100 <ephemient> ... my point's not getting across, hmm.
2021-03-19 06:28:10 +0100sm2n(~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Ping timeout: 260 seconds)
2021-03-19 06:28:19 +0100 <bobweb> Apologies.
2021-03-19 06:28:32 +0100 <ephemient> ok, different tack. how would you implement pure :: a -> Pair a?
2021-03-19 06:29:33 +0100 <bobweb> pure 5 = Pair 5 5
2021-03-19 06:29:57 +0100 <ephemient> right, you don't just put it in the last slot...
2021-03-19 06:30:30 +0100 <bobweb> OK, BRB
2021-03-19 06:30:56 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 240 seconds)
2021-03-19 06:32:35 +0100 <bobweb> Well, damn. OK, so = Pair (f x) (f y)
2021-03-19 06:32:35 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 06:32:48 +0100stree(~stree@68.36.8.116) (Ping timeout: 246 seconds)
2021-03-19 06:33:04 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 06:33:06 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-19 06:33:19 +0100 <bobweb> so the whole kindednes thing is irrelevant in this case.
2021-03-19 06:34:27 +0100jrqc(~rofl@96.78.87.197)
2021-03-19 06:34:51 +0100 <bobweb> or rather, it's not an issue because Pair a (type) is * -> *
2021-03-19 06:35:16 +0100epicte7us(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-03-19 06:35:27 +0100 <ephemient> a needs to be the last part of Pair :: * -> * (type), but that doesn't mean the same of Pair :: a -> a -> Pair a (value)
2021-03-19 06:37:07 +0100 <bobweb> Yes. Thank you for relieving my tunnel vision, ephemient: !
2021-03-19 06:37:42 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-03-19 06:41:26 +0100bobweb(ac3a17ce@172.58.23.206) (Quit: Connection closed)
2021-03-19 06:44:49 +0100openheimer(~death__@unaffiliated/death/x-3645061)
2021-03-19 06:46:23 +0100stree(~stree@68.36.8.116)
2021-03-19 06:55:39 +0100pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-03-19 06:56:28 +0100Gurkenglas_(~Gurkengla@unaffiliated/gurkenglas)
2021-03-19 06:57:16 +0100zebrag(~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-19 06:58:30 +0100Hi-Angel(~constanti@broadband-188-32-15-112.ip.moscow.rt.ru)
2021-03-19 06:58:56 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 240 seconds)
2021-03-19 06:59:57 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 265 seconds)
2021-03-19 07:00:36 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-19 07:02:02 +0100jrqc(~rofl@96.78.87.197)
2021-03-19 07:09:55 +0100openheimer(~death__@unaffiliated/death/x-3645061) (Quit: openheimer)
2021-03-19 07:12:33 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-03-19 07:15:33 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-19 07:21:52 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-19 07:26:32 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-03-19 07:30:48 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 07:31:18 +0100openheimer(~death__@unaffiliated/death/x-3645061)
2021-03-19 07:33:05 +0100knupfer(~Thunderbi@200116b82c36b500c400f0a7257bfe8e.dip.versatel-1u1.de)
2021-03-19 07:33:05 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 07:33:39 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 07:33:55 +0100Forkk(forkk@2600:3c00::f03c:91ff:fe84:de4d) (Ping timeout: 240 seconds)
2021-03-19 07:41:14 +0100Forkk(forkk@2600:3c00::f03c:91ff:fe84:de4d)
2021-03-19 07:42:25 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2021-03-19 07:43:45 +0100johannes(~johannes@b2b-37-24-119-189.unitymedia.biz)
2021-03-19 07:44:39 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-03-19 07:45:43 +0100Forkk(forkk@2600:3c00::f03c:91ff:fe84:de4d) (Ping timeout: 244 seconds)
2021-03-19 07:46:24 +0100Forkk(~forkk@li926-228.members.linode.com)
2021-03-19 07:52:44 +0100timCF(~i.tkachuk@m91-129-99-43.cust.tele2.ee) (Quit: leaving)
2021-03-19 07:56:24 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Remote host closed the connection)
2021-03-19 07:57:00 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8)
2021-03-19 07:58:08 +0100lep_lep-delete
2021-03-19 08:00:29 +0100malumore(~malumore@151.62.118.248)
2021-03-19 08:01:13 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Ping timeout: 244 seconds)
2021-03-19 08:01:46 +0100howdoi(uid224@gateway/web/irccloud.com/x-ennflwnjlfvpdgyt) (Quit: Connection closed for inactivity)
2021-03-19 08:02:56 +0100__minoru__shirae(~shiraeesh@77.94.25.145) (Ping timeout: 240 seconds)
2021-03-19 08:04:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-19 08:07:15 +0100pricly_yellow(~pricly_ye@static.90.189.158.212.sinor.ru)
2021-03-19 08:07:54 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds)
2021-03-19 08:08:24 +0100kuribas(~user@ptr-25vy0iagi80mnljuo8k.18120a2.ip6.access.telenet.be)
2021-03-19 08:09:48 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-19 08:10:47 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-19 08:11:52 +0100johannes(~johannes@b2b-37-24-119-189.unitymedia.biz) (Read error: Connection reset by peer)
2021-03-19 08:11:56 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-03-19 08:12:59 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 256 seconds)
2021-03-19 08:14:32 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-03-19 08:15:18 +0100shad0w_(a0ca254d@160.202.37.77)
2021-03-19 08:18:21 +0100 <shad0w_> whatsup with gitlab.haskell.org ?
2021-03-19 08:19:20 +0100shad0w_(a0ca254d@160.202.37.77) (Client Quit)
2021-03-19 08:19:25 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de)
2021-03-19 08:26:49 +0100 <olligobber> I guess someone messed up
2021-03-19 08:27:32 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8)
2021-03-19 08:28:13 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-19 08:32:26 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Ping timeout: 264 seconds)
2021-03-19 08:37:01 +0100graf_blutwurst(~user@2001:171b:226e:adc0:7535:ff00:8232:c348)
2021-03-19 08:37:19 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-03-19 08:39:21 +0100Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-03-19 08:40:45 +0100Guest82011(~azure@103.154.230.130) (Ping timeout: 256 seconds)
2021-03-19 08:43:28 +0100michalz(~user@185.246.204.49)
2021-03-19 08:46:06 +0100aggin(~ecm@103.88.87.37)
2021-03-19 08:46:07 +0100aggin(~ecm@103.88.87.37) (Client Quit)
2021-03-19 08:47:38 +0100aggin(~ecm@103.88.87.37)
2021-03-19 08:48:08 +0100aggin(~ecm@103.88.87.37) (Client Quit)
2021-03-19 08:48:16 +0100guest316`(~user@49.5.6.87)
2021-03-19 08:49:38 +0100Guest82011(~azure@103.154.230.130)
2021-03-19 08:49:53 +0100 <guest316`> how to break inside fmap? fmap (+1) [1,2,3,5,7] how to let it run on element 3 then exit?
2021-03-19 08:50:37 +0100 <guest316`> not apply (+1) on whole list element
2021-03-19 08:50:44 +0100 <opqdonut> there is no way to do that
2021-03-19 08:50:56 +0100 <guest316`> opqdonut: but callCC can earlier exit
2021-03-19 08:51:24 +0100 <opqdonut> consider something like `fmap even :: [Int] -> [Bool]`. if you stop half way, you'd have a mix of Ints and Bools in the list, which wouldn't type
2021-03-19 08:51:40 +0100 <guest316`> in other languages, recursion or iteration, we can use `return` to break the loop
2021-03-19 08:51:59 +0100 <opqdonut> yeah you can write a recursive function that only increments the list until it sees a 3
2021-03-19 08:52:07 +0100 <opqdonut> but you _can't do it via fmap_
2021-03-19 08:52:22 +0100 <opqdonut> you can deduce this from the type of fmap
2021-03-19 08:53:34 +0100 <SIben> fmap (\x -> case x of 3 -> 4 ; _ -> x) [1, 2, 3, 5, 7]
2021-03-19 08:54:04 +0100 <SIben> If that is what you mean by "element 3"
2021-03-19 08:54:04 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 08:54:06 +0100 <guest316`> SIben: but this still work on 3 5 7
2021-03-19 08:54:12 +0100stree(~stree@68.36.8.116) (Ping timeout: 246 seconds)
2021-03-19 08:54:15 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 08:54:38 +0100 <SIben> guest316`: what do you mean by "work"?
2021-03-19 08:54:52 +0100 <guest316`> SIben: (+1) apply on 3 5 7
2021-03-19 08:54:58 +0100 <guest316`> my english is not good
2021-03-19 08:55:00 +0100gioyik(~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 3.0)
2021-03-19 08:55:01 +0100 <SIben> guest316`: no
2021-03-19 08:55:19 +0100 <SIben> Well, the function is run, but it is identity on [1, 2, 5, 7]
2021-03-19 08:55:50 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-03-19 08:55:51 +0100 <SIben> (but maybe I am interpreting the question wrong :))
2021-03-19 08:56:00 +0100 <guest316`> fmap f [1,2,3,5,7] = [1,2,3]
2021-03-19 08:56:16 +0100 <guest316`> once meet 3, just break and exit
2021-03-19 08:56:27 +0100Franciman(~francesco@host-79-53-62-46.retail.telecomitalia.it)
2021-03-19 08:56:59 +0100 <SIben> Oh – OK, that is not what I understood from the question. My bad, thanks for explaining guest316` :)
2021-03-19 08:57:23 +0100Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de)
2021-03-19 09:00:13 +0100 <guest316`> with callCC we can do that?
2021-03-19 09:01:06 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-03-19 09:01:16 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 09:01:37 +0100 <opqdonut> not directly, no, though if you use traverse in the Cont monad I think you could abort the whole "fmap" if you meet a certain element
2021-03-19 09:02:07 +0100 <opqdonut> in case it helps, here's a recursive function that does the thing:
2021-03-19 09:02:36 +0100dhouthoo(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be)
2021-03-19 09:02:46 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-03-19 09:02:59 +0100 <guest316`> fine
2021-03-19 09:03:20 +0100 <opqdonut> > let applyUntil _ _ [] = []; applyUntil f x (y:ys) | x == y = y:ys | otherwise = f y : applyUntil f x ys in applyUntil (+1) 3 [0,1,0,3,7,9]
2021-03-19 09:03:22 +0100 <lambdabot> [1,2,1,3,7,9]
2021-03-19 09:03:25 +0100kderme(4fa6552d@ppp079166085045.access.hol.gr)
2021-03-19 09:03:27 +0100 <guest316`> I meet this issue in Kotlin too, so I wonder how haskell would handle it
2021-03-19 09:03:46 +0100 <guest316`> but kotlin doesn't have TCO, so recursion ...
2021-03-19 09:04:30 +0100 <guest316`> so many languages don't support TCO, only haskell and scheme support it
2021-03-19 09:05:11 +0100 <opqdonut> > let (pre,suf) = break (==3) [0,1,0,3,7,9] in map (+1) pre ++ suf -- real haskell code might do something like this instead of implementing applyUntil
2021-03-19 09:05:13 +0100 <lambdabot> [1,2,1,3,7,9]
2021-03-19 09:05:42 +0100 <xsperry> another option, write takeUntil :: (a -> Bool) -> [a] -> [a], which would be the same as takeWhile, but would include the first matching element, and then do map (+1) (takeUntil (/=3) list)
2021-03-19 09:07:43 +0100stree(~stree@68.36.8.116)
2021-03-19 09:07:43 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 09:07:51 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 09:08:43 +0100Varis(~Tadas@unaffiliated/varis)
2021-03-19 09:09:08 +0100openheimer(~death__@unaffiliated/death/x-3645061) (Quit: openheimer)
2021-03-19 09:09:15 +0100tfl^(tfl@ip98-184-89-2.mc.at.cox.net) ()
2021-03-19 09:13:27 +0100shad0w_(a0ca254d@160.202.37.77)
2021-03-19 09:13:44 +0100 <shad0w_> sorry, disconnected
2021-03-19 09:13:52 +0100 <shad0w_> whatsup with gitlab.haskell.org ?
2021-03-19 09:14:09 +0100 <opqdonut> I'd say it seems down and not up
2021-03-19 09:14:09 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 09:14:26 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 09:14:46 +0100 <shad0w_> opqdonut: that seems right and not wrong.
2021-03-19 09:15:17 +0100coot(~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl)
2021-03-19 09:21:53 +0100hackagesignable 0.4 - Deterministic serialisation and signatures with proto-lens support https://hackage.haskell.org/package/signable-0.4 (coingaming)
2021-03-19 09:23:49 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 256 seconds)
2021-03-19 09:24:11 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.0)
2021-03-19 09:27:18 +0100 <tomsmeding> shad0w_: see this thread https://mail.haskell.org/pipermail/ghc-devs/2021-March/019683.html ; apparently the upgrade was harder than expected?
2021-03-19 09:27:41 +0100 <Uniaika> full disks
2021-03-19 09:27:41 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 09:27:51 +0100 <tomsmeding> .cabal too large
2021-03-19 09:28:02 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 09:28:23 +0100 <shad0w_> i see.
2021-03-19 09:28:29 +0100 <shad0w_> thanks for the response guys.
2021-03-19 09:29:02 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8)
2021-03-19 09:30:37 +0100Yumasi(~guillaume@2a01:e0a:5cb:4430:71ee:168f:367c:6d70)
2021-03-19 09:33:11 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Ping timeout: 244 seconds)
2021-03-19 09:33:27 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-03-19 09:35:07 +0100 <tomsmeding> shad0w_: the story continues https://mail.haskell.org/pipermail/ghc-devs/2021-March/019686.html
2021-03-19 09:35:07 +0100knupfer(~Thunderbi@200116b82c36b500c400f0a7257bfe8e.dip.versatel-1u1.de) (Remote host closed the connection)
2021-03-19 09:35:16 +0100knupfer(~Thunderbi@200116b82c36b500c18c822e3f769ca6.dip.versatel-1u1.de)
2021-03-19 09:35:25 +0100Codaraxis(Codaraxis@gateway/vpn/mullvad/codaraxis) (Remote host closed the connection)
2021-03-19 09:35:46 +0100Codaraxis(Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-03-19 09:35:52 +0100 <shad0w_> these things happen. *shrugs*
2021-03-19 09:36:33 +0100ph88(~ph88@2a02:8109:9e00:7e5c:342c:fb5e:4a48:8cb)
2021-03-19 09:37:13 +0100 <shad0w_> tomsmeding: maybe we can have something like https://www.githubstatus.com/
2021-03-19 09:37:49 +0100 <tomsmeding> shad0w_: would that dashboard also be lazy?
2021-03-19 09:37:52 +0100 <tomsmeding> or would it be functional
2021-03-19 09:38:12 +0100 <shad0w_> i am lazy and functional
2021-03-19 09:38:58 +0100Boomerang(~Boomerang@2a05:f6c7:2179:0:c023:32c1:e407:f7a0)
2021-03-19 09:40:38 +0100Boomerang(~Boomerang@2a05:f6c7:2179:0:c023:32c1:e407:f7a0) (Client Quit)
2021-03-19 09:40:49 +0100xhlr(~xhlr@87-92-158-145.rev.dnainternet.fi)
2021-03-19 09:44:13 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-19 09:45:10 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 09:46:16 +0100fendor(~fendor@91.141.3.89.wireless.dyn.drei.com)
2021-03-19 09:47:21 +0100jespada(~jespada@90.254.243.187) (Ping timeout: 264 seconds)
2021-03-19 09:47:40 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:3a03:ce0e:5f24:853e) (Ping timeout: 265 seconds)
2021-03-19 09:48:18 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-xyogtgqajoffyroz)
2021-03-19 09:48:28 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net)
2021-03-19 09:48:42 +0100jespada(~jespada@90.254.243.187)
2021-03-19 09:51:20 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) (Remote host closed the connection)
2021-03-19 09:52:08 +0100Sornaensis(~Sornaensi@79.142.232.102.static.router4.bolignet.dk)
2021-03-19 09:53:07 +0100shad0w_(a0ca254d@160.202.37.77) (Quit: Connection closed)
2021-03-19 09:53:08 +0100darjeeling_(~darjeelin@112.16.171.9)
2021-03-19 09:54:26 +0100asheshambasta(~user@ptr-e1lysauzes00g1c9qcl.18120a2.ip6.access.telenet.be)
2021-03-19 09:55:02 +0100Sorny(~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 256 seconds)
2021-03-19 09:55:51 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net)
2021-03-19 09:57:17 +0100motersen(~user@2001-4dd1-d88a-0-5338-d0f4-6eda-2a0f.ipv6dyn.netcologne.de)
2021-03-19 09:57:37 +0100Guest82011(~azure@103.154.230.130) (Read error: Connection reset by peer)
2021-03-19 09:57:54 +0100Guest82011(~azure@103.154.230.130)
2021-03-19 09:58:31 +0100Codaraxis(Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 276 seconds)
2021-03-19 09:58:43 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:7989:a619:7db3:6c1d)
2021-03-19 09:59:26 +0100siersij
2021-03-19 09:59:53 +0100Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-19 10:00:02 +0100dxld(~dxld@80-109-136-248.cable.dynamic.surfer.at) (Remote host closed the connection)
2021-03-19 10:03:08 +0100shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:b425:d58e:c7e9:fd9d) (Ping timeout: 265 seconds)
2021-03-19 10:06:32 +0100drbean(~drbean@TC210-63-209-220.static.apol.com.tw) (Ping timeout: 240 seconds)
2021-03-19 10:07:01 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net)
2021-03-19 10:07:41 +0100shad0w_(a0ca254d@160.202.37.77)
2021-03-19 10:08:56 +0100shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:f505:704b:5f9d:32bd)
2021-03-19 10:10:23 +0100danso(~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 265 seconds)
2021-03-19 10:10:42 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-19 10:10:50 +0100danso(~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009)
2021-03-19 10:12:10 +0100shad0w_(a0ca254d@160.202.37.77) (Client Quit)
2021-03-19 10:13:29 +0100Lycurgus(~niemand@98.4.116.165)
2021-03-19 10:14:15 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 265 seconds)
2021-03-19 10:15:23 +0100Gurkenglas_(~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
2021-03-19 10:15:24 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-03-19 10:15:48 +0100idhugo(~idhugo@80-62-117-49-mobile.dk.customer.tdc.net)
2021-03-19 10:17:06 +0100unlink_(~unlink2@p200300ebcf13b600588c7881abb1ea42.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2021-03-19 10:19:55 +0100darjeeling_(~darjeelin@112.16.171.9) (Ping timeout: 256 seconds)
2021-03-19 10:22:58 +0100vgtw_(~vgtw@gateway/tor-sasl/vgtw)
2021-03-19 10:25:32 +0100vgtw(~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 268 seconds)
2021-03-19 10:25:33 +0100vgtw_vgtw
2021-03-19 10:26:46 +0100tessier_(~treed@kernel-panic/copilotco) (Ping timeout: 256 seconds)
2021-03-19 10:31:23 +0100 <kuribas> why is fail throwing an IO exception even though I have a custom MonadFail instance for my class?
2021-03-19 10:31:39 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-03-19 10:32:50 +0100ubert(~Thunderbi@p200300ecdf25d9a8e6b318fffe838f33.dip0.t-ipconnect.de)
2021-03-19 10:33:28 +0100 <merijn> Because you're not using that instance? :p
2021-03-19 10:34:26 +0100 <kuribas> yes I am
2021-03-19 10:34:56 +0100 <merijn> GHC clearly disagrees
2021-03-19 10:34:56 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 10:35:07 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 10:35:09 +0100 <merijn> Also "my class" <- you mean type/monad, yes?
2021-03-19 10:36:30 +0100 <kuribas> ah I need to import Control.Monad.Fail and hide the other fail.
2021-03-19 10:36:40 +0100 <kuribas> nice way to create confusion.
2021-03-19 10:38:01 +0100 <merijn> Depends on wich GHC
2021-03-19 10:38:20 +0100thc202(~thc202@unaffiliated/thc202)
2021-03-19 10:38:21 +0100 <merijn> That's only true on pre-MonadFail GHCs
2021-03-19 10:38:26 +0100 <kuribas> 8.6.5
2021-03-19 10:38:36 +0100 <merijn> You need -XMonadFailDesugaring on older GHC
2021-03-19 10:38:55 +0100 <kuribas> what does that do?
2021-03-19 10:39:13 +0100 <merijn> Actually use MonadFail(fail) instead of Monad(fail)
2021-03-19 10:39:30 +0100 <merijn> kuribas: fail isn't removed from Monad in 8.6.5
2021-03-19 10:40:07 +0100 <kuribas> yeah, that's what I did
2021-03-19 10:40:42 +0100AndroUser2(~androirc@2001:2d8:e29e:4784::1e4:861)
2021-03-19 10:44:05 +0100AndroUser2(~androirc@2001:2d8:e29e:4784::1e4:861) (Read error: Connection reset by peer)
2021-03-19 10:45:28 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl)
2021-03-19 10:45:28 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-03-19 10:45:28 +0100mouseghost(~draco@wikipedia/desperek)
2021-03-19 10:45:31 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8)
2021-03-19 10:45:57 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-03-19 10:45:59 +0100 <merijn> kuribas: What is "what you did"?
2021-03-19 10:46:06 +0100 <kuribas> use MonadFail(fail)
2021-03-19 10:46:15 +0100 <merijn> Do desugaring doesn't use that
2021-03-19 10:46:18 +0100 <kuribas> I mean I do it now, and it works.
2021-03-19 10:46:26 +0100 <merijn> Ah, ok :)
2021-03-19 10:46:28 +0100 <kuribas> ah right.
2021-03-19 10:46:33 +0100 <kuribas> this was an explicit fail.
2021-03-19 10:46:43 +0100tsaka__(~torstein@2a02:587:1b19:7300:189d:1826:982b:b559)
2021-03-19 10:47:54 +0100xhlr(~xhlr@87-92-158-145.rev.dnainternet.fi) (Quit: Leaving)
2021-03-19 10:48:54 +0100acidjnk_new(~acidjnk@p200300d0c72b9511759421c9ddfcc58f.dip0.t-ipconnect.de)
2021-03-19 10:50:26 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Ping timeout: 264 seconds)
2021-03-19 10:51:44 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de)
2021-03-19 10:54:52 +0100unlink_(~unlink2@p200300ebcf13b600588c7881abb1ea42.dip0.t-ipconnect.de)
2021-03-19 10:56:22 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) (Ping timeout: 244 seconds)
2021-03-19 10:56:48 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-19 10:58:29 +0100Lycurgus(~niemand@98.4.116.165) (Quit: Exeunt)
2021-03-19 10:58:50 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-19 11:01:37 +0100Neuromancer(~Neuromanc@unaffiliated/neuromancer)
2021-03-19 11:05:56 +0100kinsho(~kinsho@83.137.249.87)
2021-03-19 11:07:54 +0100kinsho(~kinsho@83.137.249.87) ()
2021-03-19 11:09:17 +0100tsaka__(~torstein@2a02:587:1b19:7300:189d:1826:982b:b559) (Ping timeout: 244 seconds)
2021-03-19 11:09:53 +0100hackagekind-generics-th 0.2.2.2 - Template Haskell support for generating `GenericK` instances https://hackage.haskell.org/package/kind-generics-th-0.2.2.2 (AlejandroSerrano)
2021-03-19 11:12:01 +0100darjeeling_(~darjeelin@122.245.217.128)
2021-03-19 11:15:03 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.0)
2021-03-19 11:15:41 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-19 11:16:01 +0100stree(~stree@68.36.8.116) (Ping timeout: 256 seconds)
2021-03-19 11:16:56 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8)
2021-03-19 11:17:53 +0100day(~Unknown@unaffiliated/day)
2021-03-19 11:18:31 +0100kinsho(~kinsho@83.137.249.87)
2021-03-19 11:21:10 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 256 seconds)
2021-03-19 11:21:38 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Ping timeout: 264 seconds)
2021-03-19 11:22:42 +0100 <kinsho> \part
2021-03-19 11:22:47 +0100kinsho(~kinsho@83.137.249.87) ()
2021-03-19 11:24:18 +0100Rudd0^(~Rudd0@185.189.115.103)
2021-03-19 11:24:25 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.0)
2021-03-19 11:25:03 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-19 11:25:44 +0100dramforever(~dram@unaffiliated/dramforever)
2021-03-19 11:27:23 +0100hackageforsyde-shallow 3.5.0.0 - ForSyDe's Haskell-embedded Domain Specific Language. https://hackage.haskell.org/package/forsyde-shallow-3.5.0.0 (ingo)
2021-03-19 11:27:46 +0100Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 260 seconds)
2021-03-19 11:29:02 +0100stree(~stree@68.36.8.116)
2021-03-19 11:29:02 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 11:29:13 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 11:30:21 +0100aggin(~ecm@103.88.87.37)
2021-03-19 11:33:17 +0100son0p(~son0p@181.58.39.182)
2021-03-19 11:36:14 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-03-19 11:39:22 +0100 <day> what is the currently recommended way to install haskell on archlinux?
2021-03-19 11:39:23 +0100__monty__(~toonn@unaffiliated/toonn)
2021-03-19 11:40:08 +0100 <yushyin> day: ghcup works fine
2021-03-19 11:41:15 +0100 <day> yes i think that's what i used the last time. but haskell.org recommends 'pacman -S ghc cabal-install happy alex haskell-haddock-library' thus i thought that maybe things turned greener :D
2021-03-19 11:42:50 +0100 <joel135> Things were still bleak a couple of months ago.
2021-03-19 11:43:03 +0100Guest217(~textual@2603-7000-3040-0000-7953-b284-70cd-9e2c.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-19 11:43:28 +0100 <joel135> I am running all Haskell through stack now.
2021-03-19 11:43:39 +0100 <day> the drama is kind of hilarious though ngl
2021-03-19 11:44:15 +0100 <__monty__> The Arch maintainers' handling of haskell infra has pretty permanently undermined my confidence in their ability to communicate and deal with upstream anything tbh.
2021-03-19 11:44:44 +0100 <joel135> I don't remember if I used ghcup to make that work. But whatever I did should be in my channel logs so I could find it it you want.
2021-03-19 11:44:53 +0100hackagepostgresql-placeholder-converter 0.2.0.0 - Converter for question mark style and dollar sign style of PostgreSQL SQL. https://hackage.haskell.org/package/postgresql-placeholder-converter-0.2.0.0 (kakkun61)
2021-03-19 11:44:55 +0100 <day> eh i think it turned into something personal at some point and now it's impossible to resolve
2021-03-19 11:45:25 +0100 <day> joel135: it's fine i will just use ghcup
2021-03-19 11:45:29 +0100 <joel135> Ok
2021-03-19 11:46:52 +0100conal(~conal@64.71.133.70) (Read error: Connection reset by peer)
2021-03-19 11:48:25 +0100aggin(~ecm@103.88.87.37) (Quit: WeeChat 3.0.1)
2021-03-19 11:48:46 +0100vilpan(~0@212.117.1.172)
2021-03-19 11:49:08 +0100guest316`(~user@49.5.6.87) (Remote host closed the connection)
2021-03-19 11:49:08 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 11:49:19 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 11:49:50 +0100 <yushyin> day: you will face a lot of opposition here regarding arch linux, i still recommend ghcup because it also simplifies things like installing and managing multiple ghc versions compared to packages from the linux distribution.
2021-03-19 11:50:19 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds)
2021-03-19 11:50:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 11:51:13 +0100 <__monty__> I don't see why it should be personal. The Arch maintainers decided everything should be dynamically linked for some reason. GHC defaults to statically linking most things because a strong reliance on inlining etc. makes dynamic linking impractical/deleterious. Rather than either distributing libraries compatible with that default or changing the default setting GHC installs with, they simply choose to
2021-03-19 11:51:19 +0100 <__monty__> make it hard to start using GHC on Arch. It's as if they have a vendetta against Haskell more than anything.
2021-03-19 11:52:02 +0100tessier(~treed@kernel-panic/copilotco)
2021-03-19 11:53:21 +0100 <tomsmeding> I'm happily using Arch and ghcup :)
2021-03-19 11:53:32 +0100Codaraxis(~Codaraxis@193.27.14.10)
2021-03-19 11:54:39 +0100conal(~conal@64.71.133.70)
2021-03-19 11:54:41 +0100aggin(~ecm@103.88.87.37)
2021-03-19 11:55:10 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 256 seconds)
2021-03-19 11:55:14 +0100 <dramforever> Literally every single person that has anything to do with Arch insist on telling me the benefits of dynamically linking libraries
2021-03-19 11:55:28 +0100 <dramforever> *every single person I've met
2021-03-19 11:55:36 +0100 <dramforever> 'This literally does not work' does not seem like an effective objection
2021-03-19 11:55:51 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-19 11:55:55 +0100xhlr(~xhlr@87-92-158-145.rev.dnainternet.fi)
2021-03-19 11:56:00 +0100 <__monty__> It seems to me they've subscribed to glibc's party line for some reason.
2021-03-19 11:56:15 +0100 <dramforever> I'm starting to feel like stop supporting dynamic linking in GHC 10 or something might be the only remaining option :(
2021-03-19 11:56:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 11:56:52 +0100 <__monty__> That'd be unfortunate.
2021-03-19 11:56:59 +0100 <dramforever> I am *perfectly* okay with the distros distributing their things their way
2021-03-19 11:57:06 +0100 <dramforever> I just can't stand the wrong reasons
2021-03-19 11:57:36 +0100 <yushyin> ghc's support for dynamic linking is mediocre anyways
2021-03-19 11:57:49 +0100 <__monty__> I do want to highlight that generally Arch *users* are great. They have a tendency to run unstable software and report bugs.
2021-03-19 11:58:27 +0100 <dramforever> Arch maintainers are great too
2021-03-19 11:58:50 +0100 <dramforever> I admire like 99%+ of their work
2021-03-19 11:59:02 +0100ski_ski
2021-03-19 11:59:17 +0100Kaiepi(~Kaiepi@47.54.252.148)
2021-03-19 11:59:24 +0100danso(~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 244 seconds)
2021-03-19 11:59:24 +0100 <dramforever> yushyin: I'd put it this way: GHC technically supports dynamic linking
2021-03-19 12:00:06 +0100danso(~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009)
2021-03-19 12:00:30 +0100 <yushyin> true :D
2021-03-19 12:00:37 +0100 <dramforever> I hope I'm not spreading any hate here, all the Arch users and maintainers I've met are amazing people, including those who I complained about
2021-03-19 12:01:14 +0100 <dramforever> I want to be clear that however emotional, I do intend it to be a technical discussion about the ways GHC the program and Haskell the ecosystem works
2021-03-19 12:01:20 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-19 12:01:40 +0100 <dramforever> however emotional I accidentally get, or whatever, not sure how to put this
2021-03-19 12:01:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 12:02:17 +0100 <yushyin> for now you cannot even set -dynamic as the default in a global config file anymore, https://github.com/haskell/cabal/issues/6505 makes it even more stressful to use arch linux's haskell packages
2021-03-19 12:02:21 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 264 seconds)
2021-03-19 12:03:24 +0100aggin(~ecm@103.88.87.37) (Quit: WeeChat 3.0.1)
2021-03-19 12:03:58 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2021-03-19 12:04:13 +0100 <dramforever> For Haskell *development* just stay away from Arch Haskell packages. Actually, for most cases, as a rule of thumb for *any* development just stay away from *any* Linux distro packages.
2021-03-19 12:04:31 +0100 <dramforever> (If you'd like to disagree, you clearly know enough to ignore my rule of thumb.)
2021-03-19 12:05:34 +0100 <__monty__> Gentoo and NixOS don't have this problem : ) Even on Debian you might want to use their packages because a significant install base is going to be using those versions anyway.
2021-03-19 12:06:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-19 12:07:46 +0100 <dramforever> If you're using Gentoo and NixOS I deserve being ignored
2021-03-19 12:08:07 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 12:08:14 +0100 <dramforever> Though, not sure about Gentoo, but even in the case NixOS I'd recommend trying some non-distro stuff like haskell.nix
2021-03-19 12:08:36 +0100_noblegas(uid91066@gateway/web/irccloud.com/x-hphnornkrwdfiotz)
2021-03-19 12:08:46 +0100 <__monty__> +1
2021-03-19 12:08:51 +0100 <dramforever> My main gripe about the distro libraries is that they are often built for the programs included in the distro
2021-03-19 12:09:13 +0100 <dramforever> e.g. Having pandoc means including pandoc dependencies
2021-03-19 12:09:13 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 12:09:14 +0100benkolera(uid285671@gateway/web/irccloud.com/x-umfyvnhcrdleizmf) (Quit: Connection closed for inactivity)
2021-03-19 12:09:25 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 12:09:54 +0100 <yushyin> as a maintainer i wouldn't even bother maintaining haskell packages. build some well known haskell packages (pandoc,shellcheck) statically, ignore libraries and recommend ghc/stack/nix for development
2021-03-19 12:10:02 +0100marinelli(~marinelli@gateway/tor-sasl/marinelli)
2021-03-19 12:10:03 +0100 <dramforever> Developing on them, and one day you'll get a missing dependency, the next day you'll get an outdated library, and the next you'll be missing a dependency, whose dependency is newer than that in the distro and conflicts with something
2021-03-19 12:10:25 +0100 <__monty__> It's less of an issue in source-based distros. NixOS makes all of hackage available for example.
2021-03-19 12:10:27 +0100 <dramforever> yushyin: Not being able to build a package in a distro with your distro's packages sound... a bit odd :(
2021-03-19 12:10:40 +0100 <dramforever> __monty__: They still get outdated easily :(
2021-03-19 12:11:35 +0100 <__monty__> Potato, tomato, outdated, stable.
2021-03-19 12:12:05 +0100 <dramforever> As if nixpkgs haskell packages are, by any standard, stable
2021-03-19 12:12:24 +0100 <__monty__> Most of them derive from stackage LTS.
2021-03-19 12:12:36 +0100 <dramforever> That's true
2021-03-19 12:12:50 +0100 <dramforever> I guess somehow I just keep using non-stackage stuff :P
2021-03-19 12:13:18 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-03-19 12:13:24 +0100 <yushyin> dramforever: yes it's odd indeed ^^
2021-03-19 12:13:38 +0100 <dramforever> I guess I don't get to complain about a set of stuff being unstable if it's literally the entire hackage
2021-03-19 12:13:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 12:15:20 +0100jonn(~sweater@206.81.18.26)
2021-03-19 12:16:28 +0100 <jonn> Dear all, I want to add a flag to my own project for conditional compilation. Sadly, I'm yet to switch to cabal v2 and am still using stackage. How do I do that without manually patching .cabal file (which I suppose is generated from packages.yaml + stack.yaml?)
2021-03-19 12:17:19 +0100coot(~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-19 12:18:14 +0100 <[exa]> jonn: I'm afraid switching to cabal v2 might be easier
2021-03-19 12:18:36 +0100 <dramforever> You don't have to use package.yaml for using stack. If you don't have a package.yaml, that .cabal file will be used.
2021-03-19 12:18:48 +0100 <opqdonut> yeah, I use stack.yaml + myproj.cabal
2021-03-19 12:18:57 +0100 <dramforever> And I think hpack (package.yaml thing) and stack support flags too?
2021-03-19 12:19:14 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-03-19 12:19:23 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-puiusmmccpivlalb)
2021-03-19 12:19:28 +0100 <jonn> It does, but it only seem to support flags for dependencies, not the project apps / libs.
2021-03-19 12:20:01 +0100 <jonn> At least, that's what I gathered from reading the docs and observations...
2021-03-19 12:20:10 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 12:20:15 +0100 <day> __monty__: ive seen nixOS mentionings pop up more and more. maybe i'll give it a try, but I kind of like the rolling release style
2021-03-19 12:20:17 +0100 <dramforever> By 'it' do you mean hpack or stack?
2021-03-19 12:20:27 +0100 <jonn> stack, whilst reading package.yaml
2021-03-19 12:20:49 +0100 <__monty__> day: NixOS unstable is a rolling release.
2021-03-19 12:20:59 +0100 <day> oh
2021-03-19 12:21:07 +0100 <jonn> Ok, so I'll try to edit .cabal file and hope that stack shan't regenerate it.
2021-03-19 12:21:23 +0100 <dramforever> If you delete package.yaml it will, but how will that help?
2021-03-19 12:21:25 +0100 <__monty__> There's minimal checks ensuring the channel builds which can hold up channel bumps.
2021-03-19 12:21:35 +0100 <dramforever> Oh no https://github.com/sol/hpack#flags
2021-03-19 12:21:44 +0100 <dramforever> This is some confusing documentation
2021-03-19 12:21:59 +0100 <dramforever> jonn: But from what I gather, you *can* specify flags in package.yaml
2021-03-19 12:22:04 +0100Sorna(~Sornaensi@077213203030.dynamic.telenor.dk)
2021-03-19 12:23:11 +0100 <__monty__> day: Caveat emptor though, UX isn't great yet, I wouldn't want to go back though : )
2021-03-19 12:23:19 +0100 <dramforever> jonn: https://paste.tomsmeding.com/e5ounghg
2021-03-19 12:24:05 +0100 <dramforever> Yeah that's why I was asking, you keep mentioning stack not supporting flags and mention package.yaml vs *.cabal, but they are kind of two separate things
2021-03-19 12:24:05 +0100dsrt^(~hph@ip98-184-89-2.mc.at.cox.net)
2021-03-19 12:24:08 +0100zyga(~zyga@139.28.218.148) (Remote host closed the connection)
2021-03-19 12:24:09 +0100 <jonn> fooflagthigy is the name of the project, right?
2021-03-19 12:24:15 +0100 <day> __monty__: UX?
2021-03-19 12:24:28 +0100 <dramforever> jonn: This is package.yaml, fooflagthingy is the name of the flag
2021-03-19 12:24:43 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-03-19 12:24:48 +0100 <dramforever> In stack.yaml it's like this https://docs.haskellstack.org/en/stable/yaml_configuration/#flags
2021-03-19 12:25:07 +0100 <dramforever> I'm going to guess that using the name for your local package will make it apply to your local package
2021-03-19 12:25:15 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-19 12:25:28 +0100Sornaensis(~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 245 seconds)
2021-03-19 12:25:44 +0100 <jonn> Thing is that I tried, but maybe I had a typo or something.
2021-03-19 12:25:46 +0100 <__monty__> day: User experience, the various commands don't have a very coherent interface yet and documentation isn't amazing yet.
2021-03-19 12:25:59 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 12:26:13 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-19 12:26:28 +0100 <dramforever> jonn: oh :(
2021-03-19 12:26:34 +0100 <day> ah. i was thinking ui
2021-03-19 12:26:44 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.0)
2021-03-19 12:27:01 +0100 <dramforever> __monty__: That seems to be worked on. Maybe day should check back in like half a year or a year or something?
2021-03-19 12:27:03 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-19 12:27:19 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Client Quit)
2021-03-19 12:27:27 +0100 <jonn> Now that I think about it, you *must* be right... `# Override default flag values for local packages and`
2021-03-19 12:27:30 +0100 <day> __monty__: but isnt the only notable difference the package manager?
2021-03-19 12:27:48 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-19 12:27:53 +0100 <jonn> I assumed that stack doesn't mean "currently developed project" as "a local package" (sorry, hpack*)
2021-03-19 12:28:01 +0100 <jonn> But maybe it does...
2021-03-19 12:28:16 +0100 <dramforever> If you use NixOS you also get a really different system configuration thing
2021-03-19 12:28:24 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Client Quit)
2021-03-19 12:28:27 +0100 <__monty__> If you're interested you can check it out now. Even in the comfort of your current distro by simply installing Nix the package manager. If you're expecting to distro-hop to NixOS and have a smooth experience, you're in for a cold shower.
2021-03-19 12:29:18 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-03-19 12:29:21 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 264 seconds)
2021-03-19 12:29:21 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 12:29:30 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 12:29:31 +0100 <__monty__> day: The package manager is usable everywhere. The special thing about NixOS is declarative system configuration through NixOS modules (kind of a bad name but hysterical raisins).
2021-03-19 12:29:45 +0100 <dramforever> jonn: Yeah, the reason you need to tell the two apart is because if you don't like hpack, you can just delete package.yaml and edit *.cabal, as mentioned earlier
2021-03-19 12:30:18 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-19 12:30:37 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Client Quit)
2021-03-19 12:31:12 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-19 12:31:42 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 12:32:47 +0100 <jonn> Nice
2021-03-19 12:33:08 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-03-19 12:38:03 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-19 12:40:00 +0100LaserShark(~LaserShar@139.28.218.148)
2021-03-19 12:40:12 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Client Quit)
2021-03-19 12:43:45 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 264 seconds)
2021-03-19 12:47:28 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-19 12:47:40 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Client Quit)
2021-03-19 12:49:08 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-19 12:50:10 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Client Quit)
2021-03-19 12:50:31 +0100Alleria(~textual@mskresolve-a.mskcc.org)
2021-03-19 12:50:55 +0100AlleriaGuest79670
2021-03-19 12:51:29 +0100 <jonn> Ok, so I managed to add a flag, but for some reason `stack test --test-arguments '--num-threads 1' --flag do-auth:testdb` doesn't cause preprocessor to follow the intended #ifdef branch.
2021-03-19 12:52:24 +0100berberman(~berberman@unaffiliated/berberman)
2021-03-19 12:52:27 +0100LaserShark(~LaserShar@139.28.218.148) (Remote host closed the connection)
2021-03-19 12:52:42 +0100 <jonn> I have `#ifdef testdb \n (code) \n #else \n (code) \n #endif` in my .hs file in the _library_. What are the approaches to debug?
2021-03-19 12:53:37 +0100berberman_(~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds)
2021-03-19 12:53:45 +0100 <dramforever> Umm, how did you add that flag to your *.cabal or package.yaml
2021-03-19 12:53:58 +0100Zetagon(~leo@c151-177-52-233.bredband.comhem.se)
2021-03-19 12:54:18 +0100 <jonn> package.yaml, and I know it works because when I run with `--flag do-auth:nonexflag`, it complaints
2021-03-19 12:56:12 +0100 <dramforever> Yeah but have you added any conditionals or something
2021-03-19 12:57:01 +0100 <dramforever> I think you'd need to add a condition to add an option to ghc-options
2021-03-19 12:57:16 +0100 <dramforever> the flags don't automatically become CPP macros
2021-03-19 12:57:59 +0100 <jonn> Oh!
2021-03-19 12:58:09 +0100 <jonn> I'll look into it.
2021-03-19 12:58:17 +0100 <dramforever> this or something https://paste.tomsmeding.com/e8LKNfUE
2021-03-19 12:59:11 +0100 <jonn> (Haskell is so huge, one can avoid certain features and be productive with it for over ten years haha)
2021-03-19 12:59:27 +0100 <jonn> Ty for your help!
2021-03-19 12:59:33 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-03-19 13:01:02 +0100 <dramforever> you're welcome :)
2021-03-19 13:01:47 +0100 <jonn> `FilePath "/home/sweater/.doauth/v1db.test"` It works!
2021-03-19 13:02:23 +0100hackageHsOpenSSL 0.11.6 - Partial OpenSSL binding for Haskell https://hackage.haskell.org/package/HsOpenSSL-0.11.6 (VladimirShabanov)
2021-03-19 13:03:17 +0100dhil(~dhil@80.208.56.181)
2021-03-19 13:03:17 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 13:03:36 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 13:04:02 +0100plutoniix(~q@184.82.212.50) (Quit: Leaving)
2021-03-19 13:05:26 +0100urodna(~urodna@unaffiliated/urodna)
2021-03-19 13:05:35 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-19 13:06:00 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 256 seconds)
2021-03-19 13:07:45 +0100tomsmedingwas trying to figure out the minimal code to reproduce a type family reduction loop in ghc that I got, before I figured out that the problem occurred only using 'stack build', not when using ghc directly; perhaps I should upgrade from 8.8.4 to 8.10.4
2021-03-19 13:09:06 +0100 <merijn> tomsmeding: I just skipped 8.8 entirely :p
2021-03-19 13:11:54 +0100__minoru__shirae(~shiraeesh@77.94.25.145)
2021-03-19 13:14:24 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-19 13:14:26 +0100aarvar(~foewfoiew@2601:602:a080:fa0:99f2:16e7:abb7:2d80) (Ping timeout: 264 seconds)
2021-03-19 13:14:40 +0100dramforever(~dram@unaffiliated/dramforever) (Quit: Leaving)
2021-03-19 13:16:04 +0100drbean(~drbean@TC210-63-209-54.static.apol.com.tw)
2021-03-19 13:19:18 +0100coot(~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl)
2021-03-19 13:20:02 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-03-19 13:20:09 +0100 <Franciman> another case of stack doing mistakes
2021-03-19 13:20:12 +0100 <Franciman> thank you fpcomplete
2021-03-19 13:21:02 +0100 <jackdk> Is anyone here familiar with the STG paper at https://www.microsoft.com/en-us/research/wp-content/uploads/1992/04/spineless-tagless-gmachine.pdf ? Section 4.2 says that it's safe to mark every lambda as non-updateable, but then when they specify the abstract machine, Rule 15 seems to be the only one for updateable closures, and it requires an empty arglist. I am confused.
2021-03-19 13:21:46 +0100 <geekosaur> I'm not fond of stack, but doubt it's somehow reaching into ghc and breaking type families
2021-03-19 13:22:29 +0100 <geekosaur> if anything it's been configured (possibly locally, possibly just bad timing) to default to a resolver with a buggy ghc. which happens
2021-03-19 13:23:53 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-19 13:24:20 +0100 <merijn> jackdk: Where is rule 15?
2021-03-19 13:26:22 +0100 <merijn> jackdk: At a quick glance your two statements seem in harmony, though?
2021-03-19 13:27:04 +0100 <merijn> jackdk: A lambda with an empty argument list can have its result evaluated, so there isn't really a lambda anymore?
2021-03-19 13:27:29 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01)
2021-03-19 13:27:47 +0100 <merijn> jackdk: Also, don't break your head to much over the function call handling in the STG paper, since it's obsoleted anyway :p
2021-03-19 13:27:58 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt)
2021-03-19 13:28:03 +0100 <jackdk> merijn: in my copy of the paper (v2.5), p39
2021-03-19 13:28:04 +0100bitmagie(~Thunderbi@200116b8064af700cc4b64cf6315dd95.dip.versatel-1u1.de)
2021-03-19 13:28:08 +0100 <merijn> jackdk: That's discussed in "Making a fast curry: push/enter vs. eval/apply for higher-order languages"
2021-03-19 13:28:26 +0100 <merijn> jackdk: And I think GHC might have even obsoleted the fast curry paper?
2021-03-19 13:29:34 +0100 <jackdk> merijn: sorry, error in my original message. 4.2 contains "It is clearly safe to set the update flag of every lambda-form to `u`" i.e. updatable
2021-03-19 13:30:23 +0100 <jackdk> but if you have lambda-forms that are what it calls "manifest functions", that doesn't work if the only machine rule applies to updateable closures with no explicit args
2021-03-19 13:32:19 +0100 <tomsmeding> geekosaur: it was the ghc version, 8.8.4 just had issues :p
2021-03-19 13:32:28 +0100 <tomsmeding> nothing to do with stack
2021-03-19 13:33:03 +0100 <merijn> jackdk: It's been too long ago that I looked at it, so no clue
2021-03-19 13:33:12 +0100 <tomsmeding> it had something to do with injective type families, but I didn't get so far as to find out what the actual problem was
2021-03-19 13:33:40 +0100 <jackdk> merijn: thank you anyway. Fast curry is next on the list, but I wanna get my head around how the C impl of STG from the paper does the basic stuff.
2021-03-19 13:34:16 +0100 <merijn> Dark magic :p
2021-03-19 13:34:19 +0100 <jackdk> what I think might be happening is a small oversight in the rules because "manifest functions" (lambdas with non-empty arglist) are always safe to set as non-updateable
2021-03-19 13:34:44 +0100 <merijn> Pretty sure the C proposed in the STG paper relies on the evil mangler
2021-03-19 13:34:47 +0100 <jackdk> (p24). If you apply this rule, then you need never have a rule for updatable lambdas with non-null arglist
2021-03-19 13:35:02 +0100 <jackdk> all I know about the evil mangler is that it used perl
2021-03-19 13:36:46 +0100tomsmeding:o
2021-03-19 13:36:46 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 13:37:07 +0100stree(~stree@68.36.8.116) (Ping timeout: 256 seconds)
2021-03-19 13:37:12 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 13:37:17 +0100 <merijn> jackdk: C doesn't let you actually do the kinda code you want, so GHC would first produce C, compile it, then use the evil mangler to postprocess the (binary, I believe?) output to fix the calling convention to match what GHC actually wants ;)
2021-03-19 13:37:49 +0100 <merijn> "But that's awful!!!!" <- well, yes, that's why it's the *evil* mangler
2021-03-19 13:38:03 +0100 <jackdk> merijn: yeah, that's pretty evil. however, the stg paper makes a pretty strong claim about being implementable using portable C constructs
2021-03-19 13:38:24 +0100 <merijn> "C" ;)
2021-03-19 13:38:27 +0100 <mouseghost> merijn, are you saying that clowns are bad ;p?
2021-03-19 13:38:29 +0100 <geekosaur> postprocessed assembly language
2021-03-19 13:38:46 +0100 <mouseghost> geekosaur, thats called llvm ir haah
2021-03-19 13:38:54 +0100 <merijn> jackdk: There's a reason C-- was invented (and then promptly died due to LLVM winning)
2021-03-19 13:38:55 +0100 <geekosaur> and stg can be implemented in portable C, it's just slow
2021-03-19 13:39:06 +0100 <geekosaur> mouseghost, evil mangler predated llvm
2021-03-19 13:39:15 +0100 <mouseghost> oh its an actual thing?
2021-03-19 13:39:18 +0100 <merijn> mouseghost: Yes
2021-03-19 13:39:26 +0100 <mouseghost> oh o___o
2021-03-19 13:39:27 +0100 <merijn> mouseghost: It literally did what I just said
2021-03-19 13:39:40 +0100 <mouseghost> i thought it was just an invented name
2021-03-19 13:39:44 +0100 <merijn> For several years of GHC's existence until the native backend became default
2021-03-19 13:40:13 +0100 <merijn> I'd link you to the GHC wiki about it, but GHC's gitlab is, eh...taking a break, it seems
2021-03-19 13:40:34 +0100kupi(uid212005@gateway/web/irccloud.com/x-wezwsdnimqmohosp)
2021-03-19 13:40:43 +0100 <merijn> mouseghost: http://www.macs.hw.ac.uk/~hwloidl/hackspace/ghc-7.4-eden/docs/comm/the-beast/mangler.html
2021-03-19 13:40:48 +0100 <mouseghost> i have noticed that as well :D
2021-03-19 13:40:56 +0100p4trix(~p4trix@19.red-83-49-45.dynamicip.rima-tde.net)
2021-03-19 13:41:15 +0100 <merijn> -fvia-C is deprecated (and, I don't think it's enabled in production GHC builds)
2021-03-19 13:41:31 +0100 <geekosaur> right
2021-03-19 13:41:44 +0100 <mouseghost> o-o
2021-03-19 13:41:57 +0100 <merijn> Ah, it worked on the assembly, not binary output
2021-03-19 13:42:02 +0100 <merijn> *slightly* more sane
2021-03-19 13:42:10 +0100 <geekosaur> only slightly
2021-03-19 13:42:10 +0100 <jackdk> ever-so-slightly less evil
2021-03-19 13:42:51 +0100wonko7(~wonko7@45.15.17.60)
2021-03-19 13:43:05 +0100 <jackdk> anyway, I'm going to sleep on tonight's win, then look at how the paper does things in C, then probably look at the fast curry paper. Anything else I should look at?
2021-03-19 13:43:06 +0100geekosaurread through the mangler once, it was mostly rewriting function preambles/postambles from C conventions to STG
2021-03-19 13:43:29 +0100 <merijn> Not sure when NCG became the default for GHC? I think late 6.x or early 7x?
2021-03-19 13:43:29 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 13:43:47 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 13:44:20 +0100 <merijn> Or was it earlier?
2021-03-19 13:44:32 +0100 <geekosaur> don't recall
2021-03-19 13:44:53 +0100 <mouseghost> goodnight jackdk
2021-03-19 13:45:15 +0100dale(dale@unaffiliated/dale) (Ping timeout: 240 seconds)
2021-03-19 13:45:36 +0100Sorny(~Sornaensi@79.142.232.102.static.router4.bolignet.dk)
2021-03-19 13:46:45 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 256 seconds)
2021-03-19 13:47:20 +0100L29Ah(~L29Ah@unaffiliated/l29ah) (Read error: Connection reset by peer)
2021-03-19 13:48:12 +0100Sorna(~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 246 seconds)
2021-03-19 13:48:23 +0100 <Philonous> I have a locally let-bound polymorphic function that gets monomorphised because of (implied) -XNoLetGeneralization. Giving the binding an explicitly polymorphic type signature should fix that, shouldn't it?
2021-03-19 13:48:56 +0100 <geekosaur> merijn, apparently 6.8.1 made -fasm the default
2021-03-19 13:48:57 +0100 <Philonous> Errr, I meant -XMonoLocalBinds
2021-03-19 13:50:14 +0100 <geekosaur> Philonous, yes, an explicit type signature should override -XMonoLocalBinds
2021-03-19 13:50:14 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 13:50:20 +0100stree(~stree@68.36.8.116)
2021-03-19 13:50:23 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 13:50:54 +0100 <Philonous> Strange, because I'm getting type errors that strongly point towards the function be monomorphised, inlining the definition also fixes the problem
2021-03-19 13:52:14 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2021-03-19 13:53:50 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-19 13:54:11 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-19 13:55:42 +0100mrchampion(~mrchampio@38.18.109.23)
2021-03-19 13:58:02 +0100geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-03-19 13:58:19 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-03-19 13:58:58 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-03-19 13:59:21 +0100ukari(~ukari@unaffiliated/ukari)
2021-03-19 14:00:53 +0100hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-03-19 14:01:15 +0100pavonia(~user@unaffiliated/siracusa)
2021-03-19 14:01:32 +0100Tario(~Tario@201.192.165.173)
2021-03-19 14:01:33 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-dtqotmfxqlmxiruq)
2021-03-19 14:08:42 +0100 <tomsmeding> Philonous: are you perhaps using type variables in that explicit type signature that come from some local scope?
2021-03-19 14:08:49 +0100 <tomsmeding> i.e. would ScopedTypeVariables help
2021-03-19 14:11:45 +0100carlomagno(~cararell@148.87.23.5)
2021-03-19 14:13:38 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-19 14:18:08 +0100bitmagie(~Thunderbi@200116b8064af700cc4b64cf6315dd95.dip.versatel-1u1.de) (Quit: bitmagie)
2021-03-19 14:21:37 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-03-19 14:25:34 +0100idhugo_(~idhugo@80-62-117-49-mobile.dk.customer.tdc.net)
2021-03-19 14:25:42 +0100vchlup_(~vchlup@nat.brnet.cz)
2021-03-19 14:26:01 +0100pyuk(~vroom@217.138.252.170)
2021-03-19 14:27:05 +0100forell_(~forell@unaffiliated/forell)
2021-03-19 14:27:16 +0100glamas_(~glamas@107.182.17.237)
2021-03-19 14:27:23 +0100 <mikoto-chan> I still don't understand how everything is installed locally with stack and cabal
2021-03-19 14:27:38 +0100sim590_(~sim590@modemcable090.207-203-24.mc.videotron.ca)
2021-03-19 14:27:41 +0100 <mikoto-chan> Since I currently need hident but installing it per project is gonna be a serious waste of disk space
2021-03-19 14:27:41 +0100sayola1(~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de)
2021-03-19 14:27:54 +0100 <mikoto-chan> hindent*
2021-03-19 14:28:18 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-puiusmmccpivlalb) (Quit: Connection closed for inactivity)
2021-03-19 14:28:33 +0100 <mikoto-chan> https://stackoverflow.com/questions/49504206/recommended-approach-to-use-stack-as-global-package-m…
2021-03-19 14:28:37 +0100 <mikoto-chan> My bad, found the answer
2021-03-19 14:28:54 +0100 <merijn> I mean, just "cabal install hindent" should work?
2021-03-19 14:29:08 +0100day_(~Unknown@unaffiliated/day)
2021-03-19 14:29:21 +0100supercoven(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi)
2021-03-19 14:29:55 +0100machined1od(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-03-19 14:29:59 +0100__monty_1(~toonn@unaffiliated/toonn)
2021-03-19 14:30:08 +0100xff0x_(~xff0x@2001:1a81:5242:1600:dd4:8333:b767:2ed3)
2021-03-19 14:30:16 +0100pricly_yellow1(~pricly_ye@static.90.189.158.212.sinor.ru)
2021-03-19 14:30:28 +0100Major_Bi1(~Major_Bis@82-169-100-198.biz.kpn.net)
2021-03-19 14:31:26 +0100caubert_(~caubert@136.244.111.235)
2021-03-19 14:31:34 +0100juri_(~juri@178.63.35.222) (Ping timeout: 256 seconds)
2021-03-19 14:32:04 +0100unlink_(~unlink2@p200300ebcf13b600588c7881abb1ea42.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-03-19 14:32:22 +0100jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-03-19 14:32:23 +0100unlink_(~unlink2@p200300ebcf13b600588c7881abb1ea42.dip0.t-ipconnect.de)
2021-03-19 14:32:51 +0100son0p(~son0p@181.58.39.182) (Quit: leaving)
2021-03-19 14:33:52 +0100ukari(~ukari@unaffiliated/ukari) (*.net *.split)
2021-03-19 14:33:52 +0100dhil(~dhil@80.208.56.181) (*.net *.split)
2021-03-19 14:33:52 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (*.net *.split)
2021-03-19 14:33:52 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (*.net *.split)
2021-03-19 14:33:52 +0100__monty__(~toonn@unaffiliated/toonn) (*.net *.split)
2021-03-19 14:33:52 +0100Rudd0^(~Rudd0@185.189.115.103) (*.net *.split)
2021-03-19 14:33:52 +0100idhugo(~idhugo@80-62-117-49-mobile.dk.customer.tdc.net) (*.net *.split)
2021-03-19 14:33:52 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net) (*.net *.split)
2021-03-19 14:33:52 +0100pricly_yellow(~pricly_ye@static.90.189.158.212.sinor.ru) (*.net *.split)
2021-03-19 14:33:52 +0100Hi-Angel(~constanti@broadband-188-32-15-112.ip.moscow.rt.ru) (*.net *.split)
2021-03-19 14:33:52 +0100day(~Unknown@unaffiliated/day) (*.net *.split)
2021-03-19 14:33:52 +0100xff0x(~xff0x@port-92-195-0-54.dynamic.as20676.net) (*.net *.split)
2021-03-19 14:33:52 +0100sayola(~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) (*.net *.split)
2021-03-19 14:33:52 +0100xlei(znc@unaffiliated/xlei) (*.net *.split)
2021-03-19 14:33:52 +0100caubert(~caubert@136.244.111.235) (*.net *.split)
2021-03-19 14:33:52 +0100rookie101(~rookie@207.154.204.166) (*.net *.split)
2021-03-19 14:33:52 +0100puke(~vroom@217.138.252.170) (*.net *.split)
2021-03-19 14:33:52 +0100petersen(~petersen@redhat/juhp) (*.net *.split)
2021-03-19 14:33:52 +0100neiluj(~jco@unaffiliated/neiluj) (*.net *.split)
2021-03-19 14:33:52 +0100roconnor(~roconnor@host-45-58-230-226.dyn.295.ca) (*.net *.split)
2021-03-19 14:33:52 +0100glamas(~glamas@107.182.17.237) (*.net *.split)
2021-03-19 14:33:52 +0100vchlup(~vchlup@nat.brnet.cz) (*.net *.split)
2021-03-19 14:33:52 +0100sim590(~sim590@modemcable090.207-203-24.mc.videotron.ca) (*.net *.split)
2021-03-19 14:33:52 +0100forell(~forell@unaffiliated/forell) (*.net *.split)
2021-03-19 14:33:53 +0100sajith(~sajith@fsf/member/nonzen) (*.net *.split)
2021-03-19 14:33:53 +0100dhruvasagar(~dhruvasag@49.207.63.69) (*.net *.split)
2021-03-19 14:33:53 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (*.net *.split)
2021-03-19 14:33:53 +0100day_day
2021-03-19 14:33:53 +0100forell_forell
2021-03-19 14:33:53 +0100sim590_sim590
2021-03-19 14:34:57 +0100xlei(znc@unaffiliated/xlei)
2021-03-19 14:35:19 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-19 14:36:09 +0100Someguy123(~someguy@unaffiliated/compgenius999) (Ping timeout: 246 seconds)
2021-03-19 14:36:27 +0100hololeap(~hololeap@unaffiliated/hololeap) (Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/)
2021-03-19 14:36:33 +0100Cathy(~Cathy@unaffiliated/cathy) (Ping timeout: 264 seconds)
2021-03-19 14:36:51 +0100conal(~conal@64.71.133.70) (Ping timeout: 246 seconds)
2021-03-19 14:36:51 +0100Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 246 seconds)
2021-03-19 14:37:27 +0100ixian8(~mgold@terra.bitplane.org) (Remote host closed the connection)
2021-03-19 14:37:27 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 14:37:45 +0100__monty_1__monty__
2021-03-19 14:37:56 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 14:37:58 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 14:38:56 +0100Zetagon(~leo@c151-177-52-233.bredband.comhem.se) (Ping timeout: 256 seconds)
2021-03-19 14:39:19 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-19 14:39:22 +0100 <Philonous> tomsmeding, No, the type is »aggTemplates :: forall a. SqlExpr (Value a) -> SqlExpr (Value [a])«, it doesn't have free variables
2021-03-19 14:39:24 +0100kashima(~sphone@2001:ee0:24f:df22:e960:97a1:5090:8209)
2021-03-19 14:39:33 +0100sajith(~sajith@fsf/member/nonzen)
2021-03-19 14:39:35 +0100roconnor(~roconnor@host-45-58-230-226.dyn.295.ca)
2021-03-19 14:39:35 +0100neiluj(~jco@91-167-203-101.subs.proxad.net)
2021-03-19 14:39:43 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-19 14:39:44 +0100kashima(~sphone@2001:ee0:24f:df22:e960:97a1:5090:8209) (Read error: Connection reset by peer)
2021-03-19 14:39:52 +0100roconnor(~roconnor@host-45-58-230-226.dyn.295.ca) (*.net *.split)
2021-03-19 14:39:52 +0100neiluj(~jco@91-167-203-101.subs.proxad.net) (*.net *.split)
2021-03-19 14:40:02 +0100kashima(~sphone@2001:ee0:24f:df22:e960:97a1:5090:8209)
2021-03-19 14:40:08 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt) (Ping timeout: 240 seconds)
2021-03-19 14:40:11 +0100Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-03-19 14:40:36 +0100Rudd0(~Rudd0@185.189.115.103)
2021-03-19 14:40:53 +0100ukari(~ukari@unaffiliated/ukari)
2021-03-19 14:40:56 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2021-03-19 14:41:04 +0100dhruvasagar(~dhruvasag@49.207.63.69)
2021-03-19 14:41:15 +0100roconnor(~roconnor@host-45-58-230-226.dyn.295.ca)
2021-03-19 14:41:15 +0100conal(~conal@64.71.133.70)
2021-03-19 14:41:38 +0100rookie101(~rookie@207.154.204.166)
2021-03-19 14:41:45 +0100dhil(~dhil@80.208.56.181)
2021-03-19 14:42:12 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt)
2021-03-19 14:42:30 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt) (Client Quit)
2021-03-19 14:43:03 +0100neiluj(~jco@91-167-203-101.subs.proxad.net)
2021-03-19 14:43:57 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 265 seconds)
2021-03-19 14:44:12 +0100roconnor(~roconnor@host-45-58-230-226.dyn.295.ca) (Excess Flood)
2021-03-19 14:44:12 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 14:44:27 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 14:44:33 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 14:44:39 +0100Cathy(~Cathy@unaffiliated/cathy)
2021-03-19 14:44:40 +0100roconnor(~roconnor@host-45-58-230-226.dyn.295.ca)
2021-03-19 14:48:19 +0100juri_(~juri@79.140.120.153)
2021-03-19 14:48:32 +0100drbean(~drbean@TC210-63-209-54.static.apol.com.tw) (Ping timeout: 240 seconds)
2021-03-19 14:48:41 +0100Someguy123(~someguy@unaffiliated/compgenius999)
2021-03-19 14:49:10 +0100geowiesnot_bis(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-03-19 14:51:47 +0100Sornaensis(~Sornaensi@077213203030.dynamic.telenor.dk)
2021-03-19 14:54:08 +0100juri_(~juri@79.140.120.153) (Read error: Connection reset by peer)
2021-03-19 14:54:09 +0100graf_blutwurst(~user@2001:171b:226e:adc0:7535:ff00:8232:c348) (Remote host closed the connection)
2021-03-19 14:54:43 +0100juri_(~juri@79.140.120.153)
2021-03-19 14:55:08 +0100juri_(~juri@79.140.120.153) (Read error: Connection reset by peer)
2021-03-19 14:55:09 +0100Sorny(~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 264 seconds)
2021-03-19 14:56:02 +0100jakalx(~jakalx@base.jakalx.net)
2021-03-19 14:57:02 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 264 seconds)
2021-03-19 14:57:17 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 14:58:29 +0100fakt(~buzu@103.88.80.14)
2021-03-19 14:59:17 +0100alx741(~alx741@181.196.68.246)
2021-03-19 14:59:39 +0100juri_(~juri@79.140.120.153)
2021-03-19 14:59:39 +0100juri_(~juri@79.140.120.153) (Read error: Connection reset by peer)
2021-03-19 15:02:26 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-03-19 15:02:43 +0100ukari(~ukari@unaffiliated/ukari)
2021-03-19 15:02:56 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 240 seconds)
2021-03-19 15:03:39 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 15:05:06 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-19 15:05:17 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-03-19 15:07:11 +0100L29Ah(~L29Ah@unaffiliated/l29ah)
2021-03-19 15:08:21 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-03-19 15:09:29 +0100__minoru__shirae(~shiraeesh@77.94.25.145) (Ping timeout: 256 seconds)
2021-03-19 15:09:40 +0100juri_(~juri@79.140.120.153)
2021-03-19 15:12:01 +0100juri_(~juri@79.140.120.153) (Read error: Connection reset by peer)
2021-03-19 15:16:32 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 240 seconds)
2021-03-19 15:16:38 +0100jrm(~jrm@freebsd/developer/jrm) (Ping timeout: 260 seconds)
2021-03-19 15:17:01 +0100fakt(~buzu@103.88.80.14) (Quit: Bye_Bye have fun)
2021-03-19 15:17:04 +0100ixian(~mgold@terra.bitplane.org)
2021-03-19 15:19:14 +0100kilolympus(~kilolympu@5.151.5.181) (Quit: Quitting IRC :()
2021-03-19 15:20:52 +0100__minoru__shirae(~shiraeesh@77.94.25.145)
2021-03-19 15:20:57 +0100geowiesnot_bis(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-03-19 15:21:34 +0100kinsho(~kinsho@83.137.249.87)
2021-03-19 15:22:50 +0100kinsho(~kinsho@83.137.249.87) (Quit: Leaving.)
2021-03-19 15:24:05 +0100acowley(~acowley@c-68-83-22-43.hsd1.nj.comcast.net)
2021-03-19 15:25:34 +0100hololeap(~hololeap@unaffiliated/hololeap)
2021-03-19 15:26:56 +0100darjeeling_(~darjeelin@122.245.217.128) (Ping timeout: 240 seconds)
2021-03-19 15:27:17 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-19 15:27:35 +0100stevenxl(uid133530@gateway/web/irccloud.com/x-vvjdltsewdnohvlv)
2021-03-19 15:27:44 +0100 <mikoto-chan> merijn: That's cool and all but stack keeps running out of memory while compiling -_-
2021-03-19 15:28:06 +0100 <mikoto-chan> I only have 4GB atm and don't really see myself buying more with the current prices
2021-03-19 15:28:14 +0100zebrag(~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr)
2021-03-19 15:28:32 +0100 <merijn> I don't really use stack, so can't help you there
2021-03-19 15:28:38 +0100stevenxlstevenxl1
2021-03-19 15:28:50 +0100 <mikoto-chan> Wait
2021-03-19 15:28:52 +0100 <merijn> mikoto-chan: 4GB should be fine, though. Try disabling parallel builds in stack?
2021-03-19 15:28:56 +0100 <mikoto-chan> Nvm, you can just do -j1
2021-03-19 15:29:03 +0100 <mikoto-chan> Yea it automatically does -j3 I guess
2021-03-19 15:29:03 +0100 <merijn> :D
2021-03-19 15:29:22 +0100 <merijn> Yeah, 1 GHC on 4GB should be fine, but 3 gets...heavy :p
2021-03-19 15:29:38 +0100 <mikoto-chan> If I run out of memory again I'm switching to Lisp
2021-03-19 15:29:39 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Client Quit)
2021-03-19 15:33:22 +0100tinhatcat(~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net)
2021-03-19 15:34:40 +0100juri_(~juri@79.140.120.153)
2021-03-19 15:37:18 +0100ntkr(uid491148@gateway/web/irccloud.com/x-grscyfuzvjfkwmna) (Quit: Connection closed for inactivity)
2021-03-19 15:38:39 +0100Pickchea(~private@unaffiliated/pickchea)
2021-03-19 15:40:12 +0100zerokz0k
2021-03-19 15:40:39 +0100 <curiousgay> opengl package is not meant to be used by someone (me) who doesn't have any experience with opengl?
2021-03-19 15:40:47 +0100tinhatcat(~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net) (Quit: Leaving)
2021-03-19 15:41:23 +0100hackagetypenums 0.1.3 - Type level numbers using existing Nat functionality https://hackage.haskell.org/package/typenums-0.1.3 (AdituV)
2021-03-19 15:42:02 +0100fendor(~fendor@91.141.3.89.wireless.dyn.drei.com) (Remote host closed the connection)
2021-03-19 15:42:32 +0100ixian(~mgold@terra.bitplane.org) (Ping timeout: 240 seconds)
2021-03-19 15:42:41 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-19 15:43:33 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 15:43:53 +0100Lycurgus(~niemand@98.4.116.165)
2021-03-19 15:44:38 +0100viluon(uid453725@gateway/web/irccloud.com/x-tsrjyctedjmnhhpa)
2021-03-19 15:46:17 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net) (Remote host closed the connection)
2021-03-19 15:46:44 +0100acidjnk_new(~acidjnk@p200300d0c72b9511759421c9ddfcc58f.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2021-03-19 15:47:08 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-03-19 15:47:26 +0100 <merijn> curiousgay: It's mean to provide access to OpenGL. Which is not a particularly high level nor beginner friendly API, no
2021-03-19 15:48:25 +0100 <Lycurgus> nor is any real GUI
2021-03-19 15:48:25 +0100 <curiousgay> :(
2021-03-19 15:48:54 +0100 <Lycurgus> it's just busy stuff though and a lil bit of you had to be there
2021-03-19 15:48:55 +0100kmein(~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao)
2021-03-19 15:50:02 +0100 <dhruvasagar> Hey guys, if anybody has the time, could you look into this yaml parser that I am in the process of building https://gist.github.com/dhruvasagar/92bfa5ad92c70f31065445a303da7979. I am struggling a little bit getting manyByIndent right and use it for parsing yamlArray / yamlObject.
2021-03-19 15:50:05 +0100 <merijn> curiousgay: otoh, the advantage of being "just opengl" is that you can pretty much grab any OpenGL book from a different language and use that, since it's "just opengl" :)
2021-03-19 15:50:09 +0100 <Lycurgus> except smalltalk igess
2021-03-19 15:50:25 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-03-19 15:50:37 +0100 <merijn> curiousgay: Like, if you know C or something, just grab a C opengl book to learn opengl and done :p
2021-03-19 15:50:52 +0100kmein(~weechat@static.173.83.99.88.clients.your-server.de)
2021-03-19 15:51:18 +0100 <curiousgay> huh, I thought opengl (as a package) is different from openglraw (1:1 correspondence to ugly C API)
2021-03-19 15:52:29 +0100 <Lycurgus> also smalltalk can but generally doesn't act as bottomost hardware interface
2021-03-19 15:52:38 +0100 <merijn> curiousgay: opengl is *slightly* higher level, in that it hides the poitner stuff
2021-03-19 15:53:01 +0100coot(~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-19 15:53:04 +0100malumore(~malumore@151.62.118.248) (Remote host closed the connection)
2021-03-19 15:53:40 +0100curiousgaythinking
2021-03-19 15:53:44 +0100 <merijn> curiousgay: But it's not really a high level API. There was a nice-ish higher level rendering library, but I can't remember the name
2021-03-19 15:54:14 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-19 15:54:34 +0100 <merijn> curiousgay: For something higher level you'd want something like SDL
2021-03-19 15:54:43 +0100 <curiousgay> then I need to do something in Haskell that's not related to graphics at all...
2021-03-19 15:55:00 +0100darjeeling_(~darjeelin@122.245.217.128)
2021-03-19 15:55:03 +0100 <dolio> It will be somewhat better than C, probably. Like, it has `with...` stuff instead of you having to remember to call `...Begin` and `...End` correctly.
2021-03-19 15:55:31 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 244 seconds)
2021-03-19 15:55:31 +0100juri_(~juri@79.140.120.153) (Read error: Connection reset by peer)
2021-03-19 15:56:20 +0100 <curiousgay> merijn: hm, actually there's a whole tutorial that uses SDL https://github.com/madjestic/Haskell-OpenGL-Tutorial
2021-03-19 15:56:20 +0100juri_(~juri@79.140.120.153)
2021-03-19 15:56:24 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-19 15:56:35 +0100 <dolio> But that's just an example of C making it difficult to do even the most basic control flow abstraction.
2021-03-19 15:56:58 +0100 <dhruvasagar> anybody ? any thoughts / clues / hints ?
2021-03-19 15:57:21 +0100 <curiousgay> ah, that tutorial uses not only SDL, I misread the README
2021-03-19 15:57:51 +0100ixian(~mgold@terra.bitplane.org)
2021-03-19 15:58:03 +0100stree(~stree@68.36.8.116) (Ping timeout: 246 seconds)
2021-03-19 15:58:33 +0100zebrag(~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-19 15:58:55 +0100zebrag(~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr)
2021-03-19 15:58:56 +0100 <Lycurgus> dhruvasagar, your query may work better if you are more specific
2021-03-19 15:59:14 +0100Lycurgus(~niemand@98.4.116.165) (Quit: Exeunt)
2021-03-19 16:00:02 +0100 <dhruvasagar> Lycurgus: well I am doing this as a learning exercise, my code is largely borrowed from haskell-json a parser build by tsoding for json. The main thing I am kinda struggling with is building a nice indent sensitive parser
2021-03-19 16:00:42 +0100 <merijn> dhruvasagar: Because building indent sensitive parser is *hard* :)
2021-03-19 16:01:02 +0100 <dhruvasagar> merijn: even more reason to try to do it :)
2021-03-19 16:01:56 +0100 <curiousgay> merijn: I'll try that tutorial, although it focuses on GLFW instead of SDL
2021-03-19 16:02:15 +0100 <curiousgay> just nice start for learning Haskell and GL lol
2021-03-19 16:02:15 +0100juri_(~juri@79.140.120.153) (Read error: Connection reset by peer)
2021-03-19 16:02:35 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8)
2021-03-19 16:02:54 +0100bitmagie(~Thunderbi@200116b8064af700cc4b64cf6315dd95.dip.versatel-1u1.de)
2021-03-19 16:02:57 +0100curiousgaywants to rewrite IRC client from Tcl/Tk to Haskell
2021-03-19 16:03:27 +0100 <merijn> dhruvasagar: Sure, but that might explain the lack of response :p
2021-03-19 16:03:42 +0100ixian(~mgold@terra.bitplane.org) (Ping timeout: 265 seconds)
2021-03-19 16:03:48 +0100 <dhruvasagar> merijn: I can tell, this is the fourth time I am trying here
2021-03-19 16:03:51 +0100 <merijn> I built one once years ago that worked "well enough for my examples", but I'll be damned if I remember how :)
2021-03-19 16:04:09 +0100 <merijn> dhruvasagar: You can try the haskell-cafe mailing list
2021-03-19 16:04:29 +0100 <merijn> dhruvasagar: Obscure questions work better of asynchronous medium :)
2021-03-19 16:04:31 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 16:04:41 +0100 <dhruvasagar> merijn: thanks, i'll give that a shot too
2021-03-19 16:04:54 +0100 <dhruvasagar> merijn:i've been stuck trying to do this for a couple of weeks now
2021-03-19 16:04:54 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 16:05:09 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 16:05:12 +0100hololeap(~hololeap@unaffiliated/hololeap) (Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/)
2021-03-19 16:06:01 +0100 <merijn> IRC relies on the 3 people knowing an answer actually being online and paying attention when you ask. Mailing lists not so much :)
2021-03-19 16:06:02 +0100fendor(~fendor@91.141.3.89.wireless.dyn.drei.com)
2021-03-19 16:07:44 +0100juri_(~juri@178.63.35.222)
2021-03-19 16:07:48 +0100edwardkwonders what he's doing awake at 8am
2021-03-19 16:07:50 +0100 <curiousgay> merijn: btw, have you tried any widget library in Haskell? I want to rewrite my IRC client from Tcl/Tk because using untyped scripting language is a torture
2021-03-19 16:08:45 +0100hololeap(~hololeap@unaffiliated/hololeap)
2021-03-19 16:08:49 +0100 <merijn> edwardk: Why? I long ago concluded/realised you're secretly an android who doesn't sleep
2021-03-19 16:08:51 +0100bitmagie(~Thunderbi@200116b8064af700cc4b64cf6315dd95.dip.versatel-1u1.de) (Quit: bitmagie)
2021-03-19 16:09:01 +0100 <edwardk> i usually see this hour from the other side, yes.
2021-03-19 16:09:50 +0100 <edwardk> anyways *beep* *boop* the distributive code is coming along nicely. I'm really rather fond of a trick i was able to use to get generics to derive most of the code in HKD with it
2021-03-19 16:10:43 +0100 <edwardk> in particular if you have a data newtype F2 a b f = F2 (f a) (f b) -- GHC.Generics chokes
2021-03-19 16:10:44 +0100 <merijn> edwardk: On a mission to exterminate the pre 8.6 code? ;)
2021-03-19 16:10:51 +0100 <edwardk> er data
2021-03-19 16:11:36 +0100stree(~stree@68.36.8.116)
2021-03-19 16:11:43 +0100 <edwardk> but if you define newtype F1 a f = F1 { runF1 :: f a }; data F2 a b f = F2' (F1 a f) (F1 b f) ? -- then i can derive generic/generic1 and use a pattern synonym to get the old api
2021-03-19 16:11:43 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 16:11:54 +0100 <edwardk> not a mission per se
2021-03-19 16:12:05 +0100 <edwardk> just trying to get the codebase for distributive/hkd to be manageable
2021-03-19 16:12:15 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 16:12:31 +0100 <edwardk> on the plus side dozens of modules from linear become 4-5 lines long each
2021-03-19 16:12:45 +0100 <edwardk> er i guess closer to 'a dozen'
2021-03-19 16:13:28 +0100 <edwardk> a lot of this stuff is present with slight variation in barbies/vinyl, except not unified with the funny argument order i use here
2021-03-19 16:13:36 +0100curiousgay(~gay@178.217.208.8) (Remote host closed the connection)
2021-03-19 16:13:57 +0100toorevitimirp(~tooreviti@117.182.183.55) (Remote host closed the connection)
2021-03-19 16:14:04 +0100brandly(~brandly@c-73-68-15-46.hsd1.ma.comcast.net)
2021-03-19 16:15:20 +0100Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 240 seconds)
2021-03-19 16:15:47 +0100curiousgay(~gay@178.217.208.8)
2021-03-19 16:18:39 +0100day(~Unknown@unaffiliated/day) (Remote host closed the connection)
2021-03-19 16:18:39 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 16:18:50 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 16:20:19 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 244 seconds)
2021-03-19 16:21:29 +0100hewhoislearningh(d5e1092d@213-225-9-45.nat.highway.a1.net)
2021-03-19 16:21:37 +0100ixian(~mgold@terra.bitplane.org)
2021-03-19 16:22:13 +0100dmwit_dmwitc
2021-03-19 16:22:16 +0100dmwitcdmwit
2021-03-19 16:22:50 +0100vilpan(~0@212.117.1.172) ()
2021-03-19 16:24:22 +0100 <dmwit> merijn: I have personally witnessed him sleeping. His real secret is that he's capable of falling asleep midsentence if he decides the conversation has finished being useful.
2021-03-19 16:24:33 +0100 <curiousgay> I have an impression that GLFW abuses Maybe monad
2021-03-19 16:24:46 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-03-19 16:24:58 +0100 <dmwit> Huh. What kind of behavior constitutes monad abuse?
2021-03-19 16:25:21 +0100 <curiousgay> dmwit: just take a look at this code: https://github.com/madjestic/Haskell-OpenGL-Tutorial/blob/master/tutorial01/Main.hs
2021-03-19 16:25:34 +0100 <hewhoislearningh> hi, can you help me? i cant figure out how to use ask criterion to run a function in a benchmark only a certain amount of times. i found this function in the docs but cant figure out how to use it:
2021-03-19 16:25:34 +0100 <hewhoislearningh> https://paste.tomsmeding.com/iaeuHyCz
2021-03-19 16:26:35 +0100 <dmwit> curiousgay: 1. There's no use of the Monad interface on Maybe's in there as far as I can tell. 2. This code looks nice, what's the problem?
2021-03-19 16:27:39 +0100 <curiousgay> dmwit: I mean that API requires from user writing lots of Just
2021-03-19 16:28:13 +0100Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-19 16:29:40 +0100 <dmwit> curiousgay: ...is that bad?
2021-03-19 16:30:06 +0100 <curiousgay> yes
2021-03-19 16:30:30 +0100 <dmwit> hmmmm
2021-03-19 16:30:43 +0100 <merijn> You aren't required to write just, you could just handle the error when it happens
2021-03-19 16:31:10 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-03-19 16:31:34 +0100 <dmwit> merijn: The Maybe's are function arguments, not results.
2021-03-19 16:31:42 +0100 <dmwit> Or maybe I don't understand your advice.
2021-03-19 16:31:44 +0100 <merijn> ah
2021-03-19 16:31:56 +0100 <merijn> dmwit: I think I misunderstood?
2021-03-19 16:31:57 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 16:32:26 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 16:32:43 +0100ixian(~mgold@terra.bitplane.org) (Ping timeout: 244 seconds)
2021-03-19 16:33:32 +0100 <dmwit> hewhoislearningh: I guess you could use Criterion.benchmarkWith to specify an amount of time to spend. I don't think you get to control how many iterations there are.
2021-03-19 16:33:57 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 16:34:08 +0100 <dmwit> But if you know about how long you expect it to take you can get close by multiplying by 100 and specifying that as the time limit. ;-)
2021-03-19 16:34:16 +0100Kaiepi(~Kaiepi@47.54.252.148)
2021-03-19 16:34:18 +0100 <merijn> You can in the commandline
2021-03-19 16:34:21 +0100 <hewhoislearningh> dmwit but the documentation says:
2021-03-19 16:34:22 +0100 <hewhoislearningh> toBenchmarkable :: (Int64 -> IO ()) -> Benchmarkable
2021-03-19 16:34:22 +0100 <hewhoislearningh> Construct a Benchmarkable value from an impure action, where the Int64 parameter indicates the number of times to run the action.
2021-03-19 16:34:24 +0100 <merijn> but not in the benchmark definition
2021-03-19 16:34:32 +0100 <dmwit> hewhoislearningh: I know. That doesn't mean what you think it means.
2021-03-19 16:34:47 +0100 <dmwit> hewhoislearningh: What that says is that the criterion machinery will pass *you* an argument telling you how many times it wants you to run.
2021-03-19 16:35:00 +0100 <hewhoislearningh> ah ok, thanks
2021-03-19 16:35:13 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-03-19 16:35:36 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-19 16:35:51 +0100day(~Unknown@unaffiliated/day)
2021-03-19 16:36:48 +0100raoulb(~weechat@2a02:169:5:a:d2fd:102:bea8:9895)
2021-03-19 16:37:48 +0100mouseghost(~draco@wikipedia/desperek) (Remote host closed the connection)
2021-03-19 16:38:35 +0100 <day> http://sprunge.us/ZgTTq3 when i run this hackage.haskell.org example code on a decently large xlsx file it takes 13seconds to finish :D is there anything glaringly broken in that example?
2021-03-19 16:38:36 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 16:38:41 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl)
2021-03-19 16:38:41 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-03-19 16:38:41 +0100mouseghost(~draco@wikipedia/desperek)
2021-03-19 16:38:53 +0100 <day> with decently large i mean ~4MB
2021-03-19 16:39:01 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 16:39:05 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 272 seconds)
2021-03-19 16:39:15 +0100 <merijn> Yes, no, maybe, who knows?
2021-03-19 16:39:39 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-19 16:39:54 +0100Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-19 16:41:22 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 16:42:01 +0100Kaiepi(~Kaiepi@47.54.252.148)
2021-03-19 16:43:36 +0100 <c_wraith> if that's taking 13 seconds, look into Codec.Xlsx. It's not a library I've heard of before, and it's the only thing doing anything interesting
2021-03-19 16:46:44 +0100 <c_wraith> I will say that the combination of ^? and ending the lens with _Just is funny.
2021-03-19 16:46:52 +0100 <c_wraith> But you clearly got that from the docs
2021-03-19 16:47:03 +0100poljar1(~poljar@93-139-44-107.adsl.net.t-com.hr) (Ping timeout: 246 seconds)
2021-03-19 16:47:45 +0100curiousgaysees 19M size of compiled executable
2021-03-19 16:47:55 +0100 <curiousgay> wow, it must have lots of debug information
2021-03-19 16:48:32 +0100 <merijn> curiousgay: --enable-split-sections and don't forget to run "strip"
2021-03-19 16:48:32 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-03-19 16:48:53 +0100 <merijn> split sections can give massive shrinks
2021-03-19 16:48:56 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 240 seconds)
2021-03-19 16:50:10 +0100ixian(~mgold@terra.bitplane.org)
2021-03-19 16:50:52 +0100finBigBoss007(~finBigBos@82-203-189-194.bb.dnainternet.fi)
2021-03-19 16:51:07 +0100poljar(~poljar@93-139-86-101.adsl.net.t-com.hr)
2021-03-19 16:52:02 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-19 16:52:03 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 16:52:16 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-19 16:52:37 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 16:54:22 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-19 16:54:34 +0100hewhoislearningh(d5e1092d@213-225-9-45.nat.highway.a1.net) (Quit: Connection closed)
2021-03-19 16:54:51 +0100Pickchea(~private@unaffiliated/pickchea)
2021-03-19 16:55:17 +0100 <c_wraith> day: after reading through a bit of the xlsx package, I'm willing to bet that runtime is almost entirely in the parser. The data structures it parses to should be very fast to use for lookups - once they're fully evaluated
2021-03-19 16:56:59 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de)
2021-03-19 16:57:25 +0100 <c_wraith> day: the package also exports a function `toXlsxFast' that might be worth testing with.
2021-03-19 16:57:50 +0100ixian(~mgold@terra.bitplane.org) (Ping timeout: 265 seconds)
2021-03-19 16:58:33 +0100zebrag(~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-19 16:58:48 +0100__minoru__shirae(~shiraeesh@77.94.25.145) (Ping timeout: 265 seconds)
2021-03-19 16:58:49 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 16:58:54 +0100zebrag(~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr)
2021-03-19 16:59:14 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 16:59:33 +0100coot(~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl)
2021-03-19 17:00:06 +0100raoulb(~weechat@2a02:169:5:a:d2fd:102:bea8:9895) (Quit: raoulb)
2021-03-19 17:00:11 +0100sigmacool[m](sigmacoolm@gateway/shell/matrix.org/x-wbtiyswnbxffiblk) (Quit: Idle for 30+ days)
2021-03-19 17:00:11 +0100sramsay64[m](sramsay64p@gateway/shell/matrix.org/x-bknpsyoyllijdxjm) (Quit: Idle for 30+ days)
2021-03-19 17:00:11 +0100a-tsioh[m](a-tsiohmat@gateway/shell/matrix.org/x-hzsglvxmnibrcjwd) (Quit: Idle for 30+ days)
2021-03-19 17:00:12 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 17:00:18 +0100raoulb(~weechat@2a02:169:5:a:d2fd:102:bea8:9895)
2021-03-19 17:01:20 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) (Ping timeout: 240 seconds)
2021-03-19 17:01:37 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-19 17:03:13 +0100malumore(~malumore@151.62.118.248)
2021-03-19 17:04:14 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Ping timeout: 264 seconds)
2021-03-19 17:07:59 +0100raoulb(~weechat@2a02:169:5:a:d2fd:102:bea8:9895) (Quit: raoulb)
2021-03-19 17:08:37 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-19 17:09:06 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net)
2021-03-19 17:10:49 +0100 <mikoto-chan> Is debugging the only use of Maybe? I never understood Maybe, Just and Nothing tbh
2021-03-19 17:12:01 +0100 <hololeap> mikoto-chan: Maybe encodes the concept of partial functions
2021-03-19 17:12:27 +0100tsaka__(~torstein@athedsl-4491541.home.otenet.gr)
2021-03-19 17:12:27 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 17:12:36 +0100 <hololeap> (a -> Maybe b) means that for any 'a', there is _possibly_ a corresponding 'b'
2021-03-19 17:12:50 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 17:13:11 +0100 <hololeap> that's it
2021-03-19 17:14:21 +0100raoulb(~weechat@2a02:169:5:a:d2fd:102:bea8:9895)
2021-03-19 17:14:25 +0100 <mikoto-chan> hololeap: Any language with a similar "wrapper"?
2021-03-19 17:14:37 +0100 <mikoto-chan> functionality or whatever you want to call it
2021-03-19 17:14:45 +0100 <hololeap> lots of languages have null or nil
2021-03-19 17:14:56 +0100 <hololeap> so every type in those languages has an implicit Maybe
2021-03-19 17:15:10 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection)
2021-03-19 17:15:12 +0100 <yushyin> mikoto-chan: https://en.wikipedia.org/wiki/Option_type
2021-03-19 17:15:47 +0100 <yushyin> ocaml,f#,rust etc.
2021-03-19 17:16:00 +0100kuribas(~user@ptr-25vy0iagi80mnljuo8k.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-03-19 17:16:43 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-19 17:16:53 +0100 <hololeap> honestly, i wouldn't consider Maybe to be any good for debugging. it tells you literally Nothing
2021-03-19 17:18:26 +0100 <yushyin> pun intended? :)
2021-03-19 17:18:36 +0100 <hololeap> very much so :)
2021-03-19 17:19:14 +0100 <mikoto-chan> yushyin: ah thanks
2021-03-19 17:19:14 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 17:19:26 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 17:19:26 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-19 17:19:56 +0100Franciman(~francesco@host-79-53-62-46.retail.telecomitalia.it) (Remote host closed the connection)
2021-03-19 17:20:11 +0100Franciman(~francesco@host-79-53-62-46.retail.telecomitalia.it)
2021-03-19 17:20:23 +0100hackagehexpat-streamparser 0.1.1 - https://hackage.haskell.org/package/hexpat-streamparser-0.1.1 (KristofBastiaensen)
2021-03-19 17:21:44 +0100raoulb(~weechat@2a02:169:5:a:d2fd:102:bea8:9895) (Quit: raoulb)
2021-03-19 17:23:06 +0100 <hololeap> it might be worth pointing out that (Maybe a) encodes the exact same amount of information as (Either () a). you can see that it has the worst error type for encoding information: () aka unit
2021-03-19 17:23:41 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8)
2021-03-19 17:24:34 +0100 <hololeap> point is, Either will be much better for debugging than Maybe
2021-03-19 17:24:47 +0100 <hololeap> if you give it some error type that can relay information
2021-03-19 17:25:48 +0100raoulb(~weechat@2a02:169:5:a:d2fd:102:bea8:9895)
2021-03-19 17:25:48 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 17:26:01 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 17:26:59 +0100 <hololeap> although i wouldn't really call that debugging, either...
2021-03-19 17:27:02 +0100dcbdnl(~dcbdnl@2601:2c6:4e00:2d20::2)
2021-03-19 17:27:55 +0100raoulb(~weechat@2a02:169:5:a:d2fd:102:bea8:9895) (Client Quit)
2021-03-19 17:28:52 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2021-03-19 17:29:44 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 240 seconds)
2021-03-19 17:30:06 +0100DTZUZU(~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer)
2021-03-19 17:30:26 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de)
2021-03-19 17:30:30 +0100DTZUZU(~DTZUZO@205.ip-149-56-132.net)
2021-03-19 17:32:32 +0100 <tapas> ocharles: very close to approving your HPC pr :)
2021-03-19 17:32:57 +0100jrqc(~rofl@96.78.87.197)
2021-03-19 17:33:48 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-19 17:35:08 +0100kashima(~sphone@2001:ee0:24f:df22:e960:97a1:5090:8209) (Read error: Connection reset by peer)
2021-03-19 17:35:20 +0100jespada(~jespada@90.254.243.187) (Ping timeout: 240 seconds)
2021-03-19 17:37:11 +0100jespada(~jespada@90.254.243.187)
2021-03-19 17:38:46 +0100marek(~mmahut@209.250.249.245) (Changing host)
2021-03-19 17:38:46 +0100marek(~mmahut@fedora/pyxel)
2021-03-19 17:45:20 +0100xff0x_(~xff0x@2001:1a81:5242:1600:dd4:8333:b767:2ed3) (Ping timeout: 240 seconds)
2021-03-19 17:45:34 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-19 17:45:56 +0100shad0w_(a0ca254d@160.202.37.77)
2021-03-19 17:45:56 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 17:46:07 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 17:46:20 +0100xff0x_(~xff0x@2001:1a81:5242:1600:b747:f946:5a4c:2c3e)
2021-03-19 17:46:54 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2021-03-19 17:48:06 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-19 17:49:07 +0100jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-03-19 17:51:15 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 244 seconds)
2021-03-19 17:52:48 +0100 <dexterfoo> How can I add "HasCallStack" constraint to a lambda expression?
2021-03-19 17:52:48 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 17:53:12 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 17:54:25 +0100coot(~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-19 17:54:53 +0100ixian(~mgold@terra.bitplane.org)
2021-03-19 17:56:07 +0100MrMobius(~MrMobius@208.58.206.154) (Ping timeout: 265 seconds)
2021-03-19 17:56:12 +0100[1]MrMobius(~MrMobius@208.58.206.154)
2021-03-19 17:56:27 +0100[1]MrMobiusMrMobius
2021-03-19 17:57:21 +0100stevenxl1(uid133530@gateway/web/irccloud.com/x-vvjdltsewdnohvlv) (Quit: Connection closed for inactivity)
2021-03-19 17:57:56 +0100 <geekosaur> -XScopedTypeVariables and \(a :: HasCallStack => whateverTypeHere) -> ? (may not work if it has multiple parameters)
2021-03-19 17:58:10 +0100 <geekosaur> probably easier to use let to name it instead of using a lambda
2021-03-19 17:59:40 +0100 <geekosaur> hm, actually I'm not sure lambdas even support implicit variables which HasCallStack uses behind the scenes
2021-03-19 18:00:22 +0100jkrollin(~riddle@59.88.28.190)
2021-03-19 18:00:25 +0100 <geekosaur> even if they do you probably have to pass it explicitly which means digging through the implementation of CallStack. again, probably easier to just use a let
2021-03-19 18:00:41 +0100shad0w_(a0ca254d@160.202.37.77) ()
2021-03-19 18:02:46 +0100__minoru__shirae(~shiraeesh@77.94.25.145)
2021-03-19 18:05:13 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-19 18:05:59 +0100Deide(~Deide@217.155.19.23)
2021-03-19 18:06:14 +0100asheshambasta(~user@ptr-e1lysauzes00g1c9qcl.18120a2.ip6.access.telenet.be) (Ping timeout: 244 seconds)
2021-03-19 18:06:32 +0100ixian(~mgold@terra.bitplane.org) (Ping timeout: 240 seconds)
2021-03-19 18:06:51 +0100ixian(~mgold@terra.bitplane.org)
2021-03-19 18:07:21 +0100kilolympus(~kilolympu@5.151.5.181)
2021-03-19 18:07:46 +0100nfd(~nfd9001@2601:602:77f:1820:c4f6:78b5:4d5b:872c)
2021-03-19 18:08:54 +0100jkrollin(~riddle@59.88.28.190) ()
2021-03-19 18:11:24 +0100ixian(~mgold@terra.bitplane.org) (Ping timeout: 244 seconds)
2021-03-19 18:11:59 +0100__minoru__shirae(~shiraeesh@77.94.25.145) (Quit: Konversation terminated!)
2021-03-19 18:12:03 +0100ixian(~mgold@terra.bitplane.org)
2021-03-19 18:12:30 +0100__minoru__shirae(~shiraeesh@77.94.25.145)
2021-03-19 18:14:26 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) (Remote host closed the connection)
2021-03-19 18:15:03 +0100idhugo__(~idhugo@80-62-117-49-mobile.dk.customer.tdc.net)
2021-03-19 18:16:56 +0100gitgoood(~gitgood@80-44-9-221.dynamic.dsl.as9105.com) (Ping timeout: 240 seconds)
2021-03-19 18:17:37 +0100idhugo_(~idhugo@80-62-117-49-mobile.dk.customer.tdc.net) (Ping timeout: 256 seconds)
2021-03-19 18:18:45 +0100brandly(~brandly@c-73-68-15-46.hsd1.ma.comcast.net) (Remote host closed the connection)
2021-03-19 18:19:48 +0100__minoru__shirae(~shiraeesh@77.94.25.145) (Ping timeout: 246 seconds)
2021-03-19 18:20:08 +0100ixian(~mgold@terra.bitplane.org) (Ping timeout: 240 seconds)
2021-03-19 18:20:42 +0100nfd(~nfd9001@2601:602:77f:1820:c4f6:78b5:4d5b:872c) (Ping timeout: 244 seconds)
2021-03-19 18:21:23 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 18:23:52 +0100xff0x_(~xff0x@2001:1a81:5242:1600:b747:f946:5a4c:2c3e) (Ping timeout: 265 seconds)
2021-03-19 18:24:33 +0100xff0x_(~xff0x@2001:1a81:5242:1600:896e:d11c:efcb:15c1)
2021-03-19 18:24:45 +0100epicte7us(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-19 18:25:45 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-03-19 18:28:07 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 276 seconds)
2021-03-19 18:32:02 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 260 seconds)
2021-03-19 18:33:23 +0100jamm__(~jamm@unaffiliated/jamm)
2021-03-19 18:35:09 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-03-19 18:35:44 +0100Yumasi(~guillaume@2a01:e0a:5cb:4430:71ee:168f:367c:6d70) (Ping timeout: 240 seconds)
2021-03-19 18:36:49 +0100dale(dale@unaffiliated/dale)
2021-03-19 18:36:56 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds)
2021-03-19 18:36:59 +0100gitgood(~gitgood@80-44-9-221.dynamic.dsl.as9105.com)
2021-03-19 18:37:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 18:38:34 +0100jakalx(~jakalx@base.jakalx.net)
2021-03-19 18:39:13 +0100ep1ctetus_(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-19 18:40:21 +0100asheshambasta(~user@ptr-e1lysax65ha8r6ka1io.18120a2.ip6.access.telenet.be)
2021-03-19 18:42:08 +0100epicte7us(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 245 seconds)
2021-03-19 18:42:33 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-19 18:43:08 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 18:45:27 +0100chenshen(~chenshen@2620:10d:c090:400::5:a8c8)
2021-03-19 18:46:03 +0100idhugo__(~idhugo@80-62-117-49-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds)
2021-03-19 18:50:04 +0100Benzi-Junior(~BenziJuni@88-149-67-143.du.xdsl.is) (Quit: gone)
2021-03-19 18:50:26 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 264 seconds)
2021-03-19 18:52:02 +0100geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-03-19 18:52:11 +0100mav1(~mav@200116b8000b75000511026391577b4b.dip.versatel-1u1.de)
2021-03-19 18:52:23 +0100hackagehedgehog-classes 0.2.5.2 - Hedgehog will eat your typeclass bugs https://hackage.haskell.org/package/hedgehog-classes-0.2.5.2 (chessai)
2021-03-19 18:53:12 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de)
2021-03-19 18:54:51 +0100marinelli(~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli)
2021-03-19 18:56:04 +0100Benzi-Junior(~BenziJuni@dsl-149-67-143.hive.is)
2021-03-19 18:59:26 +0100 <cjay> does someone happen to know why GHC.Exts.proxy# in GHC 8.8 has two type parameters, but in 8.10 (and 9.0) only has one? In both cases, the type signature in the source is the same: proxy# :: Proxy# a
2021-03-19 18:59:39 +0100 <cjay> in 8.10, the kind parameter is marked as inferred, as it shoud be: proxy# :: forall {k} (a :: k). Proxy# a
2021-03-19 18:59:44 +0100 <cjay> in 8.8, it is not.
2021-03-19 19:00:19 +0100 <cjay> (when asking in ghci, with -fprint-explicit-foralls and :type +v)
2021-03-19 19:00:32 +0100xff0x_(~xff0x@2001:1a81:5242:1600:896e:d11c:efcb:15c1) (Ping timeout: 240 seconds)
2021-03-19 19:00:56 +0100hexo(~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection)
2021-03-19 19:00:56 +0100srk(~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection)
2021-03-19 19:01:03 +0100 <cjay> when using visible type application, this makes the two GHC versions incompatible
2021-03-19 19:01:04 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds)
2021-03-19 19:01:12 +0100hexo(~hexo@gateway/tor-sasl/hexo)
2021-03-19 19:01:13 +0100srk(~sorki@gateway/tor-sasl/sorki)
2021-03-19 19:01:44 +0100xff0x_(~xff0x@2001:1a81:5242:1600:5914:aa8:2ce7:6d7)
2021-03-19 19:01:51 +0100 <cjay> it is not the breaking change for TypeApplications that is mentioned in the 8.10.1 release notes, that one only affects the order, not the inferred-ness
2021-03-19 19:04:04 +0100 <cjay> (also, it doesn't help at all that Haddock seems to never use the {}, and that GHC 8.8 seems to not print the {} without -fprint-explicit-foralls, which I suppose is a bug, because 9.0 always prints the {}, but that is another story)
2021-03-19 19:04:28 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-19 19:05:08 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:7989:a619:7db3:6c1d) (Ping timeout: 244 seconds)
2021-03-19 19:05:32 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 19:06:28 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.0)
2021-03-19 19:06:48 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-19 19:06:48 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 19:07:17 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 19:09:31 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer)
2021-03-19 19:10:36 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Remote host closed the connection)
2021-03-19 19:11:48 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.0)
2021-03-19 19:11:48 +0100mav1(~mav@200116b8000b75000511026391577b4b.dip.versatel-1u1.de) (Quit: WeeChat 2.3)
2021-03-19 19:12:02 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-19 19:12:08 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-19 19:12:32 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-19 19:13:22 +0100ixian(~mgold@terra.bitplane.org)
2021-03-19 19:14:06 +0100[1]MrMobius(~MrMobius@208.58.206.154)
2021-03-19 19:14:13 +0100usr25(~usr25@unaffiliated/usr25)
2021-03-19 19:16:09 +0100MrMobius(~MrMobius@208.58.206.154) (Ping timeout: 264 seconds)
2021-03-19 19:16:10 +0100[1]MrMobiusMrMobius
2021-03-19 19:18:25 +0100ixian(~mgold@terra.bitplane.org) (Remote host closed the connection)
2021-03-19 19:19:28 +0100howdoi(uid224@gateway/web/irccloud.com/x-jronanyaeukwxgyd)
2021-03-19 19:19:29 +0100Cesionaut[m](cesionautm@gateway/shell/matrix.org/x-vzpmewnmdjdjjutv)
2021-03-19 19:20:39 +0100dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-03-19 19:21:05 +0100ixian(~mgold@terra.bitplane.org)
2021-03-19 19:22:32 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds)
2021-03-19 19:22:49 +0100rajivr(uid269651@gateway/web/irccloud.com/x-qbpyohprirpsktei) (Quit: Connection closed for inactivity)
2021-03-19 19:24:07 +0100gentauro(~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-03-19 19:24:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 19:24:24 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Remote host closed the connection)
2021-03-19 19:24:25 +0100gentauro(~gentauro@unaffiliated/gentauro)
2021-03-19 19:24:38 +0100justan0theruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds)
2021-03-19 19:24:45 +0100 <cjay> hmm, I suppose it's related to https://gitlab.haskell.org/ghc/ghc/commit/012257c15f584069500af2953ab70856f9a1470e
2021-03-19 19:25:18 +0100 <cjay> so, is the type signature of proxy# from the source file completely ignored by GHC because it's a builtin?
2021-03-19 19:25:39 +0100dcbdnl(~dcbdnl@2601:2c6:4e00:2d20::2) (Quit: dcbdnl)
2021-03-19 19:25:50 +0100ixian(~mgold@terra.bitplane.org) (Ping timeout: 264 seconds)
2021-03-19 19:26:14 +0100dcbdnl(~dcbdnl@c-73-76-129-120.hsd1.tx.comcast.net)
2021-03-19 19:26:22 +0100dcbdnl(~dcbdnl@c-73-76-129-120.hsd1.tx.comcast.net) (Client Quit)
2021-03-19 19:28:35 +0100motersen(~user@2001-4dd1-d88a-0-5338-d0f4-6eda-2a0f.ipv6dyn.netcologne.de) (Quit: rcirc on GNU Emacs 27.1)
2021-03-19 19:28:55 +0100Vadrigar(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-19 19:30:23 +0100hackagegemini-server 0.3.0.0 - A lightweight server for the Gemini protocol https://hackage.haskell.org/package/gemini-server-0.3.0.0 (fgaz)
2021-03-19 19:31:20 +0100asheshambasta(~user@ptr-e1lysax65ha8r6ka1io.18120a2.ip6.access.telenet.be) (Ping timeout: 240 seconds)
2021-03-19 19:31:20 +0100conal(~conal@64.71.133.70) (Ping timeout: 240 seconds)
2021-03-19 19:31:24 +0100Vadrigar(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Client Quit)
2021-03-19 19:31:31 +0100Vadrigar(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-19 19:32:18 +0100juri_(~juri@178.63.35.222) (Ping timeout: 265 seconds)
2021-03-19 19:34:15 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net)
2021-03-19 19:34:34 +0100 <slack1256> For testing memory usage, is there a library like `criterion`?
2021-03-19 19:34:40 +0100Vadrigar(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Client Quit)
2021-03-19 19:34:56 +0100Vadrigar(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-19 19:35:20 +0100Codaraxis(~Codaraxis@193.27.14.10) (Ping timeout: 240 seconds)
2021-03-19 19:35:35 +0100conal(~conal@192.145.118.147)
2021-03-19 19:36:58 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-03-19 19:39:53 +0100Codaraxis(~Codaraxis@193.27.14.10)
2021-03-19 19:40:28 +0100 <Uniaika> hmm, not sure
2021-03-19 19:40:28 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 19:40:29 +0100usr25_tm(~usr25@unaffiliated/usr25)
2021-03-19 19:40:53 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 19:40:53 +0100motersen(~user@cgn-89-1-214-72.nc.de)
2021-03-19 19:40:56 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-19 19:42:03 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) (Remote host closed the connection)
2021-03-19 19:42:37 +0100knupfer(~Thunderbi@200116b82c36b500c18c822e3f769ca6.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2021-03-19 19:43:27 +0100fragamus(ac3a5c66@172.58.92.102)
2021-03-19 19:43:44 +0100usr25(~usr25@unaffiliated/usr25) (Ping timeout: 240 seconds)
2021-03-19 19:44:16 +0100juri_(~juri@178.63.35.222)
2021-03-19 19:45:06 +0100motersen(~user@cgn-89-1-214-72.nc.de) (Read error: Connection reset by peer)
2021-03-19 19:45:28 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds)
2021-03-19 19:46:07 +0100motersen(~user@cgn-89-1-214-72.nc.de)
2021-03-19 19:48:15 +0100Vadrigar(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Quit: WeeChat 2.9)
2021-03-19 19:50:18 +0100kupi(uid212005@gateway/web/irccloud.com/x-wezwsdnimqmohosp) (Quit: Connection closed for inactivity)
2021-03-19 19:52:03 +0100conal(~conal@192.145.118.147) (Quit: Computer has gone to sleep.)
2021-03-19 19:52:08 +0100malumore(~malumore@151.62.118.248) (Ping timeout: 240 seconds)
2021-03-19 19:53:05 +0100conal(~conal@192.145.118.147)
2021-03-19 19:53:48 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.0)
2021-03-19 19:54:13 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-19 19:54:13 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 19:54:28 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 19:58:23 +0100hackageskylighting-core 0.10.5 - syntax highlighting library https://hackage.haskell.org/package/skylighting-core-0.10.5 (JohnMacFarlane)
2021-03-19 19:58:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-19 19:58:55 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-03-19 19:59:23 +0100hackageskylighting 0.10.5 - syntax highlighting library https://hackage.haskell.org/package/skylighting-0.10.5 (JohnMacFarlane)
2021-03-19 19:59:30 +0100fragamus(ac3a5c66@172.58.92.102) (Quit: Connection closed)
2021-03-19 20:00:39 +0100ixian(~mgold@terra.bitplane.org)
2021-03-19 20:00:39 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 20:01:04 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 20:01:37 +0100finBigBoss007(~finBigBos@82-203-189-194.bb.dnainternet.fi) (Remote host closed the connection)
2021-03-19 20:02:31 +0100fragamus(ac3a5c66@172.58.92.102)
2021-03-19 20:03:38 +0100berberman_(~berberman@unaffiliated/berberman)
2021-03-19 20:04:21 +0100 <iphy> is there a more elegant way to do this? https://www.irccloud.com/pastebin/jmAdr9kt/getVarInt.hs
2021-03-19 20:04:23 +0100jrm2(~jrm@freebsd/developer/jrm)
2021-03-19 20:04:32 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 240 seconds)
2021-03-19 20:06:28 +0100idhugo__(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-19 20:07:09 +0100 <Uniaika> iphy: you're trying to go from Integral to Word8 to Word32?
2021-03-19 20:07:18 +0100ixian(~mgold@terra.bitplane.org) (Ping timeout: 265 seconds)
2021-03-19 20:07:42 +0100 <iphy> I'm using fromIntegral :: Word8 -> Word32
2021-03-19 20:08:32 +0100 <iphy> that's probably fine, because I need to shift the Word8 bytes into the right position in the resulting Word32
2021-03-19 20:08:39 +0100 <iphy> I'm just not happy with how much code this takes
2021-03-19 20:09:33 +0100 <Uniaika> this may not be the most beautiful code ever but I think it does the job
2021-03-19 20:09:39 +0100 <Uniaika> don't overthink it
2021-03-19 20:10:13 +0100 <iphy> the code is correct, but I do like to understand whether things can be done in a better way
2021-03-19 20:10:18 +0100 <iphy> to learn the haskell way :)
2021-03-19 20:10:30 +0100coot(~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl)
2021-03-19 20:10:33 +0100nfd(~nfd9001@2601:602:77f:1820:88ee:7115:ea57:8fd0)
2021-03-19 20:11:23 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 20:12:56 +0100idhugo__(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-03-19 20:13:15 +0100Gigabitten(~Somn@098-127-002-172.res.spectrum.com)
2021-03-19 20:13:48 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-19 20:16:45 +0100 <Taneb> "What's in a name? A semigroup by any other name would be as associative"
2021-03-19 20:17:17 +0100usr25_tm(~usr25@unaffiliated/usr25) ("Leaving")
2021-03-19 20:17:35 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de)
2021-03-19 20:18:04 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-19 20:19:19 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-19 20:19:40 +0100jrm2jrm
2021-03-19 20:20:00 +0100mastarija(~mastarija@31.217.2.101)
2021-03-19 20:21:33 +0100chenshen(~chenshen@2620:10d:c090:400::5:a8c8) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2021-03-19 20:21:59 +0100 <myShoggoth> Haskell Foundation official update #1: https://discourse.haskell.org/t/haskell-foundation-update-2021-03-19
2021-03-19 20:23:42 +0100 <sm[m]> thanks!
2021-03-19 20:24:08 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8)
2021-03-19 20:24:11 +0100Major_Bi1(~Major_Bis@82-169-100-198.biz.kpn.net) (Quit: WeeChat 3.0.1)
2021-03-19 20:24:27 +0100conal(~conal@192.145.118.147) (Remote host closed the connection)
2021-03-19 20:24:32 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 240 seconds)
2021-03-19 20:24:33 +0100mastarija(~mastarija@31.217.2.101) (Ping timeout: 256 seconds)
2021-03-19 20:24:48 +0100conal(~conal@192.145.118.147)
2021-03-19 20:25:51 +0100dcbdnl(~dcbdnl@68-74-201-196.lightspeed.hstntx.sbcglobal.net)
2021-03-19 20:26:29 +0100dcbdnl(~dcbdnl@68-74-201-196.lightspeed.hstntx.sbcglobal.net) (Client Quit)
2021-03-19 20:26:40 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-03-19 20:29:18 +0100Gigabitten(~Somn@098-127-002-172.res.spectrum.com) (Remote host closed the connection)
2021-03-19 20:29:55 +0100ixian(~mgold@terra.bitplane.org)
2021-03-19 20:33:18 +0100pricly_yellow1(~pricly_ye@static.90.189.158.212.sinor.ru) (Quit: WeeChat 3.1)
2021-03-19 20:33:41 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds)
2021-03-19 20:35:33 +0100ixian(~mgold@terra.bitplane.org) (Ping timeout: 244 seconds)
2021-03-19 20:36:03 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-19 20:38:38 +0100jamm__(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-03-19 20:38:49 +0100bitmagie(~Thunderbi@200116b8064af700cc4b64cf6315dd95.dip.versatel-1u1.de)
2021-03-19 20:39:14 +0100forgottenone(~forgotten@176.42.16.24) (Remote host closed the connection)
2021-03-19 20:40:08 +0100malumore(~malumore@151.62.118.248)
2021-03-19 20:40:18 +0100forgottenone(~forgotten@176.42.16.24)
2021-03-19 20:43:43 +0100forgottenone(~forgotten@176.42.16.24) (Client Quit)
2021-03-19 20:44:51 +0100Vadrigar(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-19 20:45:33 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 264 seconds)
2021-03-19 20:45:44 +0100Vadrigar(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Client Quit)
2021-03-19 20:48:09 +0100Vadrigar(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-19 20:48:48 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-19 20:49:27 +0100hexagenic(~mattias@2001:2002:51e0:74c9:5b2:64fb:22b7:198c)
2021-03-19 20:49:41 +0100rond_(594021b0@89-64-33-176.dynamic.chello.pl)
2021-03-19 20:55:53 +0100hackageexploring-interpreters 0.3.0.0 - A generic exploring interpreter for exploratory programming https://hackage.haskell.org/package/exploring-interpreters-0.3.0.0 (DamianFrolich)
2021-03-19 20:58:21 +0100knupfer(~Thunderbi@200116b82c36b500c872befffe95e6e2.dip.versatel-1u1.de)
2021-03-19 20:58:33 +0100ajc(~ajc@69.231.232.79) (Ping timeout: 256 seconds)
2021-03-19 20:58:50 +0100Shiranai(beed0df5@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.245)
2021-03-19 20:59:28 +0100knupfer(~Thunderbi@200116b82c36b500c872befffe95e6e2.dip.versatel-1u1.de) (Remote host closed the connection)
2021-03-19 20:59:36 +0100knupfer(~Thunderbi@200116b82c36b500012af05275aa5516.dip.versatel-1u1.de)
2021-03-19 21:00:28 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds)
2021-03-19 21:00:39 +0100 <Shiranai> Hello, how am I to interpret curried infixed functions? E.g. if f: a -> b then is (`f` a) well formed?
2021-03-19 21:00:52 +0100dcoutts_dcoutts
2021-03-19 21:01:53 +0100 <geekosaur> :t let xyz a b = a + b in (`xyz` 3)
2021-03-19 21:01:55 +0100 <lambdabot> Num a => a -> a
2021-03-19 21:02:41 +0100 <monochrom> Unlikely to work if f:Int->Bool for example. But let me check:
2021-03-19 21:02:45 +0100 <glguy> Shiranai: if f :: a -> b, then we're free to pick b to be (c -> d), so f could be used :: a -> c -> d
2021-03-19 21:02:49 +0100 <[exa]> Shiranai: even if `f` seems to accept 1 parameter, the expression will just unify the type `b` to be some instance of `(x->y)`
2021-03-19 21:03:16 +0100 <monochrom> @type let {f :: Int -> Bool; f x = x>4 } in (`f` undefind)
2021-03-19 21:03:18 +0100 <lambdabot> error:
2021-03-19 21:03:18 +0100 <lambdabot> • Variable not in scope: undefind
2021-03-19 21:03:18 +0100 <lambdabot> • Perhaps you meant ‘undefined’ (imported from Prelude)
2021-03-19 21:03:23 +0100 <monochrom> @type let {f :: Int -> Bool; f x = x>4 } in (`f` undefined)
2021-03-19 21:03:25 +0100 <lambdabot> error:
2021-03-19 21:03:25 +0100 <lambdabot> • Couldn't match expected type ‘t0 -> t’ with actual type ‘Bool’
2021-03-19 21:03:25 +0100 <lambdabot> • The operator ‘f’ takes two arguments,
2021-03-19 21:03:30 +0100 <monochrom> That.
2021-03-19 21:03:53 +0100 <monochrom> But what glguy said about when f:Int->(Char->Bool)
2021-03-19 21:04:31 +0100 <monochrom> Sorry I keep writing : for :: because lately I've been doing normal math/cs :)
2021-03-19 21:04:35 +0100 <monochrom> I mean ::)
2021-03-19 21:04:43 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-19 21:05:08 +0100ixian(~mgold@terra.bitplane.org)
2021-03-19 21:05:33 +0100 <[exa]> man, your eyes
2021-03-19 21:05:35 +0100 <[exa]> O O
2021-03-19 21:05:36 +0100 <[exa]> O_O
2021-03-19 21:05:50 +0100 <Shiranai> I'm confused, ok so b in f :: a -> b unifies to (c -> d) but I'm not sure if the input is in the left or in the right side
2021-03-19 21:06:18 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-19 21:06:23 +0100 <monochrom> I wear glasses. In Hong Kong, we who wear glasses are nicknamed as "four-eye people". ::) is exactly right. >::)
2021-03-19 21:06:34 +0100 <Shiranai> in geekosaur examples, is (`xys` 3) a equal to a + 3 or 3 + a?
2021-03-19 21:06:36 +0100 <[exa]> Shiranai: the input is the "right side" so the second argument. Compare (1 `f`) vs (`f` 1)
2021-03-19 21:06:53 +0100 <monochrom> f::a->c->d
2021-03-19 21:07:15 +0100petersen(~petersen@redhat/juhp)
2021-03-19 21:07:15 +0100 <geekosaur> you can even test this, use (-) instead of (+) so it's obvious which side is which
2021-03-19 21:07:19 +0100 <monochrom> (`f` x) = \w -> f w x. Just always use that.
2021-03-19 21:07:30 +0100 <geekosaur> at least with the right choice of inputs
2021-03-19 21:07:40 +0100 <[exa]> Shiranai: (1 `f`) is the same as (f 1), (`f` 1) is the same as \a -> f a 1 , a.k.a. \a -> a `f` 1
2021-03-19 21:07:41 +0100 <Shiranai> thanks monochrom, that's more clear for me
2021-03-19 21:07:48 +0100tsaka__(~torstein@athedsl-4491541.home.otenet.gr) (Ping timeout: 246 seconds)
2021-03-19 21:07:54 +0100 <monochrom> :)
2021-03-19 21:07:57 +0100 <Shiranai> Thanks everyone, I think I got it
2021-03-19 21:07:57 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 21:08:03 +0100tsaka__(~torstein@2a02:587:1b1f:ea00:14f6:46df:d372:9bfc)
2021-03-19 21:08:11 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 21:09:02 +0100 <[exa]> btw, you can compare it with `flip`, sometimes the syntax is useful for avoiding unnecessary flipping.
2021-03-19 21:09:10 +0100 <d34df00d> What you're gonna do if your code behaves fine (albeit slowly) under profiler, but explodes with enormous memory consumption when compiled without profiling and with optimizations?
2021-03-19 21:09:44 +0100ixian(~mgold@terra.bitplane.org) (Ping timeout: 240 seconds)
2021-03-19 21:09:47 +0100 <[exa]> d34df00d: does it get triggered by "optimizations on" or "profiling off" ?
2021-03-19 21:10:37 +0100motersen(~user@cgn-89-1-214-72.nc.de) (Read error: Connection reset by peer)
2021-03-19 21:10:40 +0100fragamus(ac3a5c66@172.58.92.102) (Quit: Connection closed)
2021-03-19 21:10:59 +0100 <d34df00d> I think it's both.
2021-03-19 21:11:03 +0100Vadrigar(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Quit: WeeChat 2.9)
2021-03-19 21:11:21 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-03-19 21:11:26 +0100 <d34df00d> Hmm, actually hold on. I think it's "profiling off". Just added {-# OPTIONS_GHC -O0 #-} to the offending file, and it still explodes, but slowly.
2021-03-19 21:12:08 +0100 <d34df00d> Sadly, I don't have a minimal enough reproducing example. Luckily, the leak started happening after I changed this type and function:
2021-03-19 21:12:16 +0100 <d34df00d> https://bpaste.net/WZBA
2021-03-19 21:12:28 +0100 <d34df00d> (where VB is the usual boxed Data.Vector and V is Data.Vector.Unboxed)
2021-03-19 21:12:53 +0100 <d34df00d> Sooo, that didn't leak, and I changed that to this:
2021-03-19 21:13:00 +0100 <d34df00d> https://bpaste.net/57NA
2021-03-19 21:13:04 +0100 <d34df00d> and it started leaking.
2021-03-19 21:13:23 +0100 <d34df00d> Oh the almighty gurus of #haskell, can you spot anything that might trigger it here?
2021-03-19 21:14:03 +0100 <[exa]> if it's that functino, I'd just try making it strict (there's no reason not to imho)
2021-03-19 21:14:19 +0100 <d34df00d> Ah, right, I have {-# LANGUAGE Strict #-}
2021-03-19 21:14:23 +0100viluon(uid453725@gateway/web/irccloud.com/x-tsrjyctedjmnhhpa) (Quit: Connection closed for inactivity)
2021-03-19 21:14:32 +0100ph88(~ph88@2a02:8109:9e00:7e5c:342c:fb5e:4a48:8cb) (Ping timeout: 240 seconds)
2021-03-19 21:17:31 +0100 <[exa]> hm okay, that's gonna be interesting.
2021-03-19 21:17:59 +0100chenshen(~chenshen@2620:10d:c090:400::5:a8c8)
2021-03-19 21:18:16 +0100 <Shiranai> Not specific to haskell but is there any guide on making a haskellish language? With the functional niceties such as first class functions, pattern matching and type inference
2021-03-19 21:19:13 +0100 <d34df00d> Stephen Diehl had a series on building haskell in haskell, I guess you could take a few ideas from there.
2021-03-19 21:19:15 +0100 <[exa]> Shiranai: Simon Peyton Jones papers :] and if you google for Stephen Diehl, he was collecting some kind of "make you a haskell" howto
2021-03-19 21:19:22 +0100 <ephemient> iphy: assuming you're talking about protocol buffer varint, they're encoded little-endian (least-significant first). so isn't that backwards?
2021-03-19 21:19:57 +0100 <[exa]> Shiranai: about SPJ papers-- the common reads are "typing haskell in haskell" and the paper about "STG" that I forgot the name of
2021-03-19 21:20:30 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.0)
2021-03-19 21:21:48 +0100 <Shiranai> d34df00d: do you mean this http://dev.stephendiehl.com/fun/ ? seeems he saldy stopped writing in just before pattern matching :(
2021-03-19 21:22:07 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Remote host closed the connection)
2021-03-19 21:22:42 +0100 <d34df00d> Yep, that's the one.
2021-03-19 21:22:46 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8)
2021-03-19 21:23:21 +0100 <geekosaur> https://www.microsoft.com/en-us/research/publication/implementing-lazy-functional-languages-on-sto… ?
2021-03-19 21:23:34 +0100 <d34df00d> Pls don't do any more lazy languages.
2021-03-19 21:23:42 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 21:24:15 +0100 <geekosaur> this as you're apparently getting bitten by too much strictness?
2021-03-19 21:24:22 +0100 <Shiranai> haha why? But yeah I don't plan on making it lazy, I kinda not like that that much
2021-03-19 21:24:38 +0100 <Shiranai> geekosaur: Thanks, I'll check that too
2021-03-19 21:24:53 +0100 <d34df00d> I'm getting bitten by laziness all the time.
2021-03-19 21:25:08 +0100 <d34df00d> Non-strict evaluation model just gives me all sorts of pain.
2021-03-19 21:25:18 +0100 <Shiranai> I have no idea what and STG is but I suppose it'll be useful at some point
2021-03-19 21:25:39 +0100 <geekosaur> it's the evaluation engine underneath ghc's haskell implementation
2021-03-19 21:26:12 +0100 <Shiranai> my main interest is in logic so I don't see at least any benefit (from a logic point of view) of lazyness, just wanted to write a primitive recursive arithmetic language for fun
2021-03-19 21:26:47 +0100 <d34df00d> I guess the type systems you care about in logic don't care about evaluation order (largely because they all strongly normalize)
2021-03-19 21:27:30 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-19 21:27:31 +0100 <d34df00d> And you don't care about performance because the code isn't intended to run.
2021-03-19 21:28:04 +0100 <d34df00d> I guess I should just return to proving things in agda instead of trying to make things run fast in haskell.
2021-03-19 21:28:07 +0100 <Shiranai> exactly, I do intend to run it this time, wonder how slow this stuff will be
2021-03-19 21:28:08 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 240 seconds)
2021-03-19 21:28:08 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 21:28:17 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 21:28:48 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 246 seconds)
2021-03-19 21:28:55 +0100 <maerwald> Not all haskellers value laziness that much
2021-03-19 21:29:09 +0100Gigabitten(~Somn@098-127-002-172.res.spectrum.com)
2021-03-19 21:31:18 +0100ixian(~mgold@terra.bitplane.org)
2021-03-19 21:31:20 +0100 <maerwald> I'd much rather have a dumb optimizer that I can reason about as opposed to a very smart one that I have to treat like a crazy oracle
2021-03-19 21:31:46 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8)
2021-03-19 21:31:47 +0100 <[exa]> this sounds like you've assigned ghc to the latter category
2021-03-19 21:32:03 +0100Codaraxis(~Codaraxis@193.27.14.10) (Remote host closed the connection)
2021-03-19 21:32:22 +0100aarvar(~foewfoiew@2601:602:a080:fa0:99f2:16e7:abb7:2d80)
2021-03-19 21:32:23 +0100Codaraxis(~Codaraxis@193.27.14.10)
2021-03-19 21:32:25 +0100 <maerwald> The lack of definite performance guides prove my point... and the ones that are out there are moving targets
2021-03-19 21:32:30 +0100 <[exa]> Shiranai: anyway, yes, the 'stg' paper is the one that geekosaur linked
2021-03-19 21:33:09 +0100 <d34df00d> I do indeed assign ghc to the latter category.
2021-03-19 21:33:40 +0100 <Shiranai> Thanks [exa]
2021-03-19 21:33:43 +0100 <[exa]> d34df00d: btw what happens if you turn of strictness for the whole module? (guess: it's a few times slower but doesn't explode)
2021-03-19 21:33:55 +0100 <d34df00d> [exa]: let me try that...
2021-03-19 21:34:18 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-19 21:35:07 +0100ixian(~mgold@terra.bitplane.org) (Read error: Connection reset by peer)
2021-03-19 21:35:07 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 21:35:22 +0100 <d34df00d> Nah, it doesn't help. It looks to eat memory a few times slower indeed, but it still far exceeds the amount of ram taken by the original version.
2021-03-19 21:35:22 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 21:35:34 +0100 <[exa]> Shiranai: if you are into logic, you might like THIH and the other typesystem papers (google OutsideIn(X)). Also google "typing the technical interview" for a funny connection between haskell typesystem and prolog term modes.
2021-03-19 21:35:39 +0100 <maerwald> I haven't even found a *definite* list of things that break inlining. Maybe this is obvious to GHC hackers, but not to everyone else
2021-03-19 21:37:25 +0100 <Shiranai> [exa] nice, I can't find the OutsideIn(X) thing you mentioned though, could please share a link to it? brb
2021-03-19 21:37:36 +0100 <[exa]> maerwald: the worse part is likely that there's no easy way to observe the results directly, further reducing the transparency of the process... you're often left with just looking at the timings
2021-03-19 21:38:08 +0100 <[exa]> Shiranai: https://lirias.kuleuven.be/185106?limo=0
2021-03-19 21:38:13 +0100 <d34df00d> …and when fun stuff happens, there's often no way to debug that.
2021-03-19 21:38:42 +0100paintedindigo(~paintedin@2603-6011-4a41-8ada-92fb-02f3-fc7c-289b.res6.spectrum.com)
2021-03-19 21:40:19 +0100neobit(~neobit@159.65.243.9) (Changing host)
2021-03-19 21:40:19 +0100neobit(~neobit@unaffiliated/neobit)
2021-03-19 21:40:27 +0100 <[exa]> OTOH I'm not sure there's a systematic approach to fix this... either a gazillion of weird annotations and a complicated, likely rigid system that carries the "inline or not" information from the frontend down to the very lowlevel things, or perhaps allowing the user to write implementations of certain parts in the lower IRs (like if something has a straightforward representation in STG, write inline STG)
2021-03-19 21:41:38 +0100michalz(~user@185.246.204.49) (Remote host closed the connection)
2021-03-19 21:41:39 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 21:41:58 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 21:42:51 +0100bitmagie(~Thunderbi@200116b8064af700cc4b64cf6315dd95.dip.versatel-1u1.de) (Quit: bitmagie)
2021-03-19 21:43:08 +0100 <[exa]> let's say it's a "systematic approach to reason about the whole compiler pipeline". may need research.
2021-03-19 21:46:26 +0100pie_PIE_
2021-03-19 21:47:36 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 21:47:38 +0100coot(~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-19 21:49:03 +0100curiousgay(~gay@178.217.208.8) (Remote host closed the connection)
2021-03-19 21:49:06 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2021-03-19 21:49:44 +0100RandomArcher(~isho@90.153.209.157)
2021-03-19 21:49:52 +0100curiousgay(~gay@178.217.208.8)
2021-03-19 21:52:01 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 244 seconds)
2021-03-19 21:52:37 +0100viluon(uid453725@gateway/web/irccloud.com/x-rwounypdemhsoium)
2021-03-19 21:54:38 +0100Gigabitten(~Somn@098-127-002-172.res.spectrum.com) (Remote host closed the connection)
2021-03-19 21:54:38 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds)
2021-03-19 21:54:39 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 21:55:29 +0100Gigabitten(~Somn@098-127-002-172.res.spectrum.com)
2021-03-19 21:56:11 +0100ramses_(~osboxes@213.142.184.77)
2021-03-19 21:56:24 +0100 <ramses_> hello ppl
2021-03-19 21:57:54 +0100rond_(594021b0@89-64-33-176.dynamic.chello.pl) (Quit: Connection closed)
2021-03-19 21:58:45 +0100 <ramses_> I have a local stack project A which depends on another local project B. How shoud I refernce B from A in stack.yaml? I suppose in "extra-deps" but which folder?
2021-03-19 21:59:32 +0100 <maerwald> the folder of project B?
2021-03-19 21:59:36 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-03-19 21:59:44 +0100pyuk(~vroom@217.138.252.170) (Quit: pyuk)
2021-03-19 22:00:02 +0100puke(~vroom@217.138.252.170)
2021-03-19 22:00:08 +0100jessJESS
2021-03-19 22:00:13 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-19 22:00:56 +0100xff0x_(~xff0x@2001:1a81:5242:1600:5914:aa8:2ce7:6d7) (Ping timeout: 240 seconds)
2021-03-19 22:01:04 +0100 <ramses_> maerwald: but it would be reference as a source project wouldn't it?
2021-03-19 22:01:22 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 265 seconds)
2021-03-19 22:01:58 +0100xff0x_(~xff0x@2001:1a81:5242:1600:4bf:6bdb:4ec0:5322)
2021-03-19 22:02:16 +0100ubert(~Thunderbi@p200300ecdf25d9a8e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-03-19 22:02:23 +0100hackageyesod-page-cursor 2.0.0.5 - https://hackage.haskell.org/package/yesod-page-cursor-2.0.0.5 (PatrickBrisbin)
2021-03-19 22:03:10 +0100 <ramses_> maerwald: actually project B has several packages. Can I reference them all as pkgdb?
2021-03-19 22:03:20 +0100supercoven(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 240 seconds)
2021-03-19 22:05:57 +0100 <monochrom> I don't use stack, I use cabal, but my impression is that the following is true for both: 1. Yes source project, that's the norm. 2. A disk cache of build products is kept, you still have a high chance of sharing build products without too much rebuilding.
2021-03-19 22:06:24 +0100hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer)
2021-03-19 22:07:16 +0100 <ramses_> monochrom: thx
2021-03-19 22:07:36 +0100ramses_(~osboxes@213.142.184.77) (Quit: leaving)
2021-03-19 22:08:14 +0100PippoPippo(d537f1a7@213.55.241.167)
2021-03-19 22:10:00 +0100Gigabitten(~Somn@098-127-002-172.res.spectrum.com) (Remote host closed the connection)
2021-03-19 22:10:46 +0100Gigabitten(~Somn@098-127-002-172.res.spectrum.com)
2021-03-19 22:12:14 +0100JESSjess
2021-03-19 22:14:37 +0100PippoPippo(d537f1a7@213.55.241.167) (Quit: Connection closed)
2021-03-19 22:16:03 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-19 22:16:13 +0100hexagenic(~mattias@2001:2002:51e0:74c9:5b2:64fb:22b7:198c) (Quit: WeeChat 1.9.1)
2021-03-19 22:17:25 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-xyogtgqajoffyroz) (Quit: Connection closed for inactivity)
2021-03-19 22:17:37 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-03-19 22:19:31 +0100ukari(~ukari@unaffiliated/ukari) (Ping timeout: 276 seconds)
2021-03-19 22:21:33 +0100xhlr(~xhlr@87-92-158-145.rev.dnainternet.fi) (Ping timeout: 264 seconds)
2021-03-19 22:22:43 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds)
2021-03-19 22:26:28 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 22:26:53 +0100hackagefoldl-transduce 0.6.0.1 - Transducers for foldl folds. https://hackage.haskell.org/package/foldl-transduce-0.6.0.1 (DanielDiazCarrete)
2021-03-19 22:28:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-19 22:28:56 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 22:29:04 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 22:29:07 +0100sayola1(~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) (Quit: Leaving.)
2021-03-19 22:29:31 +0100sayola(~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de)
2021-03-19 22:31:53 +0100 <iphy> ephemient: it's MIDI
2021-03-19 22:32:49 +0100Gigabitten(~Somn@098-127-002-172.res.spectrum.com) (Remote host closed the connection)
2021-03-19 22:33:12 +0100 <hyiltiz> Does this mean GHC version incompatibility?  :m System.Console.Readline.readline "hello" produces /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSreadline-1.0.3.0-1A6VPCAptm0CjQAEqTgJr3-ghc8.8.4.so: undefined symbol: rl_redisplay
2021-03-19 22:34:12 +0100Gigabitten(~Somn@098-127-002-172.res.spectrum.com)
2021-03-19 22:35:56 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 244 seconds)
2021-03-19 22:35:56 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 22:35:57 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.0)
2021-03-19 22:36:10 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 22:36:27 +0100recon_-(~quassel@2602:febc:0:b6::6ca2) (Ping timeout: 260 seconds)
2021-03-19 22:36:35 +0100son0p(~son0p@181.136.122.143)
2021-03-19 22:36:43 +0100recon_-(~quassel@2602:febc:0:b6::6ca2)
2021-03-19 22:37:03 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-03-19 22:37:48 +0100 <ephemient> iphy: ok. personally I'd probably split things up something like this, but it's kind of a matter of taste maybe https://www.irccloud.com/pastebin/xJDEEfRk/
2021-03-19 22:38:06 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-19 22:39:00 +0100__minoru__shirae(~shiraeesh@77.94.25.107)
2021-03-19 22:39:10 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-19 22:43:45 +0100Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-03-19 22:43:50 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-03-19 22:44:06 +0100Gigabitten(~Somn@098-127-002-172.res.spectrum.com) (Remote host closed the connection)
2021-03-19 22:44:22 +0100ixian(~mgold@terra.bitplane.org)
2021-03-19 22:44:31 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-19 22:44:42 +0100RandomArcher(~isho@90.153.209.157) (Quit: Konversation terminated!)
2021-03-19 22:45:07 +0100Gigabitten(~Somn@098-127-002-172.res.spectrum.com)
2021-03-19 22:48:32 +0100ixian(~mgold@terra.bitplane.org) (Ping timeout: 240 seconds)
2021-03-19 22:49:07 +0100hexagenic(~mattias@2001:2002:51e0:74c9:2dfc:cd48:d15f:84d5)
2021-03-19 22:49:07 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 22:49:15 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 22:49:44 +0100ixian(~mgold@terra.bitplane.org)
2021-03-19 22:50:26 +0100thc202(~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds)
2021-03-19 22:52:40 +0100ajc(~ajc@69.231.232.79)
2021-03-19 22:53:32 +0100 <joel135> how do you make a parsec Parser String which extracts x from a string of the form a ++ x ++ b ?
2021-03-19 22:54:30 +0100 <monochrom> I think it's an uphill battle.
2021-03-19 22:54:53 +0100 <monochrom> And the problem statement is likely way too general.
2021-03-19 22:55:47 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds)
2021-03-19 22:55:47 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 22:55:51 +0100 <joel135> ok
2021-03-19 22:56:21 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 22:56:36 +0100ixian(~mgold@terra.bitplane.org) (Ping timeout: 244 seconds)
2021-03-19 22:56:45 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 265 seconds)
2021-03-19 22:57:05 +0100 <hpc> if you assume some assumptions, it's do {a; s <- x; b; pure s}
2021-03-19 22:57:12 +0100 <hpc> for some a, b, x
2021-03-19 22:57:23 +0100 <sm[m]> Or, is it simply a matter of https://hackage.haskell.org/package/parsec-3.1.14.0/docs/Text-Parsec-Combinator.html#v:between ?
2021-03-19 22:58:30 +0100 <joel135> with that i could handle things like .../x/... right
2021-03-19 22:58:38 +0100 <monochrom> "between" works if the middle string has no way of prematurely being recongized as b.
2021-03-19 22:58:57 +0100hexagenic(~mattias@2001:2002:51e0:74c9:2dfc:cd48:d15f:84d5) (Quit: WeeChat 1.9.1)
2021-03-19 22:59:36 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-03-19 22:59:53 +0100hackagegemini-textboard 0.2.0.1 - A barebones textboard for the Gemini protocol https://hackage.haskell.org/package/gemini-textboard-0.2.0.1 (fgaz)
2021-03-19 23:00:06 +0100 <monochrom> For example /\// is not recognized as a="/", x="\/", b="/". No no, it is recognized as a="/", x="\", b="/", and there is a leftover "/" after.
2021-03-19 23:00:08 +0100knupfer(~Thunderbi@200116b82c36b500012af05275aa5516.dip.versatel-1u1.de) (Remote host closed the connection)
2021-03-19 23:00:16 +0100knupfer(~Thunderbi@200116b82c36b5005cb9ab2db6c57d7c.dip.versatel-1u1.de)
2021-03-19 23:00:23 +0100 <joel135> right
2021-03-19 23:00:35 +0100 <monochrom> parsec is not a non-deterministic automatically-try-all-possibilities-super-regex parser.
2021-03-19 23:00:37 +0100Gigabitten(~Somn@098-127-002-172.res.spectrum.com) (Remote host closed the connection)
2021-03-19 23:01:31 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 256 seconds)
2021-03-19 23:01:44 +0100malumore(~malumore@151.62.118.248) (Ping timeout: 240 seconds)
2021-03-19 23:02:13 +0100poljar(~poljar@93-139-86-101.adsl.net.t-com.hr) (Remote host closed the connection)
2021-03-19 23:02:40 +0100poljar(~poljar@93-139-86-101.adsl.net.t-com.hr)
2021-03-19 23:02:40 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 23:02:57 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 23:04:42 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 246 seconds)
2021-03-19 23:09:26 +0100plast1k_(~plast1k_@105.178.32.7)
2021-03-19 23:10:26 +0100p4trick(~p4trix@19.red-83-49-45.dynamicip.rima-tde.net)
2021-03-19 23:10:37 +0100Sgeo_(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-03-19 23:10:54 +0100Gigabitten(~Somn@098-127-002-172.res.spectrum.com)
2021-03-19 23:11:07 +0100pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-03-19 23:11:25 +0100dh(dh@bsd.ee) (Disconnected by services)
2021-03-19 23:11:31 +0100dh_(dh@bsd.ee)
2021-03-19 23:11:33 +0100WzC(~Frank@77-162-168-71.fixed.kpn.net)
2021-03-19 23:11:34 +0100jhuizy9(~jhuizy@static.241.188.216.95.clients.your-server.de)
2021-03-19 23:11:38 +0100concept20(~concept2@unaffiliated/tubo)
2021-03-19 23:11:42 +0100waskell_(~quassel@d66-183-124-203.bchsia.telus.net)
2021-03-19 23:11:42 +0100lewky3(~lewky@159.65.37.240)
2021-03-19 23:12:02 +0100Deide1(~Deide@217.155.19.23)
2021-03-19 23:12:07 +0100jhuizy(~jhuizy@static.241.188.216.95.clients.your-server.de) (Read error: Connection reset by peer)
2021-03-19 23:12:07 +0100jil``(~user@45.86.162.6) (Read error: Connection reset by peer)
2021-03-19 23:12:07 +0100WarzoneCommand(~Frank@77-162-168-71.fixed.kpn.net) (Read error: Connection reset by peer)
2021-03-19 23:12:07 +0100ralu(~ralu@static.211.245.203.116.clients.your-server.de) (Read error: Connection reset by peer)
2021-03-19 23:12:07 +0100{abby}(~{abby}@unaffiliated/demhydraz) (Write error: Connection reset by peer)
2021-03-19 23:12:07 +0100concept2(~concept2@unaffiliated/tubo) (Read error: Connection reset by peer)
2021-03-19 23:12:07 +0100lep-delete(~lep@94.31.86.183) (Read error: Connection reset by peer)
2021-03-19 23:12:07 +0100waskell(~quassel@d66-183-124-203.bchsia.telus.net) (Read error: Connection reset by peer)
2021-03-19 23:12:07 +0100acowley_(~acowley@c-68-83-22-43.hsd1.nj.comcast.net)
2021-03-19 23:12:07 +0100DTZUZU(~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer)
2021-03-19 23:12:07 +0100Ankhers(~Ankhers@unaffiliated/ankhers) (Ping timeout: 264 seconds)
2021-03-19 23:12:07 +0100HiRE(~HiRE@104.128.237.40) (Ping timeout: 264 seconds)
2021-03-19 23:12:07 +0100jhuizy9jhuizy
2021-03-19 23:12:07 +0100concept20concept2
2021-03-19 23:12:08 +0100sayola1(~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de)
2021-03-19 23:12:21 +0100rprosper-(~adam@186.75.232.35.bc.googleusercontent.com)
2021-03-19 23:12:28 +0100urdh_(~urdh@unaffiliated/urdh)
2021-03-19 23:12:56 +0100acowley(~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Ping timeout: 246 seconds)
2021-03-19 23:12:56 +0100Cathy(~Cathy@unaffiliated/cathy) (Ping timeout: 246 seconds)
2021-03-19 23:12:56 +0100urdh(~urdh@unaffiliated/urdh) (Ping timeout: 246 seconds)
2021-03-19 23:12:56 +0100jil```(~user@45.86.162.6)
2021-03-19 23:12:56 +0100lewky(~lewky@159.65.37.240) (Read error: Connection reset by peer)
2021-03-19 23:12:56 +0100Moyst(~moyst@212-149-213-144.bb.dnainternet.fi) (Ping timeout: 246 seconds)
2021-03-19 23:12:56 +0100DTZUZU_(~DTZUZO@205.ip-149-56-132.net)
2021-03-19 23:12:56 +0100sayola(~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
2021-03-19 23:12:56 +0100Deide(~Deide@217.155.19.23) (Ping timeout: 246 seconds)
2021-03-19 23:12:56 +0100rprospero(~adam@186.75.232.35.bc.googleusercontent.com) (Ping timeout: 246 seconds)
2021-03-19 23:12:56 +0100xts(~ts@46.101.20.9) (Ping timeout: 246 seconds)
2021-03-19 23:12:56 +0100xts(~ts@46.101.20.9)
2021-03-19 23:12:56 +0100jonn(~sweater@206.81.18.26) (Ping timeout: 246 seconds)
2021-03-19 23:12:56 +0100madog(~madog@163.ip-51-254-203.eu) (Ping timeout: 246 seconds)
2021-03-19 23:12:56 +0100jneira(501e6406@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.6) (Quit: Ping timeout (120 seconds))
2021-03-19 23:12:56 +0100urdh_urdh
2021-03-19 23:12:56 +0100lewky3lewky
2021-03-19 23:12:58 +0100madog_(~madog@163.ip-51-254-203.eu)
2021-03-19 23:13:03 +0100sweater(~sweater@206.81.18.26)
2021-03-19 23:13:04 +0100Ankhers(~Ankhers@unaffiliated/ankhers)
2021-03-19 23:13:05 +0100HiRE(~HiRE@104.128.237.40)
2021-03-19 23:13:05 +0100lep-delete(~lep@94.31.86.183)
2021-03-19 23:13:06 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-03-19 23:13:06 +0100pfurla_(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-03-19 23:13:09 +0100hrdl(~ef24a0e6@unaffiliated/hrdl) (Ping timeout: 264 seconds)
2021-03-19 23:13:18 +0100Cathy(~Cathy@unaffiliated/cathy)
2021-03-19 23:13:23 +0100hrdl(~ef24a0e6@unaffiliated/hrdl)
2021-03-19 23:13:45 +0100p4trix(~p4trix@19.red-83-49-45.dynamicip.rima-tde.net) (Ping timeout: 264 seconds)
2021-03-19 23:13:45 +0100texasmynsted(~texasmyns@99.96.221.112) (Quit: ZNC - http://znc.in)
2021-03-19 23:14:09 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-03-19 23:14:30 +0100texasmynsted(~texasmyns@99.96.221.112)
2021-03-19 23:14:37 +0100jneira(501e6406@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.6)
2021-03-19 23:16:24 +0100{abby}(~{abby}@unaffiliated/demhydraz)
2021-03-19 23:16:24 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 23:16:33 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 23:17:58 +0100Moyst_(~moyst@212-149-213-144.bb.dnainternet.fi)
2021-03-19 23:18:24 +0100coot(~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl)
2021-03-19 23:19:12 +0100dhouthoo(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0)
2021-03-19 23:21:07 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-19 23:21:53 +0100hackagezeolite-lang 0.14.0.0 - Zeolite is a statically-typed, general-purpose programming language. https://hackage.haskell.org/package/zeolite-lang-0.14.0.0 (ta0kira)
2021-03-19 23:22:23 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-19 23:24:01 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 265 seconds)
2021-03-19 23:28:00 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 23:33:17 +0100ixian(~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 244 seconds)
2021-03-19 23:34:12 +0100dsrt^(~hph@ip98-184-89-2.mc.at.cox.net) ()
2021-03-19 23:39:20 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 240 seconds)
2021-03-19 23:42:04 +0100nrh^(~hph@ip98-184-89-2.mc.at.cox.net)
2021-03-19 23:43:51 +0100ixian(~mgold@terra.bitplane.org)
2021-03-19 23:43:55 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-19 23:44:07 +0100_Alleria(~AllahuAkb@2603-7000-3040-0000-e868-95dd-6dea-dfa1.res6.spectrum.com)
2021-03-19 23:45:35 +0100chirpsalot(~Chirps@pool-98-115-239-235.phlapa.fios.verizon.net) (Quit: WeeChat 1.9.1)
2021-03-19 23:45:35 +0100Chobbes(~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net) (Quit: WeeChat 1.9.1)
2021-03-19 23:46:43 +0100Alleria_(~AllahuAkb@2603-7000-3040-0000-f429-7221-6ab1-0f3b.res6.spectrum.com) (Ping timeout: 244 seconds)
2021-03-19 23:47:20 +0100knupfer(~Thunderbi@200116b82c36b5005cb9ab2db6c57d7c.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2021-03-19 23:47:36 +0100Franciman(~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving)
2021-03-19 23:50:20 +0100ixian(~mgold@terra.bitplane.org) (Ping timeout: 244 seconds)
2021-03-19 23:50:29 +0100son0p(~son0p@181.136.122.143) (Quit: Lost terminal)
2021-03-19 23:50:56 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 240 seconds)
2021-03-19 23:53:20 +0100nighmi(~felix@port-92-196-48-44.dynamic.as20676.net)
2021-03-19 23:53:26 +0100xff0x_(~xff0x@2001:1a81:5242:1600:4bf:6bdb:4ec0:5322) (Ping timeout: 264 seconds)
2021-03-19 23:53:30 +0100neiluj(~jco@91-167-203-101.subs.proxad.net) (Ping timeout: 260 seconds)
2021-03-19 23:54:01 +0100neiluj(~jco@91-167-203-101.subs.proxad.net)
2021-03-19 23:54:11 +0100xff0x_(~xff0x@2001:1a81:5242:1600:160f:f8e7:a361:9fb7)
2021-03-19 23:57:37 +0100Gigabitten(~Somn@098-127-002-172.res.spectrum.com) (Quit: Leaving)
2021-03-19 23:58:36 +0100zebrag(~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-19 23:58:54 +0100zebrag(~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr)