2021/05/21

2021-05-21 10:00:58 +0200ircbrowse_tom(~ircbrowse@64.225.78.177)
2021-05-21 10:00:58 +0200Server+nt
2021-05-21 10:01:41 +0200heath(~heath@68.68.64.38) (Ping timeout: 258 seconds)
2021-05-21 10:01:42 +0200nitrix(~nitrix@ns569831.ip-51-79-81.net)
2021-05-21 10:02:05 +0200nitrixGuest7426
2021-05-21 10:04:30 +0200killsushi_(~killsushi@2607:fea8:3d40:767:707b:b3b8:c407:1243)
2021-05-21 10:04:30 +0200killsushi_(~killsushi@2607:fea8:3d40:767:707b:b3b8:c407:1243) (Changing host)
2021-05-21 10:04:30 +0200killsushi_(~killsushi@user/killsushi/x-5912268)
2021-05-21 10:05:11 +0200GZJ0X_(~GZJ0X@185.212.59.97.16clouds.com)
2021-05-21 10:06:26 +0200pe200012(~pe200012@218.107.17.245)
2021-05-21 10:06:48 +0200tose(~tose@ip-85-160-9-220.eurotel.cz) (Ping timeout: 245 seconds)
2021-05-21 10:08:15 +0200nitrix(~nitrix@ns569831.ip-51-79-81.net)
2021-05-21 10:08:33 +0200obfusk_(~quassel@a82-161-150-56.adsl.xs4all.nl)
2021-05-21 10:08:38 +0200nitrixGuest3497
2021-05-21 10:08:40 +0200aforemny(~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-21 10:08:48 +0200jco_(~jco@c83-248-173-38.bredband.tele2.se)
2021-05-21 10:09:45 +0200lortabac_(~lortabac@2a01:e0a:541:b8f0:9c88:d7f4:4abf:ede1)
2021-05-21 10:10:58 +0200sszark1(~sszark@h-85-24-213-180.A392.priv.bahnhof.se)
2021-05-21 10:11:09 +0200pe200012(~pe200012@218.107.17.245) (Quit: Konversation terminated!)
2021-05-21 10:11:34 +0200aforemny(~aforemny@static.248.158.34.188.clients.your-server.de)
2021-05-21 10:11:59 +0200pe200012(~pe200012@119.131.208.84)
2021-05-21 10:12:36 +0200russruss1(~russruss@my.russellmcc.com)
2021-05-21 10:13:07 +0200flounders(~flounders@173.246.200.33) (Remote host closed the connection)
2021-05-21 10:13:30 +0200flounders(~flounders@173.246.200.33)
2021-05-21 10:13:53 +0200jonn(~sweater@206.81.18.26) (Ping timeout: 264 seconds)
2021-05-21 10:13:59 +0200Guest7426(~nitrix@ns569831.ip-51-79-81.net) (*.net *.split)
2021-05-21 10:13:59 +0200gzj(~GZJ0X@185.212.59.97.16clouds.com) (*.net *.split)
2021-05-21 10:13:59 +0200pe200012_(~pe200012@120.236.162.14) (*.net *.split)
2021-05-21 10:13:59 +0200notzmv(~zmv@user/notzmv) (*.net *.split)
2021-05-21 10:13:59 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:9c88:d7f4:4abf:ede1) (*.net *.split)
2021-05-21 10:13:59 +0200killsushi(~killsushi@user/killsushi) (*.net *.split)
2021-05-21 10:13:59 +0200jco(~jco@c83-248-173-38.bredband.tele2.se) (*.net *.split)
2021-05-21 10:13:59 +0200Square(~Squarism4@90-231-27-135-no51.tbcn.telia.com) (*.net *.split)
2021-05-21 10:13:59 +0200russruss(~russruss@my.russellmcc.com) (*.net *.split)
2021-05-21 10:13:59 +0200obfusk(~quassel@a82-161-150-56.adsl.xs4all.nl) (*.net *.split)
2021-05-21 10:13:59 +0200sszark(~sszark@h-85-24-213-180.A392.priv.bahnhof.se) (*.net *.split)
2021-05-21 10:13:59 +0200russruss1russruss
2021-05-21 10:15:05 +0200SethTisue(sid14912@charlton.irccloud.com) (Ping timeout: 264 seconds)
2021-05-21 10:15:05 +0200Ekho(~Ekho@user/ekho) (Ping timeout: 264 seconds)
2021-05-21 10:15:08 +0200heath(~heath@68.68.64.38)
2021-05-21 10:15:29 +0200jonn(~sweater@206.81.18.26)
2021-05-21 10:16:17 +0200SethTisue(sid14912@id-14912.charlton.irccloud.com)
2021-05-21 10:16:27 +0200Ekho(~Ekho@user/ekho)
2021-05-21 10:16:58 +0200stefan-_(~cri@42dots.de) (Ping timeout: 264 seconds)
2021-05-21 10:17:51 +0200jhill(sid1055@tinside.irccloud.com) (Ping timeout: 264 seconds)
2021-05-21 10:17:51 +0200Xe(~cadey@user/xe) (Ping timeout: 264 seconds)
2021-05-21 10:17:52 +0200stefan-_(~cri@42dots.de)
2021-05-21 10:17:54 +0200Cadey(~cadey@user/xe)
2021-05-21 10:18:05 +0200acowley(~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Ping timeout: 264 seconds)
2021-05-21 10:18:07 +0200jhill_(sid1055@id-1055.tinside.irccloud.com)
2021-05-21 10:18:51 +0200ddellacosta(~ddellacos@89.46.62.33)
2021-05-21 10:19:09 +0200jakzale(uid499518@id-499518.charlton.irccloud.com)
2021-05-21 10:19:43 +0200heath(~heath@68.68.64.38) (Ping timeout: 245 seconds)
2021-05-21 10:20:00 +0200amk(~amk@176.61.106.150)
2021-05-21 10:20:26 +0200Square(~Squarism4@90-231-27-135-no51.tbcn.telia.com)
2021-05-21 10:20:29 +0200nsilv(~nsilv@212.103.198.210) (Ping timeout: 248 seconds)
2021-05-21 10:20:42 +0200acowley(~acowley@c-68-83-22-43.hsd1.nj.comcast.net)
2021-05-21 10:21:06 +0200GZJ0X_(~GZJ0X@185.212.59.97.16clouds.com) (Remote host closed the connection)
2021-05-21 10:23:03 +0200ddellacosta(~ddellacos@89.46.62.33) (Ping timeout: 245 seconds)
2021-05-21 10:24:15 +0200gzj(~GZJ0X@185.212.59.97.16clouds.com)
2021-05-21 10:24:17 +0200stefan-_(~cri@42dots.de) (Quit: ZNC 1.6.3+deb1ubuntu0.2 - http://znc.in)
2021-05-21 10:24:30 +0200stefan-_(~cri@42dots.de)
2021-05-21 10:25:19 +0200heath(~heath@68.68.64.38)
2021-05-21 10:26:20 +0200nsilv(~nsilv@212.103.198.210)
2021-05-21 10:28:23 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no)
2021-05-21 10:31:35 +0200Morrow(~Morrow@147.161.13.14) (Ping timeout: 265 seconds)
2021-05-21 10:31:35 +0200jco_(~jco@c83-248-173-38.bredband.tele2.se) (Read error: Connection reset by peer)
2021-05-21 10:33:28 +0200heath(~heath@68.68.64.38) (Ping timeout: 245 seconds)
2021-05-21 10:36:35 +0200heath(~heath@68.68.64.38)
2021-05-21 10:38:29 +0200horex539(~horex539@2a02:a03f:6aa5:a00:5506:236:73f0:6f7a) (Remote host closed the connection)
2021-05-21 10:38:57 +0200xwx(~george@user/george)
2021-05-21 10:39:03 +0200exzeta(~exzeta@client-8-84.eduroam.oxuni.org.uk)
2021-05-21 10:40:46 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-21 10:41:14 +0200peterd(~petrus@catv-86-101-33-147.catv.broadband.hu)
2021-05-21 10:42:59 +0200horex539(~horex539@2a02:a03f:6aa5:a00:5506:236:73f0:6f7a)
2021-05-21 10:43:53 +0200irc_user(uid423822@id-423822.tooting.irccloud.com)
2021-05-21 10:43:53 +0200heath(~heath@68.68.64.38) (Ping timeout: 260 seconds)
2021-05-21 10:43:55 +0200xaotuk(~xaotuk@89.110.231.41)
2021-05-21 10:45:08 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds)
2021-05-21 10:45:20 +0200heath(~heath@68.68.64.38)
2021-05-21 10:45:21 +0200xaotuk(~xaotuk@89.110.231.41) (Quit: WeeChat 3.1)
2021-05-21 10:48:55 +0200scav(sid309693@id-309693.brockwell.irccloud.com)
2021-05-21 10:49:39 +0200amahl(~amahl@dxv5skyhvr3g5s4my3mky-3.rev.dnainternet.fi)
2021-05-21 10:49:49 +0200heath(~heath@68.68.64.38) (Ping timeout: 248 seconds)
2021-05-21 10:51:28 +0200heath(~heath@68.68.64.38)
2021-05-21 10:51:49 +0200xaotuk(~xaotuk@89.110.231.41)
2021-05-21 10:53:44 +0200scav(sid309693@id-309693.brockwell.irccloud.com) ()
2021-05-21 10:53:56 +0200scav(sid309693@id-309693.brockwell.irccloud.com)
2021-05-21 10:54:41 +0200fendor_(~fendor@178.115.59.240.wireless.dyn.drei.com) (Remote host closed the connection)
2021-05-21 10:56:08 +0200heath(~heath@68.68.64.38) (Ping timeout: 260 seconds)
2021-05-21 10:56:25 +0200Robin_Jadoul(~Robin_Jad@152.67.64.160)
2021-05-21 10:56:59 +0200horex539(~horex539@2a02:a03f:6aa5:a00:5506:236:73f0:6f7a) (Remote host closed the connection)
2021-05-21 10:57:17 +0200 <pe200012> > print
2021-05-21 10:57:19 +0200 <lambdabot> <() -> IO ()>
2021-05-21 10:57:38 +0200 <pe200012> > print 1
2021-05-21 10:57:40 +0200 <lambdabot> <IO ()>
2021-05-21 10:57:54 +0200 <pe200012> > (+1) <$> [1.10 ^ 10]
2021-05-21 10:57:56 +0200 <lambdabot> [3.593742460100002]
2021-05-21 10:57:56 +0200dminuosoprepares his MMR answer card for pe200012
2021-05-21 10:59:16 +0200heath(~heath@68.68.64.38)
2021-05-21 11:01:23 +0200madjestic(~madjestic@88.159.247.120) (Ping timeout: 245 seconds)
2021-05-21 11:03:01 +0200Aran(~Aran@port-92-194-80-170.dynamic.as20676.net)
2021-05-21 11:03:08 +0200pe200012(~pe200012@119.131.208.84) (Quit: Konversation terminated!)
2021-05-21 11:03:26 +0200pe200012(~pe200012@119.131.208.84)
2021-05-21 11:04:13 +0200heath(~heath@68.68.64.38) (Ping timeout: 248 seconds)
2021-05-21 11:04:13 +0200amahl(~amahl@dxv5skyhvr3g5s4my3mky-3.rev.dnainternet.fi) (Ping timeout: 248 seconds)
2021-05-21 11:06:06 +0200wonko(~wjc@62.115.229.50)
2021-05-21 11:08:00 +0200heath(~heath@68.68.64.38)
2021-05-21 11:11:13 +0200juhp(~juhp@128.106.188.199) (Read error: Connection reset by peer)
2021-05-21 11:11:25 +0200juhp(~juhp@128.106.188.199)
2021-05-21 11:12:38 +0200heath(~heath@68.68.64.38) (Ping timeout: 245 seconds)
2021-05-21 11:12:46 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:4074:661e:32e7:5683)
2021-05-21 11:13:39 +0200madjestic(~madjestic@88.159.247.120)
2021-05-21 11:14:05 +0200cfricke(~cfricke@user/cfricke)
2021-05-21 11:15:44 +0200CadeyXe
2021-05-21 11:19:00 +0200heath(~heath@68.68.64.38)
2021-05-21 11:20:38 +0200km`(~user@220.240.84.227) (Ping timeout: 260 seconds)
2021-05-21 11:22:11 +0200prop(hugh@107.161.19.109)
2021-05-21 11:23:02 +0200geekosaur(~allbery_b@069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2021-05-21 11:23:41 +0200heath(~heath@68.68.64.38) (Ping timeout: 245 seconds)
2021-05-21 11:25:08 +0200heath(~heath@68.68.64.38)
2021-05-21 11:28:28 +0200taktoa[c](sid282096@tinside.irccloud.com) (Ping timeout: 272 seconds)
2021-05-21 11:28:54 +0200chele(~chele@user/chele)
2021-05-21 11:29:14 +0200dogu(~dogu@84.51.63.109)
2021-05-21 11:29:39 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com)
2021-05-21 11:29:58 +0200heath(~heath@68.68.64.38) (Ping timeout: 260 seconds)
2021-05-21 11:30:21 +0200chele_(~chele@user/chele) (Ping timeout: 248 seconds)
2021-05-21 11:31:33 +0200dogu(~dogu@84.51.63.109) (Client Quit)
2021-05-21 11:32:10 +0200geekosaur(~allbery_b@069-135-003-034.biz.spectrum.com)
2021-05-21 11:32:53 +0200jmct(sid160793@tinside.irccloud.com) (Ping timeout: 272 seconds)
2021-05-21 11:33:14 +0200Sigi(Sigi@107.161.19.109) (Quit: Connection closed)
2021-05-21 11:33:32 +0200hongminhee(sid295@tinside.irccloud.com) (Ping timeout: 272 seconds)
2021-05-21 11:34:10 +0200ggVGc(~ggVGc@a.lowtech.earth)
2021-05-21 11:34:10 +0200jackdk(sid373013@tinside.irccloud.com) (Ping timeout: 272 seconds)
2021-05-21 11:34:50 +0200jmct(sid160793@id-160793.tinside.irccloud.com)
2021-05-21 11:34:53 +0200python476(~user@88.160.31.174)
2021-05-21 11:34:55 +0200 <python476> o/
2021-05-21 11:34:59 +0200hongminhee(sid295@id-295.tinside.irccloud.com)
2021-05-21 11:35:29 +0200heath(~heath@68.68.64.38)
2021-05-21 11:35:38 +0200jackdk(sid373013@id-373013.tinside.irccloud.com)
2021-05-21 11:37:37 +0200tose(~tose@ip-85-160-9-220.eurotel.cz)
2021-05-21 11:37:39 +0200 <bjs> Wonder how many left on the other network are just perpetual AFK
2021-05-21 11:37:40 +0200 <bjs> I spy a jmct
2021-05-21 11:39:57 +0200heath(~heath@68.68.64.38) (Ping timeout: 248 seconds)
2021-05-21 11:40:40 +0200peterd(~petrus@catv-86-101-33-147.catv.broadband.hu) (WeeChat 3.1)
2021-05-21 11:41:04 +0200boxscape(boxscape@107.161.19.109)
2021-05-21 11:41:05 +0200kosmikus(~kosmikus@nullzig.kosmikus.org)
2021-05-21 11:41:06 +0200heath(~heath@68.68.64.38)
2021-05-21 11:42:07 +0200Gurkenglas(~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de)
2021-05-21 11:42:19 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-21 11:42:38 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 245 seconds)
2021-05-21 11:42:41 +0200john2gb(~john2gb@94-225-47-8.access.telenet.be)
2021-05-21 11:44:44 +0200madjestic(~madjestic@88.159.247.120) (Ping timeout: 252 seconds)
2021-05-21 11:45:46 +0200heath(~heath@68.68.64.38) (Ping timeout: 245 seconds)
2021-05-21 11:45:47 +0200spoonm(~spoonm@tokyo.spoonm.org)
2021-05-21 11:46:53 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
2021-05-21 11:47:57 +0200heath(~heath@68.68.64.38)
2021-05-21 11:49:14 +0200holy_(~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-21 11:52:26 +0200heath(~heath@68.68.64.38) (Ping timeout: 245 seconds)
2021-05-21 11:53:43 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr)
2021-05-21 11:56:14 +0200davve(davve@bsd.douchedata.com)
2021-05-21 11:56:20 +0200heath(~heath@68.68.64.38)
2021-05-21 11:56:23 +0200nsilv(~nsilv@212.103.198.210) (Ping timeout: 245 seconds)
2021-05-21 11:56:52 +0200jonathanclarke(~jonathanc@110.44.115.201)
2021-05-21 12:00:14 +0200__monty__(~toonn@d51A54E75.access.telenet.be)
2021-05-21 12:01:14 +0200heath(~heath@68.68.64.38) (Ping timeout: 252 seconds)
2021-05-21 12:02:05 +0200nsilv(~nsilv@212.103.198.210)
2021-05-21 12:02:20 +0200 <[exa]> bjs: a lot
2021-05-21 12:05:51 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.1)
2021-05-21 12:05:52 +0200heath(~heath@68.68.64.38)
2021-05-21 12:06:31 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-21 12:06:45 +0200juhp(~juhp@128.106.188.199)
2021-05-21 12:07:39 +0200notzmv(~zmv@user/notzmv)
2021-05-21 12:09:15 +0200gzj(~GZJ0X@185.212.59.97.16clouds.com) (Remote host closed the connection)
2021-05-21 12:10:21 +0200tose(~tose@ip-85-160-9-220.eurotel.cz) (Ping timeout: 245 seconds)
2021-05-21 12:12:01 +0200heath(~heath@68.68.64.38) (Ping timeout: 245 seconds)
2021-05-21 12:12:12 +0200protoYoyo(~protoYoyo@2a03:1b20:a:f011::a01d) (Leaving)
2021-05-21 12:14:33 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no)
2021-05-21 12:15:26 +0200heath(~heath@68.68.64.38)
2021-05-21 12:15:33 +0200titusg(~user@193.62.188.148)
2021-05-21 12:16:58 +0200doublex(~doublex@2601:542:c480:6ee0:184b:7083:f026:c689) (Ping timeout: 264 seconds)
2021-05-21 12:18:23 +0200titusg(~user@193.62.188.148) (Quit: ERC (IRC client for Emacs 26.3))
2021-05-21 12:18:58 +0200titusg(~user@193.62.188.148)
2021-05-21 12:19:00 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr) (Quit: ran away)
2021-05-21 12:20:08 +0200heath(~heath@68.68.64.38) (Ping timeout: 245 seconds)
2021-05-21 12:21:06 +0200heath(~heath@68.68.64.38)
2021-05-21 12:21:51 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-21 12:22:04 +0200juhp(~juhp@128.106.188.199)
2021-05-21 12:22:58 +0200wonko(~wjc@62.115.229.50) (Changing host)
2021-05-21 12:22:58 +0200wonko(~wjc@user/wonko)
2021-05-21 12:24:29 +0200dyeplexer(~terpin@183.87.245.219)
2021-05-21 12:24:52 +0200 <boxscape> yay just got my first ghc commit merged
2021-05-21 12:25:33 +0200xwx(~george@user/george) (Ping timeout: 245 seconds)
2021-05-21 12:25:36 +0200dyeplexer(~terpin@183.87.245.219) (Changing host)
2021-05-21 12:25:36 +0200dyeplexer(~terpin@user/dyeplexer)
2021-05-21 12:25:46 +0200heath(~heath@68.68.64.38) (Ping timeout: 245 seconds)
2021-05-21 12:26:15 +0200dyeplexer(~terpin@user/dyeplexer) (Client Quit)
2021-05-21 12:28:34 +0200MidAutumnMoon(~MidAutumn@47.57.12.162)
2021-05-21 12:28:45 +0200dyeplexer(~dyeplexer@user/dyeplexer)
2021-05-21 12:29:03 +0200satai(~satai@ip-37-188-228-35.eurotel.cz) (Quit: satai)
2021-05-21 12:31:03 +0200samhh(~samhh@90.252.103.244)
2021-05-21 12:31:46 +0200nsilv(~nsilv@212.103.198.210) (Quit: WeeChat 3.0.1)
2021-05-21 12:34:37 +0200 <cjay> nice
2021-05-21 12:34:43 +0200Robin_Jadoul(~Robin_Jad@152.67.64.160) (Ping timeout: 260 seconds)
2021-05-21 12:35:04 +0200juhppetersen
2021-05-21 12:38:04 +0200wonko(~wjc@user/wonko) (Quit: See You Space Cowboy..)
2021-05-21 12:50:25 +0200wonko(~wjc@62.115.229.50)
2021-05-21 12:51:00 +0200pcapriotti(pcapriotti@107.161.19.109)
2021-05-21 12:51:14 +0200azeem74(azeem@107.161.19.109)
2021-05-21 12:51:21 +0200lambdadog(~user@136.55.166.148)
2021-05-21 12:53:02 +0200 <tomsmeding> 🎉
2021-05-21 12:53:21 +0200azeem74(azeem@107.161.19.109) (Client Quit)
2021-05-21 12:54:30 +0200 <Hecate> hurray boxscape
2021-05-21 12:54:37 +0200 <boxscape> :)
2021-05-21 12:55:33 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-05-21 12:56:31 +0200pcapriotti(pcapriotti@107.161.19.109) (Quit: Connection closed)
2021-05-21 12:57:00 +0200lambdadog(~user@136.55.166.148) (Quit: rcirc on GNU Emacs 28.0.50)
2021-05-21 12:57:26 +0200 <prop> i was surprised at how quickly certain names were taken
2021-05-21 12:57:30 +0200 <prop> i wanted to take my forename
2021-05-21 12:57:32 +0200 <prop> but no chance
2021-05-21 12:57:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-21 12:57:35 +0200 <prop> or middle name, no chance
2021-05-21 12:57:43 +0200 <Hecate> I have a question that may sound like cargo culting, but would it be preferable to chain functions, or to call the next one inside the previous one?
2021-05-21 12:57:44 +0200lambdadog(~user@136.55.166.148)
2021-05-21 12:57:57 +0200 <prop> what do you mean hecate?
2021-05-21 12:58:03 +0200 <Hecate> so, chaining functions
2021-05-21 12:58:10 +0200 <Hecate> foo >== bar >== baz
2021-05-21 12:58:35 +0200cfricke(~cfricke@user/cfricke)
2021-05-21 12:58:41 +0200 <boxscape> as in (flip .)?
2021-05-21 12:58:42 +0200 <Hecate> or foo x = bar x ; bar y = baz y
2021-05-21 12:58:47 +0200 <boxscape> as in (flip (.))?*
2021-05-21 12:58:51 +0200 <Taneb> Hecate: I'd say chaining functions here
2021-05-21 12:59:00 +0200 <Hecate> (with a meaningful transformation of the argument inside each function, I'm not just inlining)
2021-05-21 12:59:14 +0200 <Hecate> Taneb: ok :) That's what I thought
2021-05-21 12:59:21 +0200 <Taneb> It means you can re-use them or test them individually easier
2021-05-21 12:59:24 +0200Robin_Jadoul(~Robin_Jad@152.67.64.160)
2021-05-21 12:59:26 +0200 <Hecate> yup
2021-05-21 12:59:39 +0200 <Hecate> yeah I guess continuations have some legit usage at a lower-level
2021-05-21 12:59:46 +0200 <prop> ooooh you mean to compose or write the call inside the function
2021-05-21 13:00:12 +0200pcapriotti(pcapriotti@107.161.19.109)
2021-05-21 13:00:21 +0200 <Hecate> yep
2021-05-21 13:00:52 +0200pcapriotti(pcapriotti@107.161.19.109) (Client Quit)
2021-05-21 13:01:05 +0200 <prop> i think sometimes for recursive functions at least, it is better to leave it with its fixed point argument
2021-05-21 13:01:18 +0200 <prop> the reason being is that there are caching libraries that can use the fixed point argument if i remember correctly
2021-05-21 13:01:31 +0200 <prop> but this depends on the situation ofc as to whether it matters
2021-05-21 13:01:34 +0200wonko(~wjc@62.115.229.50) (Changing host)
2021-05-21 13:01:34 +0200wonko(~wjc@user/wonko)
2021-05-21 13:01:49 +0200 <Hecate> oki doki!
2021-05-21 13:02:10 +0200 <dminuoso> Hecate: Personally Im quite fond of binding things in where clauses
2021-05-21 13:02:26 +0200infinisil(~infinisil@mail.infinisil.com)
2021-05-21 13:02:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-05-21 13:03:05 +0200 <dminuoso> Function composition is more useful when the composition itself has interesting structure, properties or reuse value
2021-05-21 13:03:17 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-21 13:04:07 +0200 <Hecate> I'm not sure what you suggest applies in the question I was asking (composition/piping vs continuations) although I am indeed fond of where clauses myself
2021-05-21 13:04:14 +0200 <maerwald> yeah, I also use $ more than ., unless . somehow feels right
2021-05-21 13:04:29 +0200fendor(~fendor@178.115.59.240.wireless.dyn.drei.com)
2021-05-21 13:04:43 +0200 <boxscape> don't tell ski
2021-05-21 13:04:57 +0200 <dminuoso> Hecate: well, its a sort of in between. rather than writing `foo (bar (quux x))` I might write `f = foo special where special = bar (quux x)`
2021-05-21 13:05:07 +0200fendor_(~fendor@178.115.59.240.wireless.dyn.drei.com)
2021-05-21 13:05:21 +0200 <dminuoso> Its hard to put into words, it largely depends on whether I want to put the focus and naming of things on the value itself, or the function.
2021-05-21 13:05:31 +0200 <Hecate> dminuoso: yeah that's still composition :3 at a lower-leve/codegen I doubt it changes much
2021-05-21 13:05:39 +0200knyppeldynan(~kristina@h-178-174-136-151.NA.cust.bahnhof.se) (Quit: Lost terminal)
2021-05-21 13:05:52 +0200 <boxscape> Oh is that what the question was about? I had assumed it was about readability
2021-05-21 13:06:04 +0200 <dminuoso> XY territory now. :)
2021-05-21 13:06:26 +0200 <prop> ? am confused too ?
2021-05-21 13:06:40 +0200 <Hecate> Taneb had a great point about testability in favour of chaining functions
2021-05-21 13:07:02 +0200 <Hecate> so I'll stick with chaining
2021-05-21 13:07:09 +0200 <Hecate> and will leave continuations to the compiler
2021-05-21 13:07:14 +0200 <dminuoso> Im quite confused now.
2021-05-21 13:07:25 +0200infinisil(~infinisil@mail.infinisil.com) (Quit: Configuring ZNC, sorry for the joins/quits!)
2021-05-21 13:07:51 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-05-21 13:08:03 +0200infinisil(~infinisil@mail.infinisil.com)
2021-05-21 13:08:25 +0200 <dminuoso> Hecate: What, to you, is the difference between "chaining functions" and "calling the next one inside the previous one"?
2021-05-21 13:08:35 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-21 13:08:38 +0200 <dminuoso> Your pseudo code examples don't parse in my head
2021-05-21 13:09:16 +0200knyppeldynan(~kristina@h-178-174-136-151.NA.cust.bahnhof.se)
2021-05-21 13:10:02 +0200 <Hecate> at the code level, function composition is flat
2021-05-21 13:10:13 +0200 <prop> personally i try to leave everything as point free as i can, but i think it is just a matter of taste really
2021-05-21 13:10:25 +0200 <prop> it is what you like?
2021-05-21 13:10:44 +0200 <dminuoso> "flat"?
2021-05-21 13:10:45 +0200 <Hecate> whereas with calling the next one inside the previous one, you call one function in your call-site, and this function will call the rest of the functions for you
2021-05-21 13:10:51 +0200 <__monty__> dminuoso: `f . g` vs `f x = something (g x)`
2021-05-21 13:11:09 +0200 <__monty__> Where the first f would be `f = something`.
2021-05-21 13:11:13 +0200 <dminuoso> __monty__: Yeah Im not sure, they sound.. confused..
2021-05-21 13:11:21 +0200 <Hecate> let me write a pastebin
2021-05-21 13:13:03 +0200 <Hecate> https://paste.tomsmeding.com/S7s8xhmO dminuoso
2021-05-21 13:13:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-05-21 13:13:37 +0200 <dminuoso> So first, those are not continuations.
2021-05-21 13:13:41 +0200 <Hecate> ah, great
2021-05-21 13:13:44 +0200 <prop> when should i use haskell.nix or cabal2nix? i'm annoyed at not having the right system dependencies like C libraries on different machines. also if i use nix can i run haskell binaries on other computers?
2021-05-21 13:13:51 +0200 <dminuoso> Secondly, you seem to be mixing monad bind and function call here.
2021-05-21 13:14:01 +0200 <dminuoso> So Im still not sure what you are asking about, exactly
2021-05-21 13:14:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-21 13:14:11 +0200 <dminuoso> Function composition is (.), not (>>=)
2021-05-21 13:14:21 +0200 <dminuoso> The monadic equivalent of function composition is (>=>/<=<)
2021-05-21 13:14:24 +0200 <Hecate> prop: cabal2nix and haskell.nix are when you want nix to handle your haskell dependencies
2021-05-21 13:14:42 +0200 <Hecate> prop: for system deps like C libraries, just write a shell.nix
2021-05-21 13:14:54 +0200 <Hecate> prop: or use stack with nix support in the stack.yaml
2021-05-21 13:15:03 +0200 <dminuoso> prop: Broadly, callCabal2Nix is closer to stack where you have curated versions, and haskell.nix gives you wider freedom in picking versions.
2021-05-21 13:15:11 +0200 <dminuoso> (though haskell.nix has a lot of other tooling around it)
2021-05-21 13:15:35 +0200 <prop> i often run out of memory compiling dependencies on other machines, does this mean i don't have to recompile dependencies?
2021-05-21 13:15:40 +0200 <prop> i'm confused sorry
2021-05-21 13:15:41 +0200 <dminuoso> and in fact, nixpkgs is closely aligned with stack resolvers, so depending on your needs that might be too tight.
2021-05-21 13:15:44 +0200 <prop> like text and stuff
2021-05-21 13:16:12 +0200 <Hecate> dminuoso: https://paste.tomsmeding.com/hV3B01OO
2021-05-21 13:16:19 +0200fendor_(~fendor@178.115.59.240.wireless.dyn.drei.com) (Quit: Leaving)
2021-05-21 13:16:19 +0200Putonlalla(~sapekiis@it-cyan.it.jyu.fi)
2021-05-21 13:16:27 +0200 <Hecate> See the difference? :-P
2021-05-21 13:16:36 +0200Putonlalla(~sapekiis@it-cyan.it.jyu.fi) ()
2021-05-21 13:17:03 +0200 <__monty__> prop: Fwiw, I don't think haskell.nix has good (any?) UI around providing external deps yet. The question has come up a bunch recently.
2021-05-21 13:18:09 +0200 <Hecate> dminuoso: I realise I must have been confused by https://en.wikipedia.org/wiki/Continuation-passing_style#CPS_in_Haskell
2021-05-21 13:18:22 +0200Putonlalla(~sapekiis@it-cyan.it.jyu.fi)
2021-05-21 13:18:24 +0200 <dminuoso> prop: and regarding cross compilation, this is one of the reasons haskell.nix exists in the first place. its an extreme PITA to do cross compilation with (call)cabal2nix
2021-05-21 13:18:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-05-21 13:18:43 +0200Putonlalla(~sapekiis@it-cyan.it.jyu.fi) (Client Quit)
2021-05-21 13:19:01 +0200Putonlalla(~sapekiis@it-cyan.it.jyu.fi)
2021-05-21 13:19:29 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-21 13:19:58 +0200 <dminuoso> prop: If you just want to cross compile for a single target, its not an issue though.
2021-05-21 13:20:12 +0200 <dminuoso> but if you want to have a matrix of targets, then you will want to start with haskell.nix right off the bat
2021-05-21 13:20:42 +0200 <prop> what do you mean by cross compile for a single target? i'd like it to run on mac os because my friend has that and also fedora because that's my laptop and ubuntu because that's my server
2021-05-21 13:21:09 +0200 <dminuoso> say you want to ship a binary for various combiations of os/arch/flags
2021-05-21 13:21:30 +0200 <dminuoso> See https://input-output-hk.github.io/haskell.nix/motivation/
2021-05-21 13:21:41 +0200 <__monty__> Tbh, I'd say go with haskell.nix from the start regardless. You do have to expect some learning curve though.
2021-05-21 13:21:56 +0200 <dminuoso> personally Im quite happy with callCabal2nix so far.
2021-05-21 13:22:19 +0200 <dminuoso> but my packages happen to compile with stackage resolver versions..
2021-05-21 13:22:32 +0200 <dminuoso> And I dont mind the other issues that spawned haskell.nix, so..
2021-05-21 13:24:48 +0200 <prop> what exactly is in the binary cache? is it just GHC or do i get the packages i rely upon built for free?
2021-05-21 13:24:54 +0200 <prop> sorry if it is a bad question
2021-05-21 13:25:07 +0200 <__monty__> With Nixpkgs infra packages are built.
2021-05-21 13:25:22 +0200 <__monty__> With haskell.nix you get less caching.
2021-05-21 13:27:27 +0200samhh(~samhh@90.252.103.244) (Quit: samhh)
2021-05-21 13:27:34 +0200mike999999x(~mike99999@85.132.254.158) (Remote host closed the connection)
2021-05-21 13:27:40 +0200samhh(~samhh@90.252.103.244)
2021-05-21 13:27:41 +0200petersenjuhp
2021-05-21 13:27:42 +0200samhh(~samhh@90.252.103.244) (Client Quit)
2021-05-21 13:27:54 +0200 <prop> ahh so haskell.nix is to make sure that you can actually build it across multiple platforms. then cabal2nix is for building the same package on the same linux distro, possibly speeding it up?
2021-05-21 13:28:03 +0200juhppetersen
2021-05-21 13:28:33 +0200 <__monty__> No.
2021-05-21 13:28:36 +0200samhh(~samhh@90.252.103.244)
2021-05-21 13:29:16 +0200petersenjuhp
2021-05-21 13:29:32 +0200 <__monty__> Nixpkgs builds a mix of stackage and hackage. Haskell.nix provides a lot more flexibility. Consequence of that is that it's easy to deviate from what's in the cache, which means you can end up building more stuff.
2021-05-21 13:29:52 +0200exzeta(~exzeta@client-8-84.eduroam.oxuni.org.uk) (Remote host closed the connection)
2021-05-21 13:30:08 +0200exzeta(~exzeta@client-8-84.eduroam.oxuni.org.uk)
2021-05-21 13:30:27 +0200 <dminuoso> prop: Roughly, cabal2nix turns a single cabal file straight into a nix derivation
2021-05-21 13:30:31 +0200samhh(~samhh@90.252.103.244) (Client Quit)
2021-05-21 13:30:41 +0200 <dminuoso> prop: haskell.nix however, rather turns a cabal build plan into a nix derivation, amongst other things.
2021-05-21 13:31:43 +0200 <dminuoso> The reason cabal2nix works at all this way, is because in nixpkgs you have - like in stackage resolvers - only one version for each package available in nixpkgs
2021-05-21 13:32:06 +0200 <__monty__> Reason I switched to haskell.nix is I got tired of manually overriding package versions and the like.
2021-05-21 13:32:19 +0200 <dminuoso> so if you want to fiddle with constraints, that means you start overlaying for each darn package, and that becomes a lot of work.
2021-05-21 13:32:28 +0200 <__monty__> Exactly.
2021-05-21 13:33:00 +0200 <__monty__> If you use a significant number of packages that aren't in stackage you run into that sooner rather than later.
2021-05-21 13:33:16 +0200malvo(~malvo@malvo.org)
2021-05-21 13:34:15 +0200 <prop> hmm, it sounds pretty complex thanks. i think i'll go with haskell.nix so i can fiddle
2021-05-21 13:34:43 +0200Pseudonym(~Pseudonym@118.211.96.219)
2021-05-21 13:35:06 +0200 <dminuoso> __monty__: Here's my favourite issue: https://github.com/NixOS/nixpkgs/issues/26561
2021-05-21 13:35:08 +0200 <dminuoso> :P
2021-05-21 13:37:51 +0200 <maerwald> that sums up nix overall
2021-05-21 13:38:04 +0200 <maerwald> rabbit holes of complexity
2021-05-21 13:38:29 +0200 <dminuoso> Yeah, it is quite representative for nix.
2021-05-21 13:38:46 +0200samhh(~samhh@90.252.103.244)
2021-05-21 13:41:23 +0200samhh(~samhh@90.252.103.244) (Client Quit)
2021-05-21 13:42:26 +0200python476(~user@88.160.31.174) (Ping timeout: 245 seconds)
2021-05-21 13:44:39 +0200Guest78(Guest78@107.161.19.109)
2021-05-21 13:47:03 +0200 <prop> could the compiler serialise modules and cache that? say you don't have to type check or anything, just do codegen and stuff
2021-05-21 13:47:11 +0200 <prop> it seems like a lot of effort though :|
2021-05-21 13:48:47 +0200geekosaur(~allbery_b@069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2021-05-21 13:48:53 +0200irc_user(uid423822@id-423822.tooting.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-21 13:49:08 +0200geekosaur(~allbery_b@069-135-003-034.biz.spectrum.com)
2021-05-21 13:52:11 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-21 13:52:24 +0200juhp(~juhp@128.106.188.199)
2021-05-21 13:53:09 +0200Raito_Bezarius(~Raito@2a01:e0a:5f9:9681:a0a0:bb76:611f:9da7)
2021-05-21 13:57:06 +0200 <merijn> prop: Metadata is serialised already
2021-05-21 13:57:20 +0200 <merijn> prop: Or you meant *inside* Nix?
2021-05-21 13:57:41 +0200alexander(~alexander@user/alexander)
2021-05-21 13:58:33 +0200Raito_Bezarius(~Raito@2a01:e0a:5f9:9681:a0a0:bb76:611f:9da7) (Changing host)
2021-05-21 13:58:33 +0200Raito_Bezarius(~Raito@user/raito-bezarius/x-8759638)
2021-05-21 13:59:07 +0200 <prop> it probably already does. i was wondering if you actually need to parse a package like text's source code and type check, desugar, or if you just get core with some metadata
2021-05-21 13:59:22 +0200 <prop> don't worry i'll look it up
2021-05-21 13:59:26 +0200 <prop> i'm sure the internet has answers
2021-05-21 14:00:06 +0200 <merijn> prop: GHC builds regular libraries (same you'd get from C/C++/etc.), but the package database also has metadata (module names, types of exported symbols, etc.)
2021-05-21 14:00:29 +0200 <prop> thank you :)))
2021-05-21 14:00:32 +0200prop(hugh@107.161.19.109) (Quit: Connection closed)
2021-05-21 14:00:33 +0200 <merijn> prop: For inlinable functions it also has preprocessed source to implement inlining while compiling other packages
2021-05-21 14:01:46 +0200shiraeeshi(~shiraeesh@46.34.207.108)
2021-05-21 14:03:53 +0200malvo(~malvo@malvo.org) (Ping timeout: 252 seconds)
2021-05-21 14:04:36 +0200malvo(~malvo@malvo.org)
2021-05-21 14:06:58 +0200xwx(~george@user/george)
2021-05-21 14:09:16 +0200nsilv(~nsilv@212.103.198.210)
2021-05-21 14:10:50 +0200nsilv(~nsilv@212.103.198.210) (Client Quit)
2021-05-21 14:11:04 +0200nsilv(~nsilv@212.103.198.210)
2021-05-21 14:11:08 +0200Guest78(Guest78@107.161.19.109) (Quit: Connection closed)
2021-05-21 14:12:59 +0200azeem34(azeem@107.161.19.109)
2021-05-21 14:17:23 +0200python476(~user@88.160.31.174)
2021-05-21 14:18:50 +0200alloca(~suppi@141.226.14.43) (Quit: WeeChat 2.8)
2021-05-21 14:19:05 +0200alloca(~suppi@141.226.14.43)
2021-05-21 14:19:45 +0200azeem34azeem
2021-05-21 14:20:14 +0200alloca(~suppi@141.226.14.43) (Client Quit)
2021-05-21 14:20:58 +0200ddellacosta(~ddellacos@86.106.121.32)
2021-05-21 14:22:00 +0200heath(~heath@68.68.64.38)
2021-05-21 14:22:57 +0200lbseale(~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-05-21 14:24:48 +0200azeem(azeem@107.161.19.109) (Quit: Connection closed)
2021-05-21 14:25:17 +0200michalz(~user@185.246.204.47) (Ping timeout: 248 seconds)
2021-05-21 14:25:21 +0200ddellacosta(~ddellacos@86.106.121.32) (Ping timeout: 245 seconds)
2021-05-21 14:25:21 +0200nsilv(~nsilv@212.103.198.210) (Ping timeout: 245 seconds)
2021-05-21 14:25:50 +0200haskman(~haskman@106.215.53.61)
2021-05-21 14:26:43 +0200heath(~heath@68.68.64.38) (Ping timeout: 260 seconds)
2021-05-21 14:27:28 +0200 <haskman> Do we have a good frictionless online haskell environment?
2021-05-21 14:27:57 +0200 <Taneb> haskman: what do you mean by online haskell environment here?
2021-05-21 14:28:03 +0200 <dminuoso> And what do you mean by frictionless?
2021-05-21 14:28:30 +0200horex539(~horex539@2a02:a03f:6aa5:a00:d04b:5fe1:dfa9:d5ee)
2021-05-21 14:28:35 +0200 <haskman> Purescript has something like this - https://try.purescript.org
2021-05-21 14:28:58 +0200 <haskman> Something that allows me to write code in a module and run it without registrations etc
2021-05-21 14:29:07 +0200 <haskman> Try Haskell is ofcourse pretty basic
2021-05-21 14:29:14 +0200 <Taneb> Hmm, I'm not aware of something like that
2021-05-21 14:29:37 +0200 <maerwald> I'm starting to like viewpatterns as way to avoid a few let bindings
2021-05-21 14:29:42 +0200 <haskman> Typescript has a fantastic environment -https://www.typescriptlang.org/play
2021-05-21 14:30:11 +0200horex539(~horex539@2a02:a03f:6aa5:a00:d04b:5fe1:dfa9:d5ee) (Remote host closed the connection)
2021-05-21 14:30:16 +0200 <python476> purescript is very tempting
2021-05-21 14:30:17 +0200 <haskman> So does ReasonML - https://reasonml.github.io/en/try
2021-05-21 14:30:26 +0200horex539(~horex539@2a02:a03f:6aa5:a00:d04b:5fe1:dfa9:d5ee)
2021-05-21 14:30:29 +0200 <python476> the tutorials are very appealing
2021-05-21 14:30:45 +0200 <haskman> Purescript is great!
2021-05-21 14:30:47 +0200 <Taneb> haskman: I note that Purescript and Typescript (I'm not sure about ReasonML) are both designed to compile to JavaScript, and Haskell is not (although it can be)
2021-05-21 14:30:57 +0200 <python476> you made apps in it haskman ?
2021-05-21 14:31:16 +0200 <aweinstock> tryhaskell.org looks like it uses hint instead of ghci, and seems to support evaluating expressions, but not commands like :type or :browse
2021-05-21 14:31:19 +0200 <haskman> Yea I've used both Haskell and PS in production several times now
2021-05-21 14:31:22 +0200sierszn-dev
2021-05-21 14:31:27 +0200zn-devsiers
2021-05-21 14:32:20 +0200michalz(~user@185.246.204.48)
2021-05-21 14:32:21 +0200 <haskman> Taneb: the JS backend definitely helps, but I feel the community should have something similar working for Haskell as well
2021-05-21 14:33:22 +0200 <haskman> aweinstock: Yeah while an online repl is nice, having the ability to create a complete module is invaluable
2021-05-21 14:33:34 +0200bm0(~bmo@45.83.220.203)
2021-05-21 14:35:20 +0200horex539(~horex539@2a02:a03f:6aa5:a00:d04b:5fe1:dfa9:d5ee) (Remote host closed the connection)
2021-05-21 14:35:45 +0200nsilv(~nsilv@212.103.198.210)
2021-05-21 14:35:47 +0200bm0(~bmo@45.83.220.203) (Client Quit)
2021-05-21 14:37:21 +0200bmo(~bmo@45.83.220.203)
2021-05-21 14:37:23 +0200samhh(~samhh@90.252.103.244)
2021-05-21 14:37:31 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-21 14:37:35 +0200bunny(~bunny@user/bunny) ()
2021-05-21 14:37:45 +0200juhp(~juhp@128.106.188.199)
2021-05-21 14:38:23 +0200samhh(~samhh@90.252.103.244) (Client Quit)
2021-05-21 14:40:00 +0200 <boxscape> is there an indexed monad package designed to work with QualifiedDo?
2021-05-21 14:40:08 +0200python476(~user@88.160.31.174) (Ping timeout: 245 seconds)
2021-05-21 14:42:12 +0200 <boxscape> realistically I probably won't use it because I'm trying to write a script that works with vanilla ghc but I'm curious
2021-05-21 14:43:02 +0200sirodoht(uid499766@brockwell.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-21 14:44:05 +0200__monty__(~toonn@d51A54E75.access.telenet.be) (Changing host)
2021-05-21 14:44:05 +0200__monty__(~toonn@user/toonn)
2021-05-21 14:45:12 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-05-21 14:45:21 +0200bmo(~bmo@45.83.220.203) (Ping timeout: 245 seconds)
2021-05-21 14:47:50 +0200 <arahael> How does one parse a hamlet file (Ie, Yesod Hamlet), into HTML?
2021-05-21 14:54:33 +0200zfnmxt(~zfnmxt@206.28.68.51.lunanode-rdns.com) (Changing host)
2021-05-21 14:54:33 +0200zfnmxt(~zfnmxt@user/zfnmxt)
2021-05-21 14:55:16 +0200 <arahael> The trouble I have is that I can get a `Q Exp`, and then I have no idea what to do with it.
2021-05-21 14:56:56 +0200 <xerox> arahael: along the lines of renderHtmlBuilder $(shamletFile "../foo.hamlet")
2021-05-21 14:58:03 +0200 <arahael> xerox: How did you find that?
2021-05-21 14:58:30 +0200 <xerox> https://github.com/search?q=shamletFile&type=code (:
2021-05-21 14:59:26 +0200 <arahael> Hmm, ok, so I'm now wondering how that works... Is the '$(...)' bit a quasi-quoter or something?
2021-05-21 14:59:40 +0200 <xerox> yeah
2021-05-21 14:59:41 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-05-21 15:00:18 +0200 <xerox> https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/template_haskell.html
2021-05-21 15:00:24 +0200 <xerox> called a "splice" apparently
2021-05-21 15:00:33 +0200 <nsilv> it's a splice, it basically expands the (Q a) into an a at compile time
2021-05-21 15:00:48 +0200erickgnavar(~user@189.216.64.154)
2021-05-21 15:01:17 +0200 <arahael> Interesting. And I can't do it at runtime?
2021-05-21 15:01:48 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 245 seconds)
2021-05-21 15:02:15 +0200 <nsilv> in this case, you're rendering the html at runtime, but constructing the builder (based on the hamlet file) at compile time (cause you're effectively including it at compile time inside your code, and then you're expanding it into generated haskell code)
2021-05-21 15:02:38 +0200xwx(~george@user/george) (Ping timeout: 245 seconds)
2021-05-21 15:03:02 +0200 <arahael> nsilv: Yeah. I was hoping to read the hamlet at runtime.
2021-05-21 15:03:22 +0200 <nsilv> arahael: and I don't think you can do it exclusively at runtime because iirc hamlet can embed haskell code inside and it gets typeh checked
2021-05-21 15:03:40 +0200 <arahael> Hmm. So I probalby don't want hamlet, then. I should use a different templating system.
2021-05-21 15:03:50 +0200vid0cq(vid0cq@107.161.19.109)
2021-05-21 15:04:32 +0200moistoreos(~moistoreo@99-151-203-47.lightspeed.snantx.sbcglobal.net)
2021-05-21 15:04:41 +0200 <nsilv> arahael: maybe something like https://hackage.haskell.org/package/ginger ?
2021-05-21 15:04:44 +0200Raito_BezariusRaitoBezarius
2021-05-21 15:05:11 +0200RaitoBezariusRaito_Bezarius
2021-05-21 15:05:27 +0200Raito_BezariusRaitoBezarius
2021-05-21 15:05:30 +0200RaitoBezariusRaito_Bezarius
2021-05-21 15:05:48 +0200Raito_BezariusRaitoBezarius
2021-05-21 15:06:05 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no)
2021-05-21 15:07:07 +0200Mark_(uid14803@user/mark/x-9597255)
2021-05-21 15:07:11 +0200RaitoBezarius(~Raito@user/raito-bezarius/x-8759638) (Quit: WeeChat 3.0)
2021-05-21 15:07:17 +0200 <arahael> nsilv: Ginger looks ideal :) And familiar, as well, although I note it doesn't say it's "feature complete".
2021-05-21 15:07:27 +0200Raito_Bezarius(~Raito@2a01:e0a:5f9:9681:a0a0:bb76:611f:9da7)
2021-05-21 15:07:31 +0200Raito_Bezarius(~Raito@2a01:e0a:5f9:9681:a0a0:bb76:611f:9da7) (Changing host)
2021-05-21 15:07:31 +0200Raito_Bezarius(~Raito@user/raito-bezarius/x-8759638)
2021-05-21 15:07:43 +0200Raito_BezariusRaitoBezarius
2021-05-21 15:07:52 +0200RaitoBezariusRaito__Bezarius
2021-05-21 15:08:06 +0200Raito__BezariusRedComet
2021-05-21 15:08:49 +0200 <arahael> nsilv: And it's written by our very own tdammers, too. :)
2021-05-21 15:09:02 +0200RedCometRaito
2021-05-21 15:09:12 +0200 <arahael> I'll have to give it a play soon. For now, though, bed time. 11pm and all.
2021-05-21 15:09:34 +0200RaitoRaito_Bezarius
2021-05-21 15:10:09 +0200 <xerox> arahael: looks like you can, the shakespeare module does provide runtime facilities https://hackage.haskell.org/package/shakespeare-2.0.25/docs/Text-Hamlet-Runtime.html
2021-05-21 15:10:21 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 245 seconds)
2021-05-21 15:10:46 +0200alloca(~gilmi@2a03:4000:f:7ca:7407:d1ff:fe34:8cd0)
2021-05-21 15:11:28 +0200jrm(~jrm@156.34.187.65)
2021-05-21 15:12:16 +0200y04nn(~y04nn@193.27.14.138)
2021-05-21 15:12:46 +0200 <nsilv> ah i guess it does have some limitations tho. which makes sense
2021-05-21 15:13:32 +0200 <arahael> xerox: That might be useful and what I want.
2021-05-21 15:14:05 +0200 <xerox> just don't get fooled by the word limitations, you can't do those things without compile time parsing no matter which package
2021-05-21 15:14:11 +0200 <arahael> xerox: I'll probably try that one first, then again, ginger would let me define filters and stuff...
2021-05-21 15:14:36 +0200 <arahael> But filters probably dont' belong in a template anyway.
2021-05-21 15:14:41 +0200alloca(~gilmi@2a03:4000:f:7ca:7407:d1ff:fe34:8cd0) (Changing host)
2021-05-21 15:14:41 +0200alloca(~gilmi@user/suppi)
2021-05-21 15:14:54 +0200 <xerox> what are you making?
2021-05-21 15:14:59 +0200 <arahael> Just generating a static site.
2021-05-21 15:15:23 +0200 <xerox> I was looking at options for building web services in haskell myself so I got interested in the question
2021-05-21 15:15:50 +0200 <arahael> So I want to make an exe, which just parses a bunch of templates and spits out something that it shoves into an S3 bucket or something to serve the site from that.
2021-05-21 15:16:01 +0200vid0cq(vid0cq@107.161.19.109) (Quit: Connection closed)
2021-05-21 15:16:31 +0200 <arahael> I _could_ just use the splices, but I'd rather be able to regenerate the site *quickly* every time I make a small change.
2021-05-21 15:17:21 +0200 <shiraeeshi> arahael: you fit into free quota for s3?
2021-05-21 15:18:13 +0200 <arahael> shiraeeshi: No, but s3 is cheap.
2021-05-21 15:18:27 +0200 <arahael> shiraeeshi: The free quota is only for the first year.
2021-05-21 15:19:40 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no)
2021-05-21 15:20:58 +0200nan`(~nan`@68.235.43.133) (Ping timeout: 260 seconds)
2021-05-21 15:21:44 +0200 <arahael> xerox: There are loads of static website generators, but it turns out it's fairly easy to just make one yourself. And I hate how most of them are either badly documented, or a fragile npm mess.
2021-05-21 15:21:55 +0200nan`(~nan`@68.235.43.93)
2021-05-21 15:22:21 +0200 <xerox> arahael: go for it!
2021-05-21 15:23:02 +0200 <xerox> shouldn't be infinitely hard to swap the markup language and/or allow multiple ones anyway
2021-05-21 15:24:06 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 245 seconds)
2021-05-21 15:24:14 +0200 <arahael> xerox: Yeah, I'm basically implementing something jekyll inspired. So, using restructured text with yaml frontmatter (I wanted to use dhall, but yaml turns out to be simpler), and now just need to get the "site" up so that I have something to include these restructured texts in.
2021-05-21 15:24:27 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2021-05-21 15:24:41 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2021-05-21 15:25:04 +0200 <arahael> Entire haskell implemetnation is currently less than 70 lines. I can't imagine it getting to be more than say, 200, once I've implemented all the rules I want in it.
2021-05-21 15:25:34 +0200 <arahael> Though I imagine that if it works out, it'll only grow. :(
2021-05-21 15:26:59 +0200xkapastel(uid17782@id-17782.tinside.irccloud.com)
2021-05-21 15:27:00 +0200 <arahael> G'night! And thanks for the help, both of you!
2021-05-21 15:28:16 +0200lambdadog(~user@136.55.166.148) (Ping timeout: 245 seconds)
2021-05-21 15:28:21 +0200 <xerox> nighto
2021-05-21 15:29:24 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-21 15:29:51 +0200ddellacosta(~ddellacos@89.46.62.49)
2021-05-21 15:32:06 +0200alx741(~alx741@186.178.109.76)
2021-05-21 15:33:15 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no)
2021-05-21 15:34:05 +0200ddellacosta(~ddellacos@89.46.62.49) (Ping timeout: 248 seconds)
2021-05-21 15:36:14 +0200cherryblossom000(uid500853@id-500853.stonehaven.irccloud.com)
2021-05-21 15:36:23 +0200heath(~heath@68.68.64.38)
2021-05-21 15:36:30 +0200fizbin(~fizbin@c-71-226-194-211.hsd1.nj.comcast.net)
2021-05-21 15:37:49 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 248 seconds)
2021-05-21 15:38:17 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no)
2021-05-21 15:38:59 +0200nan`_(~nan`@68.235.43.101)
2021-05-21 15:39:08 +0200 <carbolymer> why am I getting "record update is ambiguous, and requires a type signature" error? can record update change record type?
2021-05-21 15:39:25 +0200 <carbolymer> in my case record isn't parameterized
2021-05-21 15:39:34 +0200 <carter> If field is polymorphic?
2021-05-21 15:39:47 +0200Pseudonym(~Pseudonym@118.211.96.219) (Quit: Going offline, see ya! (www.adiirc.com))
2021-05-21 15:39:50 +0200 <carter> Or maybe record isn’t typed enough?
2021-05-21 15:40:24 +0200brisbin(~patrick@pool-173-49-145-161.phlapa.fios.verizon.net)
2021-05-21 15:40:55 +0200brisbinpbrisbin
2021-05-21 15:41:15 +0200nan`__(~nan`@68.235.43.141)
2021-05-21 15:41:25 +0200 <carbolymer> no, field isn't polymorphic; also record is a regular data type i.e. data Foo = Foo{ ... }
2021-05-21 15:41:43 +0200 <carbolymer> so I don't see any degrees of freedom there
2021-05-21 15:41:59 +0200 <merijn> Code + error :)
2021-05-21 15:42:05 +0200nan`(~nan`@68.235.43.93) (Ping timeout: 248 seconds)
2021-05-21 15:43:34 +0200 <pe200012> maybe you accidently enable ext DuplicateRecordFields?
2021-05-21 15:43:50 +0200Raito_Bezarius(~Raito@user/raito-bezarius/x-8759638) (Quit: free())
2021-05-21 15:44:09 +0200Raito_Bezarius(~Raito@user/raito-bezarius/x-8759638)
2021-05-21 15:44:09 +0200carbolymerchecks cabal
2021-05-21 15:44:12 +0200 <carbolymer> yep I have that
2021-05-21 15:44:30 +0200 <merijn> "So don't do that, then" ;)
2021-05-21 15:44:34 +0200nan`_(~nan`@68.235.43.101) (Ping timeout: 264 seconds)
2021-05-21 15:44:49 +0200 <carbolymer> TOTALLY MAKES SENSE NOW, EVERYTHING HAS BECOME CLEAR NOW
2021-05-21 15:44:52 +0200 <carbolymer> :)
2021-05-21 15:45:09 +0200arahaellikes that extension.
2021-05-21 15:45:19 +0200 <carbolymer> yeah, it's useful
2021-05-21 15:45:21 +0200 <merijn> arahael: Every person has flaws ;)
2021-05-21 15:45:34 +0200 <arahael> merijn: I'm deeply flawed. :)
2021-05-21 15:45:45 +0200Chobbes(~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net) (Changing host)
2021-05-21 15:45:45 +0200Chobbes(~Chobbes@user/chobbes)
2021-05-21 15:45:54 +0200 <carbolymer> like a semiconductor, flaws make perfection
2021-05-21 15:46:05 +0200 <arahael> Heh. Now, I must try getting to bed for teh second time!
2021-05-21 15:48:54 +0200xwx(~george@user/george)
2021-05-21 15:52:35 +0200ddellacosta(~ddellacos@89.46.62.131)
2021-05-21 15:53:10 +0200yumaikas(~yumaikas@2601:281:c700:4240:b14b:e0e:d243:de95)
2021-05-21 15:59:58 +0200killsushi_(~killsushi@user/killsushi/x-5912268) (Quit: Leaving)
2021-05-21 16:01:57 +0200pe200012become sleepy
2021-05-21 16:04:07 +0200bens(~bens@www.typius.com)
2021-05-21 16:04:39 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-05-21 16:06:02 +0200nan`(~nan`@68.235.43.173)
2021-05-21 16:06:32 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.1)
2021-05-21 16:06:38 +0200acecaleb
2021-05-21 16:09:07 +0200 <dmwit> dminuoso: Thanks!
2021-05-21 16:09:46 +0200nan`__(~nan`@68.235.43.141) (Ping timeout: 264 seconds)
2021-05-21 16:11:37 +0200titusg(~user@193.62.188.148) (Quit: ERC (IRC client for Emacs 26.3))
2021-05-21 16:12:40 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:4074:661e:32e7:5683) (Quit: Leaving)
2021-05-21 16:14:15 +0200amir(sid22336@stonehaven.irccloud.com) (Changing host)
2021-05-21 16:14:15 +0200amir(sid22336@user/amir)
2021-05-21 16:16:17 +0200haskman(~haskman@106.215.53.61) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-05-21 16:16:31 +0200exzeta(~exzeta@client-8-84.eduroam.oxuni.org.uk) (Remote host closed the connection)
2021-05-21 16:17:33 +0200pbrisbinrestyled-bot
2021-05-21 16:17:50 +0200restyled-botpbrisbin
2021-05-21 16:18:58 +0200pavonia(~user@user/siracusa)
2021-05-21 16:20:17 +0200Morrow(~MorrowM_@147.161.8.96)
2021-05-21 16:22:07 +0200fizbin(~fizbin@c-71-226-194-211.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-05-21 16:22:44 +0200bezik(~bezik@static.172.45.47.78.clients.your-server.de)
2021-05-21 16:25:12 +0200slowButPresent(~slowButPr@98.43.173.221)
2021-05-21 16:25:28 +0200Lord_of_Life_Lord_of_Life
2021-05-21 16:25:31 +0200Lord_of_Life(~Lord@46.217.219.213) (Changing host)
2021-05-21 16:25:31 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-05-21 16:28:18 +0200horex539(~horex539@2a02:a03f:6aa5:a00:c44a:7891:1ab2:950d)
2021-05-21 16:32:45 +0200horex539(~horex539@2a02:a03f:6aa5:a00:c44a:7891:1ab2:950d) (Ping timeout: 248 seconds)
2021-05-21 16:37:01 +0200y04nn(~y04nn@193.27.14.138) (Ping timeout: 245 seconds)
2021-05-21 16:37:16 +0200acro(~acro@user/acro)
2021-05-21 16:38:21 +0200acroacro_
2021-05-21 16:39:14 +0200acro_acro
2021-05-21 16:39:20 +0200acroacro_
2021-05-21 16:40:04 +0200autofrog(autofrog@107.161.19.109)
2021-05-21 16:40:34 +0200acro_acro
2021-05-21 16:43:02 +0200martin(~martin@88.215.103.12)
2021-05-21 16:43:45 +0200doublex(~doublex@2601:542:c480:6ee0:f1cb:c223:cba1:111f)
2021-05-21 16:45:17 +0200martin(~martin@88.215.103.12) (Client Quit)
2021-05-21 16:45:35 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-21 16:46:27 +0200nsilv(~nsilv@212.103.198.210) (Quit: WeeChat 3.0.1)
2021-05-21 16:46:41 +0200nsilv(~nsilv@212.103.198.210)
2021-05-21 16:48:28 +0200jmtd(~jon@2a00:23c7:e48a:4a01:ac66:201c:57c9:af4e)
2021-05-21 16:52:07 +0200Guest18(Guest18@107.161.19.109)
2021-05-21 16:52:45 +0200doublex(~doublex@2601:542:c480:6ee0:f1cb:c223:cba1:111f) (Quit: Leaving)
2021-05-21 16:53:00 +0200doublex(~doublex@2601:542:c480:6ee0:184b:7083:f026:c689)
2021-05-21 16:54:17 +0200ouroboros(~acro@user/ouroboros)
2021-05-21 16:54:32 +0200bitmapper(uid464869@id-464869.tooting.irccloud.com)
2021-05-21 16:56:08 +0200zrpz(~textual@2a00:1370:8133:101e:5c4a:34d1:da93:2a97)
2021-05-21 16:56:20 +0200lukeseale(~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-05-21 16:56:59 +0200nello(~nello@103.16.26.129)
2021-05-21 16:57:39 +0200acro(~acro@user/acro) (Quit: Bye.)
2021-05-21 16:57:39 +0200ouroboros(~acro@user/ouroboros) (Quit: Bye.)
2021-05-21 16:57:48 +0200lbseale(~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 260 seconds)
2021-05-21 16:58:05 +0200Guest18(Guest18@107.161.19.109) (Quit: Connection closed)
2021-05-21 16:58:21 +0200acro(~acro@user/acro)
2021-05-21 16:58:36 +0200TheRAt(~TheRAt@user/therat)
2021-05-21 16:58:52 +0200ouroboros(~ouroboros@user/ouroboros)
2021-05-21 16:59:07 +0200Sal23(~textual@cpe-67-243-23-143.hvc.res.rr.com)
2021-05-21 16:59:36 +0200Sal23(~textual@cpe-67-243-23-143.hvc.res.rr.com) (Client Quit)
2021-05-21 17:00:41 +0200zfnmxt(~zfnmxt@user/zfnmxt) (Quit: Bye!)
2021-05-21 17:01:41 +0200zfnmxt(~zfnmxt@user/zfnmxt)
2021-05-21 17:02:54 +0200TheRAt(~TheRAt@user/therat) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-21 17:02:54 +0200pe200012(~pe200012@119.131.208.84) (Quit: Konversation terminated!)
2021-05-21 17:03:16 +0200TheRAt(~TheRAt@user/therat)
2021-05-21 17:03:20 +0200WorldSEnder(~martin@88.215.103.12)
2021-05-21 17:04:32 +0200doublex(~doublex@2601:542:c480:6ee0:184b:7083:f026:c689) (Ping timeout: 265 seconds)
2021-05-21 17:05:53 +0200nello(~nello@103.16.26.129) (Quit: nello)
2021-05-21 17:06:07 +0200nello(~nello@103.16.26.129)
2021-05-21 17:06:16 +0200pe200012(~pe200012@45.87.95.45)
2021-05-21 17:07:03 +0200ddellacosta(~ddellacos@89.46.62.131) (Remote host closed the connection)
2021-05-21 17:07:29 +0200ddellacosta(~ddellacos@89.46.62.131)
2021-05-21 17:07:32 +0200samoit(~samoit@153.red-79-153-5.dynamicip.rima-tde.net)
2021-05-21 17:08:18 +0200zrpz(~textual@2a00:1370:8133:101e:5c4a:34d1:da93:2a97) (Ping timeout: 260 seconds)
2021-05-21 17:09:20 +0200samoit(~samoit@153.red-79-153-5.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-05-21 17:11:16 +0200mrosenbe(~mrosenbe@104.225.243.2)
2021-05-21 17:11:22 +0200pe200012(~pe200012@45.87.95.45) (Remote host closed the connection)
2021-05-21 17:12:01 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 245 seconds)
2021-05-21 17:12:23 +0200ddellacosta(~ddellacos@89.46.62.131) (Ping timeout: 260 seconds)
2021-05-21 17:12:36 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-21 17:13:34 +0200 <teddyc> simplest way to get this function? True -> 1, False -> 0
2021-05-21 17:13:49 +0200 <teddyc> if bool then 1 else 0
2021-05-21 17:13:55 +0200 <teddyc> is what im thinking now
2021-05-21 17:14:08 +0200lortabac_(~lortabac@2a01:e0a:541:b8f0:9c88:d7f4:4abf:ede1) (Ping timeout: 260 seconds)
2021-05-21 17:14:24 +0200 <c_wraith> > fromEnum True
2021-05-21 17:14:25 +0200 <lambdabot> 1
2021-05-21 17:14:32 +0200 <c_wraith> yeah, that should work
2021-05-21 17:14:47 +0200 <teddyc> ah, nice. thanks!
2021-05-21 17:14:53 +0200ddellacosta(~ddellacos@89.46.62.49)
2021-05-21 17:15:31 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no)
2021-05-21 17:15:45 +0200Morrow(~MorrowM_@147.161.8.96) (Remote host closed the connection)
2021-05-21 17:16:03 +0200Morrow(~MorrowM_@147.161.8.96)
2021-05-21 17:16:57 +0200azeem(azeem@107.161.19.109)
2021-05-21 17:17:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-05-21 17:18:04 +0200littlefinger(~00000000@selfhost1.threedot14.com)
2021-05-21 17:18:28 +0200Aran(~Aran@port-92-194-80-170.dynamic.as20676.net) (Ping timeout: 245 seconds)
2021-05-21 17:19:12 +0200ddellacosta(~ddellacos@89.46.62.49) (Remote host closed the connection)
2021-05-21 17:19:42 +0200ddellacosta(~ddellacos@89.46.62.49)
2021-05-21 17:21:40 +0200madjestic(~madjestic@88.159.247.120)
2021-05-21 17:22:54 +0200nello(~nello@103.16.26.129) (Quit: nello)
2021-05-21 17:23:18 +0200ddellaco_(~ddellacos@89.46.62.86)
2021-05-21 17:23:26 +0200nello(~nello@101.88.251.149)
2021-05-21 17:23:34 +0200samoit(~samoit@user/samoit/x-0249261)
2021-05-21 17:23:53 +0200ddellacosta(~ddellacos@89.46.62.49) (Ping timeout: 245 seconds)
2021-05-21 17:26:59 +0200ddellaco_(~ddellacos@89.46.62.86) (Remote host closed the connection)
2021-05-21 17:27:12 +0200ddellacosta(~ddellacos@89.46.62.86)
2021-05-21 17:28:02 +0200alexander(~alexander@user/alexander) ()
2021-05-21 17:28:12 +0200PeterD(~petrus@catv-86-101-33-147.catv.broadband.hu)
2021-05-21 17:30:08 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 245 seconds)
2021-05-21 17:30:57 +0200y04nn(~y04nn@193.27.14.138)
2021-05-21 17:31:50 +0200littlefinger(~00000000@selfhost1.threedot14.com) (Quit: Client closed)
2021-05-21 17:34:44 +0200 <ski> Hecate : i'd say the answer to your question is "it depends". (and yes, what you showed in the pastes wasn't Continuation-Passing Style. your "Continuation" alternative, i might perhaps call (not syntactically, in this case) "(internally) nested", as opposed to "(externally) composed")
2021-05-21 17:35:22 +0200 <Hecate> ski: great, thanks for the vocabulary :)
2021-05-21 17:35:43 +0200autofrog(autofrog@107.161.19.109) (Quit: Connection closed)
2021-05-21 17:36:27 +0200mikolaj_(~mikon@duch.mimuw.edu.pl) (Quit: leaving)
2021-05-21 17:36:38 +0200mikolaj(~mikon@duch.mimuw.edu.pl)
2021-05-21 17:36:53 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no)
2021-05-21 17:37:10 +0200 <ski> (one might relate your examples to CPS in some ways, but neither of them directly expresses CPS, from what i can see)
2021-05-21 17:37:12 +0200 <boxscape> is there a better way to do `parseNotes line = evalStateT parseHeader line <|> evalStateT parseRefs line`?
2021-05-21 17:37:13 +0200 <boxscape> IIUC if I write `parseNotes = evalStateT (parseHeader <|> parseRefs)`, the state isn't restored if `parseHeader` fails.
2021-05-21 17:37:29 +0200mikolaj_(~mikolaj@purple.well-typed.com)
2021-05-21 17:38:04 +0200MorrowM(~MorrowM_@147.161.12.40)
2021-05-21 17:38:07 +0200 <ski> re "depends" .. it depends on what seems to be a more natural way to analyze the problem into subproblems (set up responsibilities, interfaces, separation of concerncs, &c.)
2021-05-21 17:38:44 +0200 <boxscape> s/better/more idiomatic
2021-05-21 17:38:50 +0200ikex(~ash@user/ikex)
2021-05-21 17:39:14 +0200cnr(~cnr@user/cnr)
2021-05-21 17:39:49 +0200 <ski> if each of the composands would seem to have a separate relevancy of its own, it would seem better to write it in the "composed" style (or at least to define each of the composands separately, even if also defining the nested compositions and things-on-their-own)
2021-05-21 17:40:21 +0200Morrow(~MorrowM_@147.161.8.96) (Ping timeout: 245 seconds)
2021-05-21 17:40:50 +0200 <ski> sometimes, one can directly, or later, find other places in which to use such a composand (or find code which can be refactored to use it)
2021-05-21 17:41:00 +0200 <boxscape> looking at the Alternative instance I actually don't understand why that's the case, it looks to me like it ought to restore the state
2021-05-21 17:41:01 +0200 <boxscape> StateT m <|> StateT n = StateT $ \ s -> m s `mplus` n s
2021-05-21 17:41:33 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 260 seconds)
2021-05-21 17:41:38 +0200 <ski> but sometimes, one such composand doesn't really make much sense, in isolation from another part, and so it may make more sense to only define its composition with that other part (separately named or not)
2021-05-21 17:42:07 +0200brandonh(~brandonh@2a04:3542:1000:910:905f:f9ff:fe67:4d32)
2021-05-21 17:43:13 +0200dolio(~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-21 17:44:12 +0200littlefinger(~00000000@selfhost1.threedot14.com)
2021-05-21 17:44:24 +0200 <ski> Hecate : .. not sure how much the above helps. would probably need to see more specific code (and perhaps also get an idea of the problem domain), to attempt to give more concrete suggestion
2021-05-21 17:44:45 +0200slice(~slice@user/slice)
2021-05-21 17:44:50 +0200 <ski> boxscape : hm, can you confirm `mplus = (<|>)' for whatever parser you're using ?
2021-05-21 17:45:33 +0200 <boxscape> ski it's just Either
2021-05-21 17:45:37 +0200Deidde(~Deide@217.155.19.23)
2021-05-21 17:45:59 +0200 <boxscape> % f :: (Alternative m, MonadError () m, MonadState String m) => m String; f = (put "errorState" >> throwError ()) <|> get
2021-05-21 17:45:59 +0200 <yahb> boxscape:
2021-05-21 17:46:00 +0200 <boxscape> % flip evalState "origState" . runExceptT $ f
2021-05-21 17:46:00 +0200 <yahb> boxscape: Right "errorState"
2021-05-21 17:46:02 +0200dolio(~dolio@130.44.130.54)
2021-05-21 17:46:15 +0200 <boxscape> it looks to me here like `get` should have received "origState"
2021-05-21 17:46:17 +0200 <Hecate> ski: it does, thanks :)
2021-05-21 17:46:22 +0200 <boxscape> I must be misunderstanding something
2021-05-21 17:47:00 +0200 <boxscape> ski err wait I suppose it's ExceptT not Either, could be a different instance
2021-05-21 17:47:20 +0200azeem(azeem@107.161.19.109) (Quit: Connection closed)
2021-05-21 17:47:59 +0200 <ski> Hecate : CPS is about passing a function (a callback, called a "continuation") to your functions, and instead of giving back the result, your function will (as the last thing it does, in each branch) call this continuation callback with the result (so, technically, will return whatever the continuation returns, when passed what would otherwise be thought of as the result)
2021-05-21 17:48:27 +0200jhill_jhill
2021-05-21 17:48:53 +0200 <Hecate> ski: ok :) It's not just about nested calls but also passing the next call to the function
2021-05-21 17:49:06 +0200 <Hecate> like, foo 1 baz
2021-05-21 17:49:54 +0200haskman(~haskman@106.215.53.61)
2021-05-21 17:50:03 +0200ddellacosta(~ddellacos@89.46.62.86) (Remote host closed the connection)
2021-05-21 17:50:30 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no)
2021-05-21 17:51:13 +0200ddellacosta(~ddellacos@89.46.62.125)
2021-05-21 17:52:29 +0200 <ski> Hecate : one reason to do CPS can be efficiency. another reason is that one can do "funny" things, like deviate from "calling the continuation argument last", in certain circumstances. it's a very powerful (and also a bit hard to reason about, understand) tool for doing "control effects". CPS is also related to "monadic style", by which we mean using `foo >>= \x -> bar x >>= \y -> baz x y'
2021-05-21 17:52:34 +0200df(~ben@51.15.198.140)
2021-05-21 17:53:36 +0200samoit_(~samoit@153.red-79-153-5.dynamicip.rima-tde.net)
2021-05-21 17:53:42 +0200 <boxscape> I actually don't really understand how Except has an Alternative instance, it looks like Identity would need one but it doesn't seem to have one
2021-05-21 17:53:59 +0200 <ski> (e.g., in a language with continuation side-effects (not exactly the same as, but related to, CPS), (also you need state), given any implementation of a monad, you can "reflect" it into a corresponding side-effect. e.g. in SML/NJ, or Scheme, if you implement a parser monad, you can then reflect that into "parsing side-effects", as if the language had built-in support for keeping track of parsing under the
2021-05-21 17:54:05 +0200 <ski> covers, similarly to how many languages have native support for exceptions)
2021-05-21 17:54:13 +0200 <boxscape> oh wait, I might have misread the operator
2021-05-21 17:54:46 +0200 <boxscape> yeah ExceptT's Alternative instance uses <*> instead of <|>, so it is different from it's MonadPlus instance
2021-05-21 17:54:50 +0200 <ski> Hecate : here's an example of a `map' function, written in CPS :
2021-05-21 17:55:13 +0200 <ski> mapCPS :: (a -> (b -> o) -> o) -> ([a] -> ([b] -> o) -> o)
2021-05-21 17:55:19 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 272 seconds)
2021-05-21 17:55:31 +0200 <ski> mapCPS f [ ] k = k []
2021-05-21 17:56:06 +0200 <ski> mapCPS f (x:xs) k = f x $ \y ->
2021-05-21 17:56:12 +0200samoit(~samoit@user/samoit/x-0249261) (Quit: Leaving)
2021-05-21 17:56:15 +0200 <boxscape> (no sorry, that was wrong, I just got confused in where in the source code I was :)
2021-05-21 17:56:22 +0200 <ski> map f xs $ \ys ->
2021-05-21 17:56:26 +0200samoit_(~samoit@153.red-79-153-5.dynamicip.rima-tde.net) (Changing host)
2021-05-21 17:56:26 +0200samoit_(~samoit@user/samoit/x-0249261)
2021-05-21 17:56:32 +0200 <ski> k (y:ys)
2021-05-21 17:57:10 +0200 <ski> here's a function that works the same, but is written using the `Cont o' monad instead
2021-05-21 17:57:31 +0200 <ski> mapCont :: (a -> Cont o b) -> ([a] -> Cont o [b])
2021-05-21 17:57:42 +0200 <ski> mapCont f [ ] = return []
2021-05-21 17:58:11 +0200 <ski> mapCont f (x:xs) = f x >>= \y ->
2021-05-21 17:58:30 +0200 <ski> mapCont f xs >>= \ys ->
2021-05-21 17:58:40 +0200 <ski> return (y:ys)
2021-05-21 17:59:10 +0200 <ski> boxscape : links ?
2021-05-21 17:59:26 +0200 <boxscape> https://hackage.haskell.org/package/transformers-0.5.6.2/docs/src/Control.Monad.Trans.Except.html#…
2021-05-21 17:59:31 +0200 <boxscape> ctrl-f for MonadPlus to get the other one
2021-05-21 17:59:37 +0200 <ski> (sorry, `map' in `mapCont' was of course meant to be `mapCont'. it should call itself recursively)
2021-05-21 17:59:59 +0200 <boxscape> I completely misread the code for some reason, it just requires a Monoid instance for the errors, nothing for Identity
2021-05-21 18:00:02 +0200nsilv(~nsilv@212.103.198.210) (Quit: WeeChat 3.0.1)
2021-05-21 18:01:15 +0200 <Hecate> ski: terrifying, but thanks! :D
2021-05-21 18:02:16 +0200 <ski> boxscape : those look the same, to me
2021-05-21 18:02:31 +0200 <boxscape> ski yeah they are
2021-05-21 18:02:53 +0200Aran(~Aran@port-92-194-80-170.dynamic.as20676.net)
2021-05-21 18:03:21 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no)
2021-05-21 18:03:26 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-05-21 18:04:55 +0200saikiran(~Thunderbi@171.49.232.50)
2021-05-21 18:07:34 +0200imdoor(~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor)
2021-05-21 18:07:38 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 245 seconds)
2021-05-21 18:08:59 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1)
2021-05-21 18:09:10 +0200sirodoht(uid499766@id-499766.brockwell.irccloud.com)
2021-05-21 18:09:46 +0200amk(~amk@176.61.106.150) (Ping timeout: 264 seconds)
2021-05-21 18:09:47 +0200heath(~heath@68.68.64.38) (Quit: Lost terminal)
2021-05-21 18:10:04 +0200amk(~amk@176.61.106.150)
2021-05-21 18:10:20 +0200horex539(~horex539@2a02:a03f:6aa5:a00:79b6:6869:fb6c:f113)
2021-05-21 18:11:49 +0200pretty_dumm_guy(~trottel@92.223.89.149)
2021-05-21 18:12:23 +0200heath(~heath@68.68.64.38)
2021-05-21 18:12:25 +0200 <boxscape> tbh it looks like I should probably just be using catchError instead of <|>, my Error type doesn't have a sensible Monoid instance
2021-05-21 18:12:41 +0200jmtdJon
2021-05-21 18:12:51 +0200 <boxscape> could use <|> if ExceptT didn't try to collect errors together with <|>/mplus
2021-05-21 18:13:11 +0200JonGuest3126
2021-05-21 18:13:27 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-21 18:13:43 +0200samoit_(~samoit@user/samoit/x-0249261) (Quit: samoit_)
2021-05-21 18:14:09 +0200ikex(~ash@user/ikex) (Quit: WeeChat 3.2-dev)
2021-05-21 18:14:25 +0200 <ski> Hecate : as you can see, `mapCont' is "nested" (in terms of a call to itself), similar to one of your examples (which i why i said it could be related to CPS in some way). also, sometimes one thinks of the right operand of `>>=' as a "continuation" (what to do after executing the action to the left). however, with "true CPS", one would never nest like `(foo >>= \x -> bar x) >>= \y -> baz y' (and so, wouldn't
2021-05-21 18:14:31 +0200 <ski> write `fooBar >>= \y -> baz y', given the definition `fooBar = foo >>= \x -> bar x'), but always in the form `foo >>= \x -> (bar x >>= \y -> baz z)' (possibly naming `bar x >>= \y -> baz z', putting it in a definition of its own)
2021-05-21 18:14:46 +0200Guest3126Jon
2021-05-21 18:14:57 +0200littlefinger(~00000000@selfhost1.threedot14.com) (Ping timeout: 272 seconds)
2021-05-21 18:15:49 +0200 <Hecate> I see
2021-05-21 18:15:56 +0200Jon(~jon@2a00:23c7:e48a:4a01:ac66:201c:57c9:af4e) (Quit: Leaving)
2021-05-21 18:15:59 +0200 <ski> Hecate : anyway, if you're interested, i could try to give some more explanation of what CPS is about .. but above, i merely wanted to give some rough idea of what it is (and is not)
2021-05-21 18:16:03 +0200 <ski> @hackage managed
2021-05-21 18:16:04 +0200 <lambdabot> https://hackage.haskell.org/package/managed
2021-05-21 18:16:37 +0200Jon(jon@dow.land)
2021-05-21 18:16:37 +0200 <ski> is a simple example of an (internal) use of CPS, so you can see one thing it's good for
2021-05-21 18:16:55 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no)
2021-05-21 18:17:08 +0200mrkajetanp(~kajetan@2a01:4b00:ea36:6c00:56e9:4ef3:28ef:7ef6)
2021-05-21 18:18:50 +0200 <ski> boxscape : hm, yea
2021-05-21 18:19:07 +0200 <ski> (i'm still not clear on what difference you observed between your two alternative forms)
2021-05-21 18:19:25 +0200epolanski(uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-21 18:20:16 +0200saikiran(~Thunderbi@171.49.232.50) (Quit: saikiran)
2021-05-21 18:20:19 +0200sleym(~textual@185.124.240.146)
2021-05-21 18:21:33 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 248 seconds)
2021-05-21 18:21:36 +0200horex539(~horex539@2a02:a03f:6aa5:a00:79b6:6869:fb6c:f113) (Remote host closed the connection)
2021-05-21 18:22:46 +0200biberu(~biberu@user/biberu) (Quit: ZNC - https://znc.in)
2021-05-21 18:22:47 +0200 <ski> continuations can be used to do "inversion of control". (one classic example is to do web forms where your program will be automagically resumed at the right place, when the user submits the form on the web page). can be used to implement cooperative concurrency. (in SML/NJ, with timer interrupts, are also used to implement preemptive concurrency.) can be used to implement backtracking (e.g. for parsers)
2021-05-21 18:22:51 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 245 seconds)
2021-05-21 18:23:18 +0200Valerian(~vclerc@142.157.140.230)
2021-05-21 18:24:16 +0200bbear(~znc@21212.s.t4vps.eu)
2021-05-21 18:24:24 +0200 <bbear> hello
2021-05-21 18:24:40 +0200Valerian(~vclerc@142.157.140.230) (Client Quit)
2021-05-21 18:24:54 +0200alanz(sid110616@highgate.irccloud.com)
2021-05-21 18:25:05 +0200 <boxscape> ski: I think the thing that actually confused me is that StateT and ExceptT are not commutative
2021-05-21 18:25:07 +0200 <boxscape> % let f = (put "errorState" >> throwError ()) <|> get in runExceptT (evalStateT f "origState")
2021-05-21 18:25:07 +0200 <yahb> boxscape: Right "origState"
2021-05-21 18:25:12 +0200Valerian(~vclerc@142.157.140.230)
2021-05-21 18:25:17 +0200 <boxscape> % let f = (put "errorState" >> throwError ()) <|> get in evalStateT (runExceptT f) "origState"
2021-05-21 18:25:17 +0200 <yahb> boxscape: Right "errorState"
2021-05-21 18:25:25 +0200 <boxscape> ski I thought I was using one of these but was using the other
2021-05-21 18:25:50 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-05-21 18:26:00 +0200 <ski> ah, makes sense
2021-05-21 18:26:41 +0200 <ski> @unmtl StateT s (ExceptT e m) a
2021-05-21 18:26:41 +0200 <lambdabot> s -> m (Either e (a, s))
2021-05-21 18:26:42 +0200Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-87.cust.tzulo.com)
2021-05-21 18:26:43 +0200 <ski> @unmtl ExceptT e (StateT s m) a
2021-05-21 18:26:43 +0200 <lambdabot> s -> m (Either e a, s)
2021-05-21 18:26:52 +0200 <ski> the difference is clearly visible there ^
2021-05-21 18:27:18 +0200biberu(~biberu@user/biberu)
2021-05-21 18:27:19 +0200 <boxscape> yeah, I even thought about that but didn't realize it would make a difference for this
2021-05-21 18:28:00 +0200biberu(~biberu@user/biberu) (Remote host closed the connection)
2021-05-21 18:28:23 +0200horex539(~horex539@2a02:a03f:6aa5:a00:2d4f:5234:a998:fa61)
2021-05-21 18:28:35 +0200 <boxscape> hello bbear
2021-05-21 18:28:37 +0200sleym(~textual@185.124.240.146) (Quit: sleym)
2021-05-21 18:29:00 +0200aerona(~aerona@2600:6c54:4600:f300:a4ed:8a8a:58ad:43d0)
2021-05-21 18:29:21 +0200biberu(~biberu@user/biberu)
2021-05-21 18:29:30 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-21 18:30:32 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no)
2021-05-21 18:31:05 +0200 <siers> is hpack still relevant?
2021-05-21 18:31:09 +0200 <maerwald> no
2021-05-21 18:31:20 +0200 <maerwald> don't take my word for it
2021-05-21 18:31:30 +0200 <Hecate> siers: it still exists, is still being used by stack
2021-05-21 18:32:17 +0200ddellaco_(~ddellacos@86.106.121.92)
2021-05-21 18:32:18 +0200 <boxscape> it's optional when using stack right?
2021-05-21 18:32:39 +0200dhazel(~quassel@2601:1c1:8a00:3390:4d68:699c:e57c:f856)
2021-05-21 18:32:47 +0200 <Hecate> boxscape: yes, it's only triggered when a package.yaml is present at the top-level
2021-05-21 18:32:51 +0200horex539(~horex539@2a02:a03f:6aa5:a00:2d4f:5234:a998:fa61) (Ping timeout: 245 seconds)
2021-05-21 18:32:51 +0200Valerian(~vclerc@142.157.140.230) (Ping timeout: 245 seconds)
2021-05-21 18:32:53 +0200 <boxscape> ok
2021-05-21 18:33:12 +0200jao(~mail@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-21 18:36:03 +0200tose(~tose@ip-85-160-8-43.eurotel.cz)
2021-05-21 18:36:29 +0200ddellacosta(~ddellacos@89.46.62.125) (Ping timeout: 272 seconds)
2021-05-21 18:38:13 +0200 <ski> siers : istr people in here saying that it shouldn't be used, that even Snoyman no longer recommends it
2021-05-21 18:38:29 +0200 <MorrowM> I find that using cabal-fmt has solved the main thing hpack did for me - I find formatting cabal files by hand to be fiddly.
2021-05-21 18:38:53 +0200oxide(~lambda@user/oxide) (Ping timeout: 252 seconds)
2021-05-21 18:40:38 +0200oxide(~lambda@user/oxide)
2021-05-21 18:41:12 +0200dpeck(~dpeck@141.98.255.144)
2021-05-21 18:41:12 +0200 <dpeck> UR NOOB IRCD GOT PWNED BY LALBORNOZ FROM MIDIPIX / IRC.LIBERA.CHAT #MIDIPIX
2021-05-21 18:41:21 +0200dpeck(~dpeck@141.98.255.144) (Remote host closed the connection)
2021-05-21 18:42:07 +0200lechner(~lechner@letbox-vps.us-core.com)
2021-05-21 18:42:38 +0200Winterflow3r(~Winterflo@141.98.255.144)
2021-05-21 18:42:38 +0200 <Winterflow3r> UR NOOB IRCD GOT PWNED BY LALBORNOZ FROM MIDIPIX / IRC.LIBERA.CHAT #MIDIPIX
2021-05-21 18:42:38 +0200Winterflow3r(~Winterflo@141.98.255.144) (Client Quit)
2021-05-21 18:43:07 +0200elvishjerricco(sid237756@id-237756.brockwell.irccloud.com)
2021-05-21 18:43:50 +0200elvishjerricco(sid237756@id-237756.brockwell.irccloud.com) ()
2021-05-21 18:44:02 +0200elvishjerricco(sid237756@id-237756.brockwell.irccloud.com)
2021-05-21 18:44:26 +0200 <juri_> and so it begins.
2021-05-21 18:44:50 +0200mapgrep(~mapgrep@141.98.255.144)
2021-05-21 18:44:50 +0200 <mapgrep> UR NOOB IRCD GOT PWNED BY LALBORNOZ FROM MIDIPIX / IRC.LIBERA.CHAT #MIDIPIX
2021-05-21 18:44:50 +0200mapgrep(~mapgrep@141.98.255.144) (Remote host closed the connection)
2021-05-21 18:45:33 +0200Square(~Squarism4@90-231-27-135-no51.tbcn.telia.com) (Ping timeout: 245 seconds)
2021-05-21 18:46:43 +0200tristanC(~tristanC@user/tristanc)
2021-05-21 18:47:08 +0200 <WikiLycurgus> fwiw, in the more than 10 channels i'm in that's only happening here
2021-05-21 18:47:19 +0200 <lechner> yes
2021-05-21 18:47:45 +0200 <boxscape> it's happening in #libera as well
2021-05-21 18:48:14 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-21 18:48:23 +0200 <WikiLycurgus> that was so busy I only was there at first
2021-05-21 18:48:53 +0200 <cheater> why is the list of ops private on the channel, as well as the founder?
2021-05-21 18:49:05 +0200 <lukeseale> :G
2021-05-21 18:49:13 +0200 <WikiLycurgus> Fuchs commented on my presumption of my nick having been squatted before I realized the owner of lycr.gs just got here first
2021-05-21 18:49:31 +0200y04nn(~y04nn@193.27.14.138) (Ping timeout: 245 seconds)
2021-05-21 18:49:39 +0200 <tomjaguarpaw> Anyone got a clue about "lhs2TeX: fd:7: hGetLine: end of file"? https://paste.tomsmeding.com/cSXbVKOi
2021-05-21 18:50:05 +0200 <WikiLycurgus> sounds like an embedded tex error
2021-05-21 18:50:55 +0200 <WikiLycurgus> very common error in tex/latex when its horror of a markup lang barfs
2021-05-21 18:51:35 +0200 <tomjaguarpaw> But this is a "cabal install"!
2021-05-21 18:52:02 +0200 <WikiLycurgus> and that can't run lhs2TeX ?
2021-05-21 18:52:19 +0200 <boxscape> could be a test? Or would it say that it's running tests then?
2021-05-21 18:52:24 +0200 <tomjaguarpaw> It seems like it tries to run it after it has built it, perhaps as part of a test suite?
2021-05-21 18:52:34 +0200 <tomjaguarpaw> Right. Maybe I can tell cabal to ignore tests.
2021-05-21 18:53:00 +0200 <boxscape> it seems like cabal should be saying `Building testsuite` or whatever before that happens though, hm
2021-05-21 18:53:39 +0200 <tomjaguarpaw> Hmm, --disable-tests doesn't help :(
2021-05-21 18:53:41 +0200Aran(~Aran@port-92-194-80-170.dynamic.as20676.net) (Ping timeout: 245 seconds)
2021-05-21 18:53:57 +0200 <WikiLycurgus> so in literatep the documentation would or could or maybe should be produced at compile time
2021-05-21 18:54:35 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:2c50:e3ba:562f:9049)
2021-05-21 18:55:33 +0200exzeta(~exzeta@client0964.vpn.ox.ac.uk)
2021-05-21 18:55:33 +0200 <tomjaguarpaw> Ah well, reported as https://github.com/kosmikus/lhs2tex/issues/87
2021-05-21 18:55:59 +0200NegativeLatency(~NegativeL@141.98.255.144)
2021-05-21 18:55:59 +0200NegativeLatency(~NegativeL@141.98.255.144) (Killed (ozone (No Spam)))
2021-05-21 18:57:23 +0200Franciman(~francesco@host-80-180-196-134.pool80180.interbusiness.it) (Remote host closed the connection)
2021-05-21 18:58:34 +0200azeem(azeem@107.161.19.109)
2021-05-21 19:00:02 +0200azeem(azeem@107.161.19.109) (Client Quit)
2021-05-21 19:00:02 +0200ordinate_(~ordinate@c-68-38-144-3.hsd1.in.comcast.net)
2021-05-21 19:01:18 +0200horex539(~horex539@2a02:a03f:6aa5:a00:2d4f:5234:a998:fa61)
2021-05-21 19:01:29 +0200ordinate_(~ordinate@c-68-38-144-3.hsd1.in.comcast.net) (Client Quit)
2021-05-21 19:01:39 +0200ordinate(~ordinate@c-68-38-144-3.hsd1.in.comcast.net)
2021-05-21 19:02:10 +0200 <ordinate> oh thank god i remembered how to use hexchat
2021-05-21 19:02:14 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-21 19:02:27 +0200Deidde(~Deide@217.155.19.23) (Read error: Connection reset by peer)
2021-05-21 19:03:35 +0200 <Ariakenom> another hexchat user? absurd
2021-05-21 19:04:02 +0200 <ordinate> still have all the muscle memory from when i was 14
2021-05-21 19:04:35 +0200 <janus> ordinate: does DCC work for you? i couldn't get it working
2021-05-21 19:05:13 +0200 <ordinate> uncertain, havent tried
2021-05-21 19:05:34 +0200littlefinger(~00000000@selfhost1.threedot14.com)
2021-05-21 19:08:52 +0200flounders_(~flounders@173.246.200.33)
2021-05-21 19:09:26 +0200 <ski> janus : iirc, may depend on whether you're behind NAT or so ..
2021-05-21 19:10:02 +0200 <janus> yeah that's what i spent my time with, i assumed that if the port was open, i could get it working
2021-05-21 19:10:13 +0200 <janus> there is even a passive mode to have the open port on the other end
2021-05-21 19:10:14 +0200 <ski> (although, using the "passive" variant might help)
2021-05-21 19:10:27 +0200Morrow_(~MorrowM_@147.161.12.40)
2021-05-21 19:10:45 +0200zfnmxt_(~zfnmxt@user/zfnmxt)
2021-05-21 19:10:45 +0200exzeta_(~exzeta@client0964.vpn.ox.ac.uk)
2021-05-21 19:10:47 +0200 <janus> well it was just for kicks anyway, not really worth spending too much time with
2021-05-21 19:10:55 +0200chele_(~chele@user/chele)
2021-05-21 19:10:55 +0200 <janus> i just wanted to understand people's nostalgy :P
2021-05-21 19:11:07 +0200cnr-(~cnr@user/cnr)
2021-05-21 19:11:09 +0200 <monochrom> I use hexchat too. Bite me.
2021-05-21 19:11:23 +0200skibites
2021-05-21 19:11:31 +0200horex539(~horex539@2a02:a03f:6aa5:a00:2d4f:5234:a998:fa61) (Remote host closed the connection)
2021-05-21 19:11:41 +0200 <glguy> Is this one of those Alice in Wonderland things? What transformation happens?
2021-05-21 19:11:46 +0200 <ski> (HexChat isn't too bad)
2021-05-21 19:11:47 +0200russruss3(~russruss@my.russellmcc.com)
2021-05-21 19:12:00 +0200 <monochrom> And hexchat would be the one that doesn't need any remembering to use, if anything.
2021-05-21 19:12:01 +0200jay_invariant(~jay@136-25-171-46.cab.webpass.net)
2021-05-21 19:12:10 +0200 <maerwald> glguy: we're all vampires... did you not know?
2021-05-21 19:12:14 +0200chele(~chele@user/chele) (Killed (rhodium.libera.chat (Nickname regained by services)))
2021-05-21 19:12:14 +0200chele_chele
2021-05-21 19:12:20 +0200Organizers|Robin(~Robin_Jad@152.67.64.160)
2021-05-21 19:12:32 +0200Organizers|Robin(~Robin_Jad@152.67.64.160) (Client Quit)
2021-05-21 19:12:45 +0200madjestic(~madjestic@88.159.247.120) (Ping timeout: 248 seconds)
2021-05-21 19:12:46 +0200Organizers|Robin(~Robin_Jad@152.67.64.160)
2021-05-21 19:12:57 +0200smarton(~smarton@121407.xyz)
2021-05-21 19:13:00 +0200Robin_Jadoul(~Robin_Jad@152.67.64.160) (Killed (NickServ (GHOST command used by Organizers|Robin)))
2021-05-21 19:13:04 +0200Organizers|RobinRobin_Jadoul
2021-05-21 19:13:08 +0200hiruji-(~hiruji@72.74.190.75)
2021-05-21 19:13:19 +0200mikolaj__(~mikon@duch.mimuw.edu.pl)
2021-05-21 19:13:19 +0200colesantiago(~colesanti@45.83.220.170)
2021-05-21 19:13:19 +0200colesantiago(~colesanti@45.83.220.170) (Killed (ozone (No Spam)))
2021-05-21 19:13:25 +0200chele(~chele@user/chele) (Remote host closed the connection)
2021-05-21 19:13:33 +0200BadCoder1(~john@user/badcoderfinger)
2021-05-21 19:13:53 +0200space-shell(space-shel@107.161.19.109)
2021-05-21 19:14:07 +0200fiddlerwoaroof_(~fiddlerwo@user/fiddlerwoaroof)
2021-05-21 19:14:09 +0200WorldSEnder1(~martin@88.215.103.12)
2021-05-21 19:14:30 +0200codolio(~dolio@130.44.130.54)
2021-05-21 19:14:56 +0200oxide_(~lambda@user/oxide)
2021-05-21 19:15:06 +0200tomek(~erzet@83.25.12.106.ipv4.supernova.orange.pl)
2021-05-21 19:15:19 +0200sszark2(~sszark@h-85-24-213-180.A392.priv.bahnhof.se)
2021-05-21 19:15:40 +0200bens_(~bens@www.typius.com)
2021-05-21 19:16:08 +0200hueso_(~root@152.170.89.151)
2021-05-21 19:16:27 +0200 <ordinate> god i wish irssi wasnt a pain to use on wsl or else id be using that
2021-05-21 19:17:16 +0200dcheung(~dcheung@53.19.237.35.bc.googleusercontent.com)
2021-05-21 19:17:24 +0200dcheung(~dcheung@53.19.237.35.bc.googleusercontent.com) ()
2021-05-21 19:17:42 +0200 <monochrom> We were all help vampires once upon a Halloween.
2021-05-21 19:18:10 +0200 <janus> ordinate: why is it a pain on wsl?
2021-05-21 19:18:27 +0200 <ordinate> mouse weirdness........
2021-05-21 19:18:41 +0200 <janus> oh, i have not attempted to use the mouse with irssi
2021-05-21 19:18:53 +0200Aran(~Aran@port-92-194-80-170.dynamic.as20676.net)
2021-05-21 19:18:53 +0200acro_(~acro@user/acro)
2021-05-21 19:18:53 +0200 <maerwald> try weechat
2021-05-21 19:19:07 +0200 <mrosenbe> I did not know that irssi has any mouse integratin at all.
2021-05-21 19:19:11 +0200 <monochrom> Me, I don't even expect WSL to see your mouse.
2021-05-21 19:20:03 +0200 <janus> i think really only the terminal emulator has to see it, the mouse clicks go over the character device like everything else, i'd think?
2021-05-21 19:20:06 +0200oxide(~lambda@user/oxide) (*.net *.split)
2021-05-21 19:20:06 +0200exzeta(~exzeta@client0964.vpn.ox.ac.uk) (*.net *.split)
2021-05-21 19:20:06 +0200haskman(~haskman@106.215.53.61) (*.net *.split)
2021-05-21 19:20:06 +0200dolio(~dolio@130.44.130.54) (*.net *.split)
2021-05-21 19:20:06 +0200cnr(~cnr@user/cnr) (*.net *.split)
2021-05-21 19:20:06 +0200MorrowM(~MorrowM_@147.161.12.40) (*.net *.split)
2021-05-21 19:20:06 +0200mikolaj(~mikon@duch.mimuw.edu.pl) (*.net *.split)
2021-05-21 19:20:06 +0200zfnmxt(~zfnmxt@user/zfnmxt) (*.net *.split)
2021-05-21 19:20:06 +0200WorldSEnder(~martin@88.215.103.12) (*.net *.split)
2021-05-21 19:20:06 +0200acro(~acro@user/acro) (*.net *.split)
2021-05-21 19:20:06 +0200bens(~bens@www.typius.com) (*.net *.split)
2021-05-21 19:20:06 +0200yumaikas(~yumaikas@2601:281:c700:4240:b14b:e0e:d243:de95) (*.net *.split)
2021-05-21 19:20:06 +0200michalz(~user@185.246.204.48) (*.net *.split)
2021-05-21 19:20:06 +0200dyeplexer(~dyeplexer@user/dyeplexer) (*.net *.split)
2021-05-21 19:20:06 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com) (*.net *.split)
2021-05-21 19:20:06 +0200jonn(~sweater@206.81.18.26) (*.net *.split)
2021-05-21 19:20:06 +0200flounders(~flounders@173.246.200.33) (*.net *.split)
2021-05-21 19:20:06 +0200russruss(~russruss@my.russellmcc.com) (*.net *.split)
2021-05-21 19:20:06 +0200aforemny(~aforemny@static.248.158.34.188.clients.your-server.de) (*.net *.split)
2021-05-21 19:20:06 +0200sszark1(~sszark@h-85-24-213-180.A392.priv.bahnhof.se) (*.net *.split)
2021-05-21 19:20:06 +0200erzet(~erzet@83.25.12.106.ipv4.supernova.orange.pl) (*.net *.split)
2021-05-21 19:20:06 +0200bec(bec@user/bec) (*.net *.split)
2021-05-21 19:20:06 +0200jay-invariant(~jay@136-25-171-46.cab.webpass.net) (*.net *.split)
2021-05-21 19:20:06 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (*.net *.split)
2021-05-21 19:20:06 +0200cbarrett(sid192934@id-192934.brockwell.irccloud.com) (*.net *.split)
2021-05-21 19:20:06 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643) (*.net *.split)
2021-05-21 19:20:06 +0200fiddlerwoaroof(~fiddlerwo@user/fiddlerwoaroof) (*.net *.split)
2021-05-21 19:20:06 +0200hueso(~root@152.170.89.151) (*.net *.split)
2021-05-21 19:20:06 +0200BadCoderFinger(~john@user/badcoderfinger) (*.net *.split)
2021-05-21 19:20:06 +0200UpstreamSalmon(uid12077@id-12077.stonehaven.irccloud.com) (*.net *.split)
2021-05-21 19:20:06 +0200davve(davve@bsd.douchedata.com) (*.net *.split)
2021-05-21 19:20:06 +0200hiruji(~hiruji@user/hiruji) (*.net *.split)
2021-05-21 19:20:06 +0200acro_acro
2021-05-21 19:20:06 +0200russruss3russruss
2021-05-21 19:20:13 +0200 <boxscape> that sounds right to me
2021-05-21 19:20:31 +0200 <monochrom> \∩/ first netsplit on libera! We are witnessing history!
2021-05-21 19:20:40 +0200 <boxscape> ordinate maybe it works better with a different terminal emulator
2021-05-21 19:21:09 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-05-21 19:21:20 +0200 <ordinate> yea i should really try that first
2021-05-21 19:21:44 +0200 <ordinate> another step on my quest to be a super linux poweruser
2021-05-21 19:21:44 +0200 <drakonis> nah man
2021-05-21 19:21:49 +0200 <drakonis> i've seen the first netsplit on day 1
2021-05-21 19:21:49 +0200 <janus> ordinate: i know windows terminal has built in WSL support now
2021-05-21 19:22:02 +0200 <monochrom> nice
2021-05-21 19:22:13 +0200 <ordinate> wait theres a windows terminal???
2021-05-21 19:22:21 +0200 <boxscape> yeah you can get it from the microsoft store
2021-05-21 19:22:36 +0200 <boxscape> they even added a settings GUI recently instead of just a JSON file
2021-05-21 19:22:37 +0200 <janus> they push it a lot, and it is open source, has tabs and stuff
2021-05-21 19:22:39 +0200UpstreamSalmon(uid12077@id-12077.stonehaven.irccloud.com)
2021-05-21 19:22:45 +0200cbarrett(sid192934@id-192934.brockwell.irccloud.com)
2021-05-21 19:22:45 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com)
2021-05-21 19:22:53 +0200yumaikas(~yumaikas@2601:281:c700:4240:b14b:e0e:d243:de95)
2021-05-21 19:22:56 +0200 <ordinate> oh this is so cute im using this immediately
2021-05-21 19:22:59 +0200 <janus> just using a json file was impressive to me, 20 years ago they would have used the registry ;)
2021-05-21 19:23:06 +0200 <boxscape> (also it supports Fira Code's ligatures)
2021-05-21 19:23:16 +0200 <ordinate> terminus 4 lyfe
2021-05-21 19:23:18 +0200 <boxscape> janus good point
2021-05-21 19:23:29 +0200 <monochrom> I agree about registry :)
2021-05-21 19:23:42 +0200 <space-shell> alacritty isn't bad
2021-05-21 19:23:51 +0200 <maerwald> space-shell: depends
2021-05-21 19:23:54 +0200 <janus> ordinate: but really, irssi is quite portable, so i think it probably works fine in msys2 also. seems kinda weird running a whole linux kernel for irssi if the program you're actually using doesn't need it
2021-05-21 19:24:22 +0200aforemny(~aforemny@static.248.158.34.188.clients.your-server.de)
2021-05-21 19:24:23 +0200 <maerwald> space-shell: it's annoyingly broken when you want to ssh, has memory consumption issues and problem on nvidia gpu
2021-05-21 19:24:32 +0200 <ordinate> i honestly just want something to look at while i wait for nix-build to finish
2021-05-21 19:24:32 +0200 <maerwald> also: some of the devs are hostile
2021-05-21 19:24:38 +0200 <janus> ordinate: msys uses its own terminal emulator called Mintty, i think, i used to have msys running in windows terminal but i dunno how to do it with the new releases. there is probably a way
2021-05-21 19:24:40 +0200 <ordinate> absolutely adore dvtm for this purpose
2021-05-21 19:25:13 +0200 <maerwald> regardless, I use it myself, but I'm not too convinced
2021-05-21 19:25:15 +0200amahl(~amahl@dxv5skydn0bd-5x3rclnt-3.rev.dnainternet.fi)
2021-05-21 19:25:19 +0200 <janus> ordinate: but consider that msys is using mintty because its fits their POSIX emulation story really well. so i think it absolutely has mouse support
2021-05-21 19:25:28 +0200 <monochrom> I also agree about IRC for killing time :)
2021-05-21 19:25:28 +0200 <space-shell> maerwald, I've not had memory issues but I've had glitching in WSL have you tried wezterm?
2021-05-21 19:25:45 +0200 <monochrom> in fact s/IRC/lurking in IRC/
2021-05-21 19:25:57 +0200dyeplexer(~dyeplexer@user/dyeplexer)
2021-05-21 19:26:55 +0200 <maerwald> space-shell: https://tinyurl.com/rafdyp22
2021-05-21 19:27:23 +0200horex539(~horex539@2a02:a03f:6aa5:a00:a0cf:b79a:7d3c:169a)
2021-05-21 19:28:08 +0200pupdogg(~pupdogg@141.98.255.145)
2021-05-21 19:28:08 +0200pupdogg(~pupdogg@141.98.255.145) (Killed (ozone (No Spam)))
2021-05-21 19:29:09 +0200_dwt(~dwt@2601:2c6:8080:618:4549:992b:1f6b:681e)
2021-05-21 19:29:18 +0200 <EvanR> boxscape: dunno if you highlighted me yesterday but i got disconnected
2021-05-21 19:29:33 +0200 <boxscape> erm I don't remember what we talked about yesterday :)
2021-05-21 19:29:40 +0200 <EvanR> fair
2021-05-21 19:31:32 +0200natechan(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9)
2021-05-21 19:31:57 +0200horex539(~horex539@2a02:a03f:6aa5:a00:a0cf:b79a:7d3c:169a) (Ping timeout: 248 seconds)
2021-05-21 19:35:28 +0200 <ski> drakonis : day one, or day zero ?
2021-05-21 19:35:46 +0200 <drakonis> day zero
2021-05-21 19:35:51 +0200 <drakonis> the moment it opened
2021-05-21 19:36:16 +0200 <monochrom> Darn
2021-05-21 19:36:27 +0200Aran(~Aran@port-92-194-80-170.dynamic.as20676.net) (Quit: Leaving)
2021-05-21 19:38:48 +0200caasih(sid13241@charlton.irccloud.com) ()
2021-05-21 19:39:00 +0200caasih(sid13241@id-13241.charlton.irccloud.com)
2021-05-21 19:39:10 +0200sondre(~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 264 seconds)
2021-05-21 19:42:30 +0200 <ordinate> after a horrendous amount of struggle, ive finally installed puredata in a way that doesnt leak memory
2021-05-21 19:42:33 +0200Deewiant(~deewiant@de1.ut.deewiant.iki.fi)
2021-05-21 19:42:36 +0200 <ordinate> time to learn hosc
2021-05-21 19:44:01 +0200 <mrosenbe> #haskell is dead, long live #haskell
2021-05-21 19:44:20 +0200Morrow_(~MorrowM_@147.161.12.40) (Ping timeout: 252 seconds)
2021-05-21 19:44:57 +0200 <monochrom> So dramatic...
2021-05-21 19:46:52 +0200 <boxscape> does text have a function to escape a text, like `show` does on Strings?
2021-05-21 19:47:31 +0200 <boxscape> % show "\\"
2021-05-21 19:47:31 +0200 <yahb> boxscape: "\"\\\\\""
2021-05-21 19:48:03 +0200 <monochrom> I think show escapes Text too. Then again the output is String not Text.
2021-05-21 19:48:44 +0200 <boxscape> hm I guess (T.pack . show) x isn't too bad
2021-05-21 19:48:53 +0200janus(janus@anubis.0x90.dk) (CPU quota exceeded)
2021-05-21 19:49:06 +0200 <boxscape> % (Data.Text.pack . show) (Data.Text.pack "\\")
2021-05-21 19:49:06 +0200 <yahb> boxscape: "\"\\\\\""
2021-05-21 19:49:08 +0200 <boxscape> yeah
2021-05-21 19:49:14 +0200xlei(znc@pool-68-129-84-118.nycmny.fios.verizon.net)
2021-05-21 19:49:29 +0200 <boxscape> good enough for my purposes
2021-05-21 19:50:32 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Remote host closed the connection)
2021-05-21 19:50:55 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com)
2021-05-21 19:51:36 +0200tose(~tose@ip-85-160-8-43.eurotel.cz) (Ping timeout: 245 seconds)
2021-05-21 19:52:16 +0200PeterD(~petrus@catv-86-101-33-147.catv.broadband.hu) (WeeChat 3.1)
2021-05-21 19:54:31 +0200littlefinger(~00000000@selfhost1.threedot14.com) (Quit: Client closed)
2021-05-21 19:59:09 +0200Ariakenom_(~Ariakenom@2001:9b1:efb:fc00:2c50:e3ba:562f:9049)
2021-05-21 19:59:31 +0200ddellacosta(~ddellacos@86.106.121.92)
2021-05-21 19:59:38 +0200madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-05-21 19:59:40 +0200FreeVariable(FreeVariab@107.161.19.109)
2021-05-21 19:59:45 +0200ddellaco_(~ddellacos@86.106.121.92) (Read error: Connection reset by peer)
2021-05-21 19:59:52 +0200 <yin> someone whould really update https://www.haskell.org/irc
2021-05-21 19:59:52 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2021-05-21 20:00:24 +0200ordinate(~ordinate@c-68-38-144-3.hsd1.in.comcast.net) (Read error: Connection reset by peer)
2021-05-21 20:00:24 +0200ordinate_(~ordinate@c-68-38-144-3.hsd1.in.comcast.net)
2021-05-21 20:00:24 +0200ordinate_(~ordinate@c-68-38-144-3.hsd1.in.comcast.net) (Client Quit)
2021-05-21 20:00:24 +0200erickgnavar(~user@189.216.64.154) (Ping timeout: 245 seconds)
2021-05-21 20:01:23 +0200malvo(~malvo@malvo.org) (Ping timeout: 245 seconds)
2021-05-21 20:01:24 +0200lyxia(~lyxia@poisson.chat) (Quit: WeeChat 3.1)
2021-05-21 20:01:32 +0200WikiLycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-21 20:01:36 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:2c50:e3ba:562f:9049) (Ping timeout: 245 seconds)
2021-05-21 20:01:40 +0200Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-87.cust.tzulo.com) (Read error: Connection reset by peer)
2021-05-21 20:01:54 +0200Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-87.cust.tzulo.com)
2021-05-21 20:02:27 +0200xkapastel(uid17782@id-17782.tinside.irccloud.com) (Ping timeout: 245 seconds)
2021-05-21 20:02:40 +0200lechner(~lechner@letbox-vps.us-core.com) (Quit: WeeChat 3.0)
2021-05-21 20:02:54 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-05-21 20:03:02 +0200malvo(~malvo@malvo.org)
2021-05-21 20:03:25 +0200azeem(azeem@107.161.19.109)
2021-05-21 20:04:19 +0200tomek(~erzet@83.25.12.106.ipv4.supernova.orange.pl) (Quit: WeeChat 2.8)
2021-05-21 20:04:47 +0200xkapastel(uid17782@id-17782.tinside.irccloud.com)
2021-05-21 20:04:49 +0200FreeVariable(FreeVariab@107.161.19.109) (Quit: Connection closed)
2021-05-21 20:04:56 +0200hongminhee(sid295@id-295.tinside.irccloud.com) (Ping timeout: 245 seconds)
2021-05-21 20:05:35 +0200hongminhee(sid295@id-295.tinside.irccloud.com)
2021-05-21 20:05:45 +0200lechner(~lechner@letbox-vps.us-core.com)
2021-05-21 20:07:02 +0200jao`(~mail@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-21 20:07:31 +0200 <boxscape> equality constraints are also carries around in a dictionary right?
2021-05-21 20:08:02 +0200 <ski> i'd expect not
2021-05-21 20:08:04 +0200jao(~mail@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Killed (NickServ (GHOST command used by jao`)))
2021-05-21 20:08:08 +0200 <boxscape> s/carries/carried
2021-05-21 20:08:11 +0200 <boxscape> oh
2021-05-21 20:08:18 +0200jao`jao
2021-05-21 20:08:18 +0200 <maerwald> yin: https://github.com/haskell-infra/www.haskell.org/pull/84/files
2021-05-21 20:08:19 +0200 <boxscape> ski would that mean they have no runtime cost?
2021-05-21 20:08:36 +0200 <ski> (if they were carrying an actual isomorphism, rather than representational equality, they would have to)
2021-05-21 20:09:02 +0200 <boxscape> right that makes sense
2021-05-21 20:09:03 +0200 <ski> boxscape : i haven't looked at how things are actually implemented, but that's what i'd assume, yes
2021-05-21 20:09:10 +0200 <boxscape> okay, cheers
2021-05-21 20:09:19 +0200Franciman(~francesco@host-80-180-196-134.pool80180.interbusiness.it)
2021-05-21 20:11:45 +0200 <ski> yin,maerwald : maybe it'd make sense to list both, interrim. or maybe it'd be better to await some sort of official decision ..
2021-05-21 20:12:05 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 264 seconds)
2021-05-21 20:12:08 +0200 <maerwald> freenode is flooded with spam afaih, so...
2021-05-21 20:12:10 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-05-21 20:12:36 +0200paolino-tunnel(~paolo@84.33.178.37)
2021-05-21 20:12:37 +0200 <ski> we had a little bit of spam in here, not long ago
2021-05-21 20:12:48 +0200autofrog(autofrog@107.161.19.109)
2021-05-21 20:12:52 +0200sondre(~sondrelun@cm-84.212.100.140.getinternet.no)
2021-05-21 20:13:42 +0200paolino-tunnelpaolino
2021-05-21 20:13:42 +0200zeph(~zeph@59.88.30.92)
2021-05-21 20:15:26 +0200bontaq`(~user@ec2-18-235-23-153.compute-1.amazonaws.com)
2021-05-21 20:16:11 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 245 seconds)
2021-05-21 20:16:51 +0200wennefer0(~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net)
2021-05-21 20:17:49 +0200bontaq(~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 272 seconds)
2021-05-21 20:18:40 +0200sirodoht(uid499766@id-499766.brockwell.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-21 20:19:02 +0200jneira(5127aca6@unknownnetwork-a.clients.kiwiirc.com) (Quit: Connection closed)
2021-05-21 20:19:41 +0200wennefer0(~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net) (Remote host closed the connection)
2021-05-21 20:21:02 +0200arw(~arw@impulse.informatik.uni-erlangen.de)
2021-05-21 20:22:41 +0200azeem(azeem@107.161.19.109) (Quit: Connection closed)
2021-05-21 20:22:54 +0200irc_user(uid423822@id-423822.tooting.irccloud.com)
2021-05-21 20:23:29 +0200brandonh(~brandonh@2a04:3542:1000:910:905f:f9ff:fe67:4d32) (Quit: brandonh)
2021-05-21 20:26:33 +0200 <tomsmeding> edwardk: preliminary multi-network support in ircbrowse! https://ircbrowse.tomsmeding.com
2021-05-21 20:26:49 +0200 <tomsmeding> there's bound to be stuff that doesn't work though
2021-05-21 20:27:38 +0200hiruji-(~hiruji@72.74.190.75) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-21 20:28:52 +0200 <davean> tomsmeding: nice
2021-05-21 20:29:26 +0200Robin_Jadoul(~Robin_Jad@152.67.64.160) (Ping timeout: 252 seconds)
2021-05-21 20:29:52 +0200 <tomsmeding> it's kiiind of hacked in, but I hope the code follows its own conventions as much as I think it does :)
2021-05-21 20:30:50 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-05-21 20:31:16 +0200hiruji(~hiruji@72.74.190.75)
2021-05-21 20:31:31 +0200Guest3497(~nitrix@ns569831.ip-51-79-81.net) (Changing host)
2021-05-21 20:31:31 +0200Guest3497(~nitrix@user/nitrix)
2021-05-21 20:31:37 +0200Guest3497nitrix
2021-05-21 20:31:38 +0200cnr-(~cnr@user/cnr) (Ping timeout: 252 seconds)
2021-05-21 20:31:47 +0200oxide_oxide
2021-05-21 20:32:44 +0200dyeplexer(~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2021-05-21 20:33:26 +0200xwx(~george@user/george) (Quit: leaving)
2021-05-21 20:34:29 +0200xwx(~george@user/george)
2021-05-21 20:39:56 +0200 <edwardk> tomsmeding: you rock
2021-05-21 20:40:26 +0200 <tomsmeding> :)
2021-05-21 20:42:21 +0200xwx(~george@user/george) (Ping timeout: 248 seconds)
2021-05-21 20:42:44 +0200river(~river@user/river)
2021-05-21 20:43:10 +0200xwx(~george@user/george)
2021-05-21 20:44:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-21 20:44:30 +0200 <tomsmeding> geekosaur: if you wish I can add libera#xmonad to ircbrowse too
2021-05-21 20:44:41 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-21 20:45:48 +0200jakesyl(sid56879@id-56879.stonehaven.irccloud.com)
2021-05-21 20:45:53 +0200BadCoder1BadCoderFinger
2021-05-21 20:46:13 +0200 <geekosaur> please, we moved over yessterday
2021-05-21 20:47:03 +0200 <tomsmeding> given the addition of libera#haskell went basically without effort (apart from implementing multi-network support in the first place), let's see if adding another channel is as simple :)
2021-05-21 20:51:25 +0200 <tomsmeding> geekosaur: https://ircbrowse.tomsmeding.com/browse/lcxmonad
2021-05-21 20:51:52 +0200Heffalump(~ganesh@urchin.earth.li)
2021-05-21 20:52:04 +0200 <tomsmeding> ah I found a bug already, the Link functionality doesn't do names correctly :p
2021-05-21 20:52:26 +0200xwx(~george@user/george) (Ping timeout: 245 seconds)
2021-05-21 20:53:24 +0200gawen(~gawen@movzbl.root.sx)
2021-05-21 20:53:29 +0200xwx(~george@user/george)
2021-05-21 20:54:32 +0200lyxia(~lyxia@poisson.chat)
2021-05-21 20:54:42 +0200bontaq``(~user@ool-18e47f8d.dyn.optonline.net)
2021-05-21 20:55:18 +0200Valerian(~vclerc@modemcable030.18-176-173.mc.videotron.ca)
2021-05-21 20:56:02 +0200Valerian(~vclerc@modemcable030.18-176-173.mc.videotron.ca) (Client Quit)
2021-05-21 20:56:11 +0200bontaq`(~user@ec2-18-235-23-153.compute-1.amazonaws.com) (Ping timeout: 245 seconds)
2021-05-21 20:56:14 +0200 <ski> edwardk,tomsmeding : ty both
2021-05-21 20:56:17 +0200keltono(~kelton@x-160-94-179-178.acm.umn.edu)
2021-05-21 20:57:49 +0200zeph_(~zeph@117.222.69.244)
2021-05-21 20:58:08 +0200zeph_(~zeph@117.222.69.244) (Client Quit)
2021-05-21 20:58:43 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-21 20:58:52 +0200 <boxscape> tomsmeding there isn't a feature at the moment to hide joins/leaves, is there?
2021-05-21 20:59:03 +0200 <tomsmeding> unfortunately not :p
2021-05-21 20:59:06 +0200 <tomsmeding> still have to build that
2021-05-21 20:59:06 +0200 <boxscape> okay
2021-05-21 20:59:08 +0200involans(~involans@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 252 seconds)
2021-05-21 20:59:23 +0200 <tomsmeding> some day
2021-05-21 21:00:53 +0200zeph(~zeph@59.88.30.92) (Ping timeout: 272 seconds)
2021-05-21 21:01:56 +0200tomsmedingfinds that searching for # in the source code is a good way to find places where ircbrowse doesn't follow its own conventions regarding channel ids and channel names
2021-05-21 21:02:05 +0200 <geekosaur> tyvm
2021-05-21 21:02:28 +0200 <geekosaur> we're still waiting on channel access, sadly
2021-05-21 21:03:07 +0200 <tomsmeding> sad
2021-05-21 21:06:11 +0200tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io) (Quit: Gone away)
2021-05-21 21:06:15 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-21 21:06:35 +0200tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io)
2021-05-21 21:07:00 +0200gawengawen_
2021-05-21 21:07:37 +0200gawen_gawen
2021-05-21 21:07:38 +0200haskman(~haskman@106.215.53.61)
2021-05-21 21:07:56 +0200_dwtdwt_
2021-05-21 21:08:34 +0200dwt_dwt__
2021-05-21 21:09:37 +0200dwt__(~dwt@2601:2c6:8080:618:4549:992b:1f6b:681e) (Quit: Leaving)
2021-05-21 21:10:56 +0200godtoldmetodoit(~godtoldme@185.213.155.164)
2021-05-21 21:11:07 +0200godtoldmetodoit(~godtoldme@185.213.155.164) (K-Lined)
2021-05-21 21:14:41 +0200Morrow(~MorrowM_@147.161.12.40)
2021-05-21 21:15:43 +0200autofrog(autofrog@107.161.19.109) (Quit: Connection closed)
2021-05-21 21:15:44 +0200Morrow(~MorrowM_@147.161.12.40) (Read error: Connection reset by peer)
2021-05-21 21:16:36 +0200xwx(~george@user/george) (Ping timeout: 245 seconds)
2021-05-21 21:17:48 +0200xwx(~george@user/george)
2021-05-21 21:17:51 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-05-21 21:19:59 +0200FreeVariable(FreeVariab@107.161.19.109)
2021-05-21 21:20:15 +0200f-a(~f-a@151.68.221.155)
2021-05-21 21:20:36 +0200 <f-a> (pingiing sclv or edwardk)
2021-05-21 21:21:14 +0200bec(bec@107.161.19.109)
2021-05-21 21:21:44 +0200 <sclv> what do u need me to do
2021-05-21 21:22:17 +0200 <f-a> we would like to register #haskell-game
2021-05-21 21:22:22 +0200 <f-a> we: me or sm
2021-05-21 21:26:19 +0200moistoreos(~moistoreo@99-151-203-47.lightspeed.snantx.sbcglobal.net) (Quit: Computer Asleep 😴)
2021-05-21 21:27:00 +0200 <sclv> on it
2021-05-21 21:27:12 +0200Hourds(~hourd@fi-19-202-209.service.infuturo.it)
2021-05-21 21:27:23 +0200moistoreos(~moistoreo@99-151-203-47.lightspeed.snantx.sbcglobal.net)
2021-05-21 21:27:53 +0200juhp(~juhp@128.106.188.199) (Quit: juhp)
2021-05-21 21:28:07 +0200juhp(~juhp@128.106.188.199)
2021-05-21 21:28:13 +0200xwx(~george@user/george) (Ping timeout: 248 seconds)
2021-05-21 21:32:42 +0200lortabac_(~lortabac@2a01:e0a:541:b8f0:d317:7e9f:278d:17a9)
2021-05-21 21:33:24 +0200f-a(~f-a@151.68.221.155) (Read error: Connection reset by peer)
2021-05-21 21:35:41 +0200ircbrowse_tom(~ircbrowse@64.225.78.177) (ZNC 1.7.5+deb4 - https://znc.in)