2021/03/26

2021-03-26 00:01:17 +0100 <monochrom> Since it is always "Left err -> sendError "whoops"", perhaps you can capture that in a reusable function.
2021-03-26 00:02:13 +0100 <monochrom> doOrDie cmd = cmd >>= \lr -> case lr of Left err -> sendError "whoops"; Right y -> return y
2021-03-26 00:02:21 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-03-26 00:04:58 +0100coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-26 00:04:58 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
2021-03-26 00:04:58 +0100 <monochrom> Then you are looking at: do { _ <- doOrDie foo; result <- doOrDie bar; _ <- doOrDie (bazUseResult result); sendSuccess "hooray!" }
2021-03-26 00:04:58 +0100borne(~fritjof@200116b86490f90082e68925938a8928.dip.versatel-1u1.de)
2021-03-26 00:04:58 +0100idhugo__(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds)
2021-03-26 00:05:02 +0100 <monochrom> Also take a look at https://philipnilsson.github.io/Badness10k/escaping-hell-with-monads/
2021-03-26 00:05:04 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 00:06:05 +0100quintasan_(~quassel@quintasan.pl) (Quit: No Ping reply in 180 seconds.)
2021-03-26 00:06:43 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-26 00:07:11 +0100quintasan(~quassel@ubuntu/member/quintasan)
2021-03-26 00:07:22 +0100conal(~conal@64.71.133.70) (Ping timeout: 252 seconds)
2021-03-26 00:08:08 +0100conal(~conal@66.115.157.135)
2021-03-26 00:09:07 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-26 00:09:48 +0100Sorny(~Sornaensi@79.142.232.102.static.router4.bolignet.dk)
2021-03-26 00:10:12 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-03-26 00:10:22 +0100mrchampion(~mrchampio@38.18.109.23)
2021-03-26 00:10:53 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-26 00:12:26 +0100Sorna(~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 240 seconds)
2021-03-26 00:12:53 +0100borne(~fritjof@200116b86490f90082e68925938a8928.dip.versatel-1u1.de) (Ping timeout: 250 seconds)
2021-03-26 00:15:01 +0100Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-26 00:15:41 +0100aarvar(~foewfoiew@2601:602:a080:fa0:e589:d5cd:80fb:258d) (Ping timeout: 258 seconds)
2021-03-26 00:15:58 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-26 00:18:15 +0100deu(de@uio.re) (Ping timeout: 245 seconds)
2021-03-26 00:18:32 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-26 00:19:04 +0100Tario(~Tario@201.192.165.173)
2021-03-26 00:19:11 +0100Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2021-03-26 00:19:22 +0100bobweb(6bb893db@cpe-107-184-147-219.socal.res.rr.com)
2021-03-26 00:20:21 +0100deu(de@uio.re)
2021-03-26 00:23:18 +0100conal(~conal@66.115.157.135) (Ping timeout: 240 seconds)
2021-03-26 00:23:31 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-26 00:23:51 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 00:25:31 +0100conal(~conal@64.71.133.70)
2021-03-26 00:28:11 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-03-26 00:29:58 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-26 00:31:51 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-26 00:36:41 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-26 00:37:38 +0100carlomagno(~cararell@148.87.23.12) (Quit: Leaving.)
2021-03-26 00:38:24 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Remote host closed the connection)
2021-03-26 00:38:46 +0100solidus-river(~mike@174.127.249.180) (Remote host closed the connection)
2021-03-26 00:39:46 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 240 seconds)
2021-03-26 00:40:43 +0100danvet_(~danvet@212-51-149-181.fiber7.init7.net) (Quit: Leaving)
2021-03-26 00:40:58 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 240 seconds)
2021-03-26 00:41:01 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2021-03-26 00:45:56 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds)
2021-03-26 00:46:21 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-03-26 00:50:09 +0100AkechiShiro(~AkechiShi@2a01:e0a:5f9:9681:4437:674c:6409:2223)
2021-03-26 00:50:11 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-26 00:57:06 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 00:59:33 +0100mp___(mp@hell.cx)
2021-03-26 01:02:17 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-03-26 01:04:52 +0100micro(~micro@unaffiliated/micro) (Quit: leaving)
2021-03-26 01:05:03 +0100micro(~micro@unaffiliated/micro)
2021-03-26 01:05:32 +0100Anthaas(~Anthaas@unaffiliated/anthaas) (Ping timeout: 246 seconds)
2021-03-26 01:05:53 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-26 01:06:14 +0100Anthaas(~Anthaas@unaffiliated/anthaas)
2021-03-26 01:06:21 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-03-26 01:09:45 +0100blissful(~blissful@unaffiliated/azuline) (Quit: owo)
2021-03-26 01:10:19 +0100blissful(~blissful@unaffiliated/azuline)
2021-03-26 01:12:46 +0100notzmv-(~zmv@unaffiliated/zmv)
2021-03-26 01:12:47 +0100notzmv-(~zmv@unaffiliated/zmv) (Remote host closed the connection)
2021-03-26 01:13:44 +0100blissful(~blissful@unaffiliated/azuline) (Client Quit)
2021-03-26 01:14:13 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-26 01:14:48 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-26 01:15:19 +0100notzmv(~zmv@unaffiliated/zmv) (Remote host closed the connection)
2021-03-26 01:15:31 +0100blissful(~blissful@unaffiliated/azuline)
2021-03-26 01:15:58 +0100 <MarcelineVQ> good job
2021-03-26 01:16:40 +0100 <koz_> :t and
2021-03-26 01:16:42 +0100 <lambdabot> Foldable t => t Bool -> Bool
2021-03-26 01:17:32 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-26 01:18:27 +0100dcbdan(~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net)
2021-03-26 01:21:35 +0100dcbdnl(~dcbdnl@2601:2c6:4e00:2d20::2)
2021-03-26 01:22:06 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
2021-03-26 01:22:27 +0100dcbdnl(~dcbdnl@2601:2c6:4e00:2d20::2) (Client Quit)
2021-03-26 01:22:52 +0100thillux(~thillux@p200300d1ef42cb00c107b90fceadaf04.dip0.t-ipconnect.de) (Quit: Leaving)
2021-03-26 01:22:55 +0100dcbdan(~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) (Client Quit)
2021-03-26 01:27:07 +0100Katarushisu4(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net)
2021-03-26 01:27:28 +0100dcbdan(~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net)
2021-03-26 01:28:09 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-26 01:28:13 +0100Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Ping timeout: 260 seconds)
2021-03-26 01:28:14 +0100Katarushisu4Katarushisu
2021-03-26 01:28:33 +0100miklcct(quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2021-03-26 01:28:45 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-03-26 01:29:21 +0100dcbdan(~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) (Quit: leaving)
2021-03-26 01:30:03 +0100miklcct(quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7)
2021-03-26 01:30:16 +0100puke(~vroom@217.138.252.52) (Quit: puke)
2021-03-26 01:30:50 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 01:31:04 +0100synacked(~synacked@72-47-191-13.mnolcmta01.res.dyn.suddenlink.net)
2021-03-26 01:31:08 +0100motherfsck(~motherfsc@unaffiliated/motherfsck)
2021-03-26 01:32:44 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2021-03-26 01:32:46 +0100stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-03-26 01:33:08 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-26 01:33:30 +0100madjestic(~Android@86-88-72-244.fixed.kpn.net) (Ping timeout: 258 seconds)
2021-03-26 01:35:36 +0100v01d4lph4(~v01d4lph4@106.212.133.35)
2021-03-26 01:35:45 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-03-26 01:37:23 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 250 seconds)
2021-03-26 01:40:28 +0100v01d4lph4(~v01d4lph4@106.212.133.35) (Ping timeout: 265 seconds)
2021-03-26 01:44:03 +0100Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-03-26 01:44:22 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-qkynhipqeqyzxwvt) (Quit: Connection closed for inactivity)
2021-03-26 01:45:30 +0100stree(~stree@68.36.8.116)
2021-03-26 01:47:33 +0100synacked(~synacked@72-47-191-13.mnolcmta01.res.dyn.suddenlink.net) (Remote host closed the connection)
2021-03-26 01:48:11 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:dd08:3633:7b3f:d0eb)
2021-03-26 01:49:39 +0100perreo(~tato@201.209.92.147)
2021-03-26 01:49:44 +0100todda7(~torstein@2a02:587:1b14:af00:7b99:870e:286b:27aa)
2021-03-26 01:50:11 +0100lateef(~lateef@2603-6080-6703-48f7-99a5-8367-daa2-03dd.res6.spectrum.com)
2021-03-26 01:50:37 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 265 seconds)
2021-03-26 01:53:31 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds)
2021-03-26 01:54:29 +0100solvr(57e3c46d@87.227.196.109)
2021-03-26 01:54:55 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-26 01:56:31 +0100ps-auxw(~arneb@p548d56ce.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2021-03-26 01:57:07 +0100lateef(~lateef@2603-6080-6703-48f7-99a5-8367-daa2-03dd.res6.spectrum.com) (Quit: lateef)
2021-03-26 01:57:31 +0100lateef(~lateef@2603-6080-6703-48f7-99a5-8367-daa2-03dd.res6.spectrum.com)
2021-03-26 01:58:11 +0100thc202(~thc202@unaffiliated/thc202) (Ping timeout: 250 seconds)
2021-03-26 01:58:16 +0100conal(~conal@64.71.133.70)
2021-03-26 01:58:34 +0100dcbdan(~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net)
2021-03-26 01:59:08 +0100perreo(~tato@201.209.92.147) (Remote host closed the connection)
2021-03-26 02:00:10 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-26 02:00:43 +0100ps-auxw(~arneb@p548d5577.dip0.t-ipconnect.de)
2021-03-26 02:01:44 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2021-03-26 02:03:09 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-03-26 02:03:48 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-26 02:05:24 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-03-26 02:05:55 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-26 02:07:02 +0100Tario(~Tario@201.192.165.173)
2021-03-26 02:08:35 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-03-26 02:11:06 +0100Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 260 seconds)
2021-03-26 02:11:45 +0100rajivr(uid269651@gateway/web/irccloud.com/x-bojmzmfrraongbrw)
2021-03-26 02:13:57 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-03-26 02:15:11 +0100pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-03-26 02:15:56 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Remote host closed the connection)
2021-03-26 02:17:01 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-26 02:18:17 +0100codygman__(~user@47.186.207.161) (Ping timeout: 252 seconds)
2021-03-26 02:19:33 +0100pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-03-26 02:19:37 +0100Matthias1(~matthias@li890-22.members.linode.com)
2021-03-26 02:20:51 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 258 seconds)
2021-03-26 02:21:20 +0100comboy(~quassel@tesuji.pl) (Remote host closed the connection)
2021-03-26 02:21:29 +0100thecoffemaker(~thecoffem@unaffiliated/thecoffemaker) (Ping timeout: 246 seconds)
2021-03-26 02:22:21 +0100srk(~sorki@gateway/tor-sasl/sorki) (Ping timeout: 240 seconds)
2021-03-26 02:22:39 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-03-26 02:23:18 +0100hacxman(~hexo@gateway/tor-sasl/hexo)
2021-03-26 02:23:25 +0100srk(~sorki@gateway/tor-sasl/sorki)
2021-03-26 02:23:27 +0100comboy(~quassel@tesuji.pl)
2021-03-26 02:24:21 +0100hexo|(~hexo@gateway/tor-sasl/hexo) (Ping timeout: 240 seconds)
2021-03-26 02:25:13 +0100sm2n_(~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-62.dsl.bell.ca)
2021-03-26 02:25:36 +0100sm2n(~sm2n@bras-base-hmtnon143hw-grc-11-65-95-103-225.dsl.bell.ca) (Ping timeout: 252 seconds)
2021-03-26 02:27:23 +0100thecoffemaker(~thecoffem@unaffiliated/thecoffemaker)
2021-03-26 02:28:58 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 240 seconds)
2021-03-26 02:32:33 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02)
2021-03-26 02:32:34 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02) (Max SendQ exceeded)
2021-03-26 02:32:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-26 02:32:45 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02)
2021-03-26 02:32:46 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02) (Max SendQ exceeded)
2021-03-26 02:37:00 +0100jespada_(~jespada@90.254.243.187)
2021-03-26 02:37:14 +0100vchlup_(~vchlup@nat.brnet.cz)
2021-03-26 02:37:23 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02)
2021-03-26 02:37:24 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02) (Max SendQ exceeded)
2021-03-26 02:37:25 +0100xhlr_(~xhlr@static.144.156.216.95.clients.your-server.de)
2021-03-26 02:37:34 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02)
2021-03-26 02:37:35 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02) (Max SendQ exceeded)
2021-03-26 02:37:40 +0100uwap_(~uwap@mail.uwap.name)
2021-03-26 02:37:48 +0100turnA7(~turnA@103.120.19.44)
2021-03-26 02:38:42 +0100vent(~vent@185.62.190.213)
2021-03-26 02:39:46 +0100jespada(~jespada@90.254.243.187) (Read error: Connection reset by peer)
2021-03-26 02:39:46 +0100vchlup(~vchlup@nat.brnet.cz) (Remote host closed the connection)
2021-03-26 02:39:46 +0100xhlr(~xhlr@static.144.156.216.95.clients.your-server.de) (Quit: bye)
2021-03-26 02:39:46 +0100uwap(~uwap@mail.uwap.name) (Quit: ZNC 1.8.1 - https://znc.in)
2021-03-26 02:39:46 +0100turnA(~turnA@103.120.19.44) (Quit: Ping timeout (120 seconds))
2021-03-26 02:39:46 +0100lockshaw(~lockshaw@165.22.163.71) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2021-03-26 02:39:46 +0100ventolin(~vent@185.62.190.213) (Quit: ZNC - http://znc.in)
2021-03-26 02:39:47 +0100acro(~acro@unaffiliated/acro) (Ping timeout: 246 seconds)
2021-03-26 02:40:25 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02)
2021-03-26 02:40:26 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02) (Max SendQ exceeded)
2021-03-26 02:40:31 +0100acro(~acro@188.166.31.185)
2021-03-26 02:40:31 +0100acro(~acro@188.166.31.185) (Changing host)
2021-03-26 02:40:31 +0100acro(~acro@unaffiliated/acro)
2021-03-26 02:40:34 +0100lockshaw(~lockshaw@165.22.163.71)
2021-03-26 02:40:36 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02)
2021-03-26 02:40:37 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa02) (Max SendQ exceeded)
2021-03-26 02:40:44 +0100zymurgy(~zymurgy@li607-220.members.linode.com) (Ping timeout: 246 seconds)
2021-03-26 02:52:30 +0100 <dcbdan> hello
2021-03-26 02:53:03 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-26 02:53:41 +0100Guest53742(~textual@zrcout.mskcc.org) (Ping timeout: 260 seconds)
2021-03-26 02:53:54 +0100 <spidr> hello
2021-03-26 02:54:05 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-26 02:54:40 +0100 <ski> hello
2021-03-26 02:55:16 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-26 02:56:16 +0100drbean_(~drbean@TC210-63-209-87.static.apol.com.tw)
2021-03-26 02:58:12 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 02:58:17 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds)
2021-03-26 02:59:42 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-03-26 03:00:21 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-03-26 03:01:22 +0100 <dcbdan> I have an application that displays boxes on a screen. A user can push a box, moving it in a direction. Whenever that happens, state is updated to reflect that the box has changed position.
2021-03-26 03:02:11 +0100 <dcbdan> My idea was to store all my boxes in a hacky-kinda-r-tree-but-simpler data structure.
2021-03-26 03:03:00 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
2021-03-26 03:03:21 +0100 <dcbdan> Should this use case have a mutable data structure, or a functional? If it is functional, should it be strict?
2021-03-26 03:05:43 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection)
2021-03-26 03:05:49 +0100xff0x(~xff0x@2001:1a81:53ea:3700:7b09:c6ef:9691:2f13) (Ping timeout: 245 seconds)
2021-03-26 03:05:50 +0100 <dcbdan> At this point, I've written a mutable-version with IO arrays, and a functional version. They're both slow, but the IO-array version is _really_ slow. _shrugs_
2021-03-26 03:06:00 +0100ryxai(~textual@pool-71-183-41-241.nycmny.fios.verizon.net)
2021-03-26 03:06:45 +0100Alleria(~textual@2603-7000-3040-0000-c56e-092a-f34e-2a6e.res6.spectrum.com)
2021-03-26 03:07:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-03-26 03:07:09 +0100AlleriaGuest74945
2021-03-26 03:07:52 +0100xff0x(~xff0x@2001:1a81:5226:c00:91a4:4af2:a8dc:80b7)
2021-03-26 03:08:01 +0100zymurgy(~zymurgy@li607-220.members.linode.com)
2021-03-26 03:10:02 +0100bobweb(6bb893db@cpe-107-184-147-219.socal.res.rr.com) (Ping timeout: 240 seconds)
2021-03-26 03:14:22 +0100tpefreedom(~tsomers@184-157-240-110.dyn.centurytel.net)
2021-03-26 03:15:30 +0100Axma61156(~Axman6@pdpc/supporter/student/Axman6)
2021-03-26 03:16:10 +0100SoF(~SoF@unaffiliated/skillyonfire) (Quit: Ping timeout (120 seconds))
2021-03-26 03:16:42 +0100Axman6(~Axman6@pdpc/supporter/student/Axman6) (Remote host closed the connection)
2021-03-26 03:16:51 +0100SoF(~SoF@unaffiliated/skillyonfire)
2021-03-26 03:17:06 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-03-26 03:17:11 +0100Unode(~Unode@unaffiliated/unode) (Remote host closed the connection)
2021-03-26 03:17:16 +0100urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-03-26 03:17:22 +0100Unode(~Unode@unaffiliated/unode)
2021-03-26 03:18:22 +0100ryxai(~textual@pool-71-183-41-241.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-26 03:19:15 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-26 03:22:16 +0100turq_turq
2021-03-26 03:22:26 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-skyxflrnbkdkklzl) (Quit: Connection closed for inactivity)
2021-03-26 03:24:20 +0100turq(~electro@138.197.8.173) (Changing host)
2021-03-26 03:24:20 +0100turq(~electro@unaffiliated/turq)
2021-03-26 03:24:58 +0100zekriad(~zekriad@74.193.156.94)
2021-03-26 03:26:48 +0100electricityZZZZZ(~electrici@135-180-3-82.static.sonic.net)
2021-03-26 03:26:50 +0100electricityZZZZ(~electrici@135-180-3-82.static.sonic.net) (Ping timeout: 252 seconds)
2021-03-26 03:29:33 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-03-26 03:31:34 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-26 03:35:46 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-03-26 03:36:33 +0100v01d4lph4(~v01d4lph4@106.212.133.35)
2021-03-26 03:38:41 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-26 03:40:56 +0100v01d4lph4(~v01d4lph4@106.212.133.35) (Ping timeout: 246 seconds)
2021-03-26 03:41:41 +0100Guest55480(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds)
2021-03-26 03:44:42 +0100aarvar(~foewfoiew@2601:602:a080:fa0:e589:d5cd:80fb:258d)
2021-03-26 03:51:29 +0100Axma61156Axman6
2021-03-26 03:52:53 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-26 03:53:13 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 03:53:41 +0100stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-03-26 03:55:18 +0100gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-03-26 04:03:23 +0100xff0x(~xff0x@2001:1a81:5226:c00:91a4:4af2:a8dc:80b7) (Ping timeout: 258 seconds)
2021-03-26 04:03:46 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-26 04:04:03 +0100tpefreedom(~tsomers@184-157-240-110.dyn.centurytel.net) (Remote host closed the connection)
2021-03-26 04:04:11 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-26 04:05:06 +0100xff0x(~xff0x@2001:1a81:522d:f100:d10d:84ad:4500:2c79)
2021-03-26 04:06:30 +0100conal(~conal@64.71.133.70)
2021-03-26 04:07:01 +0100stree(~stree@68.36.8.116)
2021-03-26 04:07:18 +0100juri__(~juri@79.140.115.110)
2021-03-26 04:08:16 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-03-26 04:09:25 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:dd08:3633:7b3f:d0eb) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-26 04:09:31 +0100juri_(~juri@79.140.115.251) (Ping timeout: 260 seconds)
2021-03-26 04:20:12 +0100 <__minoru__shirae> dcbdan: what do you use to display boxes?
2021-03-26 04:20:20 +0100alx741(~alx741@186.178.108.68) (Quit: alx741)
2021-03-26 04:21:36 +0100 <__minoru__shirae> how do you know that they are slow? did you test them without visualization?
2021-03-26 04:23:00 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-03-26 04:25:46 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds)
2021-03-26 04:27:25 +0100 <dcbdan> it is a terminal display. Fill a whole terminal with 3x3 boxes, for example
2021-03-26 04:27:46 +0100__minoru__shirae(~shiraeesh@109.166.56.243) (Ping timeout: 240 seconds)
2021-03-26 04:28:53 +0100lemmih(~lemmih@2406:3003:2072:44:35a4:fecd:eff2:b477) (Ping timeout: 258 seconds)
2021-03-26 04:31:26 +0100dustinm(~dustinm@static.38.6.217.95.clients.your-server.de) (Quit: Leaving)
2021-03-26 04:33:22 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection)
2021-03-26 04:33:33 +0100lemmih(~lemmih@2406:3003:2072:44:6e66:db7b:b46b:3ed1)
2021-03-26 04:37:34 +0100__minoru__shirae(~shiraeesh@109.166.56.243)
2021-03-26 04:39:26 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-26 04:40:02 +0100dustinm(~dustinm@static.38.6.217.95.clients.your-server.de)
2021-03-26 04:41:50 +0100_Alleria(~AllahuAkb@2603-7000-3040-0000-d83c-5948-c192-a22e.res6.spectrum.com)
2021-03-26 04:42:06 +0100Alleria_(~AllahuAkb@2603-7000-3040-0000-d83c-5948-c192-a22e.res6.spectrum.com) (Ping timeout: 258 seconds)
2021-03-26 04:43:11 +0100theDon(~td@94.134.91.163) (Ping timeout: 240 seconds)
2021-03-26 04:43:46 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-03-26 04:44:06 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:699e:bcf8:d3ec:5b7d)
2021-03-26 04:44:44 +0100kiweun(~kiweun@2607:fea8:2a62:9600:c9a0:4edb:f142:45d8) (Remote host closed the connection)
2021-03-26 04:45:28 +0100theDon(~td@muedsl-82-207-238-105.citykom.de)
2021-03-26 04:45:32 +0100zephyz(zephyz@gateway/vpn/privateinternetaccess/zephyz)
2021-03-26 04:47:08 +0100cyphase(~cyphase@unaffiliated/cyphase) (Ping timeout: 252 seconds)
2021-03-26 04:51:05 +0100zephyz(zephyz@gateway/vpn/privateinternetaccess/zephyz) (Quit: zephyz)
2021-03-26 04:51:11 +0100shad0w_(a0ca25a0@160.202.37.160)
2021-03-26 04:53:59 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-26 04:54:34 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:699e:bcf8:d3ec:5b7d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-26 04:55:41 +0100cyphase(~cyphase@unaffiliated/cyphase)
2021-03-26 04:55:47 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-26 04:57:26 +0100FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-26 04:57:26 +0100finn_elijaGuest84389
2021-03-26 04:57:26 +0100FinnElijafinn_elija
2021-03-26 04:59:04 +0100sm2n_sm2n
2021-03-26 04:59:07 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds)
2021-03-26 04:59:19 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 04:59:30 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-26 05:00:01 +0100haasn(~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-03-26 05:00:07 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2021-03-26 05:00:27 +0100Rudd0(~Rudd0@185.189.115.108)
2021-03-26 05:00:45 +0100Guest84389(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-03-26 05:01:24 +0100haasn(~nand@mpv/developer/haasn)
2021-03-26 05:03:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-26 05:03:53 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-03-26 05:04:31 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:699e:bcf8:d3ec:5b7d)
2021-03-26 05:04:55 +0100rj(~x@gateway/tor-sasl/rj) (Quit: rj)
2021-03-26 05:12:39 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-26 05:12:44 +0100kiweun(~kiweun@2607:fea8:2a62:9600:e5f1:14f:5eeb:7192)
2021-03-26 05:12:47 +0100electricityZZZZ(~electrici@135-180-3-82.static.sonic.net)
2021-03-26 05:12:59 +0100electricityZZZZZ(~electrici@135-180-3-82.static.sonic.net) (Ping timeout: 246 seconds)
2021-03-26 05:13:32 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-03-26 05:13:38 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Remote host closed the connection)
2021-03-26 05:14:18 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 05:17:11 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2021-03-26 05:17:22 +0100kiweun(~kiweun@2607:fea8:2a62:9600:e5f1:14f:5eeb:7192) (Ping timeout: 258 seconds)
2021-03-26 05:18:54 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 258 seconds)
2021-03-26 05:20:04 +0100 <sm[m]> dcbdan: can you profile / log timing information and find out what exactly is slow ?
2021-03-26 05:21:59 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-26 05:24:04 +0100 <dcbdan> So I just removed drawing to screen for everything except the cursor--So it has to be that the repeated insert/delete into the data structure is slow
2021-03-26 05:24:52 +0100tpefreedom(~tsomers@184-157-240-110.dyn.centurytel.net)
2021-03-26 05:24:52 +0100hlisp(~hlisp@111.202.167.63)
2021-03-26 05:25:38 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-26 05:25:44 +0100 <dcbdan> A lot of items in the data structure are being deleted and then inserted. But I don't have a bulk insert or delete
2021-03-26 05:25:59 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-26 05:27:25 +0100 <Axman6> what does profiling say?
2021-03-26 05:27:55 +0100 <Axman6> it sounds like you're just guessing at the moment, and that's never a good idea with performance
2021-03-26 05:28:43 +0100 <dcbdan> Hmm, how should you go about profiling?
2021-03-26 05:30:28 +0100stass(~stas@2a00:13c0:63:7195::beef) (Read error: Connection reset by peer)
2021-03-26 05:30:46 +0100hackagehalive 0.1.8 - A live recompiler https://hackage.haskell.org/package/halive-0.1.8 (lukexi)
2021-03-26 05:30:46 +0100stass(~stas@2a00:13c0:63:7195::beef)
2021-03-26 05:31:03 +0100 <Axman6> what tool are you using to build your app? cabal or stack?
2021-03-26 05:32:58 +0100 <dcbdan> I'm just using ghc atm
2021-03-26 05:33:02 +0100hlisp(~hlisp@111.202.167.63) ()
2021-03-26 05:33:59 +0100 <Axman6> compile wiuth ghc -prof -fprof-auto-all, then run ./your-program +RTS --help to find out how to run profiling
2021-03-26 05:34:51 +0100jle`(~mstksg@cpe-23-240-75-236.socal.res.rr.com)
2021-03-26 05:34:51 +0100jle`(~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host)
2021-03-26 05:34:51 +0100jle`(~mstksg@unaffiliated/mstksg)
2021-03-26 05:34:58 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-26 05:35:14 +0100Tario(~Tario@201.192.165.173)
2021-03-26 05:35:44 +0100 <Axman6> and consult https://downloads.haskell.org/ghc/latest/docs/html/users_guide/profiling.html
2021-03-26 05:37:11 +0100 <Axman6> hmm, I may have made up -fprof-auto-all, it might just be -fprof-auto
2021-03-26 05:37:14 +0100v01d4lph4(~v01d4lph4@106.212.133.35)
2021-03-26 05:37:38 +0100 <dcbdan> thanks, I'm taking a look now
2021-03-26 05:37:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-03-26 05:38:08 +0100lateef(~lateef@2603-6080-6703-48f7-99a5-8367-daa2-03dd.res6.spectrum.com) (Quit: lateef)
2021-03-26 05:41:06 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2021-03-26 05:41:46 +0100v01d4lph4(~v01d4lph4@106.212.133.35) (Ping timeout: 252 seconds)
2021-03-26 05:42:16 +0100hackagepantry 0.5.1.5 - Content addressable Haskell package management https://hackage.haskell.org/package/pantry-0.5.1.5 (MichaelSnoyman)
2021-03-26 05:44:59 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 05:47:51 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-26 05:48:01 +0100 <dcbdan> this is crazy--ghc can tell you where the program spent all its time _facepalm
2021-03-26 05:48:17 +0100 <sm[m]> well..
2021-03-26 05:48:24 +0100 <Axman6> sort of
2021-03-26 05:48:27 +0100 <sm[m]> yes, if you can understand it :)
2021-03-26 05:48:27 +0100 <Axman6> someimtes
2021-03-26 05:48:36 +0100 <Axman6> sometimes too*
2021-03-26 05:50:21 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
2021-03-26 05:50:27 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 250 seconds)
2021-03-26 05:50:28 +0100 <Axman6> it can get very dillicult to follow in big programs safly. I wish it had a better format that was a bit easier to inspect
2021-03-26 05:51:15 +0100 <Axman6> hmmmmmmmmmm, I have https://downloads.haskell.org/ghc/latest/docs/html/users_guide/profiling.html?highlight=profiling#… and https://antonz.org/sqlite-is-not-a-toy-database/ open at the moment, maybe I could just use SQLite for querying the json output
2021-03-26 05:52:26 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2021-03-26 05:54:02 +0100 <tpefreedom> Hi. Do you have any haskell book recommendations?
2021-03-26 05:54:06 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2021-03-26 05:54:30 +0100 <sclv> depends. What do you want
2021-03-26 05:54:34 +0100shad0w_(a0ca25a0@160.202.37.160) (Quit: Connection closed)
2021-03-26 05:54:47 +0100 <tpefreedom> I'm new to haskell.
2021-03-26 05:56:08 +0100waleee-cl(uid373333@gateway/web/irccloud.com/x-shbtzypknmvkwgta) (Quit: Connection closed for inactivity)
2021-03-26 05:58:23 +0100 <__minoru__shirae> tpefreedom: check this post out: https://www.reddit.com/r/haskell/comments/md4btm/good_way_to_learn_haskell/
2021-03-26 05:59:38 +0100 <Axman6> I've heard good things about Graham Hutton's Programming in Haskell, I learned with Simon Thompson's Haskell: The Craft of Functional Programming (and a university course, and most of my learning was after that course and book)
2021-03-26 05:59:53 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 246 seconds)
2021-03-26 06:00:07 +0100 <Axman6> https://wiki.haskell.org/Books looks relatively up to date
2021-03-26 06:05:10 +0100 <tapas> this is the more up to date one https://haskellbook.com/
2021-03-26 06:05:15 +0100 <tapas> but hutton's book is good too
2021-03-26 06:05:33 +0100 <curiousgay> I need recommendation for FRP GUI library, there are several such libraries and I'm unsure which one to use
2021-03-26 06:05:52 +0100 <dcbdan> my program spends 20% of time in a size function: Box l r u d | l < r && u < d = (r-l)*(d-u) and 0 otherwise
2021-03-26 06:06:07 +0100 <dcbdan> according to profiling.. does that sound right?
2021-03-26 06:07:48 +0100Guest33172(~sdrodge@unaffiliated/sdrodge) (Ping timeout: 252 seconds)
2021-03-26 06:08:22 +0100 <Axman6> well, that depends a lot on your program, maybe?
2021-03-26 06:08:38 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2021-03-26 06:10:19 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 06:11:57 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-03-26 06:12:53 +0100Tops2(~Tobias@dyndsl-091-249-083-058.ewe-ip-backbone.de) (Ping timeout: 260 seconds)
2021-03-26 06:13:31 +0100 <dcbdan> judging from the profiling, all the time is spent finding neighbors of boxes on the screen--which calls the size function. so yeah, makes sense
2021-03-26 06:13:44 +0100pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-03-26 06:14:52 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 258 seconds)
2021-03-26 06:14:56 +0100stree(~stree@68.36.8.116) (Ping timeout: 246 seconds)
2021-03-26 06:15:48 +0100v01d4lph4(~v01d4lph4@106.212.133.35)
2021-03-26 06:16:40 +0100 <jle`> anyone have time to help me figure out why Coercible isn't being derived properly in this case?
2021-03-26 06:16:42 +0100 <jle`> https://gist.github.com/mstksg/f0568e8476b4e6075ab1d06376d0d930
2021-03-26 06:17:08 +0100 <jle`> i've tracked it down to the Coercible having troubles with seeing "functors" being coercible in data vs. newtype
2021-03-26 06:19:03 +0100 <jle`> in this case it sees `F X a` and `G Y a` as being coercible data ('a' phantom), but it can't match `F X` and `G Y` if they appear as type parameters
2021-03-26 06:19:14 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-26 06:19:17 +0100 <jle`> but only for 'data' wrappers. 'newtype' wrappers are fine
2021-03-26 06:19:28 +0100Ngoc(2a76264b@42.118.38.75)
2021-03-26 06:19:46 +0100Ngoc(2a76264b@42.118.38.75) (Client Quit)
2021-03-26 06:20:34 +0100Guest33172(~sdrodge@unaffiliated/sdrodge)
2021-03-26 06:21:21 +0100Majiir(~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) (Quit: CUT THE HARDLINES!!)
2021-03-26 06:22:25 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-26 06:22:35 +0100Majiir(~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net)
2021-03-26 06:23:19 +0100 <Axman6> do you need explicit role annotations?
2021-03-26 06:23:53 +0100nfd(~nfd9001@2601:602:77f:1820:144a:da71:587f:e0c7) (Ping timeout: 258 seconds)
2021-03-26 06:24:34 +0100dcbdan(~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) (Quit: leaving)
2021-03-26 06:25:15 +0100 <jle`> Axman6: the roles seem to be inferred as expected
2021-03-26 06:25:26 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds)
2021-03-26 06:25:35 +0100 <jle`> but i did add explicit ones but just matched the ones i already saw inferred :'(
2021-03-26 06:25:46 +0100 <jle`> oh wait
2021-03-26 06:25:52 +0100 <Axman6> :'(
2021-03-26 06:25:53 +0100 <Axman6> :o
2021-03-26 06:26:19 +0100 <jle`> hm, the roles on both IdF and IdF' are the same
2021-03-26 06:26:46 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-03-26 06:27:03 +0100 <jle`> but actually i would have expected them to be represeational representational, but they're representational nominal. which i guess makes sense because who knows what 'f' could be
2021-03-26 06:27:32 +0100 <jle`> but i can't explicitly set it to be representational, ghc doesn't let me for either (makes sense)
2021-03-26 06:28:07 +0100 <jle`> but K1 and KM are both representational phantom, which makes sense
2021-03-26 06:28:24 +0100stree(~stree@68.36.8.116)
2021-03-26 06:28:37 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 06:28:42 +0100 <jle`> i think a part of it is the fact that once K1 is given as a functor instead of as just the whole saturated type, it switches to checking if the functors are coercible, instead of the actual thing
2021-03-26 06:28:44 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Remote host closed the connection)
2021-03-26 06:29:20 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 06:34:02 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 258 seconds)
2021-03-26 06:37:21 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-03-26 06:41:58 +0100havenwood1(~havenwood@139.28.218.148) (Remote host closed the connection)
2021-03-26 06:48:58 +0100solvr(57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-03-26 06:49:22 +0100Stanley|00(~stanley00@unaffiliated/stanley00)
2021-03-26 06:49:56 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 246 seconds)
2021-03-26 06:55:32 +0100ddellacosta(~ddellacos@86.106.143.209)
2021-03-26 06:55:41 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-26 06:58:09 +0100tpefreedom(~tsomers@184-157-240-110.dyn.centurytel.net) (Quit: Leaving)
2021-03-26 06:58:17 +0100GothAlice1(~GothAlice@185.204.1.185)
2021-03-26 06:59:16 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-26 06:59:47 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 07:00:11 +0100ddellacosta(~ddellacos@86.106.143.209) (Ping timeout: 240 seconds)
2021-03-26 07:00:13 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 07:04:26 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-03-26 07:04:59 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 250 seconds)
2021-03-26 07:07:10 +0100Graypup_(Graypup@lfcode.ca) (Quit: ZNC 1.6.1 - http://znc.in)
2021-03-26 07:08:39 +0100Graypup_(Graypup@lfcode.ca)
2021-03-26 07:09:19 +0100v01d4lph4(~v01d4lph4@106.212.133.35) (Remote host closed the connection)
2021-03-26 07:09:33 +0100v01d4lph4(~v01d4lph4@106.212.133.35)
2021-03-26 07:15:33 +0100dolio(~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-26 07:20:21 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-03-26 07:24:31 +0100dolio(~dolio@haskell/developer/dolio)
2021-03-26 07:26:20 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:699e:bcf8:d3ec:5b7d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-26 07:29:40 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-26 07:30:24 +0100electricityZZZZ(~electrici@135-180-3-82.static.sonic.net) (Ping timeout: 265 seconds)
2021-03-26 07:32:21 +0100openheimer(~death__@unaffiliated/death/x-3645061)
2021-03-26 07:34:00 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-26 07:34:20 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-03-26 07:34:48 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-03-26 07:37:04 +0100Feuermagier(~Feuermagi@213.178.26.41)
2021-03-26 07:38:39 +0100graf_blutwurst(~user@2001:171b:226e:adc0:2863:3362:bbea:a2d7)
2021-03-26 07:42:58 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 07:43:53 +0100madjestic(~Android@86-88-72-244.fixed.kpn.net)
2021-03-26 07:43:57 +0100idhugo__(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-26 07:44:09 +0100wonko7(~wonko7@62.115.229.50)
2021-03-26 07:45:21 +0100Sornaensis(~Sornaensi@79.142.232.102.static.router4.bolignet.dk)
2021-03-26 07:47:38 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 258 seconds)
2021-03-26 07:48:17 +0100Sorny(~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 265 seconds)
2021-03-26 07:52:18 +0100Guest3407(~frobnicat@185-227-75-147.dsl.cambrium.nl) (Quit: WeeChat 3.0)
2021-03-26 07:52:34 +0100frobnicator(~frobnicat@185-227-75-147.dsl.cambrium.nl)
2021-03-26 07:53:06 +0100Varis(~Tadas@unaffiliated/varis)
2021-03-26 07:53:25 +0100MidAutumnHotaru1(~MidAutumn@unaffiliated/midautumnhotaru)
2021-03-26 07:55:27 +0100MidAutumnHotaru1MidAutumnHotaru
2021-03-26 07:56:08 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2021-03-26 07:56:09 +0100Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Quit: Leaving.)
2021-03-26 07:57:44 +0100howdoi(uid224@gateway/web/irccloud.com/x-ydlernjpazveajju) (Quit: Connection closed for inactivity)
2021-03-26 07:59:57 +0100MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾)
2021-03-26 08:00:13 +0100MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru)
2021-03-26 08:00:19 +0100orzo_(joe@lasker.childrenofmay.org) (Ping timeout: 252 seconds)
2021-03-26 08:02:22 +0100malumore(~malumore@151.62.117.14)
2021-03-26 08:03:05 +0100vicfred(~vicfred@unaffiliated/vicfred)
2021-03-26 08:05:46 +0100ghuntley(sid16877@gateway/web/irccloud.com/x-uxfaektgqdodsraa) (Ping timeout: 245 seconds)
2021-03-26 08:06:06 +0100milessabin(sid86799@gateway/web/irccloud.com/x-paxjngfzvzojnqam) (Read error: Connection reset by peer)
2021-03-26 08:06:06 +0100agander_m(sid407952@gateway/web/irccloud.com/x-rroevxeabrovpqft) (Read error: Connection reset by peer)
2021-03-26 08:06:07 +0100rslima_____(sid26145@gateway/web/irccloud.com/x-ppogivlypnlrjlol) (Read error: Connection reset by peer)
2021-03-26 08:06:07 +0100dani-(sid341953@gateway/web/irccloud.com/x-dpwgagznzbsmxica) (Read error: Connection reset by peer)
2021-03-26 08:06:08 +0100kyagrd__(sid102627@gateway/web/irccloud.com/x-mtjgptufljfbldge) (Read error: Connection reset by peer)
2021-03-26 08:06:11 +0100taktoa[c](sid282096@gateway/web/irccloud.com/x-hqelbfbprbiolikb) (Read error: Connection reset by peer)
2021-03-26 08:06:11 +0100hazard-pointer_(sid331723@gateway/web/irccloud.com/x-mrkimhdfnvbytrva) (Ping timeout: 245 seconds)
2021-03-26 08:06:12 +0100srhb(sid400352@NixOS/user/srhb) (Read error: Connection reset by peer)
2021-03-26 08:06:12 +0100ocharles(sid30093@musicbrainz/user/ocharles) (Read error: Connection reset by peer)
2021-03-26 08:06:14 +0100glowcoil(sid3405@gateway/web/irccloud.com/x-xeuicresjnitdefg) (Read error: Connection reset by peer)
2021-03-26 08:06:18 +0100solvr(57e3c46d@87.227.196.109)
2021-03-26 08:06:18 +0100gds(~user@2a01:4b00:8605:9800:4103:dbd5:9f3c:6103) (Quit: rebooting)
2021-03-26 08:06:21 +0100kyagrd__(sid102627@gateway/web/irccloud.com/x-qbvavchptiwverik)
2021-03-26 08:06:22 +0100rslima_____(sid26145@gateway/web/irccloud.com/x-bsjjzrtkvhqfkopf)
2021-03-26 08:06:22 +0100agander_m(sid407952@gateway/web/irccloud.com/x-pursommpxzploatw)
2021-03-26 08:06:22 +0100milessabin(sid86799@gateway/web/irccloud.com/x-hmfsltgzvlhcmkqq)
2021-03-26 08:06:22 +0100ghuntley(sid16877@gateway/web/irccloud.com/x-edeyartuzjnymnlf)
2021-03-26 08:06:23 +0100dani-(sid341953@gateway/web/irccloud.com/x-rsbykznomadfhydo)
2021-03-26 08:06:23 +0100hazard-pointer_(sid331723@gateway/web/irccloud.com/x-wushqlykrygajcur)
2021-03-26 08:06:27 +0100ocharles(sid30093@musicbrainz/user/ocharles)
2021-03-26 08:06:27 +0100srhb(sid400352@NixOS/user/srhb)
2021-03-26 08:06:38 +0100taktoa[c](sid282096@gateway/web/irccloud.com/x-njxvjnpthhvfgqfo)
2021-03-26 08:06:40 +0100glowcoil(sid3405@gateway/web/irccloud.com/x-kqfefvcmbgehneab)
2021-03-26 08:08:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-26 08:09:16 +0100hackagenix-derivation 1.1.2 - Parse and render *.drv files https://hackage.haskell.org/package/nix-derivation-1.1.2 (GabrielGonzalez)
2021-03-26 08:10:20 +0100ddellacosta(~ddellacos@86.106.143.79)
2021-03-26 08:13:21 +0100Feuermagier(~Feuermagi@213.178.26.41) (Remote host closed the connection)
2021-03-26 08:13:46 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-03-26 08:14:46 +0100ddellacosta(~ddellacos@86.106.143.79) (Ping timeout: 240 seconds)
2021-03-26 08:17:22 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-26 08:19:16 +0100hackagefbrnch 0.7.3 - Build and create Fedora package repos and branches https://hackage.haskell.org/package/fbrnch-0.7.3 (JensPetersen)
2021-03-26 08:19:31 +0100xff0x(~xff0x@2001:1a81:522d:f100:d10d:84ad:4500:2c79) (Ping timeout: 250 seconds)
2021-03-26 08:20:16 +0100xff0x(~xff0x@2001:1a81:522d:f100:a1a6:5165:5e20:970f)
2021-03-26 08:26:30 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-03-26 08:29:56 +0100tomsmeding(~tomsmedin@2a03:b0c0:0:1010::767:3001) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-26 08:31:20 +0100tomsmeding(~tomsmedin@tomsmeding.com)
2021-03-26 08:32:12 +0100Sorna(~Sornaensi@79.142.232.102.static.router4.bolignet.dk)
2021-03-26 08:35:19 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-03-26 08:35:41 +0100Sornaensis(~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 240 seconds)
2021-03-26 08:35:49 +0100Feuermagier(~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e)
2021-03-26 08:36:37 +0100stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-03-26 08:37:33 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao) (Ping timeout: 240 seconds)
2021-03-26 08:38:20 +0100Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
2021-03-26 08:38:52 +0100LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao)
2021-03-26 08:39:03 +0100Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-03-26 08:43:13 +0100SaitamaPlus(uid272474@gateway/web/irccloud.com/x-cfuxdhlufguvidaj)
2021-03-26 08:44:07 +0100heatsink(~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78) (Remote host closed the connection)
2021-03-26 08:46:35 +0100SornaSornaensis
2021-03-26 08:46:45 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-26 08:49:42 +0100stree(~stree@68.36.8.116)
2021-03-26 08:51:18 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-03-26 08:54:28 +0100idhugo_(~idhugo@80-62-117-136-mobile.dk.customer.tdc.net)
2021-03-26 08:55:17 +0100madjestic(~Android@86-88-72-244.fixed.kpn.net) (Quit: -a- Connection Timed Out)
2021-03-26 08:55:30 +0100madjestic(~Android@86-88-72-244.fixed.kpn.net)
2021-03-26 08:56:41 +0100idhugo__(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-03-26 08:58:03 +0100coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
2021-03-26 08:58:54 +0100Yumasi(~guillaume@2a01:e0a:5cb:4430:8725:827a:4e58:6cfc)
2021-03-26 08:59:05 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13)
2021-03-26 09:00:15 +0100ircbrowse_tom(~ircbrowse@64.225.78.177)
2021-03-26 09:00:16 +0100Server+CLnt
2021-03-26 09:00:39 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 09:00:49 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-03-26 09:01:05 +0100Guest55480(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-03-26 09:01:54 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-03-26 09:02:31 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:586e:5159:6fa7:bad0)
2021-03-26 09:03:51 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-03-26 09:05:18 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-03-26 09:07:49 +0100hiroaki1(~hiroaki@2a02:8108:8c40:2bb8:d207:ae60:71f:5548)
2021-03-26 09:08:47 +0100ryxai(~textual@pool-71-183-41-241.nycmny.fios.verizon.net)
2021-03-26 09:12:05 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2021-03-26 09:12:54 +0100Varis(~Tadas@unaffiliated/varis)
2021-03-26 09:13:27 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-03-26 09:14:22 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2021-03-26 09:14:41 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2021-03-26 09:17:05 +0100 <kilolympus> Thanks a lot monochrom! That helped a ton!
2021-03-26 09:17:46 +0100hackagehaddock-api 2.24.2 - A documentation-generation tool for Haskell libraries https://hackage.haskell.org/package/haddock-api-2.24.2 (alexbiehl)
2021-03-26 09:19:16 +0100hackagehaddock 2.24.2 - A documentation-generation tool for Haskell libraries https://hackage.haskell.org/package/haddock-2.24.2 (alexbiehl)
2021-03-26 09:19:21 +0100outerpassage_(outerpassa@2600:3c01::f03c:92ff:fed1:4643)
2021-03-26 09:22:01 +0100remedan(~remedan@balak.me) (Quit: Bye!)
2021-03-26 09:22:01 +0100borne(~fritjof@2a06:8782:ffbb:1337:ce73:3416:bcd:fc35)
2021-03-26 09:22:47 +0100remedan(~remedan@balak.me)
2021-03-26 09:23:16 +0100ryxai(~textual@pool-71-183-41-241.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-26 09:25:54 +0100ryxai(~textual@pool-71-183-41-241.nycmny.fios.verizon.net)
2021-03-26 09:26:26 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net)
2021-03-26 09:27:49 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-26 09:29:52 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-26 09:31:18 +0100notzmv(~zmv@unaffiliated/zmv) (Read error: Connection reset by peer)
2021-03-26 09:32:20 +0100solvr(57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-03-26 09:32:37 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2021-03-26 09:36:50 +0100myme(~myme@li1406-121.members.linode.com) (Quit: WeeChat 2.7)
2021-03-26 09:36:53 +0100ryxai(~textual@pool-71-183-41-241.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-26 09:39:41 +0100neiluj(~jco@91-167-203-101.subs.proxad.net) (Ping timeout: 260 seconds)
2021-03-26 09:41:06 +0100malumore(~malumore@151.62.117.14) (Ping timeout: 240 seconds)
2021-03-26 09:44:08 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-divpzqxlqbtjqwfq)
2021-03-26 09:44:48 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 09:44:56 +0100openheimer(~death__@unaffiliated/death/x-3645061) (Ping timeout: 246 seconds)
2021-03-26 09:45:07 +0100kritzefitz(~kritzefit@fw-front.credativ.com)
2021-03-26 09:50:26 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de)
2021-03-26 09:51:23 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 250 seconds)
2021-03-26 09:54:55 +0100DavidEichmann(~david@47.27.93.209.dyn.plus.net)
2021-03-26 09:56:19 +0100xourt(d4c620ea@212-198-32-234.rev.numericable.fr)
2021-03-26 09:56:34 +0100plutoniix(~q@ppp-27-55-70-219.revip3.asianet.co.th)
2021-03-26 09:56:44 +0100plutoniix(~q@ppp-27-55-70-219.revip3.asianet.co.th) (Max SendQ exceeded)
2021-03-26 09:57:11 +0100plutoniix(~q@ppp-27-55-70-219.revip3.asianet.co.th)
2021-03-26 09:58:09 +0100Franciman(~francesco@host-79-53-62-46.retail.telecomitalia.it)
2021-03-26 09:58:19 +0100thc202(~thc202@unaffiliated/thc202)
2021-03-26 09:59:29 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 10:00:09 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-26 10:02:29 +0100malumore(~malumore@151.62.117.14)
2021-03-26 10:03:29 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2021-03-26 10:03:49 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 10:05:22 +0100drbean_(~drbean@TC210-63-209-87.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-03-26 10:06:35 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-26 10:08:56 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-03-26 10:11:21 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
2021-03-26 10:13:19 +0100nefercheprureTMA
2021-03-26 10:14:41 +0100Neuromancer(~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds)
2021-03-26 10:14:46 +0100auiee(~auiee@88.155.72.207)
2021-03-26 10:15:08 +0100auiee(~auiee@88.155.72.207) (Client Quit)
2021-03-26 10:16:20 +0100auiee(~auiee@88.155.72.207)
2021-03-26 10:16:46 +0100todda7(~torstein@2a02:587:1b14:af00:7b99:870e:286b:27aa) (Ping timeout: 240 seconds)
2021-03-26 10:17:04 +0100openheimer(~death__@unaffiliated/death/x-3645061)
2021-03-26 10:19:46 +0100sdx32(~sdx23@unaffiliated/sdx23)
2021-03-26 10:21:10 +0100sdx23(~sdx23@unaffiliated/sdx23) (Ping timeout: 260 seconds)
2021-03-26 10:21:39 +0100auiee(~auiee@88.155.72.207) (Quit: WeeChat 3.0)
2021-03-26 10:21:55 +0100auiee(~auiee@88.155.72.207)
2021-03-26 10:22:47 +0100auiee(~auiee@88.155.72.207) (Client Quit)
2021-03-26 10:23:06 +0100auiee(~auiee@88.155.72.207)
2021-03-26 10:23:25 +0100auiee(~auiee@88.155.72.207) (Client Quit)
2021-03-26 10:24:28 +0100auiee(~auiee@88.155.72.207)
2021-03-26 10:25:18 +0100auiee(~auiee@88.155.72.207) (Client Quit)
2021-03-26 10:25:35 +0100auiee(~auiee@88.155.72.207)
2021-03-26 10:27:16 +0100auiee(~auiee@88.155.72.207) ()
2021-03-26 10:27:55 +0100auiee(~auiee@88.155.72.207)
2021-03-26 10:28:14 +0100auiee(~auiee@88.155.72.207) (Client Quit)
2021-03-26 10:28:15 +0100dyeplexer(~lol@unaffiliated/terpin)
2021-03-26 10:28:32 +0100auiee(~auiee@88.155.72.207)
2021-03-26 10:28:42 +0100Bigcheese(~quassel@unaffiliated/bigcheese) (Ping timeout: 245 seconds)
2021-03-26 10:28:46 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-03-26 10:29:37 +0100LKoen(~LKoen@191.254.88.92.rev.sfr.net)
2021-03-26 10:29:59 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Remote host closed the connection)
2021-03-26 10:31:49 +0100auieevglfr
2021-03-26 10:31:55 +0100vglfr(~auiee@88.155.72.207) (Client Quit)
2021-03-26 10:32:10 +0100auiee(~auiee@88.155.72.207)
2021-03-26 10:32:45 +0100auieevglfr
2021-03-26 10:34:15 +0100Bigcheese(~quassel@unaffiliated/bigcheese)
2021-03-26 10:34:15 +0100vglfr(~auiee@88.155.72.207) (Client Quit)
2021-03-26 10:34:34 +0100auiee(~auiee@88.155.72.207)
2021-03-26 10:34:34 +0100auieevglfr
2021-03-26 10:35:37 +0100toorevitimirp(~tooreviti@117.182.181.200)
2021-03-26 10:37:59 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-26 10:39:16 +0100vglfr(~auiee@88.155.72.207) (Client Quit)
2021-03-26 10:39:35 +0100vglfr(~auiee@88.155.72.207)
2021-03-26 10:41:07 +0100vglfr(~auiee@88.155.72.207) (Client Quit)
2021-03-26 10:41:21 +0100vglfr(~auiee@88.155.72.207)
2021-03-26 10:41:40 +0100vglfr(~auiee@88.155.72.207) (Client Quit)
2021-03-26 10:42:18 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-03-26 10:44:20 +0100Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de)
2021-03-26 10:46:31 +0100Edward123EdwardIII
2021-03-26 10:48:11 +0100LKoen(~LKoen@191.254.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-03-26 10:50:05 +0100tessier(~treed@kernel-panic/copilotco) (Ping timeout: 260 seconds)
2021-03-26 10:51:01 +0100tessier(~treed@98.171.210.130)
2021-03-26 10:51:01 +0100tessier(~treed@98.171.210.130) (Changing host)
2021-03-26 10:51:01 +0100tessier(~treed@kernel-panic/copilotco)
2021-03-26 10:52:10 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 10:55:47 +0100Neuromancer(~Neuromanc@unaffiliated/neuromancer)
2021-03-26 10:56:44 +0100toorevitimirp(~tooreviti@117.182.181.200) (Remote host closed the connection)
2021-03-26 10:57:18 +0100stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-03-26 10:57:30 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-03-26 10:58:07 +0100benkolera(uid285671@gateway/web/irccloud.com/x-wpfqxhktxgpaqzio)
2021-03-26 10:59:36 +0100toorevitimirp(~tooreviti@117.182.181.200)
2021-03-26 10:59:55 +0100toorevitimirp(~tooreviti@117.182.181.200) (Remote host closed the connection)
2021-03-26 11:00:57 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-26 11:01:16 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 11:01:21 +0100terrorjack(~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com)
2021-03-26 11:01:54 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2021-03-26 11:02:04 +0100bahamas(~lucian@unaffiliated/bahamas)
2021-03-26 11:02:10 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-03-26 11:02:43 +0100 <bahamas> is there a canonical library for making your program configurable (through cli, files, env vars)?
2021-03-26 11:02:47 +0100toorevitimirp(~tooreviti@117.182.181.200)
2021-03-26 11:03:09 +0100fendor(~fendor@178.115.129.125.wireless.dyn.drei.com)
2021-03-26 11:04:35 +0100 <merijn> bahamas: All of those at once?
2021-03-26 11:05:08 +0100 <merijn> Because then definitely "no"
2021-03-26 11:05:47 +0100 <bahamas> merijn: I found this one: https://hackage.haskell.org/package/conferer
2021-03-26 11:06:38 +0100 <merijn> bahamas: tbh, my approach would be "define a datatype that is the interface to your program, then implement CLI/file config/env vars independently"
2021-03-26 11:06:55 +0100 <merijn> bahamas: You can use some neat monoid/semigroup tricks to combine configs from different sources
2021-03-26 11:07:22 +0100jneira(501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) (Ping timeout: 252 seconds)
2021-03-26 11:08:51 +0100 <bahamas> merijn: you mean the App pattern used in conjunction with ReaderT?
2021-03-26 11:08:59 +0100Thor007(~Thor007@157.42.17.151)
2021-03-26 11:09:23 +0100 <bahamas> I'm referring just to the "datatype that is the interface" part of what you said
2021-03-26 11:09:23 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-26 11:09:58 +0100fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Ping timeout: 240 seconds)
2021-03-26 11:10:02 +0100 <merijn> I mean, the App and ReaderT parts of that are mostly unrelated, tbh
2021-03-26 11:10:04 +0100Thor007(~Thor007@157.42.17.151) (Read error: Connection reset by peer)
2021-03-26 11:10:49 +0100 <merijn> What I meant is that if all your application logic is contained in "yourCode :: SomeConfig -> Foo", then "how SomeConfig got made" is completely orthogonal"
2021-03-26 11:10:57 +0100stree(~stree@68.36.8.116)
2021-03-26 11:11:02 +0100toorevitimirp(~tooreviti@117.182.181.200) (Remote host closed the connection)
2021-03-26 11:11:59 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-03-26 11:12:04 +0100Neuromancer(~Neuromanc@unaffiliated/neuromancer) (Read error: Connection reset by peer)
2021-03-26 11:13:08 +0100fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2021-03-26 11:13:13 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-03-26 11:13:34 +0100 <merijn> bahamas: You can do some tricks like "data Config f = Config { field1 :: f Int, field2 :: f String, field3 :: f Bool }" and then use "Config Last" to get a semigroup instance that keeps the "last" (i.e. rightmost value)
2021-03-26 11:13:39 +0100 <bahamas> merijn: so right now, the library I showed you seems like the easy route, because I don't have to implement any of the logic.
2021-03-26 11:14:02 +0100 <merijn> bahamas: Then can do something like "fileConfig <> envConfig <> cliConfig" and combine them
2021-03-26 11:14:02 +0100 <bahamas> merijn: is your suggestion coming from the idea that this is easy enough to implement not to warrant a library
2021-03-26 11:14:11 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2021-03-26 11:14:20 +0100toorevitimirp(~tooreviti@117.182.181.200)
2021-03-26 11:14:21 +0100ph88(~ph88@ip5f5af71a.dynamic.kabel-deutschland.de)
2021-03-26 11:14:32 +0100 <merijn> bahamas: My suggestion is coming from: "automagic libraries never implement their magic the way I'd actually want it"
2021-03-26 11:14:49 +0100 <ph88> how can i find out which exceptions this function can throw ? https://hackage.haskell.org/package/text-1.2.4.1/docs/Data-Text-IO.html#v:hGetContents
2021-03-26 11:15:14 +0100 <bahamas> merijn: I see
2021-03-26 11:15:22 +0100 <merijn> bahamas: I see whole lots of FromConfig and Typeable in that API and that kinda thing makes me *thoroughly* paranoid and uncomfortable
2021-03-26 11:15:39 +0100 <merijn> I'd rather keep control
2021-03-26 11:15:42 +0100Stanley|00(~stanley00@unaffiliated/stanley00) ()
2021-03-26 11:15:46 +0100 <bahamas> merijn: why is that?
2021-03-26 11:16:07 +0100 <bahamas> making you uncomfortable I mean
2021-03-26 11:16:30 +0100 <merijn> bahamas: Magic conversions are incredibly brittle. Someone changes a typeclass instance, whoops things parse entirely different. Explicit parsers are great, because you can have multiple versions
2021-03-26 11:16:33 +0100 <bahamas> I guess because of automatic conversion of config to types
2021-03-26 11:17:23 +0100 <merijn> bahamas: Inevitably there will be a time where you wanna run new code in an environment with old configs, so you want new code to parse both old *and* new configurations, and then you're hosed when your magic typeclass version only supports one version
2021-03-26 11:17:57 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-03-26 11:19:12 +0100 <bahamas> merijn: ok, I think I see what you mean.
2021-03-26 11:19:28 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds)
2021-03-26 11:20:44 +0100 <merijn> It can be useful for quick and dirty prototypes, but it's a risk to keep in mind
2021-03-26 11:22:07 +0100glguy(x@freenode/staff/haskell.developer.glguy) (Read error: Connection reset by peer)
2021-03-26 11:23:57 +0100glguy(x@freenode/staff/haskell.developer.glguy)
2021-03-26 11:24:42 +0100Thor007(~Thor007@157.42.17.151)
2021-03-26 11:25:02 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection)
2021-03-26 11:25:34 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2021-03-26 11:25:38 +0100Thor007(~Thor007@157.42.17.151) (Remote host closed the connection)
2021-03-26 11:25:51 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection)
2021-03-26 11:26:21 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2021-03-26 11:28:32 +0100Thor007(~Thor007@157.42.17.151)
2021-03-26 11:29:01 +0100Thor007(~Thor007@157.42.17.151) (Remote host closed the connection)
2021-03-26 11:30:23 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13)
2021-03-26 11:30:37 +0100Thor007(~Thor007@157.42.17.151)
2021-03-26 11:30:58 +0100 <ph88> is there a function that will format an IOError into some text ? similar to the text which is visible when an exception is not caught and the program crashes ?
2021-03-26 11:32:24 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-26 11:32:25 +0100tsaka__(~torstein@2a02:587:1b14:af00:7b99:870e:286b:27aa)
2021-03-26 11:32:52 +0100thomas77(9d2a1197@157.42.17.151)
2021-03-26 11:33:18 +0100thomas77(9d2a1197@157.42.17.151) ()
2021-03-26 11:33:48 +0100 <ph88> oh maybe i can just call show on it ^^
2021-03-26 11:34:13 +0100thomas77(9d2a1197@157.42.17.151)
2021-03-26 11:34:36 +0100ovanr(c22a0b1f@194.42.11.31)
2021-03-26 11:34:57 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Ping timeout: 258 seconds)
2021-03-26 11:36:54 +0100Guest74945(~textual@2603-7000-3040-0000-c56e-092a-f34e-2a6e.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-26 11:37:38 +0100Thor007(~Thor007@157.42.17.151) (Remote host closed the connection)
2021-03-26 11:40:09 +0100Thor007(~Thor007@157.42.17.151)
2021-03-26 11:41:45 +0100michalz(~user@185.246.204.49)
2021-03-26 11:41:50 +0100solvr(57e3c46d@87.227.196.109)
2021-03-26 11:42:26 +0100petersen(~petersen@redhat/juhp) (Ping timeout: 240 seconds)
2021-03-26 11:42:28 +0100ClaudiusMaximus(~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net)
2021-03-26 11:42:28 +0100ClaudiusMaximus(~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host)
2021-03-26 11:42:28 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2021-03-26 11:42:45 +0100LKoen(~LKoen@191.254.88.92.rev.sfr.net)
2021-03-26 11:43:54 +0100 <__minoru__shirae> merjin: isn't it the other way around?
2021-03-26 11:44:20 +0100 <__minoru__shirae> I mean, usually you write quick and dirty unmaintainable solutions by hand
2021-03-26 11:44:44 +0100 <__minoru__shirae> and libraries are written with maintainability in maind
2021-03-26 11:44:51 +0100 <__minoru__shirae> *in mind
2021-03-26 11:45:38 +0100Thor007(~Thor007@157.42.17.151) (Remote host closed the connection)
2021-03-26 11:45:39 +0100 <__minoru__shirae> as a result, libraries are more maintainable and cover more cases than a quick hand-written solution
2021-03-26 11:46:43 +0100kritzefitz_(~kritzefit@212.86.56.80)
2021-03-26 11:46:59 +0100kritzefitz_(~kritzefit@212.86.56.80) (Client Quit)
2021-03-26 11:47:46 +0100kritzefitz(~kritzefit@fw-front.credativ.com) (Ping timeout: 240 seconds)
2021-03-26 11:48:05 +0100 <__minoru__shirae> so, if there is a problem of running new code in an environment with old configs, then probably other people had that problem too and solved it and added a solution to some library
2021-03-26 11:49:11 +0100fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Ping timeout: 246 seconds)
2021-03-26 11:49:32 +0100toorevitimirp(~tooreviti@117.182.181.200) (Remote host closed the connection)
2021-03-26 11:49:33 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-26 11:49:51 +0100zclod(97436407@151.67.100.7)
2021-03-26 11:50:52 +0100toorevitimirp(~tooreviti@117.182.181.200)
2021-03-26 11:52:42 +0100dunj3(~dunj3@p200300f61714a6525a2c275a27c36a61.dip0.t-ipconnect.de)
2021-03-26 11:53:55 +0100fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2021-03-26 11:54:06 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-03-26 11:57:34 +0100borne(~fritjof@2a06:8782:ffbb:1337:ce73:3416:bcd:fc35) (Ping timeout: 258 seconds)
2021-03-26 11:59:06 +0100openheimer(~death__@unaffiliated/death/x-3645061) (Ping timeout: 260 seconds)
2021-03-26 11:59:14 +0100borne(~fritjof@200116b864d14f00f7ed9fd86a2491f0.dip.versatel-1u1.de)
2021-03-26 11:59:59 +0100Alleria(~textual@2603-7000-3040-0000-c56e-092a-f34e-2a6e.res6.spectrum.com)
2021-03-26 12:00:23 +0100AlleriaGuest863
2021-03-26 12:01:03 +0100openheimer(~death__@unaffiliated/death/x-3645061)
2021-03-26 12:02:08 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-26 12:02:29 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 12:04:28 +0100Guest863(~textual@2603-7000-3040-0000-c56e-092a-f34e-2a6e.res6.spectrum.com) (Ping timeout: 258 seconds)
2021-03-26 12:07:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-26 12:07:16 +0100son0p(~son0p@181.58.39.182)
2021-03-26 12:07:21 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-03-26 12:07:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-26 12:08:17 +0100vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-03-26 12:11:38 +0100 <zclod> hi, i'm trying to understand if i can use a mutable array reference inside a state monad and do in place updates when needed. here is more or less what im trying to accomplish https://gist.github.com/zclod/c8315fa0102329bebd8e88aac84164e8   i'm doing something fundamentally wrong or is it possible to do it?
2021-03-26 12:12:41 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-26 12:12:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-26 12:17:11 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-03-26 12:18:06 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-26 12:18:11 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-26 12:18:52 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-26 12:21:02 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 246 seconds)
2021-03-26 12:21:51 +0100toorevitimirp(~tooreviti@117.182.181.200) (Remote host closed the connection)
2021-03-26 12:22:20 +0100smctwo(~smctwo@86.98.5.100)
2021-03-26 12:22:21 +0100solvr(57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-03-26 12:23:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-26 12:24:31 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-26 12:25:49 +0100Alleria_(~textual@mskresolve-a.mskcc.org)
2021-03-26 12:27:18 +0100bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 240 seconds)
2021-03-26 12:30:26 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-26 12:31:40 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13)
2021-03-26 12:31:46 +0100dyeplexer(~lol@unaffiliated/terpin) (Ping timeout: 260 seconds)
2021-03-26 12:31:59 +0100lateef(~lateef@171.121.237.35.bc.googleusercontent.com)
2021-03-26 12:32:44 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 12:33:12 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-03-26 12:34:18 +0100hexfive(~hexfive@50.35.83.177) (Quit: i must go. my people need me.)
2021-03-26 12:34:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-03-26 12:35:06 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2021-03-26 12:35:31 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-26 12:36:17 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Ping timeout: 258 seconds)
2021-03-26 12:39:22 +0100smctwo(~smctwo@86.98.5.100) (Remote host closed the connection)
2021-03-26 12:40:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-26 12:40:41 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-26 12:40:59 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 12:41:12 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-26 12:44:18 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-03-26 12:45:10 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-03-26 12:45:36 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-26 12:48:18 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Remote host closed the connection)
2021-03-26 12:49:02 +0100lambda(~xiretza@mail.xiretza.xyz) (Quit: WeeChat 3.0)
2021-03-26 12:49:04 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-26 12:49:20 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-26 12:49:23 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 12:49:57 +0100Synthetica(uid199651@gateway/web/irccloud.com/x-txjeacswfxemjhpo)
2021-03-26 12:50:25 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Remote host closed the connection)
2021-03-26 12:51:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-26 12:51:54 +0100lambda(~xiretza@mail.xiretza.xyz)
2021-03-26 12:52:13 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-26 12:52:24 +0100ubert1(~Thunderbi@p200300ecdf25d922ca5b76fffe29f233.dip0.t-ipconnect.de)
2021-03-26 12:52:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-26 12:53:11 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net)
2021-03-26 12:54:14 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-03-26 12:54:58 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
2021-03-26 12:57:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-26 12:58:19 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-26 12:58:38 +0100 <ClaudiusMaximus> zclod: runSTUArray is the wrong thing to use in that position, because it creates a new 's' dataflow thread which is not allowed to escape its scope
2021-03-26 13:01:10 +0100LKoen(~LKoen@191.254.88.92.rev.sfr.net) (Remote host closed the connection)
2021-03-26 13:02:27 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 265 seconds)
2021-03-26 13:02:31 +0100ddellacosta(~ddellacos@86.106.143.66)
2021-03-26 13:03:16 +0100 <ClaudiusMaximus> zclod: I think you want something more like readMemory :: C s (); readMemory = do{ s <- get ; x' <- lift $ readArray (_y s) 0 ; put s{ _x = x' } }
2021-03-26 13:03:29 +0100 <ClaudiusMaximus> zclod: which you can sprinkle with lens if you like
2021-03-26 13:04:32 +0100drbean_(~drbean@TC210-63-209-73.static.apol.com.tw)
2021-03-26 13:05:28 +0100LKoen(~LKoen@191.254.88.92.rev.sfr.net)
2021-03-26 13:07:16 +0100ddellacosta(~ddellacos@86.106.143.66) (Ping timeout: 252 seconds)
2021-03-26 13:07:41 +0100ubert1(~Thunderbi@p200300ecdf25d922ca5b76fffe29f233.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-03-26 13:10:46 +0100berberman_(~berberman@unaffiliated/berberman) (Ping timeout: 240 seconds)
2021-03-26 13:12:20 +0100berberman(~berberman@unaffiliated/berberman)
2021-03-26 13:12:25 +0100benkolera(uid285671@gateway/web/irccloud.com/x-wpfqxhktxgpaqzio) (Quit: Connection closed for inactivity)
2021-03-26 13:14:42 +0100LKoen(~LKoen@191.254.88.92.rev.sfr.net) (Remote host closed the connection)
2021-03-26 13:16:42 +0100thomas77(9d2a1197@157.42.17.151) (Ping timeout: 240 seconds)
2021-03-26 13:17:48 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-26 13:18:21 +0100andreas31(~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds)
2021-03-26 13:18:46 +0100Blkt(~Blkt@2a01:4f8:200:2425::adda) (Ping timeout: 240 seconds)
2021-03-26 13:18:58 +0100stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-03-26 13:19:17 +0100Blkt(~Blkt@2a01:4f8:200:2425::adda)
2021-03-26 13:20:43 +0100andreas31(~andreas@gateway/tor-sasl/andreas303)
2021-03-26 13:22:37 +0100coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-26 13:23:28 +0100v01d4lph4(~v01d4lph4@106.212.133.35) (Remote host closed the connection)
2021-03-26 13:24:05 +0100codygman__(~user@47.186.207.161)
2021-03-26 13:24:11 +0100codygman__(~user@47.186.207.161) (Remote host closed the connection)
2021-03-26 13:24:24 +0100shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:71ef:dee2:f1b7:70aa) (Ping timeout: 258 seconds)
2021-03-26 13:26:20 +0100Shadorain(uid453914@gateway/web/irccloud.com/x-kxlgtieracwagtls)
2021-03-26 13:26:29 +0100clog(~nef@bespin.org)
2021-03-26 13:29:38 +0100plutoniix(~q@ppp-27-55-70-219.revip3.asianet.co.th) (Ping timeout: 246 seconds)
2021-03-26 13:30:34 +0100invaser(~Thunderbi@31.148.23.125)
2021-03-26 13:31:06 +0100 <invaser> Hi, is there a version of `readFile` that returns Maybe String and not String? I'd like to check in some way if file exists or not
2021-03-26 13:31:57 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds)
2021-03-26 13:32:18 +0100stree(~stree@68.36.8.116)
2021-03-26 13:33:10 +0100 <dminuoso> invaser: That's not a useful thing to do.
2021-03-26 13:33:11 +0100lateef(~lateef@171.121.237.35.bc.googleusercontent.com) (Quit: lateef)
2021-03-26 13:33:20 +0100 <ovanr> you can use System.Directory.doesFileExist function
2021-03-26 13:33:21 +0100 <dminuoso> It'd be a toctou race.
2021-03-26 13:33:35 +0100 <dminuoso> Just use `readFile` and catch the exception.
2021-03-26 13:34:19 +0100 <invaser> Oh, ok. Actually I haven't tried catching exceptions before
2021-03-26 13:34:32 +0100 <merijn> @hoogle try
2021-03-26 13:34:32 +0100 <lambdabot> Control.Exception try :: Exception e => IO a -> IO (Either e a)
2021-03-26 13:34:32 +0100 <lambdabot> Control.Exception.Base try :: Exception e => IO a -> IO (Either e a)
2021-03-26 13:34:32 +0100 <lambdabot> System.Directory.Internal.Prelude try :: Exception e => IO a -> IO (Either e a)
2021-03-26 13:34:37 +0100 <merijn> @hoogle catch
2021-03-26 13:34:37 +0100 <lambdabot> Control.Exception catch :: Exception e => IO a -> (e -> IO a) -> IO a
2021-03-26 13:34:38 +0100 <lambdabot> Control.Exception.Base catch :: Exception e => IO a -> (e -> IO a) -> IO a
2021-03-26 13:34:38 +0100 <lambdabot> GHC.IO catch :: Exception e => IO a -> (e -> IO a) -> IO a
2021-03-26 13:35:07 +0100 <merijn> invaser: You can catch it using try and then converting the "Either" into Maybe should be straightforward
2021-03-26 13:35:12 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-03-26 13:35:27 +0100 <invaser> Yeah, thanks a lot
2021-03-26 13:35:42 +0100borne(~fritjof@200116b864d14f00f7ed9fd86a2491f0.dip.versatel-1u1.de) (Ping timeout: 258 seconds)
2021-03-26 13:36:21 +0100 <merijn> @hoogle IOError
2021-03-26 13:36:21 +0100 <lambdabot> Prelude type IOError = IOException
2021-03-26 13:36:21 +0100 <lambdabot> System.IO.Error type IOError = IOException
2021-03-26 13:36:21 +0100 <lambdabot> GHC.IO.Exception type IOError = IOException
2021-03-26 13:36:47 +0100 <merijn> Probably wanna dig into System.IO/Syste.IO.Error to make sure you only catch doesNotExist errors
2021-03-26 13:36:50 +0100Shadorain(uid453914@gateway/web/irccloud.com/x-kxlgtieracwagtls) ()
2021-03-26 13:37:25 +0100borne(~fritjof@83.135.94.174)
2021-03-26 13:40:13 +0100Deide(~Deide@217.155.19.23)
2021-03-26 13:42:12 +0100average(uid473595@gateway/web/irccloud.com/x-vfuwwhtirtsamgdh)
2021-03-26 13:42:46 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-03-26 13:44:32 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-03-26 13:45:10 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-26 13:45:25 +0100shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:71ef:dee2:f1b7:70aa)
2021-03-26 13:47:19 +0100son0p(~son0p@181.58.39.182) (Remote host closed the connection)
2021-03-26 13:49:56 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-03-26 13:50:21 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-26 13:50:43 +0100graf_blutwurst(~user@2001:171b:226e:adc0:2863:3362:bbea:a2d7) (Remote host closed the connection)
2021-03-26 13:52:16 +0100hackagemorley-prelude 0.4.0 - A custom prelude used in Morley https://hackage.haskell.org/package/morley-prelude-0.4.0 (pasqu4le)
2021-03-26 13:55:07 +0100codygman__(~user@47.186.207.161)
2021-03-26 13:55:41 +0100gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-03-26 13:58:13 +0100codygman__(~user@47.186.207.161) (Remote host closed the connection)
2021-03-26 13:58:42 +0100codygman__(~user@47.186.207.161)
2021-03-26 13:59:07 +0100orzo(joe@lasker.childrenofmay.org)
2021-03-26 14:04:07 +0100megaTherion_megaTherion
2021-03-26 14:04:46 +0100haritz(~hrtz@unaffiliated/haritz) (Ping timeout: 240 seconds)
2021-03-26 14:06:24 +0100openheimer(~death__@unaffiliated/death/x-3645061) (Quit: openheimer)
2021-03-26 14:06:26 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-03-26 14:07:01 +0100codygman`(~user@47.186.207.161)
2021-03-26 14:07:16 +0100urodna(~urodna@unaffiliated/urodna)
2021-03-26 14:07:48 +0100 <maerwald> invaser: what about broken symlinks?
2021-03-26 14:08:13 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:d71:c4d6:19f2:8fea)
2021-03-26 14:08:16 +0100haritz(~hrtz@62.3.70.206)
2021-03-26 14:08:17 +0100haritz(~hrtz@62.3.70.206) (Changing host)
2021-03-26 14:08:17 +0100haritz(~hrtz@unaffiliated/haritz)
2021-03-26 14:09:55 +0100ovanr(c22a0b1f@194.42.11.31) (Quit: Connection closed)
2021-03-26 14:11:09 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
2021-03-26 14:12:51 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-26 14:13:02 +0100codygman__(~user@47.186.207.161) (Ping timeout: 246 seconds)
2021-03-26 14:13:56 +0100ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-26 14:16:10 +0100ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-26 14:17:29 +0100coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
2021-03-26 14:18:29 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-26 14:18:32 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-03-26 14:18:32 +0100bahamas(~lucian@unaffiliated/bahamas)
2021-03-26 14:19:03 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Client Quit)
2021-03-26 14:20:39 +0100Tario(~Tario@201.192.165.173)
2021-03-26 14:23:47 +0100jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-03-26 14:27:36 +0100carlomagno(~cararell@148.87.23.10)
2021-03-26 14:29:36 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-26 14:29:52 +0100dunj3(~dunj3@p200300f61714a6525a2c275a27c36a61.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2021-03-26 14:30:30 +0100kiweun(~kiweun@2607:fea8:2a62:9600:cc2d:7c73:dd8a:fcdb)
2021-03-26 14:33:03 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13)
2021-03-26 14:34:21 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-26 14:36:22 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:d71:c4d6:19f2:8fea) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-26 14:36:22 +0100zclod(97436407@151.67.100.7) (Ping timeout: 240 seconds)
2021-03-26 14:37:29 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Ping timeout: 245 seconds)
2021-03-26 14:39:11 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-03-26 14:39:14 +0100kiweun(~kiweun@2607:fea8:2a62:9600:cc2d:7c73:dd8a:fcdb) (Remote host closed the connection)
2021-03-26 14:39:59 +0100stree(~stree@68.36.8.116) (Quit: Caught exception)
2021-03-26 14:39:59 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2021-03-26 14:40:12 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-03-26 14:40:23 +0100stree(~stree@68.36.8.116)
2021-03-26 14:43:14 +0100lateef(~lateef@171.121.237.35.bc.googleusercontent.com)
2021-03-26 14:43:30 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-03-26 14:43:51 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-03-26 14:45:53 +0100bergey(~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2021-03-26 14:46:51 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:4818:ee4a:c1c4:4d1c)
2021-03-26 14:48:39 +0100LKoen(~LKoen@191.254.88.92.rev.sfr.net)
2021-03-26 14:48:55 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-26 14:49:22 +0100toorevitimirp(~tooreviti@117.182.181.200)
2021-03-26 14:49:46 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 14:50:04 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-03-26 14:50:19 +0100jakalx(~jakalx@base.jakalx.net)
2021-03-26 14:51:09 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds)
2021-03-26 14:51:30 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-03-26 14:51:31 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2021-03-26 14:51:52 +0100ajc(~ajc@69.231.232.79)
2021-03-26 14:53:37 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net)
2021-03-26 14:53:58 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-03-26 14:54:00 +0100ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-26 14:54:35 +0100Athas(athas@2a01:7c8:aaac:1cf:27d:bfc3:53ec:af53) (Quit: ZNC - http://znc.sourceforge.net)
2021-03-26 14:54:45 +0100Athas(athas@sigkill.dk)
2021-03-26 14:55:04 +0100drbean_(~drbean@TC210-63-209-73.static.apol.com.tw) (Ping timeout: 265 seconds)
2021-03-26 14:57:38 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-26 15:02:50 +0100ajc(~ajc@69.231.232.79) (Remote host closed the connection)
2021-03-26 15:04:29 +0100viluon(uid453725@gateway/web/irccloud.com/x-ulkjdnxabzenaocu)
2021-03-26 15:05:27 +0100ajc(~ajc@69.231.232.79)
2021-03-26 15:06:26 +0100haritz(~hrtz@unaffiliated/haritz) (Ping timeout: 252 seconds)
2021-03-26 15:09:44 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 246 seconds)
2021-03-26 15:19:53 +0100vpidurr(~jmdurr@ool-182e0115.dyn.optonline.net)
2021-03-26 15:21:19 +0100 <vpidurr> Why would turning on heap profiling cause foreignptrs to get collected, without the RTS flags, but same compile flags, I have a leak in GPU memory which is managed in the foreignptr finalizers... (bad practice maybe...) I have tried forcing a GC every iteration but doesn't seem to matter. Hard to find the retainers when profiling causes it to go away
2021-03-26 15:21:34 +0100Lycurgus(~niemand@98.4.119.196)
2021-03-26 15:24:10 +0100v01d4lph4(~v01d4lph4@106.212.133.35)
2021-03-26 15:24:41 +0100Sorna(~Sornaensi@077213203030.dynamic.telenor.dk)
2021-03-26 15:27:17 +0100acidjnk_new(~acidjnk@p200300d0c72b951261ba2baa5d07e392.dip0.t-ipconnect.de)
2021-03-26 15:28:18 +0100Sornaensis(~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 240 seconds)
2021-03-26 15:28:54 +0100v01d4lph4(~v01d4lph4@106.212.133.35) (Ping timeout: 265 seconds)
2021-03-26 15:33:34 +0100bitmagie(~Thunderbi@200116b806ed0c00d91f12483d6bf205.dip.versatel-1u1.de)
2021-03-26 15:36:24 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-03-26 15:37:26 +0100atraii(~atraii@71.195.200.245)
2021-03-26 15:38:41 +0100 <merijn> vpidurr: Maybe the pointers are getting floated out
2021-03-26 15:39:03 +0100 <merijn> profiling has a tendency to break/disable float out optimisations
2021-03-26 15:40:18 +0100 <vpidurr> thanks, I'll read about that some
2021-03-26 15:41:25 +0100ovanr(2efb6496@46.251.100.150)
2021-03-26 15:42:21 +0100 <ukari> I use a hack way to process error handling, but I think there might be some way to do this prettyly, does any one knows how to do this? Line 142 ~ Line 210 https://github.com/ukari/vulkan/blob/e48d5e5c1246c1058b6d05b79eb1a0301d091ccd/utils/src/Vulkan/Uti…
2021-03-26 15:42:22 +0100atraii(~atraii@71.195.200.245) (Ping timeout: 252 seconds)
2021-03-26 15:43:40 +0100jrm(~jrm@freebsd/developer/jrm) (Quit: ciao)
2021-03-26 15:44:05 +0100jrm(~jrm@freebsd/developer/jrm)
2021-03-26 15:46:07 +0100 <ukari> for `instance Convert ShaderStage`, the function `from :: Text -> ShaderStage` has a `unsupport` case which throw a exception. and I check the unsupport value to determine which parser (for parse and for fail) to choose by catching the exception in guard
2021-03-26 15:46:22 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-03-26 15:47:26 +0100bitmagie(~Thunderbi@200116b806ed0c00d91f12483d6bf205.dip.versatel-1u1.de) (Quit: bitmagie)
2021-03-26 15:47:43 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-03-26 15:48:27 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 15:49:18 +0100 <c_wraith> ukari: the first thing to do is change the type of from in your Convert class to something like Text -> Either Text a
2021-03-26 15:49:42 +0100mananamenos(~mananamen@62.red-88-11-67.dynamicip.rima-tde.net)
2021-03-26 15:50:21 +0100 <c_wraith> ukari: then fix all the instances to return that type appropriately instead of throwing ConvertException
2021-03-26 15:50:37 +0100L29Ahsummons catchToMaybe :: Exception e => IO a -> (e -> ()) -> IO (Maybe a)
2021-03-26 15:50:56 +0100 <c_wraith> L29Ah: that's not the right answer here - none of this needs to involve IO in the first place
2021-03-26 15:51:13 +0100 <L29Ah> c_wraith: i'm in fact referring to the earlier question about readFile
2021-03-26 15:51:20 +0100 <c_wraith> Ah, ok
2021-03-26 15:51:23 +0100 <ukari> oh
2021-03-26 15:52:04 +0100 <dminuoso> maerwald: Oh that's a cute one too. I was rather thinking about the file being deleted in between, but that example is much more potent.
2021-03-26 15:52:49 +0100 <c_wraith> ukari: basically, replace use of unsafePerformIO and exceptions with Either. Hackiness gone!
2021-03-26 15:52:52 +0100 <L29Ah> it would be cute to use mere pattern-matching as an argument to catch a specific subset of exceptions, but it results in throwing a pattern-match exception on all the others if you want to avoid "otherwise" and "Bool" boilerplate
2021-03-26 15:53:17 +0100 <L29Ah> maybe there's some magic i'm unaware of?
2021-03-26 15:53:34 +0100haritz(~hrtz@62.3.70.206)
2021-03-26 15:53:35 +0100haritz(~hrtz@62.3.70.206) (Changing host)
2021-03-26 15:53:35 +0100haritz(~hrtz@unaffiliated/haritz)
2021-03-26 15:53:37 +0100 <L29Ah> except TH, of course ;)
2021-03-26 15:53:37 +0100 <dminuoso> L29Ah: Use an exception hierarchy.
2021-03-26 15:53:48 +0100 <dminuoso> Then you can catch an intermediate exception type
2021-03-26 15:53:58 +0100petersen(~petersen@redhat/juhp)
2021-03-26 15:54:17 +0100 <merijn> L29Ah: That's already possible, the paper linked from Control.Exception explains how :p
2021-03-26 15:54:53 +0100 <L29Ah> it refers to three papers and links none of them :[
2021-03-26 15:55:02 +0100 <merijn> The bottom one, iirc?
2021-03-26 15:55:08 +0100 <merijn> Google Scholar is your friend :)
2021-03-26 15:55:21 +0100 <merijn> https://scholar.google.com/scholar?q=extensible+exceptions
2021-03-26 15:55:37 +0100cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1)
2021-03-26 15:55:47 +0100azure1(~azure@103.154.230.130) (Ping timeout: 248 seconds)
2021-03-26 15:56:01 +0100bahamas(~lucian@unaffiliated/bahamas) (Quit: leaving)
2021-03-26 15:56:07 +0100 <merijn> You can also try reverse engineering my example in https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/src/Exceptions/Class.hs and the corresponding Exceptions.hs, but that comes with 0 warranties and could use some fixing
2021-03-26 15:56:34 +0100 <L29Ah> We use cookies to ensure that we give you the best experience on our website.
2021-03-26 15:56:35 +0100azure1(~azure@103.154.230.130)
2021-03-26 15:56:35 +0100 <L29Ah> Learn more
2021-03-26 15:56:36 +0100 <L29Ah> It seems your browser doesn't support them and this affects the site functionality.
2021-03-26 15:56:37 +0100 <L29Ah> lol thanks ACM
2021-03-26 15:56:45 +0100 <merijn> L29Ah: Oh
2021-03-26 15:56:50 +0100 <merijn> L29Ah: Never click the main link
2021-03-26 15:56:54 +0100 <L29Ah> yeah
2021-03-26 15:56:58 +0100 <merijn> Those always go to academic publishers and paywalls
2021-03-26 15:57:07 +0100 <merijn> You want the PDF links on the right instead
2021-03-26 15:57:27 +0100 <merijn> (or click all versions and scan those for pdfs)
2021-03-26 15:57:32 +0100Neuromancer(~Neuromanc@unaffiliated/neuromancer)
2021-03-26 15:58:13 +0100 <dminuoso> Exception hierarchies like Simon Marlow described is an art only few libraries seem to contain./.
2021-03-26 15:58:29 +0100 <dminuoso> It seems, that Haskellers in general are not very good at IO exceptions.
2021-03-26 15:58:33 +0100 <dminuoso> Perhaps we have given them too much power?
2021-03-26 15:58:53 +0100 <merijn> dminuoso: Reading is hard :(
2021-03-26 15:59:06 +0100 <L29Ah> thanks, just the thing i needed
2021-03-26 15:59:13 +0100Sorny(~Sornaensi@79.142.232.102.static.router4.bolignet.dk)
2021-03-26 15:59:39 +0100 <dminuoso> merijn: Perhaps there is something to be said about exception hierarchies as a first-class language feature..
2021-03-26 15:59:59 +0100 <dminuoso> If you have to read a paper to learn about the idiom, then that makes adoption much harder..
2021-03-26 16:00:05 +0100 <c_wraith> The utility isn't that high in general. 99% of the time, a single exception type per library suffices. I'm not going to dig into internals of your library to care why it failed in most cases. I just want to know what library failed.
2021-03-26 16:00:27 +0100 <Lycurgus> semantic clash between practical computing and purism
2021-03-26 16:00:56 +0100 <Lycurgus> result in the typical antipattern of simple thing fuggled
2021-03-26 16:01:49 +0100 <Lycurgus> verwickelt, flubbed, usw
2021-03-26 16:01:53 +0100Sorna(~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 246 seconds)
2021-03-26 16:02:02 +0100 <c_wraith> If calling show on your exception gives me some text that's useful to log, my needs are covered.
2021-03-26 16:02:09 +0100 <Lycurgus> *resulting
2021-03-26 16:03:06 +0100haritz(~hrtz@unaffiliated/haritz) (Ping timeout: 240 seconds)
2021-03-26 16:03:15 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-03-26 16:06:26 +0100__minoru__shirae(~shiraeesh@109.166.56.243) (Ping timeout: 246 seconds)
2021-03-26 16:06:30 +0100azure1(~azure@103.154.230.130) (Ping timeout: 260 seconds)
2021-03-26 16:07:24 +0100azure1(~azure@103.154.230.130)
2021-03-26 16:08:53 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net)
2021-03-26 16:09:58 +0100 <mananamenos> hi, so im browsing internet with people opinions about when to use or not use your own type classes and there are a lot of opinions :) When you have some domain pattern and there are at least 2 types which will use shared funcionality, isn't this an good enough argument to have a typeclass? Other way would be to pass that typeclass's method as an explicit argument along but this seems inferior as I may need to manually
2021-03-26 16:09:59 +0100 <mananamenos> pass many times and with typeclass implementation I get it done implicitly.
2021-03-26 16:10:30 +0100 <dminuoso> mananamenos: This is a tough and old question. One common answer you might get, is that typeclasses are best used when they have some laws attached to them.
2021-03-26 16:11:00 +0100 <mananamenos> dminuoso, yeah, I've read that in many places
2021-03-26 16:11:27 +0100 <mananamenos> I see, that's why I asked, cause reading a bit I could not get any good conclusion for this question
2021-03-26 16:11:38 +0100 <dminuoso> As a general rule of thumb, Id avoid typeclasses as much as you can.
2021-03-26 16:11:40 +0100 <merijn> mananamenos: I think the tagless final approach is good/useful
2021-03-26 16:12:14 +0100 <merijn> mananamenos: See, for example: https://serokell.io/blog/tagless-final
2021-03-26 16:12:20 +0100vilpan(~0@212.117.1.172)
2021-03-26 16:12:24 +0100 <dminuoso> The reason is, overusing typeclasses leads to hard-to-follow code (and it can make error diagnostics much worse)
2021-03-26 16:12:32 +0100 <dminuoso> But underusing them has little downsides
2021-03-26 16:13:33 +0100 <mananamenos> thank you
2021-03-26 16:20:23 +0100nshepperd2. o O (https://paste.zlkj.in/uploads/a9122d639308be0b/ExceptionSynonyms.hs)
2021-03-26 16:21:26 +0100acidjnk_new(~acidjnk@p200300d0c72b951261ba2baa5d07e392.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-03-26 16:21:52 +0100acidjnk_new(~acidjnk@p200300d0c72b951261ba2baa5d07e392.dip0.t-ipconnect.de)
2021-03-26 16:22:18 +0100 <dminuoso> nshepperd2: neat!
2021-03-26 16:23:43 +0100 <nshepperd2> oh wait, it has a bug, whnfEither isn't the right function
2021-03-26 16:24:03 +0100 <nshepperd2> but the basic idea should work :)
2021-03-26 16:24:48 +0100 <L29Ah> unsafePerformIO is slow :(
2021-03-26 16:25:37 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-26 16:25:45 +0100 <nshepperd2> is it?
2021-03-26 16:26:00 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-26 16:26:25 +0100 <merijn> Depends how you define slow :p
2021-03-26 16:26:58 +0100Lycurgus(~niemand@98.4.119.196) (Quit: Exeunt)
2021-03-26 16:26:59 +0100 <merijn> nshepperd2: That's just reinventing spoon, btw
2021-03-26 16:27:15 +0100 <merijn> @hackage spoon
2021-03-26 16:27:15 +0100 <lambdabot> https://hackage.haskell.org/package/spoon
2021-03-26 16:27:50 +0100vilpan(~0@212.117.1.172) (Ping timeout: 252 seconds)
2021-03-26 16:28:14 +0100 <shapr> as opposed to fork?
2021-03-26 16:29:27 +0100 <merijn> Probably a matrix reference :p
2021-03-26 16:30:46 +0100acidjnk_new(~acidjnk@p200300d0c72b951261ba2baa5d07e392.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2021-03-26 16:30:51 +0100raid(macbookpro@irc-1.coding4.coffee) (Quit: I was eaten by zombies)
2021-03-26 16:30:59 +0100PyroLagus(PyroLagus@i.have.ipv6.on.coding4coffee.org) (Quit: ZNC / WeeChat)
2021-03-26 16:31:03 +0100haasn(~nand@mpv/developer/haasn) (Remote host closed the connection)
2021-03-26 16:31:16 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-03-26 16:31:37 +0100PyroLagus(PyroLagus@i.have.ipv6.on.coding4coffee.org)
2021-03-26 16:32:46 +0100yushyin(krIxGtPfeq@karif.server-speed.net) (Ping timeout: 240 seconds)
2021-03-26 16:32:54 +0100 <nshepperd2> https://paste.zlkj.in/uploads/1507248b13fd5e06/ExceptionSynonyms.v2.hs works
2021-03-26 16:33:28 +0100haasn(~nand@mpv/developer/haasn)
2021-03-26 16:33:56 +0100 <nshepperd2> merijn: yes but more fun because PATTERNS
2021-03-26 16:34:46 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13)
2021-03-26 16:35:11 +0100titusg(~user@158.229.6.51.dyn.plus.net) (Ping timeout: 240 seconds)
2021-03-26 16:35:12 +0100zaquest(~notzaques@5.128.210.178) (Remote host closed the connection)
2021-03-26 16:35:42 +0100raid(macbookpro@irc-1.coding4.coffee)
2021-03-26 16:36:03 +0100toorevitimirp(~tooreviti@117.182.181.200) (Remote host closed the connection)
2021-03-26 16:39:19 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Ping timeout: 258 seconds)
2021-03-26 16:39:53 +0100zaquest(~notzaques@5.128.210.178)
2021-03-26 16:40:06 +0100 <L29Ah> 18:25:45]<nshepperd2> is it?
2021-03-26 16:40:07 +0100 <L29Ah> i recall it taking tens of milliseconds and stopping all other threads while it works
2021-03-26 16:40:29 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-26 16:41:00 +0100 <ski> nshepperd2 : reminds me of "Exceptional syntax" by Nick Benton,Andrew Kennedy in 2001. see e.g. <http://lambda-the-ultimate.org/node/1193>. OCaml implements this as being able to match on an exception in `match' (their `case'). as if one could match on `throw <pat>' in Haskell
2021-03-26 16:41:46 +0100xourt(d4c620ea@212-198-32-234.rev.numericable.fr) (Quit: Connection closed)
2021-03-26 16:41:56 +0100alx741(~alx741@186.178.108.68)
2021-03-26 16:42:05 +0100 <ski> the paper also suggests that not only having `try :: Exception e => IO a -> IO (Either e a)' and `catch :: Exception e => IO a -> (e -> IO a) -> IO a', but also an operation `catchBind :: Exception e => IO a -> (e -> IO b) -> (a -> IO b) -> IO b' would likely be useful
2021-03-26 16:42:56 +0100vilpan(~0@212.117.1.172)
2021-03-26 16:44:03 +0100 <ski> the point is to allow the `a -> IO b' part (which might contain a tail-recursive calle, e.g.) to stay out of the exception handler, while avoiding needing to construct a `Maybe' or `Either' (or thunk, in Haskell that'd be having an action that produces an action) inside the handler, only to take it apart / use it up, once outside, in the best case perhaps hoping for fusion
2021-03-26 16:44:26 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13)
2021-03-26 16:44:47 +0100 <nshepperd2> oh, good point the IsException pattern should be called Throw
2021-03-26 16:44:49 +0100 <ski> (they also argue for such an operation, on the grounds that it makes more sense to state the semantics, and laws, in terms of such an operation)
2021-03-26 16:44:59 +0100 <nshepperd2> foo (Throw (e :: ArithException)) = ... :)
2021-03-26 16:45:05 +0100skinods
2021-03-26 16:45:42 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-03-26 16:46:20 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 246 seconds)
2021-03-26 16:46:26 +0100yushyin(QWFouZJprr@karif.server-speed.net)
2021-03-26 16:48:22 +0100 <ski> mananamenos : another (supplemental) answer is that you probably don't need/want a type-class, in case you're not going to write operations which are polymorphic over it, that are overloaded over all instances of it (or more advanced versions, like existentials, or higher-rank, involving the type class)
2021-03-26 16:48:28 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-26 16:48:28 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-26 16:48:39 +0100stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-03-26 16:48:44 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 245 seconds)
2021-03-26 16:48:51 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-26 16:48:59 +0100 <ski> btw, note that
2021-03-26 16:49:20 +0100 <ski> @where existential-antipattern
2021-03-26 16:49:20 +0100 <lambdabot> "Haskell Antipattern: Existential Typeclass" by Luke Palmer at <http://lukepalmer.wordpress.com/2010/01/24/haskell-antipattern-existential-typeclass/>
2021-03-26 16:49:37 +0100 <ski> contains relevant advice, even if you weren't planning to use existentials
2021-03-26 16:52:02 +0100 <ski> (sometimes it's better (e.g. more flexible, which might be a good thing, depending), to just pass around a dictionary of "methods", of functions, actions, .. however, this allows one to pass multiple different such, for a particular type. type classes prevent this, ensures one pick a single unique, canonical, selection of methods, for a given type. this may be one reason to choose to use a type class)
2021-03-26 16:55:23 +0100nshepperd2is mildly disturbed by how 'spoonWithHandles handles a = unsafePerformIO $ deepseq a (Just `fmap` return a) `catches` handles' throws the exception as part of the construction of the 'deepseq a (Just `fmap` return a)' IO action instead of just using 'evaluate . force' and throwing it during execution
2021-03-26 16:57:44 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-26 16:57:50 +0100codygman`(~user@47.186.207.161) (Ping timeout: 265 seconds)
2021-03-26 16:58:26 +0100codygman`(~user@209.251.131.98)
2021-03-26 17:01:38 +0100stree(~stree@68.36.8.116)
2021-03-26 17:03:46 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 240 seconds)
2021-03-26 17:04:05 +0100michalz(~user@185.246.204.49) (Remote host closed the connection)
2021-03-26 17:05:00 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-26 17:05:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Remote host closed the connection)
2021-03-26 17:06:21 +0100fendor_(~fendor@178.165.129.109.wireless.dyn.drei.com)
2021-03-26 17:08:51 +0100fendor(~fendor@178.115.129.125.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2021-03-26 17:09:57 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 260 seconds)
2021-03-26 17:11:02 +0100ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-26 17:11:50 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-03-26 17:13:03 +0100j(jess@freenode/staff/jess)
2021-03-26 17:14:11 +0100viluon(uid453725@gateway/web/irccloud.com/x-ulkjdnxabzenaocu) (Quit: Connection closed for inactivity)
2021-03-26 17:14:23 +0100jjess
2021-03-26 17:14:52 +0100tpefreedom(~tsomers@184-157-240-110.dyn.centurytel.net)
2021-03-26 17:15:23 +0100fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Ping timeout: 246 seconds)
2021-03-26 17:18:26 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-26 17:18:47 +0100codygman`(~user@209.251.131.98) (Read error: Connection reset by peer)
2021-03-26 17:18:54 +0100kritzefitz(~kritzefit@212.86.56.80)
2021-03-26 17:19:06 +0100codygman`(~user@209.251.131.98)
2021-03-26 17:19:38 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
2021-03-26 17:19:45 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-26 17:20:23 +0100shellin(bab725d7@186.183.37.215)
2021-03-26 17:21:04 +0100ovanr(2efb6496@46.251.100.150) (Quit: Connection closed)
2021-03-26 17:21:58 +0100juri__(~juri@79.140.115.110) (Read error: Connection reset by peer)
2021-03-26 17:23:14 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-26 17:23:57 +0100juri_(~juri@79.140.115.110)
2021-03-26 17:24:59 +0100leothrix(~leothrix@elastic/staff/leothrix) (Ping timeout: 252 seconds)
2021-03-26 17:24:59 +0100dcbdan(~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net)
2021-03-26 17:25:48 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13)
2021-03-26 17:28:37 +0100juri_(~juri@79.140.115.110) (Read error: Connection reset by peer)
2021-03-26 17:30:00 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-26 17:30:03 +0100juri_(~juri@79.140.115.110)
2021-03-26 17:30:08 +0100fuzzypixelz(2ec10464@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-03-26 17:30:34 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Ping timeout: 276 seconds)
2021-03-26 17:31:33 +0100juri_(~juri@79.140.115.110) (Read error: Connection reset by peer)
2021-03-26 17:32:47 +0100pavonia(~user@unaffiliated/siracusa)
2021-03-26 17:35:02 +0100juri_(~juri@178.63.35.222)
2021-03-26 17:35:28 +0100usr25(~usr25@unaffiliated/usr25)
2021-03-26 17:35:46 +0100TommyC(~TommyC@unaffiliated/sepulchralbloom) (Ping timeout: 276 seconds)
2021-03-26 17:38:06 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 240 seconds)
2021-03-26 17:39:29 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-26 17:40:53 +0100haritz(~hrtz@62.3.70.206)
2021-03-26 17:40:53 +0100haritz(~hrtz@62.3.70.206) (Changing host)
2021-03-26 17:40:53 +0100haritz(~hrtz@unaffiliated/haritz)
2021-03-26 17:41:34 +0100howdoi(uid224@gateway/web/irccloud.com/x-ppzodhfedmzajmuw)
2021-03-26 17:41:39 +0100caubert_(~caubert@136.244.111.235) (Quit: WeeChat 3.0)
2021-03-26 17:41:53 +0100caubert(~caubert@136.244.111.235)
2021-03-26 17:42:06 +0100lekc(~Neuromanc@unaffiliated/neuromancer)
2021-03-26 17:42:15 +0100Neuromancer(~Neuromanc@unaffiliated/neuromancer) (Disconnected by services)
2021-03-26 17:42:21 +0100lekcNeuromancer
2021-03-26 17:43:18 +0100lateef(~lateef@171.121.237.35.bc.googleusercontent.com) (Quit: lateef)
2021-03-26 17:43:42 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-26 17:44:03 +0100bitmagie(~Thunderbi@200116b806ed0c00d91f12483d6bf205.dip.versatel-1u1.de)
2021-03-26 17:44:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-26 17:44:38 +0100bitmagie(~Thunderbi@200116b806ed0c00d91f12483d6bf205.dip.versatel-1u1.de) (Client Quit)
2021-03-26 17:48:08 +0100mananamenos(~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 252 seconds)
2021-03-26 17:48:09 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection)
2021-03-26 17:50:14 +0100electricityZZZZ(~electrici@135-180-3-82.static.sonic.net)
2021-03-26 17:53:49 +0100solvr(57e3c46d@87.227.196.109)
2021-03-26 17:55:38 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13)
2021-03-26 17:56:30 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:4818:ee4a:c1c4:4d1c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-26 17:56:34 +0100conal(~conal@64.71.133.70) (Ping timeout: 252 seconds)
2021-03-26 17:57:29 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:4818:ee4a:c1c4:4d1c)
2021-03-26 17:59:17 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-26 18:00:28 +0100GothAlice1(~GothAlice@185.204.1.185) (Remote host closed the connection)
2021-03-26 18:00:40 +0100codygman`(~user@209.251.131.98) (Remote host closed the connection)
2021-03-26 18:01:01 +0100codygman__(~user@209.251.131.98)
2021-03-26 18:05:02 +0100leothrix(~leothrix@elastic/staff/leothrix)
2021-03-26 18:06:01 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net)
2021-03-26 18:08:01 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 18:11:37 +0100conal(~conal@192.145.118.235)
2021-03-26 18:13:47 +0100sphalerite(~sphalerit@NixOS/user/lheckemann) (Quit: reboot time!)
2021-03-26 18:13:58 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-03-26 18:15:34 +0100fuzzypixelz(2ec10464@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Connection closed)
2021-03-26 18:16:36 +0100evrt(~evrt@37.120.211.188)
2021-03-26 18:17:31 +0100solidus-river(~mike@174.127.249.180)
2021-03-26 18:22:57 +0100sphalerite(~sphalerit@NixOS/user/lheckemann)
2021-03-26 18:23:26 +0100deviantfero(~deviantfe@190.150.27.58)
2021-03-26 18:23:30 +0100raoul90(~raoulhida@nomnomnomnom.co.uk) (Quit: The Lounge - https://thelounge.github.io)
2021-03-26 18:23:44 +0100fuzzypixelz(2ec10464@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-03-26 18:23:50 +0100raoul90(~raoulhida@nomnomnomnom.co.uk)
2021-03-26 18:25:36 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-26 18:25:58 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-26 18:27:29 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-03-26 18:30:06 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-26 18:33:39 +0100Sornaensis(~Sornaensi@077213203030.dynamic.telenor.dk)
2021-03-26 18:33:52 +0100 <fendor_> do we have a tool to explain how cabal selects a version of a package?
2021-03-26 18:34:20 +0100shellin(bab725d7@186.183.37.215) ()
2021-03-26 18:34:29 +0100 <monochrom> Usually -v does
2021-03-26 18:34:42 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-03-26 18:34:42 +0100xff0x(~xff0x@2001:1a81:522d:f100:a1a6:5165:5e20:970f) (Ping timeout: 258 seconds)
2021-03-26 18:34:56 +0100pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: Textual IRC Client: www.textualapp.com)
2021-03-26 18:36:02 +0100xff0x(~xff0x@2001:1a81:524d:5b00:4876:a583:9de0:62c1)
2021-03-26 18:36:36 +0100pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-03-26 18:37:22 +0100 <fendor_> I rather mean, why a certain package was chosen. However, introducing a version constraint to pick exactly the version I am wondering about why it wasn't included prints the solver trace, so I guess that is good enough
2021-03-26 18:37:31 +0100Sorny(~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 260 seconds)
2021-03-26 18:39:16 +0100Neuromancer(~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds)
2021-03-26 18:42:41 +0100jacks2(~bc8134e3@217.29.117.252)
2021-03-26 18:43:13 +0100TommyC(~TommyC@unaffiliated/sepulchralbloom)
2021-03-26 18:43:44 +0100 <jacks2> hi. what csv package is usually recommended? I found csv, cassava, csv-conduit, lens-csv
2021-03-26 18:44:22 +0100geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-03-26 18:44:28 +0100 <Clint> i've never tried lens-csv, but i've preferred csv-conduit to the other two
2021-03-26 18:48:53 +0100 <jacks2> thanks I'll take a look
2021-03-26 18:48:54 +0100pupuupup(~pupuupup@node-139.pool-125-24.dynamic.totinternet.net)
2021-03-26 18:49:21 +0100vilpan(~0@212.117.1.172) (Quit: Leaving.)
2021-03-26 18:51:02 +0100rajivr(uid269651@gateway/web/irccloud.com/x-bojmzmfrraongbrw) (Quit: Connection closed for inactivity)
2021-03-26 18:51:06 +0100 <monochrom> I use cassava. I haven't needed conduit things.
2021-03-26 18:51:32 +0100Pickchea(~private@unaffiliated/pickchea)
2021-03-26 18:56:22 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds)
2021-03-26 18:56:46 +0100malumore(~malumore@151.62.117.14) (Ping timeout: 240 seconds)
2021-03-26 18:56:49 +0100codygman`(~user@47.186.207.161)
2021-03-26 18:57:29 +0100mercury__(~pluto@117.222.69.222)
2021-03-26 18:58:17 +0100codygman__(~user@209.251.131.98) (Ping timeout: 246 seconds)
2021-03-26 18:59:02 +0100fuzzypixelz(2ec10464@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 240 seconds)
2021-03-26 18:59:17 +0100__monty__(~toonn@unaffiliated/toonn)
2021-03-26 18:59:47 +0100 <dsal> I'm trying to implement something like `cp` and using optparse-applicative to parse the things. I have a thing that converts `[String] -> Either String Stuff` but it's not obvious how to use that to grab arguments. Does anyone know how to fail this thing?
2021-03-26 19:00:36 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-26 19:01:09 +0100 <dsal> There's an `eitherReader` for parsing a single thing, but I want to fail after consuming `some x arguments`
2021-03-26 19:02:08 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-26 19:03:44 +0100dandart(~Thunderbi@home.dandart.co.uk)
2021-03-26 19:04:02 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 252 seconds)
2021-03-26 19:04:07 +0100pupuupup(~pupuupup@node-139.pool-125-24.dynamic.totinternet.net) (Quit: leaving)
2021-03-26 19:04:38 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds)
2021-03-26 19:04:56 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 246 seconds)
2021-03-26 19:05:04 +0100 <dsal> I'm using `error` in the meantime, which is kind of gross.
2021-03-26 19:06:18 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-03-26 19:08:32 +0100jonatan(~nate@h77-53-70-163.cust.a3fiber.se)
2021-03-26 19:08:42 +0100dandart(~Thunderbi@home.dandart.co.uk) (Quit: dandart)
2021-03-26 19:09:17 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-03-26 19:09:29 +0100stree(~stree@68.36.8.116) (Ping timeout: 246 seconds)
2021-03-26 19:10:25 +0100jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-03-26 19:12:21 +0100 <maerwald> dsal: `fail`?
2021-03-26 19:13:41 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-03-26 19:13:50 +0100 <NemesisD> if i've got a bunch of functions (A -> A) and i want to apply them sequentially and at certain points, use the current value to decide which function to apply next, is there a way to do that using monad syntax?
2021-03-26 19:14:26 +0100 <dsal> maerwald: I'm not sure what this `fail` is. There are ways to fail specific individual parsers, but... it's not a monad, though it is alternative.
2021-03-26 19:16:09 +0100 <maerwald> dsal: MonadFail
2021-03-26 19:16:16 +0100 <maerwald> @hoogle fail
2021-03-26 19:16:16 +0100 <lambdabot> Prelude fail :: MonadFail m => String -> m a
2021-03-26 19:16:16 +0100 <lambdabot> Control.Monad fail :: MonadFail m => String -> m a
2021-03-26 19:16:16 +0100 <lambdabot> Control.Monad.Fail fail :: MonadFail m => String -> m a
2021-03-26 19:16:37 +0100 <dsal> Yeah, but this isn't a monad. It's just Applicative.
2021-03-26 19:16:37 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8)
2021-03-26 19:17:20 +0100 <geekosaur> it's optparse-applicative, not optparse-monadic
2021-03-26 19:17:31 +0100 <maerwald> maybe you want monadic then
2021-03-26 19:17:56 +0100 <geekosaur> that said, mempty might count as a "fail" using Alternative
2021-03-26 19:18:00 +0100 <maerwald> where you can fail based on a value
2021-03-26 19:18:18 +0100mercury__(~pluto@117.222.69.222) (Quit: leaving)
2021-03-26 19:18:39 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Remote host closed the connection)
2021-03-26 19:18:49 +0100 <maerwald> but there's no optparse-monadic :D
2021-03-26 19:19:37 +0100 <dsal> I just feel like I'm missing something because I can ask for `many (argument p ...)` and it'll fail if there's not a p, but I don't know how to absorb those and *then* fail.
2021-03-26 19:19:47 +0100 <maerwald> not sure why... might need to hand-write the --help page, but otherwise it should be fine
2021-03-26 19:20:15 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-26 19:20:35 +0100 <maerwald> you can also write better eastereggs with monad
2021-03-26 19:20:42 +0100 <maerwald> but I'm not being helpful here
2021-03-26 19:22:10 +0100 <dsal> I'm just going to have to go with error for now, though that's kind of terrible. At least my command works.
2021-03-26 19:23:02 +0100stree(~stree@68.36.8.116)
2021-03-26 19:23:23 +0100 <dsal> I'm also getting an incomplete patterns that seems like a bug. It looks like a bad interaction with view patterns.
2021-03-26 19:23:50 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 252 seconds)
2021-03-26 19:23:55 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 19:25:00 +0100viko(~v@179.189.150.66)
2021-03-26 19:25:07 +0100jakalx(~jakalx@base.jakalx.net)
2021-03-26 19:26:35 +0100 <dsal> I can't do error. I'll just push this further down to the execution, which is differently gross, but it's at least it's not a terrible experience.
2021-03-26 19:26:38 +0100viko(~v@179.189.150.66) ("Closing Window")
2021-03-26 19:28:09 +0100Alleria_(~textual@mskresolve-a.mskcc.org) (Ping timeout: 265 seconds)
2021-03-26 19:29:26 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-26 19:29:45 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 19:29:46 +0100Alleria(~textual@mskresolve-a.mskcc.org)
2021-03-26 19:30:10 +0100AlleriaGuest2317
2021-03-26 19:30:34 +0100madjestic(~Android@86-88-72-244.fixed.kpn.net) (Ping timeout: 265 seconds)
2021-03-26 19:31:13 +0100madjestic(~Android@77-63-118-123.mobile.kpn.net)
2021-03-26 19:33:43 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2021-03-26 19:34:03 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 19:35:18 +0100 <dsal> `s3up: SQLite3 returned ErrorError while attempting to perform step: not an error` -- thanks
2021-03-26 19:36:11 +0100madjest15(~Android@86-88-72-244.fixed.kpn.net)
2021-03-26 19:36:15 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-26 19:37:29 +0100madjestic(~Android@77-63-118-123.mobile.kpn.net) (Ping timeout: 246 seconds)
2021-03-26 19:38:38 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-03-26 19:38:40 +0100ubert(~Thunderbi@p200300ecdf25d922ca5b76fffe29f233.dip0.t-ipconnect.de)
2021-03-26 19:40:20 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-26 19:42:18 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-03-26 19:43:28 +0100jakobrs(~user@178.92-220-14.customer.lyse.net)
2021-03-26 19:43:33 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-26 19:45:07 +0100coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-26 19:45:18 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-26 19:45:56 +0100stree(~stree@68.36.8.116) (Quit: Caught exception)
2021-03-26 19:46:17 +0100stree(~stree@68.36.8.116)
2021-03-26 19:46:22 +0100frozenErebus(~frozenEre@94.128.81.87)
2021-03-26 19:46:54 +0100coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
2021-03-26 19:47:39 +0100coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Client Quit)
2021-03-26 19:48:27 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-26 19:49:50 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2021-03-26 19:49:55 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-26 19:50:16 +0100Feuermagier(~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Ping timeout: 240 seconds)
2021-03-26 19:50:42 +0100 <ukari> I noticed that fused-effects has some exception related functions, is there any benefit to do the error processing in a effect framework?
2021-03-26 19:51:53 +0100stree(~stree@68.36.8.116) (Quit: Caught exception)
2021-03-26 19:52:02 +0100usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-03-26 19:52:17 +0100stree(~stree@68.36.8.116)
2021-03-26 19:54:02 +0100vicfred(~vicfred@unaffiliated/vicfred)
2021-03-26 19:56:26 +0100frozenErebus(~frozenEre@94.128.81.87) (Ping timeout: 240 seconds)
2021-03-26 19:58:31 +0100frozenErebus(~frozenEre@94.128.81.87)
2021-03-26 19:58:47 +0100hexfive(~hexfive@50.35.83.177)
2021-03-26 19:59:05 +0100idhugo_(~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds)
2021-03-26 20:00:31 +0100fendor(~fendor@178.115.128.9.wireless.dyn.drei.com)
2021-03-26 20:02:38 +0100fendor_(~fendor@178.165.129.109.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2021-03-26 20:06:11 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-03-26 20:10:46 +0100Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 252 seconds)
2021-03-26 20:11:17 +0100kupi(uid212005@gateway/web/irccloud.com/x-liltwjwdbyukjqkf)
2021-03-26 20:11:43 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-26 20:12:29 +0100Wuzzy(~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de)
2021-03-26 20:13:49 +0100georgewhite(~georgewhi@2a00:23c6:2f08:1100:6cbe:5b84:e8f4:20ce)
2021-03-26 20:14:46 +0100tsaka__(~torstein@2a02:587:1b14:af00:7b99:870e:286b:27aa) (Ping timeout: 240 seconds)
2021-03-26 20:14:49 +0100jakobrs(~user@178.92-220-14.customer.lyse.net) (Quit: WeeChat 3.0)
2021-03-26 20:15:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-03-26 20:15:08 +0100tsaka__(~torstein@2a02:587:1b11:6000:3679:6212:ccf6:706f)
2021-03-26 20:15:26 +0100Ariakenom(~Ariakenom@2001:9b1:efb:fc00:c89b:d650:ef2f:7e78)
2021-03-26 20:15:58 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 240 seconds)
2021-03-26 20:16:33 +0100electricityZZZZ(~electrici@135-180-3-82.static.sonic.net) (Read error: Connection reset by peer)
2021-03-26 20:16:54 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-26 20:19:23 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13)
2021-03-26 20:19:46 +0100frozenErebus(~frozenEre@94.128.81.87) (Ping timeout: 240 seconds)
2021-03-26 20:20:12 +0100electricityZZZZ(~electrici@135-180-3-82.static.sonic.net)
2021-03-26 20:20:52 +0100jespada_(~jespada@90.254.243.187) (Quit: Leaving)
2021-03-26 20:21:51 +0100fendor_(~fendor@91.141.3.198.wireless.dyn.drei.com)
2021-03-26 20:23:57 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Ping timeout: 258 seconds)
2021-03-26 20:24:11 +0100fendor(~fendor@178.115.128.9.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2021-03-26 20:25:36 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-26 20:25:58 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-26 20:26:39 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-zbdmgvvkmwccqscd)
2021-03-26 20:29:52 +0100waleee-cl(uid373333@gateway/web/irccloud.com/x-cywskmhzzerhrnmx)
2021-03-26 20:30:27 +0100frozenErebus(~frozenEre@94.128.81.87)
2021-03-26 20:30:34 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Remote host closed the connection)
2021-03-26 20:31:12 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 20:34:52 +0100Zone77xx(Zone77xx@gateway/vpn/privateinternetaccess/zone77xx)
2021-03-26 20:35:21 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 245 seconds)
2021-03-26 20:37:47 +0100Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-26 20:39:58 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds)
2021-03-26 20:39:58 +0100Lord_of_Life_Lord_of_Life
2021-03-26 20:40:20 +0100tpefreedom(~tsomers@184-157-240-110.dyn.centurytel.net) (Quit: Leaving)
2021-03-26 20:43:01 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8)
2021-03-26 20:44:56 +0100mananamenos(~mananamen@62.red-88-11-67.dynamicip.rima-tde.net)
2021-03-26 20:48:31 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-03-26 20:51:07 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13)
2021-03-26 20:53:51 +0100aarvar(~foewfoiew@2601:602:a080:fa0:e589:d5cd:80fb:258d) (Ping timeout: 258 seconds)
2021-03-26 20:54:46 +0100hackagescroll-list 1.0.0.0 - This package provides functions for relocate an item within a list. https://hackage.haskell.org/package/scroll-list-1.0.0.0 (fesanmar)
2021-03-26 20:56:41 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 20:57:34 +0100 <NemesisD> what is the purpose of the (->) r instance of Monad?
2021-03-26 20:58:20 +0100ddellac__(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-26 20:58:48 +0100 <geekosaur> showing off >.>
2021-03-26 20:59:06 +0100 <geekosaur> it's a Reader without the newtype
2021-03-26 20:59:41 +0100 <maerwald> there was a quickcheck example somewhere in haddock accidentially using that instance and thus creating a bug
2021-03-26 21:00:13 +0100 <maerwald> so much for type safety :p
2021-03-26 21:00:28 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-03-26 21:00:59 +0100 <NemesisD> i'm trying to compose a bunch of functions sequentially in monad syntax and my code actually compiled with that instance but basically only used the last line of the monad. i'm wondering if there's a better way
2021-03-26 21:02:58 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-26 21:03:17 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 21:03:39 +0100 <geekosaur> sounds like you used it wrong, you want >>= not >>
2021-03-26 21:05:14 +0100 <NemesisD> yeah. i guess what i'm looking for is a way to sequentially compose several A -> A in monad syntax in a way that the monad passes in the incremental result to each action in the monad
2021-03-26 21:06:52 +0100 <NemesisD> foo, bar :: A -> A; baz :: A -> A; baz = do foo; if cond then bar else id
2021-03-26 21:07:58 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
2021-03-26 21:08:00 +0100 <geekosaur> that's what I meant by >>= vs. >>
2021-03-26 21:08:15 +0100 <geekosaur> each semicolon is a >>, which means the results are *not* chained
2021-03-26 21:08:51 +0100 <NemesisD> yeah, i think (->) is the wrong monad then. if i have to use >>= to thread things through i may as well not do it at all
2021-03-26 21:09:38 +0100desophos(~desophos@2601:249:1680:a570:41ae:9414:653c:8c31)
2021-03-26 21:10:06 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-divpzqxlqbtjqwfq) (Quit: Connection closed for inactivity)
2021-03-26 21:11:49 +0100 <NemesisD> i think what i've got here is an endomorphism right?
2021-03-26 21:11:50 +0100average(uid473595@gateway/web/irccloud.com/x-vfuwwhtirtsamgdh) (Quit: Connection closed for inactivity)
2021-03-26 21:15:09 +0100 <geekosaur> actually what's going on is the same value is passed in to all the functions. (again, compare Reader)
2021-03-26 21:15:49 +0100 <geekosaur> if you want an endomorphism, there's newtype Endo but that's a monoid, not a monad
2021-03-26 21:16:18 +0100geekosauris getting out of his depth though, so take some of this with a grain of salt
2021-03-26 21:17:42 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Remote host closed the connection)
2021-03-26 21:18:19 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 21:18:36 +0100v01d4lph4(~v01d4lph4@106.212.133.35)
2021-03-26 21:19:16 +0100hackageapply-unordered 1.0 - Apply a function to an argument specified by a type level Nat https://hackage.haskell.org/package/apply-unordered-1.0 (MichaelSloan)
2021-03-26 21:19:39 +0100v01d4lph4(~v01d4lph4@106.212.133.35) (Remote host closed the connection)
2021-03-26 21:19:53 +0100v01d4lph4(~v01d4lph4@106.212.133.35)
2021-03-26 21:20:08 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-26 21:20:16 +0100hackageapply-unordered-mono 1.0 - Apply functions to arguments in an unordered type-directed fashion https://hackage.haskell.org/package/apply-unordered-mono-1.0 (MichaelSloan)
2021-03-26 21:22:29 +0100molehillish(~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 245 seconds)
2021-03-26 21:22:41 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
2021-03-26 21:22:45 +0100average(uid473595@gateway/web/irccloud.com/x-yeliqztanvhgdqqg)
2021-03-26 21:32:38 +0100georgewhite(~georgewhi@2a00:23c6:2f08:1100:6cbe:5b84:e8f4:20ce) (Remote host closed the connection)
2021-03-26 21:33:30 +0100ddellac__(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-26 21:34:47 +0100Guest33172(~sdrodge@unaffiliated/sdrodge) (Quit: WeeChat 3.0)
2021-03-26 21:36:13 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Remote host closed the connection)
2021-03-26 21:36:49 +0100sdrodge(~sdrodge@unaffiliated/sdrodge)
2021-03-26 21:37:19 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-26 21:38:05 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-26 21:38:10 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 265 seconds)
2021-03-26 21:39:03 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-26 21:40:03 +0100psygate(~psygate@unaffiliated/psygate)
2021-03-26 21:40:08 +0100madjest15(~Android@86-88-72-244.fixed.kpn.net) (Quit: -a- Connection Timed Out)
2021-03-26 21:40:21 +0100shailangsa(~shailangs@host165-120-169-19.range165-120.btcentralplus.com) (Ping timeout: 245 seconds)
2021-03-26 21:40:49 +0100 <NemesisD> oh i guess i can do this with RebindableSyntax where (>>) = flip (.) and return = id
2021-03-26 21:43:06 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-03-26 21:44:13 +0100madjestic(~Android@86-88-72-244.fixed.kpn.net)
2021-03-26 21:45:26 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-26 21:45:30 +0100fendor(~fendor@91.141.0.159.wireless.dyn.drei.com)
2021-03-26 21:47:38 +0100fendor_(~fendor@91.141.3.198.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2021-03-26 21:48:06 +0100Lycurgus(~niemand@98.4.119.196)
2021-03-26 21:48:45 +0100tapasnix
2021-03-26 21:48:51 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8)
2021-03-26 21:49:41 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 240 seconds)
2021-03-26 21:50:06 +0100nixemilypi
2021-03-26 21:50:08 +0100v01d4lph4(~v01d4lph4@106.212.133.35) (Remote host closed the connection)
2021-03-26 21:50:33 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-26 21:52:45 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-26 21:53:16 +0100molehillish(~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Ping timeout: 258 seconds)
2021-03-26 21:53:48 +0100frozenErebus(~frozenEre@94.128.81.87) (Ping timeout: 252 seconds)
2021-03-26 21:54:38 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 240 seconds)
2021-03-26 21:55:06 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-03-26 21:55:09 +0100vgtw(~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds)
2021-03-26 21:55:12 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:4818:ee4a:c1c4:4d1c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-26 21:55:27 +0100v01d4lph4(~v01d4lph4@106.212.133.35)
2021-03-26 21:59:09 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-03-26 21:59:26 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:3cda:a97e:6bbd:c240)
2021-03-26 21:59:55 +0100v01d4lph4(~v01d4lph4@106.212.133.35) (Ping timeout: 265 seconds)
2021-03-26 21:59:59 +0100 <desophos> my program does a lot of converting between base 10 and base 2. i use `printf "%0*b"` to convert a decimal integer to a fixed-length string of binary digits. my problem is that i profiled my program and printf is >60% of my runtime, even memoized over both parameters. does anyone have any suggestions for a way to optimize this process? thanks!
2021-03-26 22:00:00 +0100 <desophos> https://paste.tomsmeding.com/NaYeVv9w
2021-03-26 22:00:02 +0100vglfr(~auiee@37.73.198.149)
2021-03-26 22:00:24 +0100stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-03-26 22:00:51 +0100vglfr(~auiee@37.73.198.149) (Client Quit)
2021-03-26 22:01:09 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2021-03-26 22:01:46 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 240 seconds)
2021-03-26 22:02:12 +0100Shailangsa_(~shailangs@host86-161-220-11.range86-161.btcentralplus.com)
2021-03-26 22:03:39 +0100 <dmj`> desophos: don't use printf, convert from base 2 / base 10 w/o going to a String, and then use bytestring builder IO to display it
2021-03-26 22:04:11 +0100conal(~conal@192.145.118.235) (Ping timeout: 240 seconds)
2021-03-26 22:04:26 +0100conal(~conal@64.71.133.70)
2021-03-26 22:05:51 +0100 <desophos> hmm i'll look into that, thanks! i'm not actually displaying it though, i'm concatenating many of these fixed-length strings and using them for other operations (they represent a genome)
2021-03-26 22:06:27 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-03-26 22:06:55 +0100 <desophos> the genome is the concatenation of many decimal integers in fixed-length binary form
2021-03-26 22:07:16 +0100Shailangsa_(~shailangs@host86-161-220-11.range86-161.btcentralplus.com) ()
2021-03-26 22:07:31 +0100 <desophos> it doesn't technically have to be a String as long as it's a list of digits
2021-03-26 22:09:39 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-26 22:11:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-26 22:12:04 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-26 22:12:59 +0100 <desophos> regardless, it does look like bytestring is what i want. thanks!
2021-03-26 22:13:38 +0100stree(~stree@68.36.8.116)
2021-03-26 22:15:18 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-03-26 22:15:39 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13)
2021-03-26 22:16:38 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-03-26 22:17:14 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-03-26 22:19:49 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:3cda:a97e:6bbd:c240) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-26 22:19:56 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Ping timeout: 245 seconds)
2021-03-26 22:19:57 +0100stree(~stree@68.36.8.116) (Quit: Caught exception)
2021-03-26 22:20:23 +0100stree(~stree@68.36.8.116)
2021-03-26 22:20:34 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2021-03-26 22:21:13 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Quit: Lost terminal)
2021-03-26 22:25:06 +0100 <samthecoy[m]> what library(ies) are currently considered best practice for database stuff in haskell? happy with sqlite or postgres
2021-03-26 22:25:49 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 22:29:09 +0100ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-26 22:30:51 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-26 22:31:11 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 22:31:53 +0100ubert(~Thunderbi@p200300ecdf25d922ca5b76fffe29f233.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-03-26 22:32:34 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-26 22:33:45 +0100ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-03-26 22:34:52 +0100fendor_(~fendor@91.141.1.158.wireless.dyn.drei.com)
2021-03-26 22:35:13 +0100Sorna(~Sornaensi@85.203.36.113)
2021-03-26 22:36:07 +0100shailangsa(~shailangs@host86-161-220-11.range86-161.btcentralplus.com)
2021-03-26 22:36:10 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-03-26 22:36:58 +0100fendor(~fendor@91.141.0.159.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2021-03-26 22:37:10 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13)
2021-03-26 22:37:18 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-03-26 22:37:28 +0100 <DigitalKiwi> nobody ever got fired for going with acid-state
2021-03-26 22:39:04 +0100Sornaensis(~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 265 seconds)
2021-03-26 22:39:29 +0100 <Lycurgus> Fascinating, as someone used to say.
2021-03-26 22:40:03 +0100 <davean> DigitalKiwi: uh
2021-03-26 22:40:32 +0100 <Lycurgus> there is a a putative "the" acid-state (lemih) but it's a database in the same way as a lisp image is
2021-03-26 22:41:11 +0100 <Lycurgus> dunno but would be surprised if it had relational algebra
2021-03-26 22:41:34 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Ping timeout: 258 seconds)
2021-03-26 22:41:58 +0100invaser(~Thunderbi@31.148.23.125) (Ping timeout: 265 seconds)
2021-03-26 22:42:14 +0100 <Lycurgus> samthecoy[m], https://hackage.haskell.org/packages/#cat:PostgreSQL has some pg stuffs and dorlowd has a practical simple pg access example
2021-03-26 22:43:07 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-03-26 22:43:18 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-26 22:44:44 +0100 <davean> DigitalKiwi: I have no idea why you say people don't get fired for acid state
2021-03-26 22:45:06 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-26 22:47:28 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset)
2021-03-26 22:47:38 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 240 seconds)
2021-03-26 22:47:46 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds)
2021-03-26 22:49:42 +0100 <Lycurgus> looks like that link doesn't go to the pg pkgs section but the link at the top for pg does
2021-03-26 22:50:05 +0100 <DigitalKiwi> acid state or acid-state? do you work at DO?
2021-03-26 22:50:56 +0100 <DigitalKiwi> cause i've heard some things about that place lol
2021-03-26 22:51:21 +0100__minoru__shirae(~shiraeesh@77.94.25.214)
2021-03-26 22:52:07 +0100 <DigitalKiwi> davean: anyway, it's tongue in cheek :P
2021-03-26 22:53:05 +0100 <davean> Given how serious of a problem acid-state is I don't find it very funny
2021-03-26 22:53:19 +0100 <Lycurgus> https://hackage.haskell.org/package/acid-state lemmih is just listed as the maintainer
2021-03-26 22:53:38 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds)
2021-03-26 22:53:39 +0100frozenErebus(~frozenEre@94.128.81.87)
2021-03-26 22:54:03 +0100 <Lycurgus> it's a huge joke, right up there with NoSQL
2021-03-26 22:54:17 +0100 <Lycurgus> hs'ers meet rdbms
2021-03-26 22:54:32 +0100lateef(~lateef@171.121.237.35.bc.googleusercontent.com)
2021-03-26 22:55:55 +0100troydm(~troydm@unaffiliated/troydm)
2021-03-26 22:56:37 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-03-26 22:56:47 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13)
2021-03-26 22:57:58 +0100alx741(~alx741@186.178.108.68) (Ping timeout: 240 seconds)
2021-03-26 22:58:03 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-03-26 22:58:42 +0100Guest2317(~textual@mskresolve-a.mskcc.org) (Ping timeout: 252 seconds)
2021-03-26 23:00:26 +0100kiweun(~kiweun@2607:fea8:2a62:9600:5db6:fce7:f7bb:58c2)
2021-03-26 23:00:28 +0100Rudd0(~Rudd0@185.189.115.103)
2021-03-26 23:02:10 +0100 <sm[m]> samthecoy: postgresql-simple or persistent would be the most popular probably
2021-03-26 23:04:54 +0100 <LiaoTao> Is there a name for the phenomenon where you learn Haskell and then keep comparing every other language to it and go "I wish it could be more like Haskell" at least once a day?
2021-03-26 23:04:58 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 240 seconds)
2021-03-26 23:05:46 +0100Lycurguscalls it the FP version of Once Upon a Mattress
2021-03-26 23:05:51 +0100kjak(~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2021-03-26 23:05:55 +0100 <maerwald> "excitement"/
2021-03-26 23:06:01 +0100 <maerwald> don't worry, it passes
2021-03-26 23:06:15 +0100 <LiaoTao> maerwald, When? I'm on my fifth year now
2021-03-26 23:06:46 +0100Lycurgus(~niemand@98.4.119.196) (Quit: Exeunt)
2021-03-26 23:06:55 +0100 <monochrom> It dampens for some people, strengthens for other people.
2021-03-26 23:07:01 +0100borne(~fritjof@83.135.94.174) (Ping timeout: 260 seconds)
2021-03-26 23:07:48 +0100kjak(~kjak@pool-108-45-56-21.washdc.fios.verizon.net)
2021-03-26 23:07:59 +0100 <monochrom> As for names and possibly also analysis, I think you can refer to psychological studies of religious people.
2021-03-26 23:09:30 +0100 <DigitalKiwi> davean: https://duckduckgo.com/?q=nobody+ever+got+fired+for+buying+ibm&t=ffab&ia=web
2021-03-26 23:10:17 +0100borne(~fritjof@200116b864d14f00f7ed9fd86a2491f0.dip.versatel-1u1.de)
2021-03-26 23:10:29 +0100 <DigitalKiwi> first result; "Nobody Gets Fired For Buying IBM". But They Should.
2021-03-26 23:10:31 +0100LKoen(~LKoen@191.254.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-03-26 23:11:06 +0100 <davean> I'm familiar with the snowclone, but people DO get fired for using acid-state
2021-03-26 23:12:24 +0100coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
2021-03-26 23:12:25 +0100mozzarella(~sam@unaffiliated/sam113101) (Ping timeout: 265 seconds)
2021-03-26 23:12:31 +0100alx741(~alx741@186.178.109.203)
2021-03-26 23:14:05 +0100 <DigitalKiwi> were you fired
2021-03-26 23:14:47 +0100mozzarella(~sam@unaffiliated/sam113101)
2021-03-26 23:15:22 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds)
2021-03-26 23:15:50 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-26 23:16:20 +0100jedai(~jedai@lfbn-dij-1-708-251.w90-100.abo.wanadoo.fr)
2021-03-26 23:17:27 +0100 <bbhoss> is there a ghci command that does info + doc in one?
2021-03-26 23:17:33 +0100 <bbhoss> or can I make my own?
2021-03-26 23:18:34 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-26 23:20:32 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-26 23:20:36 +0100Alleria(~textual@2603-7000-3040-0000-b985-54e1-77ea-63be.res6.spectrum.com)
2021-03-26 23:20:38 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 265 seconds)
2021-03-26 23:21:00 +0100AlleriaGuest86381
2021-03-26 23:21:55 +0100 <davean> bbhoss: you cna write your own with :def
2021-03-26 23:24:38 +0100conal(~conal@64.71.133.70)
2021-03-26 23:28:56 +0100usr25(~usr25@unaffiliated/usr25)
2021-03-26 23:30:05 +0100Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-03-26 23:30:37 +0100AkechiShiro(~AkechiShi@2a01:e0a:5f9:9681:4437:674c:6409:2223) (Quit: WeeChat 2.9)
2021-03-26 23:31:20 +0100AkechiShiro(~AkechiShi@2a01:e0a:5f9:9681:4cfc:952:318a:ea87)
2021-03-26 23:33:55 +0100Benzi-Junior(~BenziJuni@dsl-149-67-143.hive.is) (Ping timeout: 276 seconds)
2021-03-26 23:34:23 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl)
2021-03-26 23:34:23 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-03-26 23:34:23 +0100mouseghost(~draco@wikipedia/desperek)
2021-03-26 23:37:52 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-26 23:38:17 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 246 seconds)
2021-03-26 23:38:31 +0100vgtw(~vgtw@gateway/tor-sasl/vgtw)
2021-03-26 23:38:55 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2021-03-26 23:39:12 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-03-26 23:43:26 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-03-26 23:46:35 +0100kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-03-26 23:48:57 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-03-26 23:49:09 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
2021-03-26 23:50:15 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-03-26 23:51:05 +0100jonatan(~nate@h77-53-70-163.cust.a3fiber.se) (Ping timeout: 265 seconds)
2021-03-26 23:51:28 +0100MarcelineVQ(~anja@198.254.208.159) (Quit: q)
2021-03-26 23:51:49 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2021-03-26 23:51:50 +0100average(uid473595@gateway/web/irccloud.com/x-yeliqztanvhgdqqg) (Quit: Connection closed for inactivity)
2021-03-26 23:52:04 +0100coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-26 23:52:58 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-26 23:53:54 +0100fendor_(~fendor@91.141.1.158.wireless.dyn.drei.com) (Remote host closed the connection)
2021-03-26 23:54:37 +0100 <maralorn> Uniaika: Because of the openssl security fix the powers that be had decided that we can‘t get build capacities to test the Haskell builds today. So sadly you‘ll need to wait another week until the new hlint version lands. :-(
2021-03-26 23:54:48 +0100OscarZ(~oscarz@95.175.104.239)
2021-03-26 23:59:03 +0100thc202(~thc202@unaffiliated/thc202) (Quit: thc202)
2021-03-26 23:59:12 +0100acidjnk_new(~acidjnk@p200300d0c72b951261ba2baa5d07e392.dip0.t-ipconnect.de)
2021-03-26 23:59:26 +0100jacks2(~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/)