2021/06/30

2021-06-30 00:00:24 +0200mud(~mud@user/kadoban)
2021-06-30 00:01:32 +0200chris_(~chris@81.96.113.213) (Remote host closed the connection)
2021-06-30 00:02:11 +0200chris_(~chris@81.96.113.213)
2021-06-30 00:02:38 +0200spruit11(~quassel@2a02:a467:ccd6:1:f4be:52a3:d576:1567) (Ping timeout: 268 seconds)
2021-06-30 00:02:53 +0200Feuermagier(~Feuermagi@user/feuermagier)
2021-06-30 00:03:38 +0200thedward[m](~thedwardm@2001:470:69fc:105::f79)
2021-06-30 00:04:56 +0200Morrow(~MorrowM_@147.161.8.23) (Ping timeout: 272 seconds)
2021-06-30 00:05:07 +0200en30(~en30@p6356230-ipngn31101marunouchi.tokyo.ocn.ne.jp) (Quit: Connection closed)
2021-06-30 00:05:28 +0200chisui(~chisui@200116b86458b700e549230632d59732.dip.versatel-1u1.de) (Ping timeout: 246 seconds)
2021-06-30 00:06:32 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2021-06-30 00:06:50 +0200chris_(~chris@81.96.113.213) (Ping timeout: 256 seconds)
2021-06-30 00:06:52 +0200biberu(~biberu@user/biberu)
2021-06-30 00:06:58 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-06-30 00:09:35 +0200 <zzz> which Graph module are we using these days? i think i remember being advised against Data.Graph in the containers library
2021-06-30 00:09:40 +0200 <zzz> fgl?
2021-06-30 00:09:48 +0200ac(~aloiscoch@2001:470:69fc:105::65)
2021-06-30 00:09:48 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2021-06-30 00:09:48 +0200psydroid(~psydroid@user/psydroid)
2021-06-30 00:09:48 +0200sm[m](~sm@plaintextaccounting/sm)
2021-06-30 00:09:48 +0200hjulle[m](~hjullemat@2001:470:69fc:105::1dd)
2021-06-30 00:09:49 +0200MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22)
2021-06-30 00:10:00 +0200dualinverter[m](~dualinver@2001:470:69fc:105::16a7)
2021-06-30 00:10:00 +0200stevenxl_(~stevenlei@174.128.182.152) (Ping timeout: 272 seconds)
2021-06-30 00:10:12 +0200fgaz(~fgaz@2001:470:69fc:105::842)
2021-06-30 00:10:13 +0200jaror[m](~jaror@2001:470:69fc:105::265)
2021-06-30 00:10:13 +0200Morrow[m](~morrowmma@2001:470:69fc:105::1d0)
2021-06-30 00:10:13 +0200peddie(~peddie@2001:470:69fc:105::25d)
2021-06-30 00:10:13 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284)
2021-06-30 00:10:13 +0200ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2)
2021-06-30 00:10:13 +0200tomferon[m](~tomferon@2001:470:69fc:105::268)
2021-06-30 00:10:13 +0200fabfianda[m](~fabfianda@2001:470:69fc:105::6db)
2021-06-30 00:10:13 +0200bb010g(~bb010g@2001:470:69fc:105::9a5)
2021-06-30 00:10:25 +0200wallymathieu[m](~wallymath@2001:470:69fc:105::16ae)
2021-06-30 00:10:25 +0200Drezil(~drezilkif@2001:470:69fc:105::7f8)
2021-06-30 00:10:25 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e)
2021-06-30 00:10:25 +0200Artem[m](~artemtype@2001:470:69fc:105::75b)
2021-06-30 00:10:25 +0200ServerStatsDisco(~serversta@2001:470:69fc:105::1a)
2021-06-30 00:10:25 +0200cdepillabout[m](~cdepillab@2001:470:69fc:105::3d3)
2021-06-30 00:10:37 +0200amesgen[m](~amesgenam@2001:470:69fc:105::82b)
2021-06-30 00:10:37 +0200the-coot[m](~the-cootm@2001:470:69fc:105::95f)
2021-06-30 00:10:46 +0200chris_(~chris@81.96.113.213)
2021-06-30 00:10:48 +0200 <maerwald> Tying the knot, of course
2021-06-30 00:10:49 +0200kosmikus[m](~andresloe@2001:470:69fc:105::95d)
2021-06-30 00:11:03 +0200 <maerwald> (that was a joke, it's terrible)
2021-06-30 00:11:04 +0200adziahel[m](~adziahelm@2001:470:69fc:105::b4d)
2021-06-30 00:11:04 +0200eddiemundo(~eddiemund@2001:470:69fc:105::a9c)
2021-06-30 00:11:04 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2021-06-30 00:11:17 +0200Soft(~soft-matr@2001:470:69fc:105::c75)
2021-06-30 00:11:17 +0200zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32)
2021-06-30 00:11:25 +0200MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22) (Quit: node-irc says goodbye)
2021-06-30 00:11:26 +0200ServerStatsDisco(~serversta@2001:470:69fc:105::1a) (Quit: node-irc says goodbye)
2021-06-30 00:11:27 +0200ac(~aloiscoch@2001:470:69fc:105::65) (Quit: node-irc says goodbye)
2021-06-30 00:11:29 +0200psydroid(~psydroid@user/psydroid) (Quit: node-irc says goodbye)
2021-06-30 00:11:31 +0200oak-(~oakuniver@2001:470:69fc:105::fcd)
2021-06-30 00:11:31 +0200kadoban(~kadoban@user/kadoban)
2021-06-30 00:11:31 +0200bitonic(~bitonic@2001:470:69fc:105::1812)
2021-06-30 00:11:31 +0200carmysilna(~brightly-@2001:470:69fc:105::2190)
2021-06-30 00:11:31 +0200ericson2314(~ericson23@2001:470:69fc:105::70c)
2021-06-30 00:11:31 +0200jophish(~jophish@2001:470:69fc:105::670)
2021-06-30 00:11:33 +0200carmysilna(~brightly-@2001:470:69fc:105::2190) (Quit: node-irc says goodbye)
2021-06-30 00:11:35 +0200fgaz(~fgaz@2001:470:69fc:105::842) (Quit: node-irc says goodbye)
2021-06-30 00:11:36 +0200peddie(~peddie@2001:470:69fc:105::25d) (Quit: node-irc says goodbye)
2021-06-30 00:11:44 +0200Ollie[m](~ollieocha@2001:470:69fc:105::41a5)
2021-06-30 00:11:44 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284) (Quit: node-irc says goodbye)
2021-06-30 00:11:48 +0200kadoban(~kadoban@user/kadoban) (Quit: node-irc says goodbye)
2021-06-30 00:11:53 +0200the-coot[m](~the-cootm@2001:470:69fc:105::95f) (Quit: node-irc says goodbye)
2021-06-30 00:11:57 +0200ericson2314(~ericson23@2001:470:69fc:105::70c) (Quit: node-irc says goodbye)
2021-06-30 00:11:57 +0200ixlun(~ixlun@2001:470:69fc:105::41b3)
2021-06-30 00:11:57 +0200siraben(~siraben@user/siraben)
2021-06-30 00:11:57 +0200unclechu(~unclechu@2001:470:69fc:105::354)
2021-06-30 00:11:57 +0200Deewiant(~deewiant@2001:470:69fc:105::2fd3)
2021-06-30 00:11:59 +0200jophish(~jophish@2001:470:69fc:105::670) (Quit: node-irc says goodbye)
2021-06-30 00:12:02 +0200fabfianda[m](~fabfianda@2001:470:69fc:105::6db) (Quit: node-irc says goodbye)
2021-06-30 00:12:09 +0200RohitGoswami[m](~rgoswamim@2001:470:69fc:105::16cc)
2021-06-30 00:12:09 +0200bryan[m](~bchreekat@2001:470:69fc:105::16b5)
2021-06-30 00:12:09 +0200unrooted(~unrooted@2001:470:69fc:105::a4a)
2021-06-30 00:12:12 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e) (Quit: node-irc says goodbye)
2021-06-30 00:12:13 +0200son0p(~ff@181.136.122.143)
2021-06-30 00:12:17 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Quit: node-irc says goodbye)
2021-06-30 00:12:22 +0200Aleci[m](~alecilibr@2001:470:69fc:105::32e7)
2021-06-30 00:12:22 +0200thedward[m](~thedwardm@2001:470:69fc:105::f79) (Quit: node-irc says goodbye)
2021-06-30 00:12:23 +0200Sylveon(~sylveonma@2001:470:69fc:105::2d95)
2021-06-30 00:12:26 +0200bryan[m](~bchreekat@2001:470:69fc:105::16b5) (Quit: node-irc says goodbye)
2021-06-30 00:12:30 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2021-06-30 00:12:35 +0200autrim64[m](~autrim64m@2001:470:69fc:105::16a1)
2021-06-30 00:12:35 +0200inkbottle[m](~inkbottle@2001:470:69fc:105::2ff5)
2021-06-30 00:12:35 +0200zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32) (Quit: node-irc says goodbye)
2021-06-30 00:12:45 +0200SylveonGuest1259
2021-06-30 00:12:47 +0200yin[m](~zwromatri@2001:470:69fc:105::1d4)
2021-06-30 00:13:00 +0200maralorn(~maralorn@2001:470:69fc:105::251)
2021-06-30 00:13:01 +0200jakefromstatefar(~jakefroms@2001:470:69fc:105::15ef)
2021-06-30 00:13:14 +0200jellz[m](~jellzmatr@2001:470:69fc:105::2daa)
2021-06-30 00:13:24 +0200fendor(~fendor@77.119.195.142.wireless.dyn.drei.com) (Remote host closed the connection)
2021-06-30 00:13:26 +0200tomferon[m](~tomferon@2001:470:69fc:105::268) (Quit: node-irc says goodbye)
2021-06-30 00:13:26 +0200cdepillabout[m](~cdepillab@2001:470:69fc:105::3d3) (Quit: node-irc says goodbye)
2021-06-30 00:13:26 +0200Artem[m](~artemtype@2001:470:69fc:105::75b) (Quit: node-irc says goodbye)
2021-06-30 00:13:26 +0200hjulle[m](~hjullemat@2001:470:69fc:105::1dd) (Quit: node-irc says goodbye)
2021-06-30 00:13:28 +0200dminuoso[m](~dminuosom@2001:470:69fc:105::33bb)
2021-06-30 00:13:29 +0200Deewiant(~deewiant@2001:470:69fc:105::2fd3) (Quit: node-irc says goodbye)
2021-06-30 00:13:32 +0200bitonic(~bitonic@2001:470:69fc:105::1812) (Quit: node-irc says goodbye)
2021-06-30 00:13:32 +0200ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2) (Quit: node-irc says goodbye)
2021-06-30 00:13:33 +0200jaror[m](~jaror@2001:470:69fc:105::265) (Quit: node-irc says goodbye)
2021-06-30 00:13:39 +0200lwe[m](~dendrumat@2001:470:69fc:105::2f9b)
2021-06-30 00:13:39 +0200reza[m](~rezaphone@2001:470:69fc:105::3eda)
2021-06-30 00:13:39 +0200gxt(~gxt@2001:470:69fc:105::3513)
2021-06-30 00:13:51 +0200ecameron[m](~ecameronm@2001:470:69fc:105::35df)
2021-06-30 00:14:04 +0200marinelli[m](~marinelli@2001:470:69fc:105::2d8)
2021-06-30 00:14:17 +0200aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9)
2021-06-30 00:14:17 +0200boxscape(~boxscape@user/boxscape)
2021-06-30 00:14:17 +0200hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4)
2021-06-30 00:14:17 +0200vbeatrice[m](~vbeatrice@2001:470:69fc:105::3ebf)
2021-06-30 00:14:17 +0200ormaaj(~ormaaj@user/ormaaj)
2021-06-30 00:14:18 +0200unrooted(~unrooted@2001:470:69fc:105::a4a) (Quit: node-irc says goodbye)
2021-06-30 00:14:22 +0200gxt(~gxt@2001:470:69fc:105::3513) (Quit: node-irc says goodbye)
2021-06-30 00:14:23 +0200unclechu(~unclechu@2001:470:69fc:105::354) (Quit: node-irc says goodbye)
2021-06-30 00:14:31 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2021-06-30 00:14:31 +0200sridonhiatus[m](~sridmatri@2001:470:69fc:105::1c2)
2021-06-30 00:14:36 +0200sridonhiatus[m](~sridmatri@2001:470:69fc:105::1c2) (Quit: node-irc says goodbye)
2021-06-30 00:14:36 +0200eddiemundo(~eddiemund@2001:470:69fc:105::a9c) (Quit: node-irc says goodbye)
2021-06-30 00:14:43 +0200justosophy[m](~justosoph@2001:470:69fc:105::572f)
2021-06-30 00:15:23 +0200sm[m](~sm@plaintextaccounting/sm) (Quit: node-irc says goodbye)
2021-06-30 00:15:59 +0200ac(~aloiscoch@2001:470:69fc:105::65)
2021-06-30 00:15:59 +0200psydroid(~psydroid@user/psydroid)
2021-06-30 00:15:59 +0200sm[m](~sm@plaintextaccounting/sm)
2021-06-30 00:15:59 +0200fgaz(~fgaz@2001:470:69fc:105::842)
2021-06-30 00:15:59 +0200ServerStatsDisco(~serversta@2001:470:69fc:105::1a)
2021-06-30 00:15:59 +0200MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22)
2021-06-30 00:16:00 +0200zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32)
2021-06-30 00:16:00 +0200bitonic(~bitonic@2001:470:69fc:105::1812)
2021-06-30 00:16:00 +0200kadoban(~kadoban@user/kadoban)
2021-06-30 00:16:00 +0200ericson2314(~ericson23@2001:470:69fc:105::70c)
2021-06-30 00:16:00 +0200jophish(~jophish@2001:470:69fc:105::670)
2021-06-30 00:16:00 +0200Deewiant(~deewiant@2001:470:69fc:105::2fd3)
2021-06-30 00:16:10 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:48c3:15b7:84fd:d26e) (Remote host closed the connection)
2021-06-30 00:16:11 +0200the-coot[m](~the-cootm@2001:470:69fc:105::95f)
2021-06-30 00:16:11 +0200eddiemundo(~eddiemund@2001:470:69fc:105::a9c)
2021-06-30 00:16:11 +0200hjulle[m](~hjullemat@2001:470:69fc:105::1dd)
2021-06-30 00:16:11 +0200fabfianda[m](~fabfianda@2001:470:69fc:105::6db)
2021-06-30 00:16:11 +0200cdepillabout[m](~cdepillab@2001:470:69fc:105::3d3)
2021-06-30 00:16:11 +0200Artem[m](~artemtype@2001:470:69fc:105::75b)
2021-06-30 00:16:12 +0200tomferon[m](~tomferon@2001:470:69fc:105::268)
2021-06-30 00:16:12 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e)
2021-06-30 00:16:12 +0200bryan[m](~bchreekat@2001:470:69fc:105::16b5)
2021-06-30 00:16:12 +0200unclechu(~unclechu@2001:470:69fc:105::354)
2021-06-30 00:16:12 +0200unrooted(~unrooted@2001:470:69fc:105::a4a)
2021-06-30 00:16:12 +0200sridonhiatus[m](~sridmatri@2001:470:69fc:105::1c2)
2021-06-30 00:16:13 +0200ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2)
2021-06-30 00:16:13 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284)
2021-06-30 00:16:13 +0200jaror[m](~jaror@2001:470:69fc:105::265)
2021-06-30 00:16:13 +0200peddie(~peddie@2001:470:69fc:105::25d)
2021-06-30 00:16:13 +0200carmysilna(~brightly-@2001:470:69fc:105::2190)
2021-06-30 00:16:13 +0200gxt(~gxt@2001:470:69fc:105::3513)
2021-06-30 00:16:14 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2021-06-30 00:17:02 +0200favonia(~favonia@user/favonia) (Ping timeout: 256 seconds)
2021-06-30 00:17:56 +0200 <shapr> zzz: looks to me like algebraic graphs is the most fun
2021-06-30 00:18:10 +0200thedward[m](~thedwardm@2001:470:69fc:105::f79)
2021-06-30 00:18:49 +0200stevenxl(~stevenlei@174.128.182.151)
2021-06-30 00:20:44 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-30 00:20:51 +0200bb010g(~bb010g@2001:470:69fc:105::9a5) (Quit: node-irc says goodbye)
2021-06-30 00:20:52 +0200vbeatrice[m](~vbeatrice@2001:470:69fc:105::3ebf) (Quit: node-irc says goodbye)
2021-06-30 00:21:05 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds)
2021-06-30 00:21:41 +0200jakefromstatefar(~jakefroms@2001:470:69fc:105::15ef) (Quit: node-irc says goodbye)
2021-06-30 00:21:51 +0200AgentM(~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.)
2021-06-30 00:21:51 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (Quit: node-irc says goodbye)
2021-06-30 00:22:16 +0200dualinverter[m](~dualinver@2001:470:69fc:105::16a7) (Quit: node-irc says goodbye)
2021-06-30 00:22:24 +0200reza[m](~rezaphone@2001:470:69fc:105::3eda) (Remote host closed the connection)
2021-06-30 00:22:24 +0200MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22) (Write error: Connection reset by peer)
2021-06-30 00:22:24 +0200maralorn(~maralorn@2001:470:69fc:105::251) (Remote host closed the connection)
2021-06-30 00:22:25 +0200the-coot[m](~the-cootm@2001:470:69fc:105::95f) (Remote host closed the connection)
2021-06-30 00:22:25 +0200bryan[m](~bchreekat@2001:470:69fc:105::16b5) (Read error: Connection reset by peer)
2021-06-30 00:22:25 +0200aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9) (Remote host closed the connection)
2021-06-30 00:22:25 +0200Aleci[m](~alecilibr@2001:470:69fc:105::32e7) (Read error: Connection reset by peer)
2021-06-30 00:22:25 +0200psydroid(~psydroid@user/psydroid) (Read error: Connection reset by peer)
2021-06-30 00:22:25 +0200Morrow[m](~morrowmma@2001:470:69fc:105::1d0) (Remote host closed the connection)
2021-06-30 00:22:26 +0200sm[m](~sm@plaintextaccounting/sm) (Remote host closed the connection)
2021-06-30 00:22:26 +0200hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4) (Remote host closed the connection)
2021-06-30 00:22:26 +0200Artem[m](~artemtype@2001:470:69fc:105::75b) (Read error: Connection reset by peer)
2021-06-30 00:22:26 +0200kadoban(~kadoban@user/kadoban) (Read error: Connection reset by peer)
2021-06-30 00:22:26 +0200Guest1259(~sylveonma@2001:470:69fc:105::2d95) (Read error: Connection reset by peer)
2021-06-30 00:22:26 +0200unrooted(~unrooted@2001:470:69fc:105::a4a) (Read error: Connection reset by peer)
2021-06-30 00:22:26 +0200carmysilna(~brightly-@2001:470:69fc:105::2190) (Read error: Connection reset by peer)
2021-06-30 00:22:26 +0200sridonhiatus[m](~sridmatri@2001:470:69fc:105::1c2) (Remote host closed the connection)
2021-06-30 00:22:26 +0200Deewiant(~deewiant@2001:470:69fc:105::2fd3) (Read error: Connection reset by peer)
2021-06-30 00:22:26 +0200peddie(~peddie@2001:470:69fc:105::25d) (Read error: Connection reset by peer)
2021-06-30 00:22:26 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Read error: Connection reset by peer)
2021-06-30 00:22:26 +0200boxscape(~boxscape@user/boxscape) (Read error: Connection reset by peer)
2021-06-30 00:22:26 +0200ecameron[m](~ecameronm@2001:470:69fc:105::35df) (Read error: Connection reset by peer)
2021-06-30 00:22:26 +0200dminuoso[m](~dminuosom@2001:470:69fc:105::33bb) (Read error: Connection reset by peer)
2021-06-30 00:22:26 +0200zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32) (Read error: Connection reset by peer)
2021-06-30 00:22:26 +0200kosmikus[m](~andresloe@2001:470:69fc:105::95d) (Remote host closed the connection)
2021-06-30 00:22:26 +0200wallymathieu[m](~wallymath@2001:470:69fc:105::16ae) (Remote host closed the connection)
2021-06-30 00:22:26 +0200Drezil(~drezilkif@2001:470:69fc:105::7f8) (Remote host closed the connection)
2021-06-30 00:22:27 +0200justosophy[m](~justosoph@2001:470:69fc:105::572f) (Remote host closed the connection)
2021-06-30 00:22:27 +0200jophish(~jophish@2001:470:69fc:105::670) (Write error: Connection reset by peer)
2021-06-30 00:22:27 +0200hjulle[m](~hjullemat@2001:470:69fc:105::1dd) (Read error: Connection reset by peer)
2021-06-30 00:22:27 +0200fabfianda[m](~fabfianda@2001:470:69fc:105::6db) (Write error: Connection reset by peer)
2021-06-30 00:22:27 +0200cdepillabout[m](~cdepillab@2001:470:69fc:105::3d3) (Read error: Connection reset by peer)
2021-06-30 00:22:27 +0200gxt(~gxt@2001:470:69fc:105::3513) (Remote host closed the connection)
2021-06-30 00:22:27 +0200marinelli[m](~marinelli@2001:470:69fc:105::2d8) (Remote host closed the connection)
2021-06-30 00:22:27 +0200RohitGoswami[m](~rgoswamim@2001:470:69fc:105::16cc) (Read error: Connection reset by peer)
2021-06-30 00:22:27 +0200ormaaj(~ormaaj@user/ormaaj) (Read error: Connection reset by peer)
2021-06-30 00:22:27 +0200yin[m](~zwromatri@2001:470:69fc:105::1d4) (Read error: Connection reset by peer)
2021-06-30 00:22:27 +0200fgaz(~fgaz@2001:470:69fc:105::842) (Read error: Connection reset by peer)
2021-06-30 00:22:27 +0200siraben(~siraben@user/siraben) (Remote host closed the connection)
2021-06-30 00:22:27 +0200lwe[m](~dendrumat@2001:470:69fc:105::2f9b) (Read error: Connection reset by peer)
2021-06-30 00:22:28 +0200amesgen[m](~amesgenam@2001:470:69fc:105::82b) (Remote host closed the connection)
2021-06-30 00:22:28 +0200inkbottle[m](~inkbottle@2001:470:69fc:105::2ff5) (Write error: Connection reset by peer)
2021-06-30 00:22:28 +0200oak-(~oakuniver@2001:470:69fc:105::fcd) (Remote host closed the connection)
2021-06-30 00:22:28 +0200Soft(~soft-matr@2001:470:69fc:105::c75) (Remote host closed the connection)
2021-06-30 00:22:28 +0200adziahel[m](~adziahelm@2001:470:69fc:105::b4d) (Remote host closed the connection)
2021-06-30 00:22:28 +0200ericson2314(~ericson23@2001:470:69fc:105::70c) (Remote host closed the connection)
2021-06-30 00:22:28 +0200autrim64[m](~autrim64m@2001:470:69fc:105::16a1) (Remote host closed the connection)
2021-06-30 00:22:29 +0200tomferon[m](~tomferon@2001:470:69fc:105::268) (Read error: Connection reset by peer)
2021-06-30 00:22:29 +0200Ollie[m](~ollieocha@2001:470:69fc:105::41a5) (Remote host closed the connection)
2021-06-30 00:22:29 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Remote host closed the connection)
2021-06-30 00:22:29 +0200jellz[m](~jellzmatr@2001:470:69fc:105::2daa) (Remote host closed the connection)
2021-06-30 00:22:29 +0200ac(~aloiscoch@2001:470:69fc:105::65) (Read error: Connection reset by peer)
2021-06-30 00:22:29 +0200bitonic(~bitonic@2001:470:69fc:105::1812) (Read error: Connection reset by peer)
2021-06-30 00:22:30 +0200ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2) (Read error: Connection reset by peer)
2021-06-30 00:22:30 +0200jaror[m](~jaror@2001:470:69fc:105::265) (Read error: Connection reset by peer)
2021-06-30 00:22:30 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284) (Read error: Connection reset by peer)
2021-06-30 00:22:30 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e) (Read error: Connection reset by peer)
2021-06-30 00:22:36 +0200thedward[m](~thedwardm@2001:470:69fc:105::f79) (Remote host closed the connection)
2021-06-30 00:22:36 +0200unclechu(~unclechu@2001:470:69fc:105::354) (Remote host closed the connection)
2021-06-30 00:22:37 +0200ServerStatsDisco(~serversta@2001:470:69fc:105::1a) (Write error: Connection reset by peer)
2021-06-30 00:22:37 +0200eddiemundo(~eddiemund@2001:470:69fc:105::a9c) (Write error: Connection reset by peer)
2021-06-30 00:22:37 +0200ixlun(~ixlun@2001:470:69fc:105::41b3) (Write error: Connection reset by peer)
2021-06-30 00:23:25 +0200favonia(~favonia@user/favonia)
2021-06-30 00:23:50 +0200stevenxl(~stevenlei@174.128.182.151) (Ping timeout: 256 seconds)
2021-06-30 00:26:43 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato)
2021-06-30 00:27:03 +0200chris_(~chris@81.96.113.213) (Remote host closed the connection)
2021-06-30 00:27:42 +0200chris_(~chris@81.96.113.213)
2021-06-30 00:27:48 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 256 seconds)
2021-06-30 00:28:40 +0200thedward[m](~thedwardm@2001:470:69fc:105::f79)
2021-06-30 00:31:32 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 272 seconds)
2021-06-30 00:32:19 +0200Feuermagier_(~Feuermagi@2a02:2488:4211:3400:5def:8486:9e4:b49a)
2021-06-30 00:32:20 +0200chris_(~chris@81.96.113.213) (Ping timeout: 256 seconds)
2021-06-30 00:32:39 +0200Feuermagier(~Feuermagi@user/feuermagier) (Read error: Connection reset by peer)
2021-06-30 00:35:30 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-30 00:38:34 +0200favonia(~favonia@user/favonia) (Ping timeout: 256 seconds)
2021-06-30 00:38:47 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f)
2021-06-30 00:39:41 +0200favonia(~favonia@user/favonia)
2021-06-30 00:40:17 +0200ac(~aloiscoch@2001:470:69fc:105::65)
2021-06-30 00:40:17 +0200psydroid(~psydroid@user/psydroid)
2021-06-30 00:40:17 +0200sm[m](~sm@plaintextaccounting/sm)
2021-06-30 00:40:17 +0200hjulle[m](~hjullemat@2001:470:69fc:105::1dd)
2021-06-30 00:40:17 +0200fgaz(~fgaz@2001:470:69fc:105::842)
2021-06-30 00:40:17 +0200jaror[m](~jaror@2001:470:69fc:105::265)
2021-06-30 00:40:17 +0200peddie(~peddie@2001:470:69fc:105::25d)
2021-06-30 00:40:17 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284)
2021-06-30 00:40:17 +0200tomferon[m](~tomferon@2001:470:69fc:105::268)
2021-06-30 00:40:18 +0200ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2)
2021-06-30 00:40:18 +0200bb010g(~bb010g@2001:470:69fc:105::9a5)
2021-06-30 00:40:18 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e)
2021-06-30 00:40:18 +0200Artem[m](~artemtype@2001:470:69fc:105::75b)
2021-06-30 00:40:18 +0200cdepillabout[m](~cdepillab@2001:470:69fc:105::3d3)
2021-06-30 00:40:18 +0200fabfianda[m](~fabfianda@2001:470:69fc:105::6db)
2021-06-30 00:40:18 +0200the-coot[m](~the-cootm@2001:470:69fc:105::95f)
2021-06-30 00:40:18 +0200ServerStatsDisco(~serversta@2001:470:69fc:105::1a)
2021-06-30 00:40:18 +0200eddiemundo(~eddiemund@2001:470:69fc:105::a9c)
2021-06-30 00:40:18 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2021-06-30 00:40:18 +0200zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32)
2021-06-30 00:40:18 +0200MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22)
2021-06-30 00:40:18 +0200kadoban(~kadoban@user/kadoban)
2021-06-30 00:40:18 +0200bitonic(~bitonic@2001:470:69fc:105::1812)
2021-06-30 00:40:18 +0200carmysilna(~brightly-@2001:470:69fc:105::2190)
2021-06-30 00:40:18 +0200ericson2314(~ericson23@2001:470:69fc:105::70c)
2021-06-30 00:40:18 +0200jophish(~jophish@2001:470:69fc:105::670)
2021-06-30 00:40:18 +0200siraben(~siraben@user/siraben)
2021-06-30 00:40:18 +0200unclechu(~unclechu@2001:470:69fc:105::354)
2021-06-30 00:40:18 +0200Deewiant(~deewiant@2001:470:69fc:105::2fd3)
2021-06-30 00:40:18 +0200bryan[m](~bchreekat@2001:470:69fc:105::16b5)
2021-06-30 00:40:19 +0200lwe[m](~dendrumat@2001:470:69fc:105::2f9b)
2021-06-30 00:40:19 +0200inkbottle[m](~inkbottle@2001:470:69fc:105::2ff5)
2021-06-30 00:40:19 +0200gxt(~gxt@2001:470:69fc:105::3513)
2021-06-30 00:40:19 +0200reza[m](~rezaphone@2001:470:69fc:105::3eda)
2021-06-30 00:40:19 +0200marinelli[m](~marinelli@2001:470:69fc:105::2d8)
2021-06-30 00:40:19 +0200boxscape(~boxscape@user/boxscape)
2021-06-30 00:40:19 +0200vbeatrice[m](~vbeatrice@2001:470:69fc:105::3ebf)
2021-06-30 00:40:19 +0200hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4)
2021-06-30 00:40:19 +0200ormaaj(~ormaaj@user/ormaaj)
2021-06-30 00:40:19 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2021-06-30 00:40:19 +0200sridonhiatus[m](~sridmatri@2001:470:69fc:105::1c2)
2021-06-30 00:40:29 +0200amesgen[m](~amesgenam@2001:470:69fc:105::82b)
2021-06-30 00:40:29 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2021-06-30 00:40:30 +0200Morrow[m](~morrowmma@2001:470:69fc:105::1d0)
2021-06-30 00:40:30 +0200dualinverter[m](~dualinver@2001:470:69fc:105::16a7)
2021-06-30 00:40:30 +0200Drezil(~drezilkif@2001:470:69fc:105::7f8)
2021-06-30 00:40:30 +0200wallymathieu[m](~wallymath@2001:470:69fc:105::16ae)
2021-06-30 00:40:30 +0200Soft(~soft-matr@2001:470:69fc:105::c75)
2021-06-30 00:40:30 +0200Ollie[m](~ollieocha@2001:470:69fc:105::41a5)
2021-06-30 00:40:30 +0200RohitGoswami[m](~rgoswamim@2001:470:69fc:105::16cc)
2021-06-30 00:40:30 +0200autrim64[m](~autrim64m@2001:470:69fc:105::16a1)
2021-06-30 00:40:30 +0200dminuoso[m](~dminuosom@2001:470:69fc:105::33bb)
2021-06-30 00:40:30 +0200jellz[m](~jellzmatr@2001:470:69fc:105::2daa)
2021-06-30 00:40:30 +0200aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9)
2021-06-30 00:40:31 +0200ecameron[m](~ecameronm@2001:470:69fc:105::35df)
2021-06-30 00:40:31 +0200kosmikus[m](~andresloe@2001:470:69fc:105::95d)
2021-06-30 00:40:31 +0200yin[m](~zwromatri@2001:470:69fc:105::1d4)
2021-06-30 00:40:31 +0200adziahel[m](~adziahelm@2001:470:69fc:105::b4d)
2021-06-30 00:40:31 +0200oak-(~oakuniver@2001:470:69fc:105::fcd)
2021-06-30 00:40:31 +0200justosophy[m](~justosoph@2001:470:69fc:105::572f)
2021-06-30 00:40:32 +0200Sylveon(~sylveonma@2001:470:69fc:105::2d95)
2021-06-30 00:40:32 +0200ixlun(~ixlun@2001:470:69fc:105::41b3)
2021-06-30 00:40:54 +0200SylveonGuest2487
2021-06-30 00:48:25 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
2021-06-30 00:49:30 +0200chris_(~chris@81.96.113.213)
2021-06-30 00:50:42 +0200acidjnk(~acidjnk@p200300d0c72b95720002fc1121ac54e4.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-06-30 00:52:23 +0200jay-invariant(~jay@c-24-4-6-169.hsd1.ca.comcast.net) (Read error: Connection reset by peer)
2021-06-30 00:53:30 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 240 seconds)
2021-06-30 00:53:32 +0200zeenk(~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!)
2021-06-30 00:53:47 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-30 00:55:11 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 244 seconds)
2021-06-30 00:55:30 +0200favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-06-30 00:55:30 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:48c3:15b7:84fd:d26e)
2021-06-30 00:55:34 +0200chris_(~chris@81.96.113.213) (Remote host closed the connection)
2021-06-30 00:56:12 +0200chris_(~chris@81.96.113.213)
2021-06-30 00:56:45 +0200favonia(~favonia@user/favonia)
2021-06-30 00:57:04 +0200Deide(~Deide@user/deide) (Quit: Seeee yaaaa)
2021-06-30 00:58:12 +0200tcard(~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving)
2021-06-30 00:59:43 +0200bilegeek(~bilegeek@2600:1008:b015:3e96:6f34:1a42:6ac5:3b86) (Quit: Leaving)
2021-06-30 01:00:40 +0200chris_(~chris@81.96.113.213) (Ping timeout: 272 seconds)
2021-06-30 01:01:38 +0200tcard(~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp)
2021-06-30 01:02:40 +0200lbseale_(~lbseale@user/ep1ctetus)
2021-06-30 01:02:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 01:03:54 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 240 seconds)
2021-06-30 01:04:11 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-30 01:05:06 +0200favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-06-30 01:05:18 +0200chris_(~chris@81.96.113.213)
2021-06-30 01:05:24 +0200favonia(~favonia@user/favonia)
2021-06-30 01:06:22 +0200lbseale(~lbseale@user/ep1ctetus) (Ping timeout: 272 seconds)
2021-06-30 01:06:56 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-30 01:07:27 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Remote host closed the connection)
2021-06-30 01:08:02 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f)
2021-06-30 01:13:41 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Ping timeout: 256 seconds)
2021-06-30 01:18:28 +0200chris_(~chris@81.96.113.213) (Remote host closed the connection)
2021-06-30 01:19:05 +0200chris_(~chris@81.96.113.213)
2021-06-30 01:22:36 +0200hendursaga(~weechat@user/hendursaga)
2021-06-30 01:24:06 +0200chris_(~chris@81.96.113.213) (Ping timeout: 272 seconds)
2021-06-30 01:24:27 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:48c3:15b7:84fd:d26e) (Remote host closed the connection)
2021-06-30 01:25:26 +0200chris_(~chris@81.96.113.213)
2021-06-30 01:25:48 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-06-30 01:27:05 +0200yushyinyshyn
2021-06-30 01:27:58 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e)
2021-06-30 01:31:10 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-06-30 01:31:28 +0200yshynyushyin
2021-06-30 01:35:48 +0200paravida(~paravida@user/paravida)
2021-06-30 01:37:30 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-06-30 01:38:39 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f)
2021-06-30 01:39:27 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-30 01:42:42 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Ping timeout: 240 seconds)
2021-06-30 01:42:42 +0200favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-06-30 01:43:00 +0200favonia(~favonia@user/favonia)
2021-06-30 01:43:30 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 240 seconds)
2021-06-30 01:59:06 +0200favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-06-30 01:59:24 +0200favonia(~favonia@user/favonia)
2021-06-30 02:06:38 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection)
2021-06-30 02:06:53 +0200stevenxl(~stevenlei@174.128.182.151)
2021-06-30 02:07:34 +0200chris_(~chris@81.96.113.213) (Remote host closed the connection)
2021-06-30 02:07:55 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-06-30 02:08:13 +0200chris_(~chris@81.96.113.213)
2021-06-30 02:10:46 +0200zaquest(~notzaques@5.128.210.178) (Remote host closed the connection)
2021-06-30 02:11:15 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f)
2021-06-30 02:11:30 +0200stevenxl(~stevenlei@174.128.182.151) (Ping timeout: 256 seconds)
2021-06-30 02:12:23 +0200zaquest(~notzaques@5.128.210.178)
2021-06-30 02:12:38 +0200chris_(~chris@81.96.113.213) (Ping timeout: 256 seconds)
2021-06-30 02:12:38 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2021-06-30 02:15:23 +0200cuz(~user@2601:182:cc02:8b0:39d7:a0a0:94f3:fad5)
2021-06-30 02:15:28 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Ping timeout: 256 seconds)
2021-06-30 02:17:20 +0200hegstal(~hegstal@2a02:c7f:7604:8a00:cf3c:697d:723b:8aac) (Remote host closed the connection)
2021-06-30 02:24:18 +0200favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-06-30 02:24:42 +0200favonia(~favonia@user/favonia)
2021-06-30 02:33:12 +0200lavaman(~lavaman@98.38.249.169)
2021-06-30 02:33:46 +0200myShoggoth(~myShoggot@75.164.51.64) (Ping timeout: 246 seconds)
2021-06-30 02:35:46 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2021-06-30 02:38:16 +0200Guest35(~Guest35@2001:e68:543d:9398:c033:aa9b:f442:9c0b)
2021-06-30 02:39:16 +0200favonia(~favonia@user/favonia) (Ping timeout: 256 seconds)
2021-06-30 02:39:40 +0200favonia(~favonia@user/favonia)
2021-06-30 02:42:21 +0200egoist(~egoist@186.235.82.105)
2021-06-30 02:45:52 +0200stevenxl(~stevenlei@174.128.182.51)
2021-06-30 02:49:09 +0200lbseale_(~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-06-30 02:53:21 +0200BRobersonO(~BRoberson@97.104.41.119)
2021-06-30 02:54:22 +0200jay-invariant(~jay@c-24-4-6-169.hsd1.ca.comcast.net)
2021-06-30 02:54:53 +0200wei2912(~wei2912@112.199.250.21)
2021-06-30 02:56:38 +0200jlamothe(~jlamothe@198.251.57.108)
2021-06-30 02:56:55 +0200cjb(~cjb@user/cjb)
2021-06-30 02:59:18 +0200jlamothe(~jlamothe@198.251.57.108) (Client Quit)
2021-06-30 03:04:34 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 246 seconds)
2021-06-30 03:06:45 +0200Erutuon(~Erutuon@user/erutuon)
2021-06-30 03:08:05 +0200myShoggoth(~myShoggot@75.164.51.64)
2021-06-30 03:14:31 +0200pagnol(~user@014198154145.ctinets.com)
2021-06-30 03:16:37 +0200cuz(~user@2601:182:cc02:8b0:39d7:a0a0:94f3:fad5) (ERC (IRC client for Emacs 27.1))
2021-06-30 03:17:16 +0200mud(~mud@user/kadoban) (Read error: Connection reset by peer)
2021-06-30 03:17:43 +0200mud(~mud@user/kadoban)
2021-06-30 03:17:47 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 268 seconds)
2021-06-30 03:19:29 +0200elf_fortrez(~elf_fortr@adsl-72-50-4-48.prtc.net)
2021-06-30 03:19:37 +0200xff0x(~xff0x@2001:1a81:53b8:a100:f8a8:d5fd:e910:e3c0) (Ping timeout: 246 seconds)
2021-06-30 03:21:42 +0200xff0x(~xff0x@2001:1a81:53f8:b100:933a:3ba5:1174:9474)
2021-06-30 03:26:10 +0200scratchyone(~scratchyo@c-73-142-199-151.hsd1.nh.comcast.net)
2021-06-30 03:26:39 +0200scratchyonerachel
2021-06-30 03:26:54 +0200rachelrachel213
2021-06-30 03:27:20 +0200delYsid(~user@84-115-55-45.cable.dynamic.surfer.at) (ERC (IRC client for Emacs 27.1.50))
2021-06-30 03:28:49 +0200 <rachel213> I'm trying to install ghcup on mac, but it keeps getting stuck at "Downloading the latest package list from hackage.haskell.org"
2021-06-30 03:28:53 +0200 <rachel213> Any idea what might be wrong?
2021-06-30 03:29:35 +0200elf_fortrez(~elf_fortr@adsl-72-50-4-48.prtc.net) (Quit: Client closed)
2021-06-30 03:33:25 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 03:33:30 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-06-30 03:33:30 +0200son0p(~ff@181.136.122.143) (Ping timeout: 240 seconds)
2021-06-30 03:35:21 +0200 <qrpnxz> finally got around to watching https://www.youtube.com/watch?v=S0HvfXq3454 very cool
2021-06-30 03:39:44 +0200 <rachel213> How do I fix cabal update getting stuck at downloading index?
2021-06-30 03:40:37 +0200 <davean> rachel213: I've never heard of it being stuck - whats up?
2021-06-30 03:41:03 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-30 03:42:13 +0200 <rachel213> davean: I'm not entirely sure, it says "downloading index", displays a huge curl command, and then nothing happens\
2021-06-30 03:42:25 +0200 <rachel213> It's been sitting here for like 5-6 minutes now
2021-06-30 03:42:38 +0200 <rachel213> I assume it's not supposed to take that long to download a single index file?
2021-06-30 03:43:28 +0200 <rachel213> I actually couldn't even get haskell to install properly, it keeps getting stuck on this step, so I did it manually so I could see a verbose output
2021-06-30 03:44:11 +0200 <sclv> try passing i n a different http transport
2021-06-30 03:44:38 +0200 <sclv> or running the curl command manually to see why it hand
2021-06-30 03:44:43 +0200 <sclv> hangs
2021-06-30 03:45:28 +0200 <sclv> often the issue is firewalls
2021-06-30 03:45:34 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds)
2021-06-30 03:46:07 +0200 <davean> rachel213: it can take a few minutes though, its a big file
2021-06-30 03:46:14 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-06-30 03:46:16 +0200 <rachel213> Hmm, running it manually gives no output either, even with curls --verbose command
2021-06-30 03:47:01 +0200 <rachel213> Running it without piping to a file shows its definitely downloading though
2021-06-30 03:47:13 +0200 <rachel213> Maybe curl is just significantly slower than my browser?
2021-06-30 03:48:12 +0200 <davean> Its a large file
2021-06-30 03:48:18 +0200 <davean> Whats your connection speed?
2021-06-30 03:49:55 +0200 <rachel213> Oh hmm wtf
2021-06-30 03:50:00 +0200 <rachel213> My normal speed is ~150
2021-06-30 03:50:09 +0200 <davean> 150 .. what?
2021-06-30 03:50:13 +0200 <rachel213> mbps
2021-06-30 03:50:16 +0200 <rachel213> But according to a speedtest im getting 10mbps down rn?
2021-06-30 03:50:28 +0200 <davean> so that will take while
2021-06-30 03:50:31 +0200neurocyte47(~neurocyte@185.238.253.62)
2021-06-30 03:50:31 +0200neurocyte47(~neurocyte@185.238.253.62) (Changing host)
2021-06-30 03:50:31 +0200neurocyte47(~neurocyte@user/neurocyte)
2021-06-30 03:50:35 +0200 <rachel213> Yeah haha
2021-06-30 03:50:36 +0200egoist(~egoist@186.235.82.105) (Quit: WeeChat 3.2)
2021-06-30 03:50:51 +0200 <rachel213> Damn now I have to figure out what's wrong with my network lmao
2021-06-30 03:50:57 +0200Guest35(~Guest35@2001:e68:543d:9398:c033:aa9b:f442:9c0b) (Quit: Client closed)
2021-06-30 03:51:18 +0200 <monochrom> getting throttled? all of us are.
2021-06-30 03:51:21 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f)
2021-06-30 03:52:39 +0200 <rachel213> Oh huh why?
2021-06-30 03:52:55 +0200myShoggoth(~myShoggot@75.164.51.64) (Ping timeout: 256 seconds)
2021-06-30 03:53:50 +0200 <davean> rachel213: so I'd expect up to 10 minutes at that speed
2021-06-30 03:54:32 +0200 <rachel213> Thank you!!
2021-06-30 03:54:38 +0200neurocyte4(~neurocyte@user/neurocyte) (Ping timeout: 256 seconds)
2021-06-30 03:54:38 +0200neurocyte47neurocyte4
2021-06-30 03:55:30 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Ping timeout: 240 seconds)
2021-06-30 04:00:32 +0200cheater1__(~Username@user/cheater)
2021-06-30 04:00:32 +0200cheater(~Username@user/cheater) (Ping timeout: 272 seconds)
2021-06-30 04:00:35 +0200cheater1__cheater
2021-06-30 04:02:26 +0200BRobersonO(~BRoberson@97.104.41.119) (Quit: Leaving)
2021-06-30 04:04:02 +0200boxscape_(~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-06-30 04:08:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-30 04:08:40 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-06-30 04:10:08 +0200 <rachel213> davean: You were right! it finally finished a few seconds ago!
2021-06-30 04:10:10 +0200AgentM(~agentm@pool-162-83-130-212.nycmny.fios.verizon.net)
2021-06-30 04:13:18 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-06-30 04:16:56 +0200hedronlkajsdhflk(~hedron@2001:7e8:ccfd:9d00:c8d5:bd85:91a0:d51d)
2021-06-30 04:17:33 +0200hedronlkajsdhflk(~hedron@2001:7e8:ccfd:9d00:c8d5:bd85:91a0:d51d) ()
2021-06-30 04:18:54 +0200pagnol(~user@014198154145.ctinets.com) (Ping timeout: 272 seconds)
2021-06-30 04:21:01 +0200lavaman(~lavaman@98.38.249.169)
2021-06-30 04:25:52 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
2021-06-30 04:27:29 +0200favonia(~favonia@user/favonia) (Ping timeout: 256 seconds)
2021-06-30 04:27:48 +0200favonia(~favonia@user/favonia)
2021-06-30 04:29:25 +0200willbush(~user@47.183.200.14)
2021-06-30 04:30:11 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-06-30 04:30:12 +0200FinnElijaGuest7219
2021-06-30 04:30:12 +0200Guest7219(~finn_elij@user/finn-elija/x-0085643) (Killed (sodium.libera.chat (Nickname regained by services)))
2021-06-30 04:30:12 +0200finn_elijaFinnElija
2021-06-30 04:32:12 +0200td_(~td@94.134.91.158) (Ping timeout: 272 seconds)
2021-06-30 04:33:35 +0200td_(~td@94.134.91.65)
2021-06-30 04:40:45 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-06-30 04:42:42 +0200favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-06-30 04:43:00 +0200favonia(~favonia@user/favonia)
2021-06-30 04:43:22 +0200bilegeek(~bilegeek@11.sub-174-208-196.myvzw.com)
2021-06-30 04:44:52 +0200 <rachel213> This is probably a silly question, but what's the haskell way of getting fields from an object?
2021-06-30 04:45:06 +0200 <rachel213> like object.fieldName in most c-like langs
2021-06-30 04:46:27 +0200 <c_wraith> if you define a type as a record, it creates accessor functions from the field names
2021-06-30 04:47:10 +0200 <c_wraith> though those are always syntactic sugar over normal pattern matching
2021-06-30 04:47:37 +0200 <rachel213> ahhhh thank you!
2021-06-30 04:57:46 +0200paravida(~paravida@user/paravida) (Remote host closed the connection)
2021-06-30 05:00:38 +0200alx741(~alx741@186.178.109.202) (Quit: alx741)
2021-06-30 05:02:33 +0200bilegeek(~bilegeek@11.sub-174-208-196.myvzw.com) (Read error: Connection reset by peer)
2021-06-30 05:03:30 +0200favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-06-30 05:03:59 +0200bilegeek(~bilegeek@11.sub-174-208-196.myvzw.com)
2021-06-30 05:04:08 +0200favonia(~favonia@user/favonia)
2021-06-30 05:04:30 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 272 seconds)
2021-06-30 05:06:16 +0200tomsmeding(~tomsmedin@tomsmeding.com) (Ping timeout: 258 seconds)
2021-06-30 05:06:25 +0200 <ephemient> huh, did the NoFieldSelectors extension not land? somehow I thought it did
2021-06-30 05:07:23 +0200tomsmeding(~tomsmedin@2a03:b0c0:0:1010::767:3001)
2021-06-30 05:10:32 +0200 <ephemient> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/field_selectors.html#extension-FieldSelect… ah yes it did
2021-06-30 05:12:18 +0200pfurla_(~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…)
2021-06-30 05:13:06 +0200favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-06-30 05:13:29 +0200favonia(~favonia@user/favonia)
2021-06-30 05:15:40 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-06-30 05:20:45 +0200myShoggoth(~myShoggot@75.164.51.64)
2021-06-30 05:30:25 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-06-30 05:37:33 +0200rachel213(~scratchyo@c-73-142-199-151.hsd1.nh.comcast.net) (Remote host closed the connection)
2021-06-30 05:38:42 +0200stevenxl(~stevenlei@174.128.182.51) (Ping timeout: 272 seconds)
2021-06-30 05:40:58 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-06-30 05:41:41 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-30 05:41:55 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds)
2021-06-30 05:42:12 +0200Lord_of_Life_Lord_of_Life
2021-06-30 05:44:34 +0200favonia(~favonia@user/favonia) (Ping timeout: 256 seconds)
2021-06-30 05:44:58 +0200favonia(~favonia@user/favonia)
2021-06-30 05:46:04 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds)
2021-06-30 05:49:11 +0200notzmv[deleted]
2021-06-30 05:59:33 +0200cjb(~cjb@user/cjb) ()
2021-06-30 06:00:58 +0200jao(jao@gateway/vpn/protonvpn/jao) (Ping timeout: 246 seconds)
2021-06-30 06:04:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 06:04:02 +0200stevenxl(~stevenlei@174.128.182.51)
2021-06-30 06:08:45 +0200stevenxl(~stevenlei@174.128.182.51) (Ping timeout: 258 seconds)
2021-06-30 06:09:54 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds)
2021-06-30 06:11:10 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-06-30 06:12:20 +0200cheater(~Username@user/cheater) (Ping timeout: 256 seconds)
2021-06-30 06:12:37 +0200cheater(~Username@user/cheater)
2021-06-30 06:15:12 +0200TranquilEcho(~grom@user/tranquilecho) (Quit: WeeChat 2.8)
2021-06-30 06:31:44 +0200 <janus> why is NoFieldSelectors since 9.2.1 but OverloadedRecordDot since 9.2.0?
2021-06-30 06:35:24 +0200flipchan(~yumman@user/flipchan) (Ping timeout: 268 seconds)
2021-06-30 06:38:14 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-06-30 06:38:18 +0200bilegeek(~bilegeek@11.sub-174-208-196.myvzw.com) (Quit: Leaving)
2021-06-30 06:38:24 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-06-30 06:39:23 +0200Ty(~Ty@23.82.193.146)
2021-06-30 06:39:32 +0200AgentM(~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.)
2021-06-30 06:39:46 +0200TyGuest4095
2021-06-30 06:40:25 +0200Guest4095(~Ty@23.82.193.146) (Client Quit)
2021-06-30 06:43:44 +0200P1RATEZ(piratez@user/p1ratez)
2021-06-30 06:46:20 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-06-30 06:46:39 +0200cjb(~cjb@user/cjb)
2021-06-30 06:49:14 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-30 06:51:51 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-06-30 06:54:50 +0200myShoggoth(~myShoggot@75.164.51.64) (Ping timeout: 256 seconds)
2021-06-30 06:55:31 +0200P1RATEZ(piratez@user/p1ratez) ()
2021-06-30 06:59:54 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-06-30 06:59:57 +0200hololeap(~hololeap@user/hololeap) (Ping timeout: 244 seconds)
2021-06-30 07:00:32 +0200stevenxl(~stevenlei@174.128.182.51)
2021-06-30 07:00:54 +0200acidjnk(~acidjnk@p200300d0c72b95720002fc1121ac54e4.dip0.t-ipconnect.de)
2021-06-30 07:05:16 +0200stevenxl(~stevenlei@174.128.182.51) (Ping timeout: 252 seconds)
2021-06-30 07:13:09 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f)
2021-06-30 07:13:40 +0200v01d4lph4(~v01d4lph4@122.160.65.250)
2021-06-30 07:13:40 +0200v01d4lph4(~v01d4lph4@122.160.65.250) (Changing host)
2021-06-30 07:13:40 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4)
2021-06-30 07:17:29 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Ping timeout: 256 seconds)
2021-06-30 07:18:18 +0200roybatter(~roybatter@S010600fc8d321b13.vn.shawcable.net)
2021-06-30 07:20:16 +0200roybatter(~roybatter@S010600fc8d321b13.vn.shawcable.net) (Client Quit)
2021-06-30 07:21:50 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-30 07:23:11 +0200img(~img@user/img)
2021-06-30 07:26:08 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Remote host closed the connection)
2021-06-30 07:27:15 +0200jneira(~jneira@212.8.115.226)
2021-06-30 07:28:42 +0200thyriaen(~thyriaen@45.178.75.13)
2021-06-30 07:29:34 +0200thyriaen(~thyriaen@45.178.75.13) (Client Quit)
2021-06-30 07:32:22 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-06-30 07:32:33 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-06-30 07:33:04 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-06-30 07:34:28 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2021-06-30 07:36:41 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-30 07:38:04 +0200img(~img@user/img)
2021-06-30 07:42:40 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 252 seconds)
2021-06-30 07:45:02 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-06-30 07:50:40 +0200cjb(~cjb@user/cjb) ()
2021-06-30 07:53:45 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-30 07:55:06 +0200img(~img@user/img)
2021-06-30 07:57:28 +0200matsurago(~matsurago@p0602864-vcngn.tkyo.nt.ngn.ppp.ocn.ne.jp)
2021-06-30 07:58:14 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-30 07:59:52 +0200 <hjulle[m]> What are the v2- commands that corresponds to `cabal v1-copy` and `cabal v1-register`?
2021-06-30 08:00:25 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-06-30 08:00:41 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 250 seconds)
2021-06-30 08:00:47 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-06-30 08:01:09 +0200 <sclv> there are none
2021-06-30 08:01:20 +0200 <sclv> thats not part of the v2 workflow
2021-06-30 08:02:14 +0200 <mjrosenb> I like barely figured out how to use cabal. I should probably figure out how to use v2.
2021-06-30 08:05:18 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-30 08:05:59 +0200 <hjulle[m]> So if I have a script that uses them (to build a debian package), I should simply keep using `cabal v1-copy` and hope that it doesn't go away?
2021-06-30 08:06:40 +0200img(~img@user/img)
2021-06-30 08:07:02 +0200 <sclv> well that depends on what the general context of the whole build is
2021-06-30 08:07:25 +0200 <sclv> arguably there should be a v2 way to do what you want, but you haven't described the case clearly enough
2021-06-30 08:07:48 +0200 <sclv> if its to build the library itself as a debian package then stick to v1, yes
2021-06-30 08:08:12 +0200 <sclv> in the v2 model, the idea of distro-packaged binary builds of libraries itself is semi-obseleted
2021-06-30 08:10:03 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-30 08:10:27 +0200oniko
2021-06-30 08:11:22 +0200 <hjulle[m]> I don't know how the scripts worked, I just noticed that the builds failed because of `cabal: unrecognised command: copy`, so I was wondering if I should try to convert to the v2- versions while I'm at it instead of just adding a v1- prefix.
2021-06-30 08:11:22 +0200 <hjulle[m]> The debian package in question contains both binaries from the haskell package and haskell libraries with bindings to c-code.
2021-06-30 08:14:07 +0200 <hjulle[m]> Thanks! I think I'll just add the v1- prefix for now. Do I have to worry about it disappearing any time soon?
2021-06-30 08:14:41 +0200 <dminuoso> Yes.
2021-06-30 08:14:44 +0200kuribas(~user@ptr-25vy0i8agiojdg3pjev.18120a2.ip6.access.telenet.be) (Ping timeout: 268 seconds)
2021-06-30 08:15:06 +0200 <dminuoso> Well soon™
2021-06-30 08:16:08 +0200 <hjulle[m]> What's the v2- method for just copying the compiled binaries?
2021-06-30 08:16:21 +0200 <dminuoso> Depends, which cabal version do you have installed?
2021-06-30 08:17:13 +0200 <dminuoso> If you want a more backwards sure way, use `cabal-plan list-bin` (you can install cabal-plan with `cabal install cabal-plan`), but since 3.4.0.0 (?) list-bin has been added to cabal-install itself.
2021-06-30 08:17:20 +0200 <hjulle[m]> I don't know. I want it to be compatible with as many versions as possible, since it's a script that I will not run myself.
2021-06-30 08:17:20 +0200 <dminuoso> So with modern cabal you'd write something like:
2021-06-30 08:17:40 +0200 <dminuoso> cp $(cabal -v0 list-bin foo:exe:bar) ./the_binary
2021-06-30 08:17:46 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-30 08:18:00 +0200 <dminuoso> You can also jq directly into the build plan yourself if you like
2021-06-30 08:18:15 +0200 <dminuoso> For a script this is likely a bit more robust if you cant control the version of cabal and what haskell packages are installed
2021-06-30 08:19:27 +0200 <davean> well you can tell cabal to copy it somewhere with install
2021-06-30 08:19:39 +0200 <dminuoso> Ah heh, I guess there's also that. :)
2021-06-30 08:20:18 +0200 <hjulle[m]> This is the script in question: https://github.com/GrammaticalFramework/gf-core/blob/master/debian/rules
2021-06-30 08:20:20 +0200 <davean> That goes back a long way
2021-06-30 08:22:18 +0200lavaman(~lavaman@98.38.249.169)
2021-06-30 08:22:40 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-06-30 08:24:20 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2021-06-30 08:26:14 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-30 08:26:17 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-06-30 08:26:40 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-06-30 08:27:46 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 256 seconds)
2021-06-30 08:29:07 +0200img(~img@user/img)
2021-06-30 08:30:28 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-30 08:32:35 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-30 08:33:52 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-06-30 08:34:39 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 08:35:40 +0200zeenk(~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3)
2021-06-30 08:36:21 +0200kenran(~kenran@b2b-37-24-119-190.unitymedia.biz)
2021-06-30 08:38:45 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-06-30 08:39:02 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-30 08:40:21 +0200img(~img@user/img)
2021-06-30 08:41:00 +0200boxscape_(~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de)
2021-06-30 08:41:11 +0200img(~img@user/img) (Client Quit)
2021-06-30 08:41:56 +0200favonia(~favonia@user/favonia) (Ping timeout: 256 seconds)
2021-06-30 08:42:04 +0200boxscape_(~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) (Client Quit)
2021-06-30 08:42:35 +0200img(~img@user/img)
2021-06-30 08:42:46 +0200favonia(~favonia@user/favonia)
2021-06-30 08:48:55 +0200stevenxl(~stevenlei@174.128.182.51)
2021-06-30 08:49:29 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-06-30 08:50:32 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-30 08:50:56 +0200gehmehgeh(~user@user/gehmehgeh)
2021-06-30 08:51:07 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com)
2021-06-30 08:52:30 +0200cfricke(~cfricke@user/cfricke)
2021-06-30 08:53:06 +0200stevenxl(~stevenlei@174.128.182.51) (Ping timeout: 240 seconds)
2021-06-30 08:56:30 +0200chele(~chele@user/chele)
2021-06-30 08:58:25 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-06-30 08:59:17 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-30 09:01:07 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-30 09:04:39 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-06-30 09:05:10 +0200fendor(~fendor@77.119.195.142.wireless.dyn.drei.com)
2021-06-30 09:05:20 +0200shutdown_-h_now(~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 265 seconds)
2021-06-30 09:09:36 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-30 09:10:16 +0200acidjnk(~acidjnk@p200300d0c72b95720002fc1121ac54e4.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2021-06-30 09:11:30 +0200shutdown_-h_now(~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl)
2021-06-30 09:13:20 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-06-30 09:14:14 +0200oxide(~lambda@user/oxide) (Ping timeout: 256 seconds)
2021-06-30 09:14:42 +0200willbush(~user@47.183.200.14) (Quit: ERC (IRC client for Emacs 28.0.50))
2021-06-30 09:14:51 +0200oxide(~lambda@user/oxide)
2021-06-30 09:16:54 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-06-30 09:18:54 +0200michalz(~michalz@185.246.204.125)
2021-06-30 09:20:13 +0200nschoe(~quassel@178.251.84.79)
2021-06-30 09:20:25 +0200nschoe(~quassel@178.251.84.79) (Client Quit)
2021-06-30 09:26:12 +0200benin0369(~benin@183.82.205.231)
2021-06-30 09:32:21 +0200haykam2(~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-06-30 09:32:33 +0200haykam1(~haykam@static.100.2.21.65.clients.your-server.de)
2021-06-30 09:34:28 +0200TheRAt(~TheRAt@user/therat) (Ping timeout: 246 seconds)
2021-06-30 09:34:29 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 09:34:30 +0200dsf(~dsf@cpe-66-75-56-205.san.res.rr.com) (Ping timeout: 252 seconds)
2021-06-30 09:36:45 +0200TheRAt(~TheRAt@user/therat)
2021-06-30 09:39:48 +0200boxscape_(~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de)
2021-06-30 09:40:39 +0200dsf(~dsf@cpe-66-75-56-205.san.res.rr.com)
2021-06-30 09:41:32 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-30 09:42:45 +0200boxscape_(~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) (Client Quit)
2021-06-30 09:43:29 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-30 09:43:55 +0200boxscape_(~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de)
2021-06-30 09:45:03 +0200matsurago(~matsurago@p0602864-vcngn.tkyo.nt.ngn.ppp.ocn.ne.jp) (Quit: Leaving)
2021-06-30 09:48:01 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 258 seconds)
2021-06-30 10:01:05 +0200azeem(~azeem@dynamic-adsl-94-34-20-185.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-06-30 10:03:17 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Remote host closed the connection)
2021-06-30 10:06:22 +0200favonia(~favonia@user/favonia) (Ping timeout: 256 seconds)
2021-06-30 10:07:20 +0200hendursa1(~weechat@user/hendursaga)
2021-06-30 10:10:05 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 244 seconds)
2021-06-30 10:14:03 +0200azeem(~azeem@dynamic-adsl-94-34-20-185.clienti.tiscali.it)
2021-06-30 10:15:47 +0200hegstal(~hegstal@2a02:c7f:7604:8a00:19d1:3d77:8320:86c9)
2021-06-30 10:17:27 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-06-30 10:17:52 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-06-30 10:19:21 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-06-30 10:20:56 +0200chris_(~chris@81.96.113.213)
2021-06-30 10:23:14 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-06-30 10:26:52 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: Connection reset by peer)
2021-06-30 10:27:33 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-30 10:30:43 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-30 10:33:50 +0200 <zincy> What is a good approach to parsing Clojure code in Haskell?
2021-06-30 10:34:37 +0200 <zincy> The broad goal is to parse microservice source code written in clojure for the purpose of understanding which events a service produces and consumes in an event driven environment
2021-06-30 10:34:37 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-06-30 10:34:53 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-06-30 10:35:28 +0200 <merijn> zincy: Approach in what sense?
2021-06-30 10:35:44 +0200 <turlando> regular expressions /s
2021-06-30 10:36:16 +0200rune(sid21167@id-21167.charlton.irccloud.com)
2021-06-30 10:37:04 +0200stevenxl(~stevenlei@174.128.182.51)
2021-06-30 10:37:17 +0200 <zincy> merijn: Just thinking someone must have already written a Clojure parser in Haskell right? :)
2021-06-30 10:37:21 +0200 <zincy> turlando: haha
2021-06-30 10:38:30 +0200 <turlando> Not sure about the specific problem but parsing could be the easiest part (parsing lisps using any of the various parser combinator libraries is something you can do in half an hour)
2021-06-30 10:39:07 +0200 <turlando> Depending on what you have to do the hard part is converting the AST in some normal form, doing macroexpand, etc
2021-06-30 10:39:34 +0200acid(~acid@user/acid) (Ping timeout: 246 seconds)
2021-06-30 10:40:05 +0200 <zincy> Ah ok so should be simple to do myself
2021-06-30 10:40:36 +0200 <zincy> Yeah the specific code I want to analyse is literally just a bunch of maps so I can ascertain their key names
2021-06-30 10:40:51 +0200 <zincy> So I would hope I wont need to do any macro stuff
2021-06-30 10:40:54 +0200 <merijn> zincy: Writing a parser for something like clojure probably isn't too hard
2021-06-30 10:41:06 +0200 <zincy> Yeah
2021-06-30 10:41:11 +0200 <merijn> zincy: Especially if it's a well-specified subset, instead of the whole grammar
2021-06-30 10:41:13 +0200 <zincy> Could be fun too
2021-06-30 10:41:20 +0200acid(~acid@user/acid)
2021-06-30 10:41:21 +0200 <turlando> If that's the case I'd rather emit some edn and then parse the edn from Haskell
2021-06-30 10:41:38 +0200 <zincy> Whats an edn?
2021-06-30 10:41:48 +0200 <turlando> (there should be ready to use edn libraries in haskell)
2021-06-30 10:42:04 +0200stevenxl(~stevenlei@174.128.182.51) (Ping timeout: 272 seconds)
2021-06-30 10:42:06 +0200 <turlando> It's the data notation that clojure uses for serialization (not very scientific description)
2021-06-30 10:42:57 +0200 <zincy> Oh so the EDN is the format clojure uses for its AST?
2021-06-30 10:43:54 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-06-30 10:44:30 +0200 <turlando> Well the main purpose is to encode data
2021-06-30 10:44:41 +0200 <turlando> See https://github.com/edn-format/edn and https://github.com/clojure-cookbook/clojure-cookbook/blob/master/04_local-io/4-14_read-write-cloju…
2021-06-30 10:48:37 +0200 <zincy> Thanks!
2021-06-30 10:49:19 +0200acidjnk(~acidjnk@p200300d0c72b95720002fc1121ac54e4.dip0.t-ipconnect.de)
2021-06-30 10:50:03 +0200 <tdammers> EDN is kind of like the JSON of clojure. In its defense, its design is a lot cleaner and saner than JSON's, but the idea is the same, modulo s/javascript/clojure/
2021-06-30 10:50:41 +0200 <tdammers> and of course that also means that it's likely never going to see widespread adoption outside the clojure ecosystem, unless someone comes up with an inevitable killer app
2021-06-30 10:55:10 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2021-06-30 11:00:26 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 272 seconds)
2021-06-30 11:01:54 +0200__monty__(~toonn@user/toonn)
2021-06-30 11:03:31 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.2)
2021-06-30 11:03:42 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e)
2021-06-30 11:04:22 +0200cfricke(~cfricke@user/cfricke)
2021-06-30 11:05:08 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-30 11:05:48 +0200chomwitt(~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4)
2021-06-30 11:07:54 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Ping timeout: 240 seconds)
2021-06-30 11:08:00 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2021-06-30 11:08:22 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2021-06-30 11:11:42 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-30 11:14:48 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f)
2021-06-30 11:18:10 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 272 seconds)
2021-06-30 11:19:06 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Ping timeout: 240 seconds)
2021-06-30 11:20:42 +0200cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2021-06-30 11:20:42 +0200fabfianda(~fabfianda@37.183.255.57) (Ping timeout: 272 seconds)
2021-06-30 11:20:59 +0200fabfianda(~fabfianda@mob-5-90-246-133.net.vodafone.it)
2021-06-30 11:21:27 +0200cheater(~Username@user/cheater)
2021-06-30 11:25:42 +0200fabfianda(~fabfianda@mob-5-90-246-133.net.vodafone.it) (Ping timeout: 256 seconds)
2021-06-30 11:25:57 +0200fabfianda(~fabfianda@37.183.255.57)
2021-06-30 11:47:01 +0200jumper149(~jumper149@80.240.31.34)
2021-06-30 11:48:21 +0200 <jumper149> What does `deriving (Generic, ..., ToJSON, FromJSON)` actually mean for the instance. Does it depend on the enabled language extensions?
2021-06-30 11:48:49 +0200 <jumper149> It's probably different from writing `instance FromJSON MyData`, right?
2021-06-30 11:48:51 +0200kmein(~weechat@user/kmein) (Quit: ciao kakao)
2021-06-30 11:49:11 +0200 <Taneb> jumper149: the relevant extension here is DeriveAnyClass (for To/FromJSON)
2021-06-30 11:49:32 +0200 <Taneb> And it's _exactly_ the same as instance FromJSON MyData
2021-06-30 11:49:35 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-30 11:49:56 +0200 <Taneb> deriving Generic needs the DeriveGeneric extension and that's it's own thing.
2021-06-30 11:50:04 +0200cheater(~Username@user/cheater) (Ping timeout: 256 seconds)
2021-06-30 11:50:07 +0200 <jumper149> Taneb: What if it's a newtype and GeneralizedNewtypeDeriving is enabled?
2021-06-30 11:50:22 +0200cheater(~Username@user/cheater)
2021-06-30 11:50:41 +0200kmein(~weechat@user/kmein)
2021-06-30 11:50:59 +0200 <jumper149> That would mean, that the instances are different, right?
2021-06-30 11:51:01 +0200 <dminuoso> jumper149: That'd work too, then.
2021-06-30 11:51:38 +0200 <jumper149> Yes it would work, but the instance is different, because the Constructor gets stripped, doesnt it?
2021-06-30 11:52:00 +0200 <dminuoso> If both GeneralizedNewtypeDeriving and DeriveAnyClass are enabled.. I have no clue.
2021-06-30 11:52:36 +0200 <dminuoso> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/deriving_strategies.html#extension-Derivin…
2021-06-30 11:52:38 +0200 <dminuoso> It's documented
2021-06-30 11:52:59 +0200 <dminuoso> Funny, I would have expected GND to win, but apparently DAC does.
2021-06-30 11:53:27 +0200 <dminuoso> jumper149: Yeah. with GND you just hoist an existing instance from the inner thing to the outer newtype.
2021-06-30 11:53:57 +0200 <dminuoso> The other assumes the typeclass has sufficient default methods (which FromJSON/ToJSON have, if you also have Generic)
2021-06-30 11:55:22 +0200en30(~en30@p6356230-ipngn31101marunouchi.tokyo.ocn.ne.jp)
2021-06-30 11:55:27 +0200 <jumper149> dminuoso: I'm happy that DAC wins :) That means I don't have to refactor a shit ton of deriving statements x)
2021-06-30 11:56:59 +0200TheCommieDuck(~mark@2a00:23c6:d280:3700:572a:c2f0:ddc5:b769) (Quit: WeeChat 3.1)
2021-06-30 11:57:48 +0200dunj3(~dunj3@p200300f61714a6027bbd4f06e8da6b8b.dip0.t-ipconnect.de)
2021-06-30 11:58:21 +0200 <Profpatsch> jumper149: Best to use the explicit “deriving stock/anyclass/newtype/via” syntax I think
2021-06-30 11:58:40 +0200 <Profpatsch> Then there is no confusion (also fro the reader)
2021-06-30 11:59:03 +0200 <jumper149> Profpatsch: I agree!
2021-06-30 12:00:41 +0200 <tdammers> yeah, I would say that it's a good habit to always use deriving strategies when you enable more than one of the deriving extensions
2021-06-30 12:03:03 +0200 <jumper149> -XExplicitDerivingStrategies would be cool ;)
2021-06-30 12:03:27 +0200 <Profpatsch> we could probably have an hlint check
2021-06-30 12:03:37 +0200ubert(~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233)
2021-06-30 12:04:58 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e)
2021-06-30 12:05:45 +0200xsperry(~as@user/xsperry) (Remote host closed the connection)
2021-06-30 12:06:39 +0200henninb(~henninb@63.226.174.157)
2021-06-30 12:07:57 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-06-30 12:09:20 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Ping timeout: 256 seconds)
2021-06-30 12:09:36 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-06-30 12:10:47 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 12:12:10 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds)
2021-06-30 12:12:48 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-30 12:13:20 +0200 <boxscape> or just get rid of everything aside from deriving via ;) https://www.parsonsmatt.org/2020/11/10/simplifying_deriving.html
2021-06-30 12:13:36 +0200juhp(~juhp@128.106.188.66) (Quit: juhp)
2021-06-30 12:13:50 +0200juhp(~juhp@128.106.188.66)
2021-06-30 12:15:48 +0200 <yushyin> not the worst idea
2021-06-30 12:15:50 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-06-30 12:16:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 12:21:42 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-06-30 12:22:22 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 12:23:55 +0200lavaman(~lavaman@98.38.249.169)
2021-06-30 12:25:03 +0200stevenxl(~stevenlei@174.128.182.51)
2021-06-30 12:27:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-06-30 12:27:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 12:27:56 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection)
2021-06-30 12:28:28 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
2021-06-30 12:30:22 +0200stevenxl(~stevenlei@174.128.182.51) (Ping timeout: 272 seconds)
2021-06-30 12:33:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-06-30 12:33:07 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-30 12:33:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 12:37:50 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2021-06-30 12:38:58 +0200azeem(~azeem@dynamic-adsl-94-34-20-185.clienti.tiscali.it) (Ping timeout: 265 seconds)
2021-06-30 12:39:04 +0200fef(~thedawn@user/thedawn)
2021-06-30 12:39:12 +0200azeem(~azeem@176.201.12.132)
2021-06-30 12:39:34 +0200azeem(~azeem@176.201.12.132) (Read error: Connection reset by peer)
2021-06-30 12:39:55 +0200azeem(~azeem@dynamic-adsl-94-34-20-185.clienti.tiscali.it)
2021-06-30 12:40:24 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-06-30 12:41:54 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-30 12:44:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-30 12:45:19 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 12:45:34 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-06-30 12:48:24 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-30 12:48:49 +0200xsperry(~as@user/xsperry)
2021-06-30 12:51:02 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-06-30 12:52:20 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-06-30 12:52:20 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer)
2021-06-30 12:52:43 +0200jonathanx(~jonathan@h-178-174-176-109.a357.priv.bahnhof.se)
2021-06-30 12:55:04 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2021-06-30 12:56:44 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-30 13:00:18 +0200dunj4(~dunj3@p200300f61714a6405bb7680713e8c72a.dip0.t-ipconnect.de)
2021-06-30 13:01:34 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-06-30 13:02:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-30 13:02:28 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-30 13:02:43 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 13:03:10 +0200dunj3(~dunj3@p200300f61714a6027bbd4f06e8da6b8b.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2021-06-30 13:08:15 +0200fef(~thedawn@user/thedawn) (Quit: Leaving)
2021-06-30 13:10:12 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.2)
2021-06-30 13:13:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-30 13:13:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 13:13:56 +0200juhp(~juhp@128.106.188.66) (Quit: juhp)
2021-06-30 13:14:09 +0200juhp(~juhp@128.106.188.66)
2021-06-30 13:24:12 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-30 13:24:24 +0200jumper149(~jumper149@80.240.31.34) (Ping timeout: 265 seconds)
2021-06-30 13:25:07 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 13:25:30 +0200jonathanx(~jonathan@h-178-174-176-109.a357.priv.bahnhof.se) (Ping timeout: 252 seconds)
2021-06-30 13:40:09 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4) (Remote host closed the connection)
2021-06-30 13:41:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-30 13:41:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 13:45:14 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-30 13:47:08 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 252 seconds)
2021-06-30 13:50:10 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds)
2021-06-30 13:58:08 +0200acidjnk(~acidjnk@p200300d0c72b95720002fc1121ac54e4.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2021-06-30 14:01:10 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: No route to host)
2021-06-30 14:02:06 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-30 14:06:25 +0200acidjnk(~acidjnk@p200300d0c72b95402d92a822f50d83dc.dip0.t-ipconnect.de)
2021-06-30 14:06:34 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e)
2021-06-30 14:10:42 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Ping timeout: 240 seconds)
2021-06-30 14:10:52 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-30 14:13:25 +0200stevenxl(~stevenlei@174.128.182.51)
2021-06-30 14:18:03 +0200stevenxl(~stevenlei@174.128.182.51) (Ping timeout: 265 seconds)
2021-06-30 14:18:20 +0200kenran(~kenran@b2b-37-24-119-190.unitymedia.biz) (Quit: WeeChat info:version)
2021-06-30 14:20:31 +0200stevenxl(~stevenlei@174.128.182.118)
2021-06-30 14:20:58 +0200cfricke(~cfricke@user/cfricke)
2021-06-30 14:23:01 +0200qbt(~edun@user/edun)
2021-06-30 14:25:12 +0200acidjnk_new(~acidjnk@p200300d0c72b954061d05013652ae098.dip0.t-ipconnect.de)
2021-06-30 14:25:25 +0200lavaman(~lavaman@98.38.249.169)
2021-06-30 14:25:51 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-06-30 14:28:08 +0200egoist(~egoist@186.235.82.105)
2021-06-30 14:29:18 +0200acidjnk(~acidjnk@p200300d0c72b95402d92a822f50d83dc.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2021-06-30 14:30:14 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2021-06-30 14:31:08 +0200en30(~en30@p6356230-ipngn31101marunouchi.tokyo.ocn.ne.jp) (Quit: Connection closed)
2021-06-30 14:36:03 +0200jonathanx(~jonathan@c-5eea32b3-74736162.cust.telenor.se)
2021-06-30 14:37:38 +0200Fendor_(~Fendor@e236-005.eduroam.tuwien.ac.at)
2021-06-30 14:40:10 +0200boxscape_(~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) (Quit: Connection closed)
2021-06-30 14:41:09 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-06-30 14:42:21 +0200jonathanx_(~jonathan@94.234.50.179)
2021-06-30 14:42:29 +0200jonathanx(~jonathan@c-5eea32b3-74736162.cust.telenor.se) (Read error: Connection reset by peer)
2021-06-30 14:44:30 +0200jonathanx_(~jonathan@94.234.50.179) (Read error: Connection reset by peer)
2021-06-30 14:45:38 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f)
2021-06-30 14:46:05 +0200berberman(~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-30 14:46:52 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2021-06-30 14:47:00 +0200berberman(~berberman@user/berberman)
2021-06-30 14:48:32 +0200jonathanx(~jonathan@c-5eea32b3-74736162.cust.telenor.se)
2021-06-30 14:50:50 +0200chris_(~chris@81.96.113.213) (Remote host closed the connection)
2021-06-30 14:50:56 +0200amcleodca(~amcleodca@user/amcleodca)
2021-06-30 14:51:26 +0200chris_(~chris@81.96.113.213)
2021-06-30 14:55:52 +0200jao(jao@gateway/vpn/protonvpn/jao)
2021-06-30 14:56:08 +0200chris_(~chris@81.96.113.213) (Ping timeout: 268 seconds)
2021-06-30 14:56:34 +0200ubert(~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection)
2021-06-30 14:56:46 +0200ubert(~Thunderbi@2a02:8109:9880:303c:e6b3:18ff:fe83:8f33)
2021-06-30 14:56:53 +0200jneira(~jneira@212.8.115.226) (Quit: Client closed)
2021-06-30 14:57:56 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 272 seconds)
2021-06-30 15:00:33 +0200henninb(~henninb@63.226.174.157) (Quit: leaving)
2021-06-30 15:00:39 +0200ubert1(~Thunderbi@ip5b409628.dynamic.kabel-deutschland.de)
2021-06-30 15:01:06 +0200ubert(~Thunderbi@2a02:8109:9880:303c:e6b3:18ff:fe83:8f33) (Ping timeout: 240 seconds)
2021-06-30 15:01:06 +0200ubert1ubert
2021-06-30 15:01:09 +0200alx741(~alx741@186.178.109.202)
2021-06-30 15:01:30 +0200favonia(~favonia@user/favonia)
2021-06-30 15:02:15 +0200chris_(~chris@81.96.113.213)
2021-06-30 15:02:18 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-30 15:04:25 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-30 15:04:39 +0200 <amcleodca> Howdy - I am on day 2 of learning, and seem to be having trouble using the dot notation to access records in data structures. I think this is a problem with my development environment, but I'm not sure what my next step should be. I pasted a simple case that duplicates the problem and shows the error message here: https://pastebin.com/K50bwZM3. Any
2021-06-30 15:04:40 +0200 <amcleodca> ideas what I can do next?
2021-06-30 15:06:52 +0200chris_(~chris@81.96.113.213) (Ping timeout: 265 seconds)
2021-06-30 15:06:59 +0200 <dminuoso> amcleodca: We have no such dot notation for records.
2021-06-30 15:07:05 +0200 <dminuoso> Not yet, anyway
2021-06-30 15:08:55 +0200trcc(~trcc@users-1190.st.net.au.dk)
2021-06-30 15:10:53 +0200chris_(~chris@81.96.113.213)
2021-06-30 15:11:54 +0200 <tomsmeding> the proposal says that it should be implemented in GHC 9.2: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0282-record-dot-syntax.rst
2021-06-30 15:11:55 +0200 <merijn> amcleodca: That doesn't exist in Haskell...
2021-06-30 15:12:27 +0200 <amcleodca> Howdy - I am on day 2 of learning, and seem to be having trouble using the dot notation to access records in data structures. I think this is a problem with my development environment, but I'm not sure what my next step should be. I pasted a simple case that duplicates the problem and shows the error message here: https://pastebin.com/K50bwZM3. Any
2021-06-30 15:12:28 +0200 <amcleodca> ideas what I can do next?
2021-06-30 15:12:37 +0200 <tomsmeding> but yeah, amcleodca even if you're using the bleeding-edge ghc compiler, it's still not (yet) idiomatic haskell
2021-06-30 15:12:56 +0200jonathanx(~jonathan@c-5eea32b3-74736162.cust.telenor.se) (Ping timeout: 256 seconds)
2021-06-30 15:13:01 +0200 <amcleodca> (please disregard the duplicate post :)
2021-06-30 15:13:39 +0200chris_(~chris@81.96.113.213) (Remote host closed the connection)
2021-06-30 15:14:16 +0200chris_(~chris@81.96.113.213)
2021-06-30 15:14:23 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Remote host closed the connection)
2021-06-30 15:14:35 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f)
2021-06-30 15:14:51 +0200 <amcleodca> this is interesting because The Simple Haskell Handbook seems to use the dot notation, like in this worked example where build.CompletedSteps seems to refer to a record defined in "data Build" on line 33
2021-06-30 15:15:06 +0200 <amcleodca> (link: https://github.com/jturner/quad-ci/blob/449fafb7376b5a711874798cc03166e762db505e/src/Core.hs#L99)
2021-06-30 15:15:53 +0200 <amcleodca> i take it they're doing something non-standard here, then?
2021-06-30 15:15:54 +0200azeem(~azeem@dynamic-adsl-94-34-20-185.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-06-30 15:15:55 +0200motherfsck(~motherfsc@user/motherfsck)
2021-06-30 15:16:09 +0200poljar(~poljar@93-139-36-109.adsl.net.t-com.hr) (Quit: WeeChat 3.1)
2021-06-30 15:16:18 +0200favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-06-30 15:17:04 +0200Ariakenom(~Ariakenom@c83-255-154-140.bredband.tele2.se)
2021-06-30 15:17:27 +0200azeem(~azeem@dynamic-adsl-94-34-20-185.clienti.tiscali.it)
2021-06-30 15:17:42 +0200favonia(~favonia@user/favonia)
2021-06-30 15:18:01 +0200 <dminuoso> amcleodca: that's for qualified names
2021-06-30 15:18:18 +0200 <dminuoso> https://github.com/jturner/quad-ci/blob/449fafb7376b5a711874798cc03166e762db505e/src/Core.hs#L8
2021-06-30 15:18:39 +0200 <dminuoso> See, the module was imported under the qualified "List", so you have to refer all identifiers from that module with List.<something>
2021-06-30 15:18:50 +0200chris_(~chris@81.96.113.213) (Ping timeout: 258 seconds)
2021-06-30 15:19:07 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-06-30 15:19:09 +0200 <tomsmeding> that 'build.completedSteps' is very odd spacing
2021-06-30 15:19:28 +0200 <tomsmeding> most people would write that as: List.all ((==) StepSucceeded) build . completedSteps
2021-06-30 15:19:36 +0200 <tomsmeding> where (.) is function composition
2021-06-30 15:19:36 +0200chisui(~chisui@200116b868342600e075ba151a671095.dip.versatel-1u1.de)
2021-06-30 15:19:50 +0200 <tomsmeding> so: \x -> List.all ((==) StepSucceeded) build (completedSteps x)
2021-06-30 15:20:06 +0200 <tomsmeding> means the same thing
2021-06-30 15:20:13 +0200 <tomsmeding> (and List.all is what dminuoso said)
2021-06-30 15:20:22 +0200dminuosowaits for merijn to make some remark about how spacing around operators should have been mandated
2021-06-30 15:20:32 +0200fvr(uid503686@id-503686.highgate.irccloud.com)
2021-06-30 15:21:05 +0200 <turlando> lol
2021-06-30 15:21:07 +0200tomsmedingwonders why the author of that code thinks that is readable, without spacing around the .
2021-06-30 15:21:30 +0200 <amcleodca> sweet. sounds like i misunderstood what was happening here. tyvm!
2021-06-30 15:22:08 +0200mastarija(~mastarija@31.217.22.187)
2021-06-30 15:22:55 +0200jumper149(~jumper149@80.240.31.34)
2021-06-30 15:24:32 +0200dudek(~dudek@185.150.236.112)
2021-06-30 15:25:10 +0200 <Cale> amcleodca: In their cabal file they have ghc-options: -F -pgmF=record-dot-preprocessor -threaded -rtsopts -with-rtsopts=-N
2021-06-30 15:25:27 +0200 <Cale> Those first two arguments are probably what's doing the weird dot notation
2021-06-30 15:25:47 +0200 <tomsmeding> thanks for correcting me
2021-06-30 15:26:40 +0200 <tomsmeding> so amcleodca you were right, but that project is doing something fancy :p
2021-06-30 15:26:47 +0200 <tomsmeding> don't do that
2021-06-30 15:26:49 +0200poljar(~poljar@93-139-36-109.adsl.net.t-com.hr)
2021-06-30 15:26:49 +0200 <Cale> I don't know where that record-dot-preprocessor is coming from though
2021-06-30 15:27:05 +0200 <tomsmeding> Cale: https://hackage.haskell.org/package/record-dot-preprocessor
2021-06-30 15:27:12 +0200 <Cale> ah, I see
2021-06-30 15:27:40 +0200shapr(~user@pool-108-28-144-11.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-06-30 15:29:11 +0200 <dminuoso> Learning Haskell with GHC plugins right from the beginning.
2021-06-30 15:29:35 +0200 <Cale> Not GHC plugins, but source-to-source preprocessors even :)
2021-06-30 15:30:23 +0200 <Cale> Everything that happened with the RecordDotSyntax proposal makes me sad
2021-06-30 15:30:49 +0200 <Cale> If a few people wanted to use this preprocessor that's one thing
2021-06-30 15:31:56 +0200 <dminuoso> What will the "second week of Haskell" introduce? An SMT solver plugged in via TC plugin for better type level naturals.
2021-06-30 15:32:06 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-30 15:32:19 +0200maerwald(~maerwald@user/maerwald) (Ping timeout: 244 seconds)
2021-06-30 15:32:30 +0200 <yushyin> I like NoFieldSelectors and maybe I will also like RecordDotSyntax, i'll give it a chance
2021-06-30 15:33:46 +0200AgentM(~agentm@pool-162-83-130-212.nycmny.fios.verizon.net)
2021-06-30 15:35:38 +0200shapr(~user@pool-108-28-144-11.washdc.fios.verizon.net)
2021-06-30 15:35:43 +0200 <Cale> There were like 4 different dimensions of how to disambiguate expressions involving RecordDotSyntax, and 8 different options proposed (which didn't even fully cover the space of what would be reasonable), and then the GHC committee used Condorcet voting to pick one.
2021-06-30 15:40:57 +0200 <Cale> (Which I think is a really poor way to decide on things like that, where it's clear that people's first impression about what expressions will mean are so different)
2021-06-30 15:42:06 +0200amcleodca(~amcleodca@user/amcleodca) (Killed (cadmium.libera.chat (Nickname regained by services)))
2021-06-30 15:42:18 +0200amcleodca(~andy@user/amcleodca)
2021-06-30 15:43:41 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.2)
2021-06-30 15:45:02 +0200 <Cale> (a copy of the document where the choices were being discussed... https://docs.google.com/document/d/1Hmviy8xJVw3RBnpXyQxb9izchXW-ZtaXMzzAX1iNuqU/edit?usp=sharing )
2021-06-30 15:46:08 +0200 <tomsmeding> was there a sensible subset of expressions where everyone agreed on the semantics, so that you can just reject all programs outside that intersection?
2021-06-30 15:48:21 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 258 seconds)
2021-06-30 15:51:17 +0200 <yushyin> i think this was a very heated and difficult to follow discussion on github. I found the online document in which they tried to neatly write down the most common variants quite helpful. the discussion was already pretty deadlocked anyway. in the end, they didn't decide on the variant that I personally would have found better, but I can live with the now somewhat more conservative variant for now.
2021-06-30 15:52:25 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-06-30 15:52:40 +0200 <merijn> yushyin: NoFieldSelectors is amazing, but I don't think anyone really objects to that one :p
2021-06-30 15:53:12 +0200 <yushyin> you could very much see wadler's law in action there :D
2021-06-30 15:53:23 +0200 <tomsmeding> wait people disagreed on what 'f x.r' should mean?
2021-06-30 15:53:31 +0200 <yushyin> tomsmeding: shure!
2021-06-30 15:53:33 +0200 <tomsmeding> okay at that point there is no way you're going to satisfy everyone
2021-06-30 15:53:35 +0200 <merijn> tomsmeding: Yes
2021-06-30 15:53:43 +0200cloudy(~user@2600:8807:c207:f00:d022:dd81:f0f8:bb22)
2021-06-30 15:54:00 +0200 <merijn> tbh, the real mistake in Haskell was not requiring whitespace around operators
2021-06-30 15:54:03 +0200 <tomsmeding> well, I guess the "sensible subset" that I mentioned would then the programs that do not use record dot syntax :p
2021-06-30 15:54:05 +0200 <tomsmeding> i.e. C1
2021-06-30 15:54:12 +0200 <merijn> If had required whitespace around operators none of this would be a problem
2021-06-30 15:54:21 +0200 <tomsmeding> dminuoso: you can stop waiting
2021-06-30 15:54:57 +0200 <merijn> I don't really see any value in operators without whitespace anyway
2021-06-30 15:55:31 +0200 <merijn> This would've eliminated the need for unary minus too
2021-06-30 15:55:39 +0200 <tomsmeding> it's sometimes nice to compress e.g. [0 .. i-1]
2021-06-30 15:55:43 +0200 <dminuoso> tomsmeding: !
2021-06-30 15:55:43 +0200 <tomsmeding> lol
2021-06-30 15:55:45 +0200 <dminuoso> :-)
2021-06-30 15:55:56 +0200 <merijn> tomsmeding: you really think two spaces would ruin that?
2021-06-30 15:56:25 +0200 <merijn> tomsmeding: Or rather, would you put up with 2 spaces there if it completely eliminated the problems of: 1) unary minus and 2) record indexing?
2021-06-30 15:57:08 +0200 <Rembane> What about always demanding whitespace around the function composition operator, but keeping the rest as it is?
2021-06-30 15:57:11 +0200trcc_(~trcc@eduroam09.au.dk)
2021-06-30 15:57:31 +0200 <merijn> Rembane: Now you're special casing a specific function name in the grammar
2021-06-30 15:57:33 +0200 <merijn> Hard pass
2021-06-30 15:57:44 +0200 <merijn> I want *less* special casing and weird ass rules
2021-06-30 15:57:45 +0200 <merijn> Not more
2021-06-30 15:57:53 +0200 <merijn> Rembane: What happens if a user defines a local (.) ?
2021-06-30 15:57:59 +0200 <Rembane> merijn: We already have one, the dollar sign, lets give it exactly one friend. :)
2021-06-30 15:58:19 +0200 <Rembane> merijn: Then it must behave in the exact same way as the global one.
2021-06-30 15:58:37 +0200 <merijn> This sounds incredibly unprincipled and messy
2021-06-30 15:58:44 +0200 <tomsmeding> merijn: yes I would put up with some spaces :p
2021-06-30 15:58:50 +0200 <merijn> Rembane: Also, then you still have the unary minus problem
2021-06-30 15:59:31 +0200 <Rembane> merijn: Indeed. The unary minus problem is definitely a wart.
2021-06-30 16:00:53 +0200trcc(~trcc@users-1190.st.net.au.dk) (Ping timeout: 268 seconds)
2021-06-30 16:01:18 +0200 <merijn> Mandatory whitespace around operator solves: 1) ambiguity of qualified import vs constructor composition with ., 2) solves the problem of finding a non-conflicting record index syntax, 3) eliminates unary minus. I, the prophet Merijn, have foretold the 2nd^H^H^H19th coming of Haskell Prime and it will redeem us all! Heed my words, oh ye unworthy!
2021-06-30 16:01:58 +0200trcc_(~trcc@eduroam09.au.dk) (Ping timeout: 265 seconds)
2021-06-30 16:02:42 +0200 <merijn> While we're at it and need to accomodate our new "negative literals", let's splice in a new SignedNum class and move abs, signum and - into it >.>
2021-06-30 16:03:23 +0200neo(~neo3@cpe-292712.ip.primehome.com)
2021-06-30 16:06:08 +0200delYsid(~user@84-115-55-45.cable.dynamic.surfer.at)
2021-06-30 16:06:10 +0200 <yushyin> i vote merijn for haskell prime chairman! \o/ let the bikeshedding begin \o/
2021-06-30 16:07:44 +0200mastarija(~mastarija@31.217.22.187) (Quit: Leaving)
2021-06-30 16:08:00 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e)
2021-06-30 16:08:24 +0200 <turlando> Do we really need negative numbers after all?
2021-06-30 16:08:42 +0200 <merijn> yushyin: https://files.inconsistent.nl/merijn.jpg
2021-06-30 16:09:11 +0200 <yushyin> ;D
2021-06-30 16:10:58 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-06-30 16:12:02 +0200 <yushyin> merijn: btw. I get a bad cert domain ssl error with your link.
2021-06-30 16:12:18 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Ping timeout: 240 seconds)
2021-06-30 16:12:24 +0200fendor__(~fendor@77.119.196.177.wireless.dyn.drei.com)
2021-06-30 16:13:28 +0200chris_(~chris@81.96.113.213)
2021-06-30 16:13:35 +0200sander(~sander@user/sander) (Quit: So long! :))
2021-06-30 16:13:49 +0200maerwald(~maerwald@mail.hasufell.de)
2021-06-30 16:13:51 +0200Sgeo(~Sgeo@user/sgeo)
2021-06-30 16:14:35 +0200sander(~sander@user/sander)
2021-06-30 16:14:42 +0200 <merijn> oh, heh
2021-06-30 16:14:47 +0200 <merijn> it shouldn't be https
2021-06-30 16:14:54 +0200fendor(~fendor@77.119.195.142.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2021-06-30 16:14:56 +0200 <merijn> I blame my browser
2021-06-30 16:16:16 +0200 <merijn> Because that server indeed doesn't have any certificate for my domain, on account of it not being my server :p
2021-06-30 16:16:42 +0200MQ-17J(~MQ-17J@8.21.10.15)
2021-06-30 16:17:23 +0200Pickchea(~private@user/pickchea)
2021-06-30 16:18:52 +0200neo(~neo3@cpe-292712.ip.primehome.com) (Quit: Leaving)
2021-06-30 16:19:11 +0200neo(~neo3@cpe-292712.ip.primehome.com)
2021-06-30 16:20:13 +0200robbert-vdh(~robbert@robbertvanderhelm.nl)
2021-06-30 16:23:43 +0200 <guest61> .
2021-06-30 16:24:04 +0200jao(jao@gateway/vpn/protonvpn/jao) (Ping timeout: 272 seconds)
2021-06-30 16:24:04 +0200Fendor_fendor
2021-06-30 16:27:25 +0200pagnol(~user@014198154145.ctinets.com)
2021-06-30 16:33:12 +0200 <robbert-vdh> Has anyone ever tried using RTS Execution Stacks? (after compiling GHC with --enable-dwarf-unwind) Is that supposed to work?
2021-06-30 16:34:20 +0200 <merijn> robbert-vdh: *someone*? probably, whether that person is here, who knows :p
2021-06-30 16:34:44 +0200 <robbert-vdh> merijn: At this point I really wouldn't be surprised if literally noone has tried using this feature lol
2021-06-30 16:34:45 +0200 <merijn> I'd be curious to see how well it works if you succeed, though
2021-06-30 16:36:01 +0200 <robbert-vdh> I tried compiling both GHC 8.10.5 and GHC 9.2.0.whatevertheprereleaseis with that option and producing a stack trace gives me "execution-stacks: Failed to get stack frames of current process: no matching address range: Invalid argument", so I was hoping there's some obvious flag I'm missing or something :)
2021-06-30 16:36:13 +0200 <robbert-vdh> (and the stack trace ends in rts/Libdw.c which uh isn't very helpful)
2021-06-30 16:36:37 +0200 <robbert-vdh> Trying to use this to get some additional source mapping information in Accelerate
2021-06-30 16:38:35 +0200 <merijn> robbert-vdh: Probably wanna ask in #ghc
2021-06-30 16:38:53 +0200 <merijn> robbert-vdh: Since this dealing with rather deep internsl of ghc
2021-06-30 16:39:18 +0200jumper149(~jumper149@80.240.31.34) (Quit: WeeChat 3.1)
2021-06-30 16:39:29 +0200 <robbert-vdh> merijn: Yeah I guess I'll have to do that, was hoping someone else miraculously also tried using this feature and knew the magic incantation to make it work :)
2021-06-30 16:40:12 +0200favonia(~favonia@user/favonia) (Ping timeout: 256 seconds)
2021-06-30 16:40:39 +0200favonia(~favonia@user/favonia)
2021-06-30 16:40:57 +0200amcleodca_(~andy@bras-base-toroon0335w-grc-34-142-114-172-148.dsl.bell.ca)
2021-06-30 16:41:15 +0200neo(~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 258 seconds)
2021-06-30 16:42:02 +0200amcleodca(~andy@user/amcleodca) (Ping timeout: 252 seconds)
2021-06-30 16:42:46 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-06-30 16:43:22 +0200amcleodca_amcleodca
2021-06-30 16:43:48 +0200amcleodca(~andy@bras-base-toroon0335w-grc-34-142-114-172-148.dsl.bell.ca) (Changing host)
2021-06-30 16:43:48 +0200amcleodca(~andy@user/amcleodca)
2021-06-30 16:49:18 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2021-06-30 16:49:41 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-06-30 16:52:16 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-30 16:52:59 +0200jippiedoe(~david@2a02-a44c-e14e-1-ae15-1a10-43d7-2299.fixed6.kpn.net)
2021-06-30 16:53:44 +0200cfricke(~cfricke@user/cfricke)
2021-06-30 16:54:56 +0200favonia(~favonia@user/favonia) (Ping timeout: 256 seconds)
2021-06-30 16:57:09 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-30 16:57:14 +0200lavaman(~lavaman@98.38.249.169)
2021-06-30 16:59:30 +0200qbt(~edun@user/edun) (Ping timeout: 240 seconds)
2021-06-30 17:00:40 +0200Schrostfutz(~Schrostfu@schettlerdck.tkn.tu-berlin.de)
2021-06-30 17:01:59 +0200fendor(~Fendor@e236-005.eduroam.tuwien.ac.at) (Quit: Connection closed)
2021-06-30 17:03:25 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…)
2021-06-30 17:03:30 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 240 seconds)
2021-06-30 17:05:05 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-30 17:05:20 +0200lavaman(~lavaman@98.38.249.169)
2021-06-30 17:05:27 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-30 17:05:27 +0200favonia(~favonia@user/favonia)
2021-06-30 17:05:31 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-30 17:07:57 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-06-30 17:08:43 +0200flukiluke(~flukiluke@plum.alephc.xyz) (Remote host closed the connection)
2021-06-30 17:09:01 +0200flukiluke(~flukiluke@plum.alephc.xyz)
2021-06-30 17:10:51 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-06-30 17:15:04 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4)
2021-06-30 17:15:10 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4) (Remote host closed the connection)
2021-06-30 17:17:20 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e)
2021-06-30 17:17:22 +0200scratchyone(~scratchyo@c-73-142-199-151.hsd1.nh.comcast.net)
2021-06-30 17:17:30 +0200scratchyonerachel3342e
2021-06-30 17:17:35 +0200rachel3342erachel231
2021-06-30 17:18:05 +0200myShoggoth(~myShoggot@75.164.51.64)
2021-06-30 17:19:30 +0200favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-06-30 17:19:47 +0200 <rachel231> Does anyone know of any good coding projects for learning haskell?
2021-06-30 17:19:55 +0200favonia(~favonia@user/favonia)
2021-06-30 17:20:06 +0200 <rachel231> Like stuff that'll actually let me take advantage of the languages unique features
2021-06-30 17:20:26 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.2)
2021-06-30 17:21:54 +0200krjst(~krjst@2604:a880:800:c1::16b:8001) (Quit: bye)
2021-06-30 17:22:31 +0200krjst(~krjst@2604:a880:800:c1::16b:8001)
2021-06-30 17:23:54 +0200hegstal(~hegstal@2a02:c7f:7604:8a00:19d1:3d77:8320:86c9) (Ping timeout: 240 seconds)
2021-06-30 17:27:29 +0200rachel231(~scratchyo@c-73-142-199-151.hsd1.nh.comcast.net) (Quit: Connection closed)
2021-06-30 17:27:48 +0200favonia(~favonia@user/favonia) (Ping timeout: 256 seconds)
2021-06-30 17:28:06 +0200favonia(~favonia@user/favonia)
2021-06-30 17:30:53 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-06-30 17:36:11 +0200lavaman(~lavaman@98.38.249.169)
2021-06-30 17:36:37 +0200 <Ariakenom> uh some parsing with parser combinators maybe
2021-06-30 17:39:06 +0200favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-06-30 17:40:40 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 258 seconds)
2021-06-30 17:41:38 +0200favonia(~favonia@user/favonia)
2021-06-30 17:41:42 +0200 <adamCS> rachel123: I think that depends a lot on which features interest you and what kind of coding projects interest you.
2021-06-30 17:41:51 +0200 <adamCS> rachel231: ^
2021-06-30 17:42:12 +0200Pickchea(~private@user/pickchea) (Ping timeout: 258 seconds)
2021-06-30 17:42:33 +0200scratchyone(~scratchyo@c-73-142-199-151.hsd1.nh.comcast.net)
2021-06-30 17:42:51 +0200scratchyonerachel231
2021-06-30 17:49:24 +0200jumper149(~jumper149@80.240.31.34)
2021-06-30 17:50:48 +0200 <dsal> qrpnxz: It turns out, fold1 actually does exist.
2021-06-30 17:50:51 +0200 <dsal> :t sconcat
2021-06-30 17:50:53 +0200 <lambdabot> error:
2021-06-30 17:50:53 +0200 <lambdabot> • Variable not in scope: sconcat
2021-06-30 17:50:53 +0200 <lambdabot> • Perhaps you meant one of these:
2021-06-30 17:51:48 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-06-30 17:52:21 +0200 <boxscape> @more
2021-06-30 17:54:51 +0200ubert(~Thunderbi@ip5b409628.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-06-30 17:55:03 +0200ubert(~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233)
2021-06-30 17:55:04 +0200 <dsal> hoogle outputs it, but that's just noise. I was looking through my generated docs and saw that. One less dep.
2021-06-30 17:56:08 +0200Schrostfutz(~Schrostfu@schettlerdck.tkn.tu-berlin.de) (Ping timeout: 256 seconds)
2021-06-30 17:56:30 +0200lavaman(~lavaman@98.38.249.169)
2021-06-30 17:58:53 +0200nckxThunderbi
2021-06-30 17:58:53 +0200chele(~chele@user/chele) (Remote host closed the connection)
2021-06-30 17:59:02 +0200jlamothe(~jlamothe@198.251.57.108)
2021-06-30 18:02:08 +0200AgentM(~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Ping timeout: 258 seconds)
2021-06-30 18:02:56 +0200acidjnk_new(~acidjnk@p200300d0c72b954061d05013652ae098.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2021-06-30 18:04:16 +0200juhp(~juhp@128.106.188.66) (Quit: juhp)
2021-06-30 18:04:29 +0200juhp(~juhp@128.106.188.66)
2021-06-30 18:04:52 +0200michalz(~michalz@185.246.204.125) (Remote host closed the connection)
2021-06-30 18:05:15 +0200ubert(~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection)
2021-06-30 18:12:48 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Remote host closed the connection)
2021-06-30 18:13:02 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-06-30 18:15:46 +0200Thunderbinckx
2021-06-30 18:16:14 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e)
2021-06-30 18:16:15 +0200amesgen[m](~amesgenam@2001:470:69fc:105::82b) (Quit: node-irc says goodbye)
2021-06-30 18:18:46 +0200amesgen[m](~amesgenam@2001:470:69fc:105::82b)
2021-06-30 18:21:05 +0200wei2912(~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-06-30 18:21:17 +0200econo(uid147250@user/econo)
2021-06-30 18:24:42 +0200amesgen[m](~amesgenam@2001:470:69fc:105::82b) (Quit: node-irc says goodbye)
2021-06-30 18:27:19 +0200amesgen[m](~amesgenm]@2001:470:69fc:105::82b)
2021-06-30 18:27:56 +0200pavonia(~user@user/siracusa)
2021-06-30 18:28:11 +0200mpt(~tom@2a02:908:1862:49e0::4)
2021-06-30 18:28:22 +0200amesgen[m](~amesgenm]@2001:470:69fc:105::82b) (Client Quit)
2021-06-30 18:30:31 +0200amesgen[m](~amesgenm]@2001:470:69fc:105::82b)
2021-06-30 18:33:56 +0200son0p(~ff@181.136.122.143)
2021-06-30 18:34:36 +0200nvmd(~nvmd@user/nvmd) (Quit: Later, nerds.)
2021-06-30 18:34:49 +0200Ariakenom(~Ariakenom@c83-255-154-140.bredband.tele2.se) (Quit: Leaving)
2021-06-30 18:37:28 +0200 <Boarders> with ghcup if I do `ghcup set ghc-8.10.4` then I get an error saying I haven't got it installed but I have and it is on the path
2021-06-30 18:37:33 +0200rachel231(~scratchyo@c-73-142-199-151.hsd1.nh.comcast.net) (Quit: Connection closed)
2021-06-30 18:37:34 +0200 <Boarders> has anyone come across this issue?
2021-06-30 18:38:29 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-30 18:39:36 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-30 18:44:59 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-06-30 18:48:18 +0200mpt(~tom@2a02:908:1862:49e0::4) (Ping timeout: 240 seconds)
2021-06-30 18:48:18 +0200jippiedoe(~david@2a02-a44c-e14e-1-ae15-1a10-43d7-2299.fixed6.kpn.net) (Ping timeout: 240 seconds)
2021-06-30 18:48:41 +0200stevenxl_(~stevenlei@c-73-45-168-220.hsd1.il.comcast.net)
2021-06-30 18:50:42 +0200favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-06-30 18:51:00 +0200favonia(~favonia@user/favonia)
2021-06-30 18:51:28 +0200stevenxl(~stevenlei@174.128.182.118) (Ping timeout: 252 seconds)
2021-06-30 18:52:27 +0200jao(jao@gateway/vpn/protonvpn/jao)
2021-06-30 18:52:35 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-06-30 18:55:54 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 240 seconds)
2021-06-30 18:59:47 +0200hegstal(~hegstal@2a02:c7f:7604:8a00:1749:70f2:c3b4:7591)
2021-06-30 19:00:01 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-30 19:01:09 +0200acidjnk_new(~acidjnk@p200300d0c72b954061d05013652ae098.dip0.t-ipconnect.de)
2021-06-30 19:06:08 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Remote host closed the connection)
2021-06-30 19:06:51 +0200fendor__fendor
2021-06-30 19:11:32 +0200 <janus> Boarders: is it installed with ghcup?
2021-06-30 19:11:37 +0200buddha(~buddha@27.147.234.193)
2021-06-30 19:11:55 +0200 <buddha> hi
2021-06-30 19:12:05 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-30 19:12:05 +0200 <janus> hi buddha
2021-06-30 19:12:30 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com)
2021-06-30 19:12:41 +0200 <buddha> what is the diff between `x = 10` and `let x = 10`?
2021-06-30 19:12:42 +0200 <janus> namo buddhaya
2021-06-30 19:13:27 +0200 <janus> buddha: you can think of your module as one giant let
2021-06-30 19:13:46 +0200 <Rembane> buddha: in ghci or in a module?
2021-06-30 19:13:53 +0200 <buddha> in the ghci
2021-06-30 19:14:11 +0200 <dminuoso> I dont think there's a difference in GHCi
2021-06-30 19:14:25 +0200 <dminuoso> Except, for MMR perhaps
2021-06-30 19:14:47 +0200 <buddha> are they referring to the same thing?
2021-06-30 19:15:05 +0200 <Rembane> They mean the same thing, some major versions ago you had to write `let x = 10', but now you can skip the let.
2021-06-30 19:15:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 19:15:30 +0200favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-06-30 19:15:39 +0200 <buddha> both of them represent a function right?
2021-06-30 19:15:48 +0200 <dminuoso> No
2021-06-30 19:15:53 +0200 <buddha> a function that returns 10? no?
2021-06-30 19:15:55 +0200 <dminuoso> Just the binding of a value to a name.
2021-06-30 19:16:04 +0200 <Rembane> No, they give a name to a value
2021-06-30 19:16:20 +0200 <buddha> how do you define functions without arguments then?
2021-06-30 19:16:23 +0200 <dminuoso> (Or well, more precisely I should say it binds an expression to a name)
2021-06-30 19:16:27 +0200 <janus> do functions always have arrows in their type signatures?
2021-06-30 19:16:33 +0200 <dminuoso> buddha: That fundamentally does not make sense.
2021-06-30 19:16:39 +0200zgrep(~zgrep@user/zgrep) (Quit: It's a quitter's world.)
2021-06-30 19:16:54 +0200 <dminuoso> In Haskell we use the term function differently from other programming languages
2021-06-30 19:17:00 +0200stevenxl(~stevenlei@68.235.43.165)
2021-06-30 19:17:03 +0200 <dminuoso> Our use is more aligned with that of mathematics, where a function is just a mapping of values
2021-06-30 19:17:13 +0200 <Rembane> janus: Assume yes, and come back here when you find out otherwise. :)
2021-06-30 19:17:30 +0200alx741(~alx741@186.178.109.202) (Ping timeout: 252 seconds)
2021-06-30 19:17:33 +0200favonia(~favonia@user/favonia)
2021-06-30 19:17:37 +0200 <buddha> so by definition a function has to have at least one argument?
2021-06-30 19:17:44 +0200 <janus> Rembane: is the exception that you can make (->) instances for anything?
2021-06-30 19:17:45 +0200 <dminuoso> More to the point, exactly one argument.
2021-06-30 19:17:56 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-06-30 19:17:57 +0200 <janus> % :info (->)
2021-06-30 19:17:58 +0200 <yahb> janus: type (->) :: * -> * -> *; type (->) = FUN 'Many :: * -> * -> *; -- Defined in `GHC.Types'; infixr -1 ->; instance forall r. Applicative ((->) r) -- Defined in `GHC.Base'; instance forall r. Functor ((->) r) -- Defined in `GHC.Base'; instance forall r. Monad ((->) r) -- Defined in `GHC.Base'; instance forall b a. Monoid b => Monoid (a -> b) -- Defined in `GHC.Base'; instance forall b a. Semigroup b => S
2021-06-30 19:18:02 +0200zgrep(~zgrep@user/zgrep)
2021-06-30 19:18:05 +0200 <buddha> what happens when you have multiple arguments then?
2021-06-30 19:18:07 +0200 <dminuoso> buddha: A function that appears to take say 2 arguments, is rather a function that returns a function.
2021-06-30 19:18:16 +0200 <dminuoso> buddha: There's two ways to deal with that
2021-06-30 19:18:17 +0200 <Rembane> janus: Yes, and also that there are many ways to represent a function.
2021-06-30 19:18:27 +0200 <dminuoso> Either we have the function take a product type, like a type, e.g. f :: (Int, Char) -> Bool
2021-06-30 19:18:40 +0200 <dminuoso> Or we encode the function curried as: f' :: Int -> Char -> Bool
2021-06-30 19:18:41 +0200stevenxl_(~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) (Read error: Connection reset by peer)
2021-06-30 19:18:59 +0200 <Rembane> janus: F a b c could for instance be a function which you need another function to evaluate.
2021-06-30 19:19:15 +0200 <dminuoso> Where curried just means f' is a function taking Int, and returning a function Char -> Bool. So applying this function `f 10 'c'` is actually considered `(f 10) 'c'`
2021-06-30 19:19:43 +0200 <dminuoso> buddha: For convenience, we let you define what appears a multiple argument function, but this maps into "functions returning functions" behind the scenes.
2021-06-30 19:19:58 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Remote host closed the connection)
2021-06-30 19:20:14 +0200 <dminuoso> i.e. `f x y = x + y` is equivalent to `f = \x -> \y -> x + y`
2021-06-30 19:20:20 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Ping timeout: 258 seconds)
2021-06-30 19:20:32 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-30 19:20:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-30 19:21:21 +0200 <janus> when you say equivalent, what do you mean? surely the 9.0 change in subsumption would not consider eta expansion equivalent?
2021-06-30 19:21:27 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f)
2021-06-30 19:21:31 +0200 <buddha> and functions are lexically scoped?
2021-06-30 19:21:50 +0200warnz(~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Client Quit)
2021-06-30 19:22:05 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-06-30 19:22:07 +0200stevenxl_(~stevenlei@c-73-45-168-220.hsd1.il.comcast.net)
2021-06-30 19:22:16 +0200 <dminuoso> buddha: Up until the module system, yes.
2021-06-30 19:22:35 +0200 <dminuoso> janus: I mean it in the same way we teach children that the path of planets around the sun is a circle.
2021-06-30 19:22:45 +0200pragma-(~chaos@user/pragmatic-chaos) (Bye!)
2021-06-30 19:22:50 +0200stevenxl(~stevenlei@68.235.43.165) (Ping timeout: 256 seconds)
2021-06-30 19:22:50 +0200 <janus> ah ok, is this "fast and loose reasoning" ?
2021-06-30 19:23:08 +0200 <dminuoso> No, it's a good enough approximation for pedagocal reasons that's close enough to the truth as fas as they are concerned.
2021-06-30 19:23:13 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-30 19:24:07 +0200 <janus> i thought that change in subsumption only matter in the precense of undefined, which makes it a non-total language
2021-06-30 19:24:25 +0200 <janus> the fast and loose paper talks about totality, so that is why i thought it was the relevant paper
2021-06-30 19:24:26 +0200 <dminuoso> janus: So the subsumption stuff is related in a particular sense.
2021-06-30 19:25:01 +0200 <dminuoso> janus: But its not because of subsumption, but for the reason simplified subsumption is introduced. But the relationship is very distance.
2021-06-30 19:25:06 +0200favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-06-30 19:25:28 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Client Quit)
2021-06-30 19:25:41 +0200favonia(~favonia@user/favonia)
2021-06-30 19:25:54 +0200 <dminuoso> In case of the simplified subsumption, its because `x` and \y -> x y` are not the same, but in order for GHC to elaborate certain RankNTypes situations into core, it has to transform one into the other, changing how strictness behaves.
2021-06-30 19:26:25 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2021-06-30 19:26:48 +0200stevenxl_(~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) (Ping timeout: 256 seconds)
2021-06-30 19:26:51 +0200 <dminuoso> So the solution is to just forbid things like deep skolemnization, and suddenly GHC no longer has to do that. But in order for these programs to type check, you have to write that conversion from `x` to `\y -> x y` in the places GHC used to do it by hand now.
2021-06-30 19:27:02 +0200stevenxl(~stevenlei@68.235.43.157)
2021-06-30 19:27:08 +0200 <dminuoso> So this change in semantics is made explicit now, while simplifying GHC's type checker at the same time
2021-06-30 19:27:42 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-30 19:28:15 +0200 <buddha> Is writing algorithms in Haskell more `fun` in Haskell compared to Python?
2021-06-30 19:28:39 +0200 <dolio> I think almost everything is more fun in Haskell.
2021-06-30 19:28:42 +0200 <dminuoso> Not sure what answer you expect. Im sure if you asked that question flipped around in #python you'd get the opposite response.
2021-06-30 19:28:44 +0200 <raehik> yes
2021-06-30 19:28:50 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-06-30 19:29:32 +0200 <dminuoso> There's probably more value in asking "what frustrates you about the language" than "do you like doing X in your language". :-)
2021-06-30 19:29:35 +0200Pickchea(~private@user/pickchea)
2021-06-30 19:30:06 +0200alx741(~alx741@186.178.108.157)
2021-06-30 19:30:54 +0200 <monochrom> Other people bolting on dependent typing on Haskell frustrates me about the language. But this uses the word "language" to refer to culture rather than syntax and semantics.
2021-06-30 19:31:24 +0200 <buddha> I guess I'll have to find out myself. It's like learning Vim, you'll never know what's on the other side
2021-06-30 19:31:38 +0200 <dminuoso> I find the lack of circular imports to be the most annoying thing in the Haskell language itself.
2021-06-30 19:31:50 +0200 <koala_man> buddha: if you enjoy list comprehensions and map/filter/lambda, then yes, definitely
2021-06-30 19:31:55 +0200 <dminuoso> Well. In GHC Haskell I should say. :-)
2021-06-30 19:33:06 +0200 <dminuoso> buddha: One thing to keep in mind, that in a pure, non-strict and functional settings writing algorithms is usually very different. In fact, even the idiomatic data structures are different. So especially for newcomers to haskell, much of their previous experience can't be transferred directly.. at least in the beginning.
2021-06-30 19:33:14 +0200Ariakenom(~Ariakenom@c83-255-154-140.bredband.tele2.se)
2021-06-30 19:33:38 +0200 <buddha> dminuoso I have xp with elixir, that might help a bit
2021-06-30 19:34:15 +0200 <monochrom> I think in retrospect circular importing was one of those things they thought "would be cool and SML does it, what can possibly go wrong" and it backfired. See, SML can do it because, and only because, handwritten interface files are required. And it shows, GHC supports it by requiring you to handwrite interface files again.
2021-06-30 19:34:44 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-30 19:35:07 +0200Erutuon(~Erutuon@user/erutuon)
2021-06-30 19:36:13 +0200 <dminuoso> buddha: Some bits are similar yeah. Just like elixir, we also make a lot of use of pattern matching and case-of, there's also a bit of similarity in some elixir acros and the way we write code in Haskell.
2021-06-30 19:36:57 +0200 <dminuoso> Amusingly, Haskell suffers from the same string/charlist issue that erlang/elixir has. :-)
2021-06-30 19:37:09 +0200 <dminuoso> And I reckon it's for the same reasons as well
2021-06-30 19:38:39 +0200ikex1(~ash@user/ikex)
2021-06-30 19:38:46 +0200ikex(ash@user/ikex) (Ping timeout: 252 seconds)
2021-06-30 19:39:19 +0200ikex1ikex
2021-06-30 19:40:06 +0200motherfsck(~motherfsc@user/motherfsck) (Remote host closed the connection)
2021-06-30 19:41:15 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-30 19:41:43 +0200lavaman(~lavaman@98.38.249.169)
2021-06-30 19:41:52 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e)
2021-06-30 19:41:56 +0200 <buddha> is the `+` plus operator an example of operator overloading?
2021-06-30 19:42:27 +0200 <dminuoso> Yes, though overloading is not tied to `operators`.
2021-06-30 19:42:46 +0200 <buddha> it's just a function right?
2021-06-30 19:43:02 +0200 <dminuoso> Well, its what we call a "class method"
2021-06-30 19:43:34 +0200 <eggplantade> As far as notation goes, `+` is a function name, and it has different syntax because it uses operator symbols
2021-06-30 19:43:39 +0200 <dminuoso> You can think of a class like protocols in elixir, perhaps.
2021-06-30 19:44:15 +0200 <dminuoso> And we call "members" of that class methods. Note I intentionally avoided the term "function", because a method could also be an immediate value, though most of the time they are actual functions.
2021-06-30 19:44:38 +0200 <dminuoso> (Our typeclasses are much richer than protocols, but it's a good initial approximation to get acquainted with them)
2021-06-30 19:46:53 +0200amcleodca(~andy@user/amcleodca) (Remote host closed the connection)
2021-06-30 19:48:56 +0200 <qrpnxz> dsal, right, I thought maybe you'd want like some kind of nonempty foldable, but all foldables have a toList anyway, then you can just turn that into a nonempty and to sconcat and it's the same, so sounds good!
2021-06-30 19:49:58 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 19:51:05 +0200 <dsal> It doesn’t make sense to fold1 something that isn’t non-empty. The missing piece is some kind of NonEmptyFoldable which is basically semigroupoids
2021-06-30 19:51:10 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-30 19:51:10 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-06-30 19:51:12 +0200norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net)
2021-06-30 19:51:44 +0200favonia(~favonia@user/favonia) (Ping timeout: 256 seconds)
2021-06-30 19:52:43 +0200favonia(~favonia@user/favonia)
2021-06-30 19:57:42 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-30 19:58:51 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-30 19:59:20 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-30 20:00:24 +0200egoist(~egoist@186.235.82.105) (Ping timeout: 252 seconds)
2021-06-30 20:01:34 +0200egoist(~egoist@186.235.80.194)
2021-06-30 20:03:09 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-06-30 20:06:57 +0200lavaman(~lavaman@98.38.249.169)
2021-06-30 20:07:44 +0200warnz(~warnz@2600:1700:77c0:5610:409d:bff0:fc58:d5c4)
2021-06-30 20:09:09 +0200dyeplexer(~dyeplexer@user/dyeplexer)
2021-06-30 20:09:44 +0200fvr(uid503686@id-503686.highgate.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-30 20:10:18 +0200Pickchea(~private@user/pickchea) (Ping timeout: 240 seconds)
2021-06-30 20:13:16 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 256 seconds)
2021-06-30 20:14:47 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Remote host closed the connection)
2021-06-30 20:19:36 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 268 seconds)
2021-06-30 20:20:22 +0200Bob_Esponja(~Bob_Espon@130.red-176-83-49.dynamicip.rima-tde.net)
2021-06-30 20:22:19 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-06-30 20:22:32 +0200Bob_Esponja(~Bob_Espon@130.red-176-83-49.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2021-06-30 20:23:08 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-06-30 20:25:50 +0200shapr(~user@pool-108-28-144-11.washdc.fios.verizon.net) (Remote host closed the connection)
2021-06-30 20:26:49 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-30 20:29:10 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 272 seconds)
2021-06-30 20:29:32 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-06-30 20:29:52 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-06-30 20:30:41 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-30 20:36:06 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 20:37:25 +0200Bob_Esponja(~Bob_Espon@130.red-176-83-49.dynamicip.rima-tde.net)
2021-06-30 20:37:54 +0200Bob_Esponja(~Bob_Espon@130.red-176-83-49.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2021-06-30 20:38:46 +0200dyeplexer(~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2021-06-30 20:39:46 +0200Bob_Esponja(~Bob_Espon@130.red-176-83-49.dynamicip.rima-tde.net)
2021-06-30 20:40:00 +0200Bob_Esponja(~Bob_Espon@130.red-176-83-49.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2021-06-30 20:41:06 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-06-30 20:41:14 +0200shapr(~user@pool-108-28-144-11.washdc.fios.verizon.net)
2021-06-30 20:46:27 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-30 20:46:46 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e)
2021-06-30 20:47:06 +0200benin0369(~benin@183.82.205.231) (Ping timeout: 240 seconds)
2021-06-30 20:47:51 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-06-30 20:53:12 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-06-30 20:56:30 +0200 <maerwald> Inb4 "total prelude"
2021-06-30 20:57:21 +0200buddha(~buddha@27.147.234.193) (Quit: Client closed)
2021-06-30 20:59:38 +0200maerwaldshows the Idris/Agda door
2021-06-30 21:01:56 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-06-30 21:03:43 +0200dunj4dunj
2021-06-30 21:03:45 +0200dunjdunj3
2021-06-30 21:10:33 +0200safinaskar(~safinaska@109-252-90-89.nat.spd-mgts.ru)
2021-06-30 21:11:42 +0200 <safinaskar> it seems that GADTs are equivalent to logics. (I. e. values of GADTs are proofs). If one writes function from one GADT to another, then it is proof of morphism from one logic to another
2021-06-30 21:12:04 +0200 <safinaskar> am i first to notice this? there surely should be posts about the same, please, give me them
2021-06-30 21:12:36 +0200 <Cale> No, and in fact, that's how type theory started out in the first place
2021-06-30 21:13:03 +0200 <safinaskar> ok, thanks
2021-06-30 21:13:06 +0200 <safinaskar> give me links, please
2021-06-30 21:13:10 +0200 <Cale> Not just terms of GADTs are proofs, but terms are proofs, and types are the propositions being proved
2021-06-30 21:13:30 +0200 <safinaskar> Cale: of course
2021-06-30 21:13:45 +0200 <safinaskar> Cale: but GADTs allow especially elegant formalism for logics
2021-06-30 21:13:52 +0200 <safinaskar> also, if compiler compiles "\case{}", this proves that certain formula is not deducible in a logic
2021-06-30 21:14:18 +0200 <safinaskar> i can easily write axiomatization, say, for whole ZFC as a single GADT
2021-06-30 21:14:51 +0200listofoptions(~haha@nat.syssrc.com) (Read error: Connection reset by peer)
2021-06-30 21:15:02 +0200derelict(~derelict@user/derelict) (Ping timeout: 256 seconds)
2021-06-30 21:15:36 +0200 <Cale> I don't think GADTs give you everything you might want there, but they're closer to being able to specify that kind of thing than plain algebraic data types certainly.
2021-06-30 21:16:18 +0200 <Cale> In particular, you're missing out on quantifiers that you're probably going to want at some point
2021-06-30 21:16:35 +0200 <Cale> But that's just Haskell's lack of Pi and Sigma types
2021-06-30 21:16:49 +0200Deide(~Deide@user/deide)
2021-06-30 21:17:20 +0200 <boxscape> Cale: but GADTs allow you to write singletons
2021-06-30 21:17:38 +0200 <Cale> But yeah, in Coq and Agda, they regularly define various classes of propositions as inductive datatypes
2021-06-30 21:17:45 +0200 <Cale> (and Idris as well)
2021-06-30 21:17:56 +0200 <safinaskar> i can write ZFC axiomatization using GADTs only. without code. and without advanced haskell features, such as singletons
2021-06-30 21:18:25 +0200 <safinaskar> you just need to have explicit proofs of substitutions
2021-06-30 21:18:32 +0200 <Cale> Can you? Have a gist or something I can look at?
2021-06-30 21:18:53 +0200 <safinaskar> i. e. propositions like "A is B with C substituted for x" are provable propositions on its own
2021-06-30 21:19:42 +0200 <safinaskar> Cale: yes, i can. give me 10 minutes, i hope i will write
2021-06-30 21:19:56 +0200 <dsal> I've still never actually used GADTs (I think). Every time I've thought it'd help me, it made things worse.
2021-06-30 21:20:27 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-06-30 21:21:16 +0200favonia(~favonia@user/favonia) (Ping timeout: 256 seconds)
2021-06-30 21:21:37 +0200favonia(~favonia@user/favonia)
2021-06-30 21:22:53 +0200Morrow(~MorrowM_@147.161.13.35)
2021-06-30 21:24:25 +0200 <Cale> A practical place to use GADTs is for encoding protocols, where you use the index type as a way to express what type of response you expect back
2021-06-30 21:25:14 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds)
2021-06-30 21:25:15 +0200 <Cale> Also, I've had a fairly good time using fairly simple GADTs alongside DMap for a sort of extensible records.
2021-06-30 21:25:58 +0200 <Cale> The terms of your GADT become the "field labels" and the index type is the type of the corresponding field.
2021-06-30 21:26:55 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-06-30 21:28:16 +0200 <Cale> Unlike most systems of extensible records, you don't get type-level information about which fields are present in a record, but you *do* get information about which "universe" of fields they come from, and lots of nice operations (effectively parallels to most of Data.Map)
2021-06-30 21:29:36 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-06-30 21:33:00 +0200 <safinaskar> (i am still writing that GADT)
2021-06-30 21:35:52 +0200Pickchea(~private@user/pickchea)
2021-06-30 21:37:30 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds)
2021-06-30 21:37:40 +0200chisui(~chisui@200116b868342600e075ba151a671095.dip.versatel-1u1.de) (Ping timeout: 246 seconds)
2021-06-30 21:38:08 +0200derelict(~derelict@user/derelict)
2021-06-30 21:40:42 +0200favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-06-30 21:41:07 +0200favonia(~favonia@user/favonia)
2021-06-30 21:41:47 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2021-06-30 21:43:06 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-06-30 21:45:09 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Remote host closed the connection)
2021-06-30 21:46:01 +0200Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2021-06-30 21:47:13 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-06-30 21:47:58 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-30 21:50:00 +0200Codaraxis(~Codaraxis@user/codaraxis) (Ping timeout: 272 seconds)
2021-06-30 21:59:06 +0200 <safinaskar> Cale: i am writing, and i already wrote definition of first order logic. i hope you are still interested
2021-06-30 22:02:19 +0200 <Cale> sure
2021-06-30 22:02:49 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-30 22:02:52 +0200 <Cale> What do you do with respect to quantifiers?
2021-06-30 22:02:55 +0200Bob_Esponja(~Bob_Espon@175.red-79-156-90.staticip.rima-tde.net)
2021-06-30 22:02:55 +0200sm2n(~sm2n@user/sm2n) (Read error: Connection reset by peer)
2021-06-30 22:02:57 +0200Bob_Esponja(~Bob_Espon@175.red-79-156-90.staticip.rima-tde.net) (Client Quit)
2021-06-30 22:03:17 +0200sm2n(~sm2n@user/sm2n)
2021-06-30 22:05:03 +0200unyu(~pyon@user/pyon) (Ping timeout: 268 seconds)
2021-06-30 22:05:26 +0200juhp(~juhp@128.106.188.66) (Ping timeout: 252 seconds)
2021-06-30 22:06:56 +0200dextaa(~DV@aftr-37-201-214-197.unity-media.net)
2021-06-30 22:06:57 +0200unyu(~pyon@user/pyon)
2021-06-30 22:07:10 +0200juhp(~juhp@128.106.188.66)
2021-06-30 22:09:02 +0200cheater1__(~Username@user/cheater)
2021-06-30 22:09:14 +0200cheater(~Username@user/cheater) (Ping timeout: 272 seconds)
2021-06-30 22:09:15 +0200cheater1__cheater
2021-06-30 22:11:14 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2021-06-30 22:13:11 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-06-30 22:14:51 +0200 <safinaskar> look everybody! ZFC as single GADT! https://paste.debian.net/1202948/
2021-06-30 22:15:38 +0200 <safinaskar> Cale: ping. quantifiers exists in my language as usual. i use explicit proof objects of type "Subst", this proof objects proofs that substitutions are possible
2021-06-30 22:16:05 +0200 <safinaskar> s/proof objects proofs that/proof objects prove that/
2021-06-30 22:21:59 +0200norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 268 seconds)
2021-06-30 22:22:43 +0200 <Cale> safinaskar: Ahh, that is interesting
2021-06-30 22:22:46 +0200 <Cale> hmm
2021-06-30 22:23:39 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-06-30 22:24:10 +0200favonia(~favonia@user/favonia) (Ping timeout: 256 seconds)
2021-06-30 22:24:28 +0200favonia(~favonia@user/favonia)
2021-06-30 22:25:15 +0200 <Cale> safinaskar: Yeah, that's a deeper embedding than I was thinking of :)
2021-06-30 22:25:46 +0200 <tomsmeding> I think people seldomly explicitly list the axioms of the theory when trying stuff like this; generally I think people want to model type theory using the rules already in the type system
2021-06-30 22:26:09 +0200 <tomsmeding> and then you run into trouble where a non-dependent type system isn't strong enough to handle forall
2021-06-30 22:26:19 +0200 <Cale> But yeah, this gives a logic which you wouldn't normally get as a type theory, even
2021-06-30 22:26:34 +0200 <Cale> Note the double negation elimination, for example
2021-06-30 22:26:44 +0200cloudy`(~user@2600:8807:c207:f00:d022:dd81:f0f8:bb22)
2021-06-30 22:27:46 +0200 <safinaskar> so, are there posts about this?
2021-06-30 22:30:25 +0200 <safinaskar> are there some articles/theories about all possible logics? for example, i want some definition of what it is mean to be syntax-directed for logic
2021-06-30 22:30:30 +0200 <tomsmeding> I'm not aware of significant work in this direction (only people using type theory in dependent languages, or when they want to work in different logics, designing a new language to let them work in that theory -- e.g. adding aximos to Coq)
2021-06-30 22:30:52 +0200 <Cale> Somehow I'd be surprised if nobody had ever written something like this in Coq
2021-06-30 22:31:02 +0200 <tomsmeding> but that doesn't say that there isn't such work, and that _especially_ doesn't mean that there haven't been isolated people trying this before :)
2021-06-30 22:31:05 +0200 <Cale> But I'm not sure exactly where to look for it :)
2021-06-30 22:31:06 +0200 <tomsmeding> yes
2021-06-30 22:31:10 +0200 <dolio> Yeah, this is pretty basic stuff in lots of proof assistants.
2021-06-30 22:31:17 +0200 <safinaskar> Cale: i just have read that coq has no GADTs
2021-06-30 22:31:21 +0200 <safinaskar> Cale: but agda has
2021-06-30 22:31:32 +0200 <safinaskar> Cale: and my code is trivially convertible to agda
2021-06-30 22:31:37 +0200motherfsck(~motherfsc@user/motherfsck)
2021-06-30 22:31:39 +0200 <Cale> safinaskar: Coq has inductive data types, which are basically like GADTs
2021-06-30 22:32:49 +0200 <safinaskar> maybe there is some provers, which can take logic in similar form and check some its properties?
2021-06-30 22:33:25 +0200 <safinaskar> somebody on this channel already pointed me to twelf. i will check it. are there other links?
2021-06-30 22:33:51 +0200 <safinaskar> my method lets me define my own notion of substitution, alpha-beta-equivalency, etc
2021-06-30 22:34:56 +0200MQ-17J(~MQ-17J@8.21.10.15) (Ping timeout: 256 seconds)
2021-06-30 22:35:12 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-30 22:36:58 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-30 22:39:51 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-06-30 22:45:33 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e)
2021-06-30 22:46:42 +0200favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-06-30 22:47:33 +0200nshepperd2(~nshepperd@li364-218.members.linode.com) (Remote host closed the connection)
2021-06-30 22:47:45 +0200nshepperd2(~nshepperd@li364-218.members.linode.com)
2021-06-30 22:49:06 +0200Reyu[M](~reyureyuz@matrix.reyuzenfold.com) (Ping timeout: 256 seconds)
2021-06-30 22:49:17 +0200favonia(~favonia@user/favonia)
2021-06-30 22:49:33 +0200Reyu[M](~reyureyuz@matrix.reyuzenfold.com)
2021-06-30 22:49:37 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-06-30 22:49:54 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e) (Ping timeout: 240 seconds)
2021-06-30 22:54:50 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-06-30 22:55:25 +0200 <Cale> safinaskar: https://paste.debian.net/1202951/
2021-06-30 22:55:31 +0200 <Cale> There's the translation into Coq :)
2021-06-30 22:57:35 +0200 <safinaskar> Cale: thanks a lot
2021-06-30 22:58:52 +0200 <safinaskar> Cale: but i have read here: http://coq-blog.clarus.me/gadts-with-type-erasure-in-coq-of-ocaml.html , that this inductive types have not desirable properties
2021-06-30 22:59:36 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds)
2021-06-30 22:59:53 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-30 23:01:54 +0200 <Cale> That seems to discuss difficulties with compiling OCaml's GADTs into Coq inductive types which might be reasonable concerns for someone writing a compiler that was trying to carefully preserve semantics, but I'm not sure it matters to us.
2021-06-30 23:02:16 +0200 <Cale> Maybe?
2021-06-30 23:03:52 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-06-30 23:04:02 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-30 23:04:29 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-30 23:05:35 +0200mikail(~mikail@90.212.77.3)
2021-06-30 23:06:09 +0200mjrosenb(~mrosenbe@nyc.schrodinger.com) (Ping timeout: 244 seconds)
2021-06-30 23:06:14 +0200 <safinaskar> Cale: i want to write functions, which transform proofs from one logic to another. Good exastivness checking is desirable property
2021-06-30 23:06:28 +0200 <Cale> There is exhaustiveness checking.
2021-06-30 23:06:39 +0200 <Cale> In fact, there's full termination checking.
2021-06-30 23:07:06 +0200 <safinaskar> Cale: that article shows that exhaustiveness checking is suboptimal (i mean analysis on case expressions)
2021-06-30 23:08:12 +0200mjrosenb(~mrosenbe@104.225.243.2)
2021-06-30 23:08:16 +0200 <Cale> The situation involving the trees there is not going to come up
2021-06-30 23:08:29 +0200 <Cale> None of our stuff is parametric on arbitrary types
2021-06-30 23:09:24 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 272 seconds)
2021-06-30 23:11:12 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-06-30 23:11:43 +0200 <safinaskar> Cale: ok
2021-06-30 23:15:02 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 265 seconds)
2021-06-30 23:17:06 +0200Ariakenom(~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 240 seconds)
2021-06-30 23:17:14 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds)
2021-06-30 23:17:49 +0200warnz(~warnz@2600:1700:77c0:5610:409d:bff0:fc58:d5c4) (Remote host closed the connection)
2021-06-30 23:18:33 +0200warnz(~warnz@2600:1700:77c0:5610:409d:bff0:fc58:d5c4)
2021-06-30 23:22:18 +0200 <safinaskar> Cale: do you have a blog?
2021-06-30 23:22:30 +0200 <Cale> nope
2021-06-30 23:26:59 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-30 23:27:23 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-30 23:30:28 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2021-06-30 23:32:36 +0200dmang(~dmang@user/dmang) (Remote host closed the connection)
2021-06-30 23:34:46 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-30 23:36:22 +0200norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net)
2021-06-30 23:39:32 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-06-30 23:41:21 +0200 <chris_> hey
2021-06-30 23:41:34 +0200 <chris_> need help with this function
2021-06-30 23:41:38 +0200 <chris_> regarding the return type
2021-06-30 23:41:51 +0200 <chris_> i want it to be [rational] return type
2021-06-30 23:41:55 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc49:b28b:5485:3e7e)
2021-06-30 23:42:15 +0200 <monochrom> Foo -> [Rational]
2021-06-30 23:42:31 +0200 <chris_> genDurations :: Int -> [Dur]
2021-06-30 23:42:31 +0200 <chris_> genDurations n | n < 1 = [] -- edge case
2021-06-30 23:42:31 +0200 <chris_> genDurations 1 = [1.0] -- recursive stopping point
2021-06-30 23:42:31 +0200 <monochrom> Perhaps a more complete and informative question.
2021-06-30 23:42:33 +0200 <chris_> genDurations n = (1/(2**(n-1))) : genDurations (n-1)
2021-06-30 23:42:44 +0200 <chris_> type Dur = Rational
2021-06-30 23:43:09 +0200 <chris_> i think the (1/2**n-1))) expression is returning another type
2021-06-30 23:43:19 +0200 <monochrom> Ah right. Please use ^
2021-06-30 23:43:32 +0200 <monochrom> err, ^ is bad too
2021-06-30 23:43:33 +0200mikail(~mikail@90.212.77.3) (Ping timeout: 265 seconds)
2021-06-30 23:43:51 +0200 <monochrom> Please use ^^
2021-06-30 23:44:25 +0200dunj3(~dunj3@p200300f61714a6405bb7680713e8c72a.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-06-30 23:44:50 +0200 <monochrom> That reminds me, when I teach number types I need to bring up this ^ ^^ ** business.
2021-06-30 23:45:42 +0200 <chris_> thx @monochrom that did silent the type errors in vscode
2021-06-30 23:45:43 +0200mikail(~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f)
2021-06-30 23:46:06 +0200 <Cale> chris_: Also, be careful if you actually wanted 1/2^^(n-1)
2021-06-30 23:46:22 +0200 <Cale> oh, you did write that in the code
2021-06-30 23:46:29 +0200 <Cale> just not in the other :)
2021-06-30 23:46:44 +0200 <chris_> ye my bad, thx
2021-06-30 23:47:35 +0200 <Cale> x^n gives you exponentiation with only nonnegative integer exponents, but x is allowed to be any sort of number at all (any instance of Num)
2021-06-30 23:48:01 +0200 <Cale> x^^n allows negative exponents as well, but the type of x must have an instance of Fractional
2021-06-30 23:49:01 +0200 <Cale> x**y is exponentiation where y and x have the same type, and that type must have an instance of Floating
2021-06-30 23:49:48 +0200 <Cale> (and it allows basically arbitrary exponents then)
2021-06-30 23:50:16 +0200 <Cale> Well, there might be restrictions depending on the type of course.
2021-06-30 23:50:18 +0200acidjnk_new(~acidjnk@p200300d0c72b954061d05013652ae098.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2021-06-30 23:50:18 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-30 23:52:07 +0200safinaskar(~safinaska@109-252-90-89.nat.spd-mgts.ru) ()
2021-06-30 23:53:44 +0200jao(jao@gateway/vpn/protonvpn/jao) (Remote host closed the connection)
2021-06-30 23:54:21 +0200 <ephemient> given that (**) is on the Floating typeclass, what other restrictions can it apply?
2021-06-30 23:55:00 +0200fendor(~fendor@77.119.196.177.wireless.dyn.drei.com) (Remote host closed the connection)
2021-06-30 23:55:00 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds)
2021-06-30 23:55:53 +0200 <chris_> what's an Integral (and it's type)
2021-06-30 23:56:00 +0200 <ephemient> I guess it could be non-total but in practice Float/Double will produce NaN for negative ** fractional
2021-06-30 23:57:01 +0200 <ephemient> Integral is a typeclass of types that support integer-like operations
2021-06-30 23:57:11 +0200 <ephemient> % :info Integral
2021-06-30 23:57:12 +0200 <yahb> ephemient: pattern Integral :: forall {a}. Integral a => a -> Integer -- Defined in `Numeric.Lens'; type Integral :: * -> Constraint; class (Real a, Enum a) => Integral a where; quot :: a -> a -> a; rem :: a -> a -> a; div :: a -> a -> a; mod :: a -> a -> a; quotRem :: a -> a -> (a, a); divMod :: a -> a -> (a, a); toInteger :: a -> Integer; {-# MINIMAL quotRem, toInteger #-}; -- Defined in `GHC.Rea
2021-06-30 23:57:29 +0200 <ephemient> ... not the right one
2021-06-30 23:57:42 +0200 <monochrom> (-2) ** (0.5) does not have an answer in the real numbers
2021-06-30 23:57:42 +0200 <ephemient> % :info Prelude.Integral
2021-06-30 23:57:42 +0200 <yahb> ephemient: type Integral :: * -> Constraint; class (Real a, Enum a) => Integral a where; quot :: a -> a -> a; rem :: a -> a -> a; div :: a -> a -> a; mod :: a -> a -> a; quotRem :: a -> a -> (a, a); divMod :: a -> a -> (a, a); toInteger :: a -> Integer; {-# MINIMAL quotRem, toInteger #-}; -- Defined in `GHC.Real'; instance Integral Word -- Defined in `GHC.Real'; instance Integral Integer -- Defined in
2021-06-30 23:58:01 +0200 <monochrom> but it's only checked at run time
2021-06-30 23:58:17 +0200 <monochrom> but still, you shouldn't do it in the first place. :)
2021-06-30 23:58:24 +0200 <ephemient> if you extend the reals with NaN then it does have an answer :)
2021-06-30 23:58:40 +0200 <monochrom> true
2021-06-30 23:58:58 +0200 <ephemient> of course that causes the annoyance of non-total ordering... oh well
2021-06-30 23:59:46 +0200jao(jao@gateway/vpn/protonvpn/jao)