IRCBrowse

2021/01/16

2021-01-16 00:00:19 +0100MrMuffles[m](mrmufflesm@gateway/shell/matrix.org/x-vcwutvcdeerrzxfc) (Ping timeout: 268 seconds)
2021-01-16 00:00:19 +0100Vanilla[m](danielm14@gateway/shell/matrix.org/x-uldilkivfzntlfty) (Ping timeout: 268 seconds)
2021-01-16 00:00:19 +0100falling-edge[m](falling-ed@gateway/shell/matrix.org/x-mdagccdrqkzhxoyn) (Ping timeout: 268 seconds)
2021-01-16 00:00:20 +0100doct0rhu[m](doct0rhumo@gateway/shell/matrix.org/x-sofiodtjhgbkukgv) (Ping timeout: 268 seconds)
2021-01-16 00:00:20 +0100Noughtmare[m](naughtmare@gateway/shell/matrix.org/x-lzdlfmtcvofdybcb) (Ping timeout: 268 seconds)
2021-01-16 00:00:20 +0100alvinsj[m](alvinsjmat@gateway/shell/matrix.org/x-knlqpcazouaxyrms) (Ping timeout: 268 seconds)
2021-01-16 00:00:20 +0100bwe(~bwe@unaffiliated/bwe) (Ping timeout: 268 seconds)
2021-01-16 00:00:36 +0100kristjansson(sid126207@gateway/web/irccloud.com/x-xcyevdgolibuieja)
2021-01-16 00:00:44 +0100kristjansson(sid126207@gateway/web/irccloud.com/x-xcyevdgolibuieja) (Excess Flood)
2021-01-16 00:00:50 +0100bwe(~bwe@unaffiliated/bwe)
2021-01-16 00:00:52 +0100beaky(~beaky@2a03:b0c0:0:1010::17cf:7003)
2021-01-16 00:00:52 +0100kawzeg(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (Remote host closed the connection)
2021-01-16 00:00:55 +0100nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Remote host closed the connection)
2021-01-16 00:00:56 +0100sajith[m](sajithmatr@gateway/shell/matrix.org/x-btcvxzbdjqkrkiwi) (Ping timeout: 268 seconds)
2021-01-16 00:00:56 +0100sawmon-and-natal(sawmon-and@gateway/shell/matrix.org/x-bllgaqfjammxmfum) (Ping timeout: 268 seconds)
2021-01-16 00:00:56 +0100materialfuture[m(materialfu@gateway/shell/matrix.org/x-aqhixpzgkhbmmtgo) (Ping timeout: 268 seconds)
2021-01-16 00:00:56 +0100Hanma[m](hanmamatri@gateway/shell/matrix.org/x-xibwtazmlorhvlak) (Ping timeout: 268 seconds)
2021-01-16 00:00:57 +0100lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-pmsnpgdqdgdrtjbn) (Ping timeout: 268 seconds)
2021-01-16 00:00:57 +0100rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-kklwlhhtroaldxii) (Ping timeout: 268 seconds)
2021-01-16 00:01:12 +0100nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2021-01-16 00:01:13 +0100mirrorbird(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) (Ping timeout: 272 seconds)
2021-01-16 00:01:22 +0100alunduil(alunduil@gateway/web/irccloud.com/x-raqtcjrhwuisweda) (Ping timeout: 260 seconds)
2021-01-16 00:01:22 +0100ProofTechnique(sid79547@gateway/web/irccloud.com/x-xkwpvqwpcxzbqliv) (Ping timeout: 260 seconds)
2021-01-16 00:01:22 +0100isacl___(sid13263@gateway/web/irccloud.com/x-bkkmkmnuzgolneku) (Ping timeout: 260 seconds)
2021-01-16 00:01:46 +0100drbrule(sid395654@gateway/web/irccloud.com/x-nywfvliqiepvgwkr) (Read error: Connection reset by peer)
2021-01-16 00:01:46 +0100wildsebastian(sid324688@gateway/web/irccloud.com/x-nvmlmfurbdxhppbr) (Read error: Connection reset by peer)
2021-01-16 00:01:47 +0100elvishjerricco(sid237756@NixOS/user/ElvishJerricco) (Read error: Connection reset by peer)
2021-01-16 00:01:47 +0100stylewarning(stylewarni@gateway/web/irccloud.com/x-smhyaldbfgzvkuwe) (Read error: Connection reset by peer)
2021-01-16 00:01:47 +0100carter(sid14827@gateway/web/irccloud.com/x-acshkzobizuejnrw) (Read error: Connection reset by peer)
2021-01-16 00:01:47 +0100mankyKitty(sid31287@gateway/web/irccloud.com/x-trleelmrumtoacfc) (Read error: Connection reset by peer)
2021-01-16 00:01:47 +0100^[(sid43445@ircpuzzles/2015/april-fools/sixth/zgrep) (Read error: Connection reset by peer)
2021-01-16 00:01:47 +0100rizary(sid220347@gateway/web/irccloud.com/x-ebqpgocdyubyodty) (Read error: Connection reset by peer)
2021-01-16 00:01:47 +0100rann(sid175221@gateway/web/irccloud.com/x-ovijerzeskjjnqsz) (Read error: Connection reset by peer)
2021-01-16 00:01:56 +0100ProofTechnique(sid79547@gateway/web/irccloud.com/x-pmqmzdrywyfedcmh)
2021-01-16 00:01:57 +0100elvishjerricco(sid237756@NixOS/user/ElvishJerricco)
2021-01-16 00:01:57 +0100wildsebastian(sid324688@gateway/web/irccloud.com/x-bafxvnndztgfgfui)
2021-01-16 00:02:06 +0100mankyKitty(sid31287@gateway/web/irccloud.com/x-hctbyoqvgdiooxxe)
2021-01-16 00:02:10 +0100stylewarning(stylewarni@gateway/web/irccloud.com/x-bmlukciwectpljam)
2021-01-16 00:02:10 +0100rizary(sid220347@gateway/web/irccloud.com/x-dexviposroeqsrhu)
2021-01-16 00:02:17 +0100rann(sid175221@gateway/web/irccloud.com/x-xwahqxromasxkjoj)
2021-01-16 00:02:17 +0100carter(sid14827@gateway/web/irccloud.com/x-yzuqmgfbbztyjtak)
2021-01-16 00:02:28 +0100kristjansson(sid126207@gateway/web/irccloud.com/x-sanqodgoszddhcwu)
2021-01-16 00:02:34 +0100fendor(~fendor@178.115.129.78.wireless.dyn.drei.com) (Remote host closed the connection)
2021-01-16 00:02:35 +0100alunduil(alunduil@gateway/web/irccloud.com/x-sqnctghbnvfuohxv)
2021-01-16 00:02:38 +0100kristjansson(sid126207@gateway/web/irccloud.com/x-sanqodgoszddhcwu) (Excess Flood)
2021-01-16 00:02:42 +0100kawzeg(~kawzeg@li2046-66.members.linode.com)
2021-01-16 00:02:57 +0100^[(sid43445@ircpuzzles/2015/april-fools/sixth/zgrep)
2021-01-16 00:03:19 +0100drbrule(sid395654@gateway/web/irccloud.com/x-paaykgotjsetujxc)
2021-01-16 00:03:26 +0100isacl___(sid13263@gateway/web/irccloud.com/x-tnlyhkgqjdclicde)
2021-01-16 00:03:28 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 00:03:43 +0100pythag76[m](pythag76ma@gateway/shell/matrix.org/x-fqwwvbqdmrpyfpme) (Ping timeout: 260 seconds)
2021-01-16 00:03:45 +0100maralorn(maralornma@gateway/shell/matrix.org/x-gbyceipyfdkumcfo) (Ping timeout: 260 seconds)
2021-01-16 00:03:45 +0100domenkozar[m](domenkozar@NixOS/user/domenkozar) (Ping timeout: 260 seconds)
2021-01-16 00:03:45 +0100lambda(~xiretza@mail.xiretza.xyz) (Ping timeout: 260 seconds)
2021-01-16 00:04:17 +0100phittacus(bklmatrixo@gateway/shell/matrix.org/x-gtuyyovhujfsszlo) (Ping timeout: 260 seconds)
2021-01-16 00:04:18 +0100hsiktas[m](hsiktasmat@gateway/shell/matrix.org/x-mpdjbrfpxquezqnj) (Ping timeout: 260 seconds)
2021-01-16 00:04:18 +0100psydruid(psydruidma@gateway/shell/matrix.org/x-mhamjlslfwlsceyz) (Ping timeout: 260 seconds)
2021-01-16 00:04:29 +0100zzz(~zzz@2a03:b0c0:3:d0::3095:3001)
2021-01-16 00:04:32 +0100rawles(~r@unaffiliated/rawles)
2021-01-16 00:04:53 +0100zzzGuest59238
2021-01-16 00:05:22 +0100Err(err@unaffiliated/err) (Quit: the sky is changing colour,I'll see you in a while)
2021-01-16 00:05:52 +0100dandels(~dandels@unaffiliated/dandels)
2021-01-16 00:06:13 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-01-16 00:06:30 +0100HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-01-16 00:07:45 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2021-01-16 00:08:15 +0100dhouthoo(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0)
2021-01-16 00:09:50 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-01-16 00:10:25 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-01-16 00:10:37 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-01-16 00:11:07 +0100rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-sckbprnefemvixcm)
2021-01-16 00:11:09 +0100materialfuture[m(materialfu@gateway/shell/matrix.org/x-zwndgfsbftbeyqqn)
2021-01-16 00:11:41 +0100sawmon-and-natal(sawmon-and@gateway/shell/matrix.org/x-zjrrlukfwxenslqi)
2021-01-16 00:11:49 +0100sajith[m](sajithmatr@gateway/shell/matrix.org/x-wblqmagzhjdcytyz)
2021-01-16 00:12:43 +0100knupfer(~Thunderbi@200116b82c666e0028b6767136b5847d.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2021-01-16 00:12:59 +0100doct0rhu[m](doct0rhumo@gateway/shell/matrix.org/x-wyhypeimltjpjuek)
2021-01-16 00:13:36 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-16 00:13:38 +0100Err(err@gateway/shell/ircnow/x-kalejmfkanqpstxp)
2021-01-16 00:13:57 +0100mirrorbird(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27)
2021-01-16 00:14:19 +0100Noughtmare[m](naughtmare@gateway/shell/matrix.org/x-zgldqcreqyxeasat)
2021-01-16 00:17:01 +0100son0p(~son0p@181.136.122.143) (Ping timeout: 264 seconds)
2021-01-16 00:17:16 +0100polyrain(~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9)
2021-01-16 00:17:53 +0100lambda_(~xiretza@213-47-232-21.cable.dynamic.surfer.at)
2021-01-16 00:18:18 +0100Nahra(~Nahra@unaffiliated/nahra) (Ping timeout: 256 seconds)
2021-01-16 00:18:36 +0100MrMuffles[m](mrmufflesm@gateway/shell/matrix.org/x-uwmrwubwvzkpiesw)
2021-01-16 00:18:49 +0100gzj(~gzj@unaffiliated/gzj) (Ping timeout: 264 seconds)
2021-01-16 00:19:09 +0100 <ij> unpacking a mutable unboxed vector is probably not possible
2021-01-16 00:19:15 +0100alvinsj[m](alvinsjmat@gateway/shell/matrix.org/x-dcynrngbwhjoubxb)
2021-01-16 00:19:25 +0100 <ij> because you would have to have a modify/set that mutates the whole record
2021-01-16 00:20:14 +0100 <justsomeguy> Can I use let..in inside a do block? Or is there something like it that I can use?
2021-01-16 00:20:17 +0100Nahra(~Nahra@unaffiliated/nahra)
2021-01-16 00:20:20 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-16 00:20:52 +0100Nahra(~Nahra@unaffiliated/nahra) (*.net *.split)
2021-01-16 00:20:52 +0100HiRE(~HiRE@104.128.237.40) (*.net *.split)
2021-01-16 00:20:52 +0100Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (*.net *.split)
2021-01-16 00:20:52 +0100byorgey(~byorgey@155.138.238.211) (*.net *.split)
2021-01-16 00:20:52 +0100koluacik(~koluacik@134.122.28.77) (*.net *.split)
2021-01-16 00:20:52 +0100infinity0(~infinity0@freenet/developer/infinity0) (*.net *.split)
2021-01-16 00:20:52 +0100Maxdamantus(~Maxdamant@unaffiliated/maxdamantus) (*.net *.split)
2021-01-16 00:20:52 +0100w1gz(~do@159.89.11.133) (*.net *.split)
2021-01-16 00:20:52 +0100matijja(~matijja@193.77.181.208) (*.net *.split)
2021-01-16 00:20:52 +0100kaol(~kaol@178.62.241.234) (*.net *.split)
2021-01-16 00:20:52 +0100energizer(~energizer@unaffiliated/energizer) (*.net *.split)
2021-01-16 00:20:52 +0100Tene_(~tene@mail.digitalkingdom.org) (*.net *.split)
2021-01-16 00:20:52 +0100d-q-d(id@wikipedia/dqd) (*.net *.split)
2021-01-16 00:20:52 +0100Majoo(~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) (*.net *.split)
2021-01-16 00:20:52 +0100clynamen_(~clynamen@net-93-71-86-202.cust.vodafonedsl.it) (*.net *.split)
2021-01-16 00:20:52 +0100blissful(~blissful@unaffiliated/azuline) (*.net *.split)
2021-01-16 00:20:52 +0100rowbee(~augh@theguntretort.com) (*.net *.split)
2021-01-16 00:20:52 +0100brettgilio(~brettgili@brettgilio.com) (*.net *.split)
2021-01-16 00:20:52 +0100concept2(~concept2@unaffiliated/tubo) (*.net *.split)
2021-01-16 00:20:52 +0100ornxka(~ornxka@unaffiliated/ornx) (*.net *.split)
2021-01-16 00:20:52 +0100adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split)
2021-01-16 00:20:52 +0100koz_(~koz@121.99.240.58) (*.net *.split)
2021-01-16 00:20:52 +0100wraithm(~wraithm@unaffiliated/wraithm) (*.net *.split)
2021-01-16 00:20:52 +0100aib(~aib@unaffiliated/aib42) (*.net *.split)
2021-01-16 00:20:52 +0100irclogger_com(~irclogger@li659-42.members.linode.com) (*.net *.split)
2021-01-16 00:20:52 +0100bob_twinkles(~quassel@ec2-52-37-66-13.us-west-2.compute.amazonaws.com) (*.net *.split)
2021-01-16 00:20:52 +0100Papa(~papa@unaffiliated/papa) (*.net *.split)
2021-01-16 00:20:52 +0100dixie(~dixie@real.wilbury.sk) (*.net *.split)
2021-01-16 00:20:52 +0100relrod(~relrod@redhat/ansible.staff.relrod) (*.net *.split)
2021-01-16 00:20:52 +0100dale(dale@unaffiliated/dale) (*.net *.split)
2021-01-16 00:20:58 +0100 <ij> justsomeguy, likely, just make sure it returns an IO
2021-01-16 00:21:00 +0100dixie(~dixie@real.wilbury.sk)
2021-01-16 00:21:01 +0100Tene(~tene@mail.digitalkingdom.org)
2021-01-16 00:21:01 +0100Tene(~tene@mail.digitalkingdom.org) (Changing host)
2021-01-16 00:21:01 +0100Tene(~tene@poipu/supporter/slacker/tene)
2021-01-16 00:21:01 +0100dqd(id@wikipedia/dqd)
2021-01-16 00:21:02 +0100relrod-(~relrod@origin.elrod.me)
2021-01-16 00:21:08 +0100aib(~aib@unaffiliated/aib42)
2021-01-16 00:21:09 +0100bob_twinkles(~quassel@ec2-52-37-66-13.us-west-2.compute.amazonaws.com)
2021-01-16 00:21:11 +0100clynamen(~clynamen@net-93-71-86-202.cust.vodafonedsl.it)
2021-01-16 00:21:12 +0100koz(~koz@121.99.240.58)
2021-01-16 00:21:13 +0100blissful(~blissful@unaffiliated/azuline)
2021-01-16 00:21:24 +0100Maxdamantus(~Maxdamant@unaffiliated/maxdamantus)
2021-01-16 00:21:24 +0100Papa(~papa@unaffiliated/papa)
2021-01-16 00:21:25 +0100Papa(~papa@unaffiliated/papa) (Max SendQ exceeded)
2021-01-16 00:21:26 +0100Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com)
2021-01-16 00:21:27 +0100Majiir(~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net)
2021-01-16 00:21:28 +0100concept2(~concept2@unaffiliated/tubo)
2021-01-16 00:21:29 +0100HiRE(~HiRE@104.128.237.40)
2021-01-16 00:21:31 +0100ornxka(~ornxka@unaffiliated/ornx)
2021-01-16 00:21:31 +0100matijja(~matijja@193.77.181.208)
2021-01-16 00:21:39 +0100Papa(~papa@unaffiliated/papa)
2021-01-16 00:21:44 +0100Vanilla[m](danielm14@gateway/shell/matrix.org/x-ytqxiemjjodblfyn)
2021-01-16 00:21:46 +0100w1gz(~do@159.89.11.133)
2021-01-16 00:21:51 +0100lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-wkhvxlkbvzlninbo)
2021-01-16 00:21:59 +0100falling-edge[m](falling-ed@gateway/shell/matrix.org/x-sjbfmhcasyxvdhmu)
2021-01-16 00:22:00 +0100dale(dale@unaffiliated/dale)
2021-01-16 00:22:01 +0100koluacik(~koluacik@134.122.28.77)
2021-01-16 00:22:02 +0100Hanma[m](hanmamatri@gateway/shell/matrix.org/x-xtsgwrmeukmswscz)
2021-01-16 00:22:03 +0100wraithm(~wraithm@unaffiliated/wraithm)
2021-01-16 00:22:09 +0100pavonia(~user@unaffiliated/siracusa)
2021-01-16 00:22:51 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-01-16 00:23:09 +0100adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com)
2021-01-16 00:23:10 +0100brettgilio(~brettgili@brettgilio.com)
2021-01-16 00:24:13 +0100pythag76[m](pythag76ma@gateway/shell/matrix.org/x-vbgdvobnaendmqgr)
2021-01-16 00:24:35 +0100kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-01-16 00:24:56 +0100energizer(~energizer@unaffiliated/energizer)
2021-01-16 00:25:03 +0100irclogger_com(~irclogger@li659-42.members.linode.com)
2021-01-16 00:25:04 +0100rowbee(~augh@theguntretort.com)
2021-01-16 00:25:07 +0100infinity0(~infinity0@freenet/developer/infinity0)
2021-01-16 00:25:11 +0100Nahra(~Nahra@unaffiliated/nahra)
2021-01-16 00:25:58 +0100byorgey(~byorgey@155.138.238.211)
2021-01-16 00:26:00 +0100kaol(~kaol@178.62.241.234)
2021-01-16 00:26:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 00:26:19 +0100conal(~conal@64.71.133.70)
2021-01-16 00:26:39 +0100maralorn(maralornma@gateway/shell/matrix.org/x-qrcszlfutgykcoyw)
2021-01-16 00:27:11 +0100domenkozar[m](domenkozar@NixOS/user/domenkozar)
2021-01-16 00:27:18 +0100 <lyxia> there's a dedicated "let" syntax in do blocks
2021-01-16 00:27:36 +0100phittacus(bklmatrixo@gateway/shell/matrix.org/x-gjldajjnsymtpsnu)
2021-01-16 00:28:18 +0100hsiktas[m](hsiktasmat@gateway/shell/matrix.org/x-nwwzkbjiooypwjzh)
2021-01-16 00:28:52 +0100psydruid(psydruidma@gateway/shell/matrix.org/x-mgassrythqmhhsug)
2021-01-16 00:30:01 +0100AWizzArd(~code@gehrels.uberspace.de) (Changing host)
2021-01-16 00:30:01 +0100AWizzArd(~code@unaffiliated/awizzard)
2021-01-16 00:31:03 +0100 <justsomeguy> I ended up using that.
2021-01-16 00:31:16 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-01-16 00:31:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-16 00:32:26 +0100 <ij> :t fmap join . traverse
2021-01-16 00:32:27 +0100 <lambdabot> (Monad m, Traversable m) => (a1 -> m a2) -> m a1 -> m a2
2021-01-16 00:33:06 +0100Codaraxis__(~Codaraxis@91.193.4.36)
2021-01-16 00:36:16 +0100Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 240 seconds)
2021-01-16 00:41:42 +0100monochrom-o monochrom
2021-01-16 00:43:56 +0100stef204(~stef204@unaffiliated/stef-204/x-384198) (Ping timeout: 240 seconds)
2021-01-16 00:50:56 +0100hyperisco(~hyperisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 240 seconds)
2021-01-16 00:51:36 +0100Vulfe(~vulfe@rrcs-23-246-119-132.nys.biz.rr.com) (Remote host closed the connection)
2021-01-16 00:54:43 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-01-16 00:55:06 +0100 <unclechu> about lenses. how could i set a deep nested value with lenses if there is none?
2021-01-16 00:55:07 +0100 <unclechu> e.g. i use lens-aeson and trying to `object [] & key "foo" . key "bar" . _Array .~ [Number 123]`
2021-01-16 00:55:12 +0100maxsu(~maxsu@ip-64-72-99-232.lasvegas.net)
2021-01-16 00:55:20 +0100 <unclechu> i’d like to get `object ["foo" .= object ["bar" .= Array [Number 123]]]` as a result
2021-01-16 00:55:48 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-16 00:55:49 +0100 <unclechu> the point is that i already have a lens, i’m updating the existing value but in case there is none i want to add it
2021-01-16 00:55:51 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2021-01-16 00:56:02 +0100 <unclechu> and to add the whole path
2021-01-16 00:56:05 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-01-16 00:56:13 +0100 <unclechu> maybe just "foo" exists
2021-01-16 00:57:13 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 264 seconds)
2021-01-16 00:58:28 +0100worc3131(~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20)
2021-01-16 00:59:56 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds)
2021-01-16 01:00:28 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 01:02:14 +0100relrod-(~relrod@origin.elrod.me) (Quit: .)
2021-01-16 01:02:19 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-01-16 01:02:23 +0100xsperry(~as@unaffiliated/xsperry)
2021-01-16 01:02:24 +0100relrod(~relrod@origin.elrod.me)
2021-01-16 01:02:26 +0100relrod(~relrod@origin.elrod.me) (Changing host)
2021-01-16 01:02:26 +0100relrod(~relrod@redhat/ansible.staff.relrod)
2021-01-16 01:05:54 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-01-16 01:05:56 +0100maxsu(~maxsu@ip-64-72-99-232.lasvegas.net) (*.net *.split)
2021-01-16 01:05:57 +0100phittacus(bklmatrixo@gateway/shell/matrix.org/x-gjldajjnsymtpsnu) (*.net *.split)
2021-01-16 01:06:22 +0100maxsu(~maxsu@ip-64-72-99-232.lasvegas.net)
2021-01-16 01:06:41 +0100phittacus(bklmatrixo@gateway/shell/matrix.org/x-ubeemdszvcazvzog)
2021-01-16 01:06:47 +0100conal_(~conal@64.71.133.70)
2021-01-16 01:07:09 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-01-16 01:07:56 +0100ulidtko|k(~ulidtko@194.54.80.38) (Ping timeout: 240 seconds)
2021-01-16 01:08:07 +0100kozkoz_
2021-01-16 01:09:49 +0100xsperry(~as@unaffiliated/xsperry) (Ping timeout: 264 seconds)
2021-01-16 01:09:55 +0100dandels(~dandels@unaffiliated/dandels) (Ping timeout: 246 seconds)
2021-01-16 01:18:59 +0100Vulfe(~vulfe@rrcs-23-246-119-132.nys.biz.rr.com)
2021-01-16 01:20:47 +0100Vulfe(~vulfe@rrcs-23-246-119-132.nys.biz.rr.com) (Remote host closed the connection)
2021-01-16 01:21:04 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:989c:f9b9:87c4:db9d)
2021-01-16 01:23:39 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-01-16 01:26:58 +0100fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-01-16 01:29:25 +0100xiinotulp(~q@node-unf.pool-125-24.dynamic.totinternet.net)
2021-01-16 01:31:03 +0100xsperry(~as@cpe-188-129-52-227.dynamic.amis.hr)
2021-01-16 01:31:15 +0100xsperry(~as@cpe-188-129-52-227.dynamic.amis.hr) (Client Quit)
2021-01-16 01:31:25 +0100plutoniix(~q@node-uib.pool-125-24.dynamic.totinternet.net) (Ping timeout: 264 seconds)
2021-01-16 01:31:39 +0100xsperry(~as@unaffiliated/xsperry)
2021-01-16 01:35:04 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-01-16 01:36:16 +0100xsperry(~as@unaffiliated/xsperry) (Ping timeout: 240 seconds)
2021-01-16 01:36:51 +0100Spiff(~quassel@102.160.161.107)
2021-01-16 01:40:56 +0100Spiff(~quassel@102.160.161.107) (Ping timeout: 240 seconds)
2021-01-16 01:41:11 +0100Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-01-16 01:41:58 +0100wonko7(~wonko7@2a01:e35:2ffb:7040:55a5:81b6:6cbc:13ed) (Ping timeout: 260 seconds)
2021-01-16 01:42:15 +0100xsperry(~as@unaffiliated/xsperry)
2021-01-16 01:43:24 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-16 01:45:28 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-01-16 01:45:50 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 01:49:03 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds)
2021-01-16 01:50:36 +0100BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-01-16 01:50:54 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 272 seconds)
2021-01-16 01:51:09 +0100 <BosonCollider> I'm trying to get a good intuition for monad transformers from a cat theory perspective
2021-01-16 01:51:49 +0100 <BosonCollider> Monads are monoid objects in the endorfunctor category
2021-01-16 01:52:49 +0100 <BosonCollider> monad transformers seem to be some kind of functor on the category of monads?
2021-01-16 01:53:01 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:3a8e:d956:f43e:d9a3:9155)
2021-01-16 01:53:22 +0100 <BosonCollider> where the arrows in the latter are monoid object homomorphisms of some kind
2021-01-16 01:55:07 +0100 <ski> `maybeToList' is a monad morphism
2021-01-16 01:56:52 +0100 <ski> `phi :: forall a. T a -> U a' is a monad morphism, iff (it's a natural transformation, and) `phi . return = return', and `phi . join = join . phi . fmap phi'
2021-01-16 01:58:36 +0100 <BosonCollider> right, so taking the endofunctor category, and restricting the morphisms to the ones that satisfy the laws for monoid homomorphisms written in a category independent way
2021-01-16 01:58:55 +0100nfoptimism
2021-01-16 02:00:42 +0100 <BosonCollider> is there an intuitive proof that composition of monad transformers is compatible with composition of the associative instances?
2021-01-16 02:01:18 +0100optimismnf
2021-01-16 02:02:13 +0100 <BosonCollider> assuming that last statement is even true
2021-01-16 02:02:45 +0100xiinotulp(~q@node-unf.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
2021-01-16 02:03:45 +0100yoneda(~mike@193.206.102.122) (Quit: leaving)
2021-01-16 02:04:08 +0100 <BosonCollider> as functors it should follow from the laws of natural transformations
2021-01-16 02:04:55 +0100 <BosonCollider> but as monoidal functors its less obvious
2021-01-16 02:08:35 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-01-16 02:09:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 02:12:29 +0100jumper149(~jumper149@ip185225.wh.uni-hannover.de) (Quit: WeeChat 3.0)
2021-01-16 02:14:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-01-16 02:16:10 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-01-16 02:16:37 +0100rajivr(uid269651@gateway/web/irccloud.com/x-vxhfsmwenjaayzjd)
2021-01-16 02:17:51 +0100sakirious(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net)
2021-01-16 02:18:33 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
2021-01-16 02:18:58 +0100jollygood2(~bc8134e3@217.29.117.252)
2021-01-16 02:19:10 +0100polyrain(~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-16 02:20:55 +0100columbarius1(~columbari@i5E86B3FB.versanet.de) (Ping timeout: 240 seconds)
2021-01-16 02:23:14 +0100columbarius1(~columbari@muedsl-82-207-236-129.citykom.de)
2021-01-16 02:23:58 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-01-16 02:24:21 +0100conal_(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-01-16 02:24:26 +0100jamm(~jamm@unaffiliated/jamm)
2021-01-16 02:27:05 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-01-16 02:28:50 +0100jamm(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-01-16 02:31:04 +0100mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-01-16 02:35:11 +0100Tario(~Tario@201.192.165.173)
2021-01-16 02:48:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 02:54:32 +0100ep1ctetus(~epictetus@ip184-187-162-163.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-01-16 02:57:57 +0100BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 256 seconds)
2021-01-16 03:03:02 +0100LKoen(~LKoen@119.169.9.109.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-01-16 03:06:18 +0100Nahra(~Nahra@unaffiliated/nahra) (Quit: leaving)
2021-01-16 03:10:26 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 03:12:10 +0100BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-01-16 03:12:13 +0100xsperry(~as@unaffiliated/xsperry) (Ping timeout: 264 seconds)
2021-01-16 03:13:08 +0100jollygood2(~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Ping timeout))
2021-01-16 03:13:14 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2021-01-16 03:14:51 +0100vappend(~ezrakilty@75-172-99-84.tukw.qwest.net)
2021-01-16 03:15:08 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 272 seconds)
2021-01-16 03:16:38 +0100conal(~conal@64.71.133.70)
2021-01-16 03:17:49 +0100Sonderblade(~helloman@94.191.152.250) (Read error: Connection reset by peer)
2021-01-16 03:18:09 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-01-16 03:18:14 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 260 seconds)
2021-01-16 03:18:21 +0100Sonderblade(~helloman@94.191.152.250)
2021-01-16 03:18:21 +0100Tario(~Tario@200.119.187.84)
2021-01-16 03:21:03 +0100dyeplexer(~lol@unaffiliated/terpin)
2021-01-16 03:22:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-16 03:22:51 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-01-16 03:23:11 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr)
2021-01-16 03:25:58 +0100 <nerdypepper> hiya, I am looking to try Haskell on the browser through ghcjs, can someone point me to an up-to-date tutorial?
2021-01-16 03:27:58 +0100 <remexre> Foldable's elem on a red-black-tree set is required to suck by its interface, right?
2021-01-16 03:28:15 +0100xsperry(~as@unaffiliated/xsperry)
2021-01-16 03:28:39 +0100 <remexre> b/c it can't require an Ord bound, so it has to fall back to checking every element linearly
2021-01-16 03:29:37 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
2021-01-16 03:29:39 +0100jollygood2(~bc8134e3@217.29.117.252)
2021-01-16 03:31:29 +0100xff0x(~xff0x@2001:1a81:52c6:7f00:785f:53ed:cde5:7b1a) (Ping timeout: 272 seconds)
2021-01-16 03:32:43 +0100xff0x(~xff0x@2001:1a81:52fe:9d00:d437:cdbe:e236:9faf)
2021-01-16 03:33:48 +0100vappend(~ezrakilty@75-172-99-84.tukw.qwest.net) (Remote host closed the connection)
2021-01-16 03:35:10 +0100berberman_(~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in)
2021-01-16 03:35:41 +0100 <glguy> remexre, Right
2021-01-16 03:36:16 +0100berberman(~berberman@unaffiliated/berberman)
2021-01-16 03:37:03 +0100Spiff(~quassel@102.160.161.107)
2021-01-16 03:37:07 +0100 <remexre> is there any easy workaround? or should I just document "don't use elem on this structure, use member instead"
2021-01-16 03:37:24 +0100shatriff_(~vitaliish@176-52-216-242.irishtelecom.com)
2021-01-16 03:37:35 +0100 <glguy> Foldable's a bit of a mess, people should know to avoid a lot of it
2021-01-16 03:37:44 +0100 <glguy> but there's nothing much to do about it
2021-01-16 03:37:56 +0100 <remexre> is there smth on the wiki about what to avoid?
2021-01-16 03:38:32 +0100 <glguy> I haven't been on the Haskell wiki in a long time; I'm not sure...
2021-01-16 03:39:09 +0100texasmynsted_(~texasmyns@99.96.221.112)
2021-01-16 03:39:30 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-01-16 03:40:02 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Ping timeout: 256 seconds)
2021-01-16 03:40:02 +0100texasmynsted(~texasmyns@99.96.221.112) (Ping timeout: 256 seconds)
2021-01-16 03:41:07 +0100maxsu(~maxsu@ip-64-72-99-232.lasvegas.net) (Ping timeout: 246 seconds)
2021-01-16 03:41:28 +0100Spiff(~quassel@102.160.161.107) (Ping timeout: 246 seconds)
2021-01-16 03:42:39 +0100christo(~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net)
2021-01-16 03:47:27 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-16 03:48:48 +0100ADG1089_(~adg1089@122.163.165.143)
2021-01-16 03:48:59 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection)
2021-01-16 03:50:10 +0100christo(~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) (Remote host closed the connection)
2021-01-16 03:50:21 +0100 <monochrom> To a large extent, one wouldn't make a binary search tree an instance of Foldable in the first place.
2021-01-16 03:50:21 +0100solarion(~solarion@mail.digitasaru.net) (Changing host)
2021-01-16 03:50:22 +0100solarion(~solarion@fsf/member/solarion)
2021-01-16 03:50:22 +0100ADG1089_(~adg1089@122.163.165.143) (Read error: Connection reset by peer)
2021-01-16 03:50:43 +0100solarionSolarion
2021-01-16 03:53:20 +0100 <remexre> why not? I'd think foldMap exists for tree foldables
2021-01-16 03:53:21 +0100Tario(~Tario@200.119.187.84) (Read error: Connection reset by peer)
2021-01-16 03:53:31 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 03:54:08 +0100 <monochrom> "tree" ≠ "binary search tree"
2021-01-16 03:54:19 +0100Tario(~Tario@201.192.165.173)
2021-01-16 03:54:30 +0100 <monochrom> Yes this is one of those "a white horse is not a horse" instances.
2021-01-16 03:54:39 +0100 <remexre> rip
2021-01-16 03:54:51 +0100 <remexre> is there a particular reason why it's ill-suited, though?
2021-01-16 03:55:48 +0100maxsu(~maxsu@ip-64-72-99-232.lasvegas.net)
2021-01-16 03:56:54 +0100 <monochrom> On the surface, the Ord constaint stands in the way. That is not as cosmetic as most people think. It is the tip of the iceberg that says a binary search tree has much more structure than arbitrary trees.
2021-01-16 03:57:02 +0100_bin_(~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net)
2021-01-16 03:58:05 +0100_bin(~bin@2600:1700:10a1:38d0:20be:8d7e:7dcc:6ee) (Ping timeout: 272 seconds)
2021-01-16 03:58:31 +0100 <remexre> all the other Foldable methods look like they'd work fine without Ord, though
2021-01-16 03:58:47 +0100 <shachaf> What would make it not Foldable?
2021-01-16 03:59:06 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-01-16 03:59:28 +0100 <glguy> Foldable just means "treat me like a list"
2021-01-16 04:00:42 +0100 <c_wraith> Foldable seems fine for a BST
2021-01-16 04:00:44 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 272 seconds)
2021-01-16 04:01:17 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-16 04:02:03 +0100xff0x(~xff0x@2001:1a81:52fe:9d00:d437:cdbe:e236:9faf) (Ping timeout: 246 seconds)
2021-01-16 04:02:20 +0100 <c_wraith> ... containers would seem to agree
2021-01-16 04:02:21 +0100 <c_wraith> > foldr const 22 (S.fromList [4,3,1])
2021-01-16 04:02:23 +0100 <lambdabot> 1
2021-01-16 04:02:57 +0100xff0x(~xff0x@2001:1a81:52fe:9d00:cd2a:724d:da6:df4a)
2021-01-16 04:02:59 +0100 <c_wraith> Traversable would be a real problem, but this is kind of why Foldable and Traversable are different classes.
2021-01-16 04:03:04 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-01-16 04:03:16 +0100xcmw(~textual@2603-6011-2200-f103-79b4-f9a6-63fe-40f2.res6.spectrum.com)
2021-01-16 04:03:44 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-01-16 04:03:56 +0100 <monochrom> OK, I concede. Enjoy linear time search!
2021-01-16 04:04:19 +0100 <remexre> :P
2021-01-16 04:05:23 +0100 <c_wraith> I do remember someone in here getting bit by that a couple years ago in the advent of code. They used elem instead of member and wondered why their code was so much slower than everyone else using the same algorithm
2021-01-16 04:06:04 +0100 <glguy> That happened this year, too.
2021-01-16 04:06:26 +0100 <remexre> I might see if I can get our compiler (this isn't haskell, but has everything beneath Foldable the same, except Semiring instead of Num) to warn on using elem on sets, actually
2021-01-16 04:06:40 +0100 <monochrom> On the matter of "can I?", as opposed to "should I?", I also refer you to Foldable ((,) r). Enjoy your hard-won length (x,y) = 1, too!
2021-01-16 04:07:27 +0100 <c_wraith> you're really not complaining those types are instances of Foldable. You're complaining elem and length involve Foldable
2021-01-16 04:08:06 +0100 <remexre> though, why is ((,) r) foldable? just so it can be traversable? (though, is that even useful...)
2021-01-16 04:08:15 +0100rkrishnan_(~rkrishnan@rkrishnan.org) ("ERC (IRC client for Emacs 27.1)")
2021-01-16 04:08:19 +0100 <c_wraith> it's absolutely useful for it to be Traversable
2021-01-16 04:08:34 +0100berberman(~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-16 04:09:00 +0100 <glguy> It's maybe not good coding practice, but it can be handy to use in haste
2021-01-16 04:09:28 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds)
2021-01-16 04:09:44 +0100berberman(~berberman@unaffiliated/berberman)
2021-01-16 04:09:45 +0100 <glguy> Using Writer when you're using the two elements of the tuple asymmetrically is nicer for the reader
2021-01-16 04:10:24 +0100berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2021-01-16 04:11:02 +0100berberman(~berberman@unaffiliated/berberman)
2021-01-16 04:11:04 +0100 <glguy> (not saying I haven't cut some corners and used various instances of (,))
2021-01-16 04:11:38 +0100Blkt(~Blkt@2a01:4f8:200:2425::adda) (Read error: Connection reset by peer)
2021-01-16 04:11:54 +0100Blkt(~Blkt@2a01:4f8:200:2425::adda)
2021-01-16 04:12:12 +0100Blkt(~Blkt@2a01:4f8:200:2425::adda) (Read error: Connection reset by peer)
2021-01-16 04:12:25 +0100 <remexre> oh, hm, thinking about it as Writer makes it seem like there's something interesting with that instance
2021-01-16 04:12:27 +0100Blkt(~Blkt@2a01:4f8:200:2425::adda)
2021-01-16 04:12:33 +0100 <remexre> ig, it's saying writer commutes with any monad?
2021-01-16 04:12:52 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-01-16 04:12:53 +0100 <c_wraith> can't be saying that, because that's not true :)
2021-01-16 04:13:08 +0100 <remexre> oh, right, it's only in one direction
2021-01-16 04:15:15 +0100Blkt(~Blkt@2a01:4f8:200:2425::adda) (Read error: Connection reset by peer)
2021-01-16 04:15:31 +0100Blkt(~Blkt@2a01:4f8:200:2425::adda)
2021-01-16 04:15:37 +0100 <remexre> "writer and [], and any other applicatives that are also traversables, commute" ?
2021-01-16 04:15:42 +0100 <remexre> though that's not quite right either
2021-01-16 04:15:58 +0100drbean(~drbean@TC210-63-209-168.static.apol.com.tw)
2021-01-16 04:16:02 +0100 <c_wraith> writer and [] definitely don't commute.
2021-01-16 04:16:47 +0100berberman(~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-16 04:16:55 +0100 <remexre> is there anything deep there or is it just shaped in a way that's tricking me into thinking there is :P
2021-01-16 04:17:16 +0100berberman(~berberman@unaffiliated/berberman)
2021-01-16 04:18:46 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2021-01-16 04:20:45 +0100 <sm2n_> hello, is there a recommended book for learning practical haskell, i.e how it's used for writing general programs? I've been looking at this and it seems ok: https://github.com/tssm/up-to-date-real-world-haskell
2021-01-16 04:21:48 +0100sm2n_sm2n
2021-01-16 04:22:46 +0100 <c_wraith> remexre: One ordering of the effects gives you a history of each result. the other ordering gives you a global history across everything, whether it ended up in a result or not.
2021-01-16 04:22:50 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-01-16 04:23:10 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr)
2021-01-16 04:23:20 +0100 <remexre> er yeah I meant things that are both traversables and monads
2021-01-16 04:23:24 +0100 <glguy> remexre, I don't think there's anything interesting about how Writer and (,) coincide other than Writer is basically just a newtype on (,)
2021-01-16 04:23:26 +0100 <remexre> like is there anything special about those types
2021-01-16 04:25:09 +0100 <glguy> sm2n, I don't know that the book you want exists
2021-01-16 04:26:30 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-01-16 04:26:42 +0100notzmv(~user@unaffiliated/zmv)
2021-01-16 04:28:43 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 246 seconds)
2021-01-16 04:29:40 +0100jollygood2(~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/)
2021-01-16 04:29:59 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 04:30:38 +0100 <sm2n> rip, what do people do then?
2021-01-16 04:30:55 +0100 <glguy> Read existing projects and write their own
2021-01-16 04:31:36 +0100Neuromancer(~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 256 seconds)
2021-01-16 04:31:50 +0100 <sm2n> fair enough
2021-01-16 04:32:20 +0100Ariakenom(~Ariakenom@2001:9b1:efb:fc00:8cf9:a684:8b01:4d31) (Quit: Leaving)
2021-01-16 04:37:31 +0100Jd007(~Jd007@162.156.11.151)
2021-01-16 04:37:46 +0100mirrorbird(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) (Quit: Leaving)
2021-01-16 04:38:05 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:989c:f9b9:87c4:db9d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-16 04:38:29 +0100plutoniix(~q@184.82.197.202)
2021-01-16 04:41:40 +0100theDon(~td@muedsl-82-207-238-172.citykom.de) (Ping timeout: 246 seconds)
2021-01-16 04:42:52 +0100ADG1089_(~adg1089@122.163.165.143)
2021-01-16 04:43:50 +0100theDon(~td@muedsl-82-207-238-004.citykom.de)
2021-01-16 04:44:06 +0100iridescent(2fe3e53b@047-227-229-059.res.spectrum.com)
2021-01-16 04:51:44 +0100Tario(~Tario@201.192.165.173)
2021-01-16 04:53:55 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:989c:f9b9:87c4:db9d)
2021-01-16 04:54:19 +0100xirhtogal(~lagothrix@unaffiliated/lagothrix)
2021-01-16 04:54:20 +0100lagothrixGuest35012
2021-01-16 04:54:20 +0100Guest35012(~lagothrix@unaffiliated/lagothrix) (Killed (barjavel.freenode.net (Nickname regained by services)))
2021-01-16 04:54:20 +0100xirhtogallagothrix
2021-01-16 04:55:16 +0100mirrorbird(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27)
2021-01-16 04:55:58 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-01-16 04:59:48 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-01-16 05:00:01 +0100haasn(~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-01-16 05:01:25 +0100haasn(~nand@mpv/developer/haasn)
2021-01-16 05:03:06 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-01-16 05:03:42 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-01-16 05:04:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-16 05:05:29 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
2021-01-16 05:08:29 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-16 05:10:55 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 05:14:27 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-01-16 05:15:17 +0100lordyod3(~lordyod@c-67-169-144-132.hsd1.ca.comcast.net)
2021-01-16 05:15:37 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-01-16 05:15:49 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2021-01-16 05:16:00 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-16 05:16:02 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-16 05:17:24 +0100lordyod(~lordyod@c-67-169-144-132.hsd1.ca.comcast.net) (Ping timeout: 265 seconds)
2021-01-16 05:17:24 +0100lordyod3lordyod
2021-01-16 05:17:44 +0100nineonine(~nineonine@50.216.62.2)
2021-01-16 05:18:28 +0100zaquest(~notzaques@5.128.210.178) (Remote host closed the connection)
2021-01-16 05:19:32 +0100zaquest(~notzaques@5.128.210.178)
2021-01-16 05:21:20 +0100conal(~conal@64.71.133.70)
2021-01-16 05:21:21 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-yybsiwkkxmipzuww) ()
2021-01-16 05:22:25 +0100ADG1089_(~adg1089@122.163.165.143) (Ping timeout: 264 seconds)
2021-01-16 05:23:15 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 246 seconds)
2021-01-16 05:24:19 +0100conal(~conal@64.71.133.70) (Client Quit)
2021-01-16 05:26:22 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-16 05:28:35 +0100conal_(~conal@209.58.135.89)
2021-01-16 05:31:42 +0100monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2021-01-16 05:32:34 +0100notzmv(~user@unaffiliated/zmv) (Ping timeout: 272 seconds)
2021-01-16 05:32:35 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
2021-01-16 05:36:54 +0100 <DigitalKiwi> "write the book/documentation you wish you had when you started"
2021-01-16 05:37:18 +0100Spiff(~quassel@102.160.161.107)
2021-01-16 05:37:49 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 05:41:52 +0100Spiff(~quassel@102.160.161.107) (Ping timeout: 256 seconds)
2021-01-16 05:42:51 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-01-16 05:42:59 +0100monochrom(trebla@216.138.220.146)
2021-01-16 05:45:14 +0100Spiff(~quassel@102.160.161.107)
2021-01-16 05:47:07 +0100xcmw(~textual@2603-6011-2200-f103-79b4-f9a6-63fe-40f2.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-16 05:48:32 +0100harryst(4577719f@ool-4577719f.dyn.optonline.net)
2021-01-16 05:49:37 +0100harryst(4577719f@ool-4577719f.dyn.optonline.net) (Client Quit)
2021-01-16 05:50:18 +0100Spiff(~quassel@102.160.161.107) (Ping timeout: 272 seconds)
2021-01-16 05:52:25 +0100BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 264 seconds)
2021-01-16 05:57:57 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-01-16 05:58:34 +0100texasmynsted_texasmynsted
2021-01-16 06:01:08 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-16 06:01:29 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-16 06:05:00 +0100nineonine(~nineonine@50.216.62.2)
2021-01-16 06:05:39 +0100SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net) (Ping timeout: 260 seconds)
2021-01-16 06:06:30 +0100SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net)
2021-01-16 06:09:49 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 264 seconds)
2021-01-16 06:10:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 06:12:07 +0100fnurglewitz(uid263868@gateway/web/irccloud.com/x-yezkpczvtftthifl) (Quit: Connection closed for inactivity)
2021-01-16 06:15:01 +0100xcmw(~textual@2603-6011-2200-f103-79b4-f9a6-63fe-40f2.res6.spectrum.com)
2021-01-16 06:15:33 +0100iridescent(2fe3e53b@047-227-229-059.res.spectrum.com) (Quit: Connection closed)
2021-01-16 06:16:09 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
2021-01-16 06:16:12 +0100coot(~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl)
2021-01-16 06:21:16 +0100plutoniix(~q@184.82.197.202) (Read error: Connection reset by peer)
2021-01-16 06:22:21 +0100notzmv(~user@unaffiliated/zmv)
2021-01-16 06:23:15 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-01-16 06:24:58 +0100 <siraben> sm2n: my friend recently read "Get Programming with Haskell"
2021-01-16 06:25:00 +0100 <siraben> it's really good
2021-01-16 06:25:17 +0100 <siraben> he tried Real World Haskell but it wasn't coherent halfway through
2021-01-16 06:25:20 +0100 <siraben> + outdated
2021-01-16 06:27:21 +0100 <siraben> sm2n: on my reading list I have https://link.springer.com/book/10.1007%2F978-1-4842-4480-7 which from a quick skim is good as well
2021-01-16 06:27:51 +0100plutoniix(~q@184.82.197.202)
2021-01-16 06:29:52 +0100polyrain(~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9)
2021-01-16 06:39:17 +0100polyrain(~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-16 06:43:18 +0100urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-01-16 06:43:19 +0100polyrain(~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9)
2021-01-16 06:45:20 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-01-16 06:47:07 +0100cantstanya(~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
2021-01-16 06:47:45 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-16 06:48:59 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
2021-01-16 06:49:04 +0100vicfred(~vicfred@unaffiliated/vicfred) (Remote host closed the connection)
2021-01-16 06:49:22 +0100vicfred(~vicfred@unaffiliated/vicfred)
2021-01-16 06:49:24 +0100cantstanya(~chatting@gateway/tor-sasl/cantstanya)
2021-01-16 06:49:43 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-16 06:49:46 +0100maxsu(~maxsu@ip-64-72-99-232.lasvegas.net) (Ping timeout: 246 seconds)
2021-01-16 06:50:36 +0100vicfred(~vicfred@unaffiliated/vicfred) (Remote host closed the connection)
2021-01-16 06:54:37 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
2021-01-16 06:55:08 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
2021-01-16 06:55:09 +0100coot(~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-01-16 06:55:47 +0100nineonine(~nineonine@50.216.62.2)
2021-01-16 06:57:39 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:3a8e:d956:f43e:d9a3:9155) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-16 06:59:06 +0100maxsu(~maxsu@ip-64-72-99-232.lasvegas.net)
2021-01-16 07:01:03 +0100Spiff(~quassel@102.160.161.107)
2021-01-16 07:01:31 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-01-16 07:02:09 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-01-16 07:02:09 +0100cantstanya(~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
2021-01-16 07:02:23 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-16 07:03:35 +0100jamm(~jamm@unaffiliated/jamm)
2021-01-16 07:04:07 +0100ADG1089_(~adg1089@122.163.165.143)
2021-01-16 07:04:28 +0100cantstanya(~chatting@gateway/tor-sasl/cantstanya)
2021-01-16 07:09:54 +0100Katarushisu5(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net)
2021-01-16 07:10:36 +0100Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Ping timeout: 240 seconds)
2021-01-16 07:10:36 +0100Katarushisu5Katarushisu
2021-01-16 07:11:45 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 07:12:54 +0100Spiff(~quassel@102.160.161.107) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-01-16 07:14:35 +0100polyrain(~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-16 07:17:01 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2021-01-16 07:17:35 +0100mirrorbird(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) (Ping timeout: 272 seconds)
2021-01-16 07:19:11 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2021-01-16 07:19:30 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-01-16 07:19:47 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 07:20:22 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
2021-01-16 07:24:06 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-16 07:24:27 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-16 07:24:42 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-01-16 07:24:52 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Quit: Network issue or system upgrade probably)
2021-01-16 07:26:39 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-01-16 07:31:19 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-01-16 07:31:28 +0100mpiechotka(~mpiechotk@107-203-255-70.lightspeed.sntcca.sbcglobal.net)
2021-01-16 07:35:49 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-16 07:36:07 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
2021-01-16 07:36:27 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Client Quit)
2021-01-16 07:36:43 +0100mpiechotka(~mpiechotk@107-203-255-70.lightspeed.sntcca.sbcglobal.net) (Quit: mpiechotka)
2021-01-16 07:36:51 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-01-16 07:39:38 +0100tzh(~xax@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-01-16 07:39:54 +0100jamm(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-01-16 07:40:06 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-01-16 07:40:20 +0100notzmv(~user@unaffiliated/zmv) (Remote host closed the connection)
2021-01-16 07:40:39 +0100Distance_(~Distance@51.194.80.91) (Quit: Connection error?!)
2021-01-16 07:41:10 +0100notzmv(~user@unaffiliated/zmv)
2021-01-16 07:42:20 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-01-16 07:42:30 +0100wei2912(~wei2912@unaffiliated/wei2912)
2021-01-16 07:42:34 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-01-16 07:42:43 +0100Tario(~Tario@201.192.165.173)
2021-01-16 07:43:31 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-01-16 07:43:54 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-01-16 07:46:01 +0100dave_uy(~david@108.61.193.26) (Quit: The Lounge - https://thelounge.chat)
2021-01-16 07:46:34 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 260 seconds)
2021-01-16 07:46:54 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-01-16 07:48:25 +0100questionmarkking(~questionm@165.227.7.85) (Quit: WeeChat 2.9)
2021-01-16 07:48:40 +0100dave_uy(~david@108.61.193.26)
2021-01-16 07:49:22 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 256 seconds)
2021-01-16 07:49:56 +0100notzmv(~user@unaffiliated/zmv) (Ping timeout: 256 seconds)
2021-01-16 07:50:32 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
2021-01-16 07:53:37 +0100ADG1089_(~adg1089@122.163.165.143) (Ping timeout: 264 seconds)
2021-01-16 07:55:18 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Quit: Network issue or system upgrade probably)
2021-01-16 07:59:12 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 08:04:19 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2021-01-16 08:06:43 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-16 08:10:51 +0100alexcleac(~alexcleac@213.111.86.105) ()
2021-01-16 08:12:09 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-01-16 08:12:22 +0100maxsu(~maxsu@ip-64-72-99-232.lasvegas.net) (Ping timeout: 246 seconds)
2021-01-16 08:13:31 +0100 <alexfmpe> are functions with the same number of arguments guaranteed to have the same runtime representation? I seem to be able to unsafeCoerce them willy nilly even when the input/output types have different representations but don't understand why
2021-01-16 08:13:36 +0100 <alexfmpe> > (unsafeCoerce (id :: Int -> Int) :: Char -> Char) 'X'
2021-01-16 08:13:38 +0100 <lambdabot> error:
2021-01-16 08:13:38 +0100 <lambdabot> Variable not in scope: unsafeCoerce :: (Int -> Int) -> Char -> Char
2021-01-16 08:13:56 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds)
2021-01-16 08:15:14 +0100 <alexfmpe> > (Unsafe.Coerce.unsafeCoerce (const :: Int -> Int -> Int) :: Char -> Char -> Char) 'X' 'Y'
2021-01-16 08:15:16 +0100 <lambdabot> error:
2021-01-16 08:15:16 +0100 <lambdabot> Not in scope: ‘Unsafe.Coerce.unsafeCoerce’
2021-01-16 08:15:16 +0100 <lambdabot> No module named ‘Unsafe.Coerce’ is imported.
2021-01-16 08:15:49 +0100 <alexfmpe> sigh lambdabot, anyway those both work and return 'X'
2021-01-16 08:17:19 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-01-16 08:19:07 +0100Stanley|00(~stanley00@unaffiliated/stanley00)
2021-01-16 08:19:17 +0100Stanley|00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-01-16 08:19:54 +0100Stanley|00(~stanley00@unaffiliated/stanley00)
2021-01-16 08:20:42 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-01-16 08:21:08 +0100Stanley|00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-01-16 08:22:08 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds)
2021-01-16 08:27:57 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:989c:f9b9:87c4:db9d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-16 08:33:42 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-01-16 08:35:07 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 246 seconds)
2021-01-16 08:35:50 +0100lawid(~quassel@dslb-178-005-066-239.178.005.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2021-01-16 08:36:15 +0100lawid(~quassel@dslb-090-186-099-166.090.186.pools.vodafone-ip.de)
2021-01-16 08:39:08 +0100Varis(~Tadas@unaffiliated/varis)
2021-01-16 08:44:14 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-01-16 08:44:57 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-01-16 08:45:33 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-01-16 08:50:01 +0100gluegadget(sid22336@gateway/web/irccloud.com/x-gpdwingfejgfufvv) (Ping timeout: 264 seconds)
2021-01-16 08:50:31 +0100gluegadget(sid22336@gateway/web/irccloud.com/x-dnpnqphnnwbxousx)
2021-01-16 08:54:49 +0100howdoi(uid224@gateway/web/irccloud.com/x-vqsmakxboqrscwtf) (Quit: Connection closed for inactivity)
2021-01-16 08:55:23 +0100mctpyt(~mctpyt@unaffiliated/mctpyt) (Quit: WeeChat 3.0)
2021-01-16 08:57:21 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-01-16 08:57:49 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-01-16 08:57:56 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 240 seconds)
2021-01-16 08:59:55 +0100p-core(~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Quit: p-core)
2021-01-16 09:00:11 +0100p-core(~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56)
2021-01-16 09:01:55 +0100coot(~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl)
2021-01-16 09:04:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 09:08:56 +0100 <peutri> early morning, I read "No module named 'Unsafe.Coerce' is important."
2021-01-16 09:09:42 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-01-16 09:10:57 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2) (Remote host closed the connection)
2021-01-16 09:12:54 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 09:15:00 +0100mozzarella(~sam@unaffiliated/sam113101) (Read error: Connection reset by peer)
2021-01-16 09:17:24 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-01-16 09:30:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 09:35:27 +0100lambda_lambda
2021-01-16 09:37:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-16 09:37:27 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-16 09:40:19 +0100tito_04(~taurux@net-188-216-43-78.cust.vodafonedsl.it) (Ping timeout: 260 seconds)
2021-01-16 09:40:27 +0100jamm(~jamm@unaffiliated/jamm)
2021-01-16 09:40:44 +0100taurux(~taurux@net-188-216-43-78.cust.vodafonedsl.it)
2021-01-16 09:41:49 +0100berberman(~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-16 09:42:11 +0100berberman(~berberman@unaffiliated/berberman)
2021-01-16 09:44:24 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-16 09:45:02 +0100jamm(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-01-16 09:51:08 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com)
2021-01-16 09:51:42 +0100drbean(~drbean@TC210-63-209-168.static.apol.com.tw) (Ping timeout: 246 seconds)
2021-01-16 09:54:21 +0100nineonine(~nineonine@50.216.62.2)
2021-01-16 09:55:56 +0100wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2021-01-16 09:58:54 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 256 seconds)
2021-01-16 09:59:48 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-16 10:04:49 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-01-16 10:07:35 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Read error: Connection reset by peer)
2021-01-16 10:08:19 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-01-16 10:09:43 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-16 10:11:02 +0100greyskull(~greyskull@51.194.80.91)
2021-01-16 10:11:18 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c)
2021-01-16 10:11:41 +0100ubert(~Thunderbi@p200300ecdf1ee03ee02324fb94e406b3.dip0.t-ipconnect.de)
2021-01-16 10:16:11 +0100dandels(~dandels@unaffiliated/dandels)
2021-01-16 10:16:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 264 seconds)
2021-01-16 10:19:57 +0100polyrain(~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9)
2021-01-16 10:20:22 +0100ADG1089__(~aditya@122.163.165.143)
2021-01-16 10:21:38 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-01-16 10:21:46 +0100polyrain(~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9) (Client Quit)
2021-01-16 10:23:00 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-01-16 10:23:29 +0100 <ij> :t foldMap ((:[]) . fst) . uncons
2021-01-16 10:23:30 +0100 <lambdabot> [a] -> [a]
2021-01-16 10:23:35 +0100pera(~pera@unaffiliated/pera)
2021-01-16 10:23:43 +0100 <ij> == maybeToList . headOption
2021-01-16 10:24:12 +0100Varis(~Tadas@unaffiliated/varis)
2021-01-16 10:25:00 +0100xff0x(~xff0x@2001:1a81:52fe:9d00:cd2a:724d:da6:df4a) (Remote host closed the connection)
2021-01-16 10:25:19 +0100xff0x(~xff0x@2001:1a81:52fe:9d00:a597:9273:b6fd:8f2b)
2021-01-16 10:26:00 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 246 seconds)
2021-01-16 10:26:37 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds)
2021-01-16 10:27:08 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-01-16 10:27:30 +0100mozzarella(~sam@unaffiliated/sam113101)
2021-01-16 10:27:53 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt)
2021-01-16 10:29:48 +0100wonko7(~wonko7@2a01:e35:2ffb:7040:a7ac:5fa8:5a36:d98f)
2021-01-16 10:33:57 +0100noop_noob(31e49ad0@gateway/web/cgi-irc/kiwiirc.com/ip.49.228.154.208)
2021-01-16 10:34:07 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-01-16 10:35:31 +0100noop_noob(31e49ad0@gateway/web/cgi-irc/kiwiirc.com/ip.49.228.154.208) (Client Quit)
2021-01-16 10:37:13 +0100LKoen(~LKoen@119.169.9.109.rev.sfr.net)
2021-01-16 10:39:45 +0100xcmw(~textual@2603-6011-2200-f103-79b4-f9a6-63fe-40f2.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-16 10:41:37 +0100datajerk(~datajerk@sense.net) (Ping timeout: 264 seconds)
2021-01-16 10:47:26 +0100ubert(~Thunderbi@p200300ecdf1ee03ee02324fb94e406b3.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2021-01-16 10:55:06 +0100datajerk(~datajerk@sense.net)
2021-01-16 10:57:33 +0100jamm(~jamm@unaffiliated/jamm)
2021-01-16 11:00:03 +0100hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2021-01-16 11:00:22 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds)
2021-01-16 11:03:39 +0100ADG1089__(~aditya@122.163.165.143) (Remote host closed the connection)
2021-01-16 11:03:43 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-01-16 11:04:31 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 11:05:06 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-16 11:05:22 +0100ADG1089__(~aditya@122.163.165.143)
2021-01-16 11:05:26 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-16 11:06:17 +0100christo(~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net)
2021-01-16 11:08:11 +0100niekvandepas(~niekvande@89.205.135.50)
2021-01-16 11:08:40 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-mbazhcqiqbqsbhaw) (Quit: Connection closed for inactivity)
2021-01-16 11:09:17 +0100polyrain(~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9)
2021-01-16 11:13:32 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 11:16:34 +0100rkvist(~user@138.197.72.132) (Quit: wait wut)
2021-01-16 11:16:50 +0100rkvist(~user@138.197.72.132)
2021-01-16 11:16:53 +0100fendor(~fendor@91.141.1.45.wireless.dyn.drei.com)
2021-01-16 11:18:18 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-01-16 11:18:39 +0100polyrain(~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-16 11:20:35 +0100pera(~pera@unaffiliated/pera) (Ping timeout: 256 seconds)
2021-01-16 11:22:15 +0100pera(~pera@unaffiliated/pera)
2021-01-16 11:23:08 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-01-16 11:23:24 +0100niekvandepas(~niekvande@89.205.135.50) (Remote host closed the connection)
2021-01-16 11:24:31 +0100dandels(~dandels@unaffiliated/dandels) (Ping timeout: 246 seconds)
2021-01-16 11:24:39 +0100hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-01-16 11:24:57 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-16 11:27:52 +0100christo(~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) (Remote host closed the connection)
2021-01-16 11:28:30 +0100christo(~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net)
2021-01-16 11:29:16 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds)
2021-01-16 11:33:34 +0100christo(~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) (Ping timeout: 272 seconds)
2021-01-16 11:37:56 +0100dandels(~dandels@unaffiliated/dandels)
2021-01-16 11:38:31 +0100worc3131(~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20) (Ping timeout: 272 seconds)
2021-01-16 11:38:31 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-01-16 11:43:15 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-01-16 11:45:05 +0100__monty__(~toonn@unaffiliated/toonn)
2021-01-16 11:52:26 +0100robotmay(~beepboop@80.172.187.81.in-addr.arpa)
2021-01-16 11:54:37 +0100xsperry(~as@unaffiliated/xsperry) (Ping timeout: 246 seconds)
2021-01-16 11:56:49 +0100 <carbolymer> I'm debugging my program, and I've put `unsafePerformIO . putStr $ value` to print value in my function in state monad, but it does not get printed
2021-01-16 11:57:02 +0100 <carbolymer> any ideas how to force unsafePerformIO in such case?
2021-01-16 11:58:40 +0100 <srk> trace from Debug.Trace might be useful instead of that ^
2021-01-16 11:59:54 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2021-01-16 12:00:39 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-16 12:00:49 +0100xsperry(~as@unaffiliated/xsperry)
2021-01-16 12:00:52 +0100 <carbolymer> srk, works, thanks!
2021-01-16 12:01:20 +0100 <srk> yw!
2021-01-16 12:02:30 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-01-16 12:02:58 +0100shadowdaemon(~user@unaffiliated/shadowdaemon) (Remote host closed the connection)
2021-01-16 12:04:07 +0100plutoniix(~q@184.82.197.202) (Read error: Connection reset by peer)
2021-01-16 12:06:13 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds)
2021-01-16 12:06:20 +0100plutoniix(~q@184.82.197.202)
2021-01-16 12:06:23 +0100gxt(~gxt@gateway/tor-sasl/gxt) (Quit: WeeChat 3.0)
2021-01-16 12:07:40 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 12:10:29 +0100 <ephemient> @src traceM
2021-01-16 12:10:29 +0100 <lambdabot> Source not found. The more you drive -- the dumber you get.
2021-01-16 12:10:37 +0100 <ephemient> @src Debug.Trace.traceM
2021-01-16 12:10:38 +0100 <lambdabot> Source not found. It can only be attributed to human error.
2021-01-16 12:10:44 +0100 <ephemient> :(
2021-01-16 12:11:33 +0100Deide(~Deide@217.155.19.23)
2021-01-16 12:12:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-01-16 12:12:48 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c)
2021-01-16 12:13:35 +0100 <xerox_> https://www.stackage.org/haddock/nightly-2021-01-15/base-4.14.1.0/src/Debug-Trace.html#traceM
2021-01-16 12:18:23 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 260 seconds)
2021-01-16 12:18:44 +0100Franciman(~francesco@host-82-48-174-127.retail.telecomitalia.it)
2021-01-16 12:18:45 +0100jamm(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-01-16 12:19:03 +0100ericsagnes(~ericsagne@2405:6580:0:5100:3abe:a88c:1b2d:b08c) (Ping timeout: 272 seconds)
2021-01-16 12:23:17 +0100wei2912(~wei2912@unaffiliated/wei2912)
2021-01-16 12:25:45 +0100 <Kronic> Is there anyway to get HSX syntax highlighting with vim?
2021-01-16 12:27:44 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-16 12:28:01 +0100plutoniix(~q@184.82.197.202) (Ping timeout: 256 seconds)
2021-01-16 12:28:55 +0100son0p(~son0p@181.58.39.182)
2021-01-16 12:30:26 +0100cuz(~user@2601:182:cc02:8b0:3843:324a:6ddc:6c1e)
2021-01-16 12:30:39 +0100ericsagnes(~ericsagne@2405:6580:0:5100:b3b1:c462:4b9d:a58f)
2021-01-16 12:31:53 +0100notandinus(andinus@tilde.institute) ("Killed buffer")
2021-01-16 12:32:37 +0100Bergle_2(~Bergle_4@101.165.90.119)
2021-01-16 12:32:47 +0100zariuq(~zar@fw1.ciirc.cvut.cz)
2021-01-16 12:32:52 +0100uberj(~uberj@unaffiliated/uberj)
2021-01-16 12:32:56 +0100ridcully__(~ridcully@pd951f4de.dip0.t-ipconnect.de)
2021-01-16 12:33:12 +0100Axma32944(~Axman6@pdpc/supporter/student/Axman6)
2021-01-16 12:33:16 +0100zar(~zar@fw1.ciirc.cvut.cz) (Read error: Connection reset by peer)
2021-01-16 12:33:16 +0100gothos(~gothos@antsy.jhz.name) (Read error: Connection reset by peer)
2021-01-16 12:33:16 +0100hvr(~hvr@haskell/developer/hvr) (Write error: Connection reset by peer)
2021-01-16 12:33:16 +0100russruss(~russruss@my.russellmcc.com) (Read error: Connection reset by peer)
2021-01-16 12:33:16 +0100leafiest(~leafiest@165.227.53.12) (Read error: Connection reset by peer)
2021-01-16 12:33:16 +0100uberj_(~uberj@107.170.237.156) (Read error: Connection reset by peer)
2021-01-16 12:33:16 +0100ridcully_(~ridcully@pd951f4de.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2021-01-16 12:33:16 +0100Axman6(~Axman6@pdpc/supporter/student/Axman6) (Read error: Connection reset by peer)
2021-01-16 12:33:19 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Excess Flood)
2021-01-16 12:33:19 +0100hvr_(~hvr@haskell/developer/hvr)
2021-01-16 12:33:25 +0100russruss4(~russruss@my.russellmcc.com)
2021-01-16 12:33:29 +0100leafiest(~leafiest@165.227.53.12)
2021-01-16 12:33:50 +0100conal_(~conal@209.58.135.89) (Ping timeout: 256 seconds)
2021-01-16 12:34:24 +0100gothos(~gothos@antsy.jhz.name)
2021-01-16 12:34:39 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-01-16 12:34:44 +0100lagothrix(~lagothrix@unaffiliated/lagothrix) (Ping timeout: 256 seconds)
2021-01-16 12:34:58 +0100Bergle_1(~Bergle_4@101.165.90.119) (Ping timeout: 256 seconds)
2021-01-16 12:34:58 +0100samebchase(~samebchas@51.15.68.182) (Ping timeout: 256 seconds)
2021-01-16 12:34:58 +0100jophish(~jophish@li1766-207.members.linode.com) (Ping timeout: 256 seconds)
2021-01-16 12:34:58 +0100lieven(~mal@unaffiliated/lieven) (Ping timeout: 256 seconds)
2021-01-16 12:35:18 +0100lieven(~mal@unaffiliated/lieven)
2021-01-16 12:35:24 +0100jophish(~jophish@2400:8901::f03c:91ff:fe39:7a9)
2021-01-16 12:35:29 +0100samebchase(~samebchas@51.15.68.182)
2021-01-16 12:35:58 +0100conal(~conal@209.58.135.89)
2021-01-16 12:36:16 +0100lagothrix(~lagothrix@unaffiliated/lagothrix)
2021-01-16 12:36:27 +0100knupfer(~Thunderbi@200116b82c63f800d1f0439390be6d80.dip.versatel-1u1.de)
2021-01-16 12:36:28 +0100BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-01-16 12:36:56 +0100SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net) (Ping timeout: 240 seconds)
2021-01-16 12:37:44 +0100SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net)
2021-01-16 12:38:00 +0100niekvand_(~niekvande@89.205.135.50)
2021-01-16 12:40:45 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds)
2021-01-16 12:43:05 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 12:43:26 +0100ridcully__ridcully
2021-01-16 12:43:38 +0100ridcully(~ridcully@pd951f4de.dip0.t-ipconnect.de) (Quit: WeeChat 3.0)
2021-01-16 12:43:45 +0100ridcully(~ridcully@pd951f4de.dip0.t-ipconnect.de)
2021-01-16 12:44:32 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-16 12:44:33 +0100niekvand_(~niekvande@89.205.135.50) (Read error: Connection reset by peer)
2021-01-16 12:47:53 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 12:49:30 +0100cuz(~user@2601:182:cc02:8b0:3843:324a:6ddc:6c1e) (Remote host closed the connection)
2021-01-16 12:50:43 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds)
2021-01-16 12:51:15 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection)
2021-01-16 12:54:14 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-16 12:57:54 +0100wonko7(~wonko7@2a01:e35:2ffb:7040:a7ac:5fa8:5a36:d98f) (Ping timeout: 246 seconds)
2021-01-16 12:58:07 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-01-16 12:58:29 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 12:58:36 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds)
2021-01-16 12:59:10 +0100drbean(~drbean@TC210-63-209-181.static.apol.com.tw)
2021-01-16 13:01:25 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds)
2021-01-16 13:03:05 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-01-16 13:06:11 +0100adharsh(~adharsh@117.211.21.169)
2021-01-16 13:10:10 +0100erolm_a(~erolm_a@82.24.185.133)
2021-01-16 13:14:15 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c)
2021-01-16 13:14:24 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-01-16 13:15:25 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-01-16 13:16:16 +0100MindlessDrone(~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 240 seconds)
2021-01-16 13:18:38 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 264 seconds)
2021-01-16 13:18:49 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-16 13:21:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-16 13:27:06 +0100ArConan(9de62a69@157.230.42.105)
2021-01-16 13:28:25 +0100dandels(~dandels@unaffiliated/dandels) (Ping timeout: 264 seconds)
2021-01-16 13:28:28 +0100 <ArConan> @where paste
2021-01-16 13:28:28 +0100 <lambdabot> Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com
2021-01-16 13:28:51 +0100 <ArConan> https://paste.tomsmeding.com/8tRfcLgv
2021-01-16 13:29:47 +0100 <ArConan> I'm confused about the condition `null line`
2021-01-16 13:29:51 +0100ADG1089__(~aditya@122.163.165.143) (Remote host closed the connection)
2021-01-16 13:30:13 +0100mouseghost(~draco@wikipedia/desperek)
2021-01-16 13:30:15 +0100 <ArConan> I know it means `line ==null`
2021-01-16 13:30:18 +0100 <ski> `line' is a `String', that is a `[Char]' (a list of `Char's)
2021-01-16 13:30:36 +0100 <ArConan> but where i can learn about it
2021-01-16 13:30:45 +0100tanuki_(~quassel@173.168.154.189) (Ping timeout: 240 seconds)
2021-01-16 13:31:06 +0100 <ski> learn what about it ?
2021-01-16 13:31:56 +0100 <ArConan> I'm confused why `line ==null`can be expressed as `null line`
2021-01-16 13:32:53 +0100 <ArConan> ski: It's the first time I've seen this expression
2021-01-16 13:32:57 +0100 <ski> it's a standard function
2021-01-16 13:32:59 +0100 <ski> @src null
2021-01-16 13:32:59 +0100 <lambdabot> null [] = True
2021-01-16 13:32:59 +0100 <lambdabot> null (_:_) = False
2021-01-16 13:34:01 +0100 <ArConan> oh,so `null` in haskell is a function but not a keyword?
2021-01-16 13:34:06 +0100 <ski> `null' tends to be better to reach for, than `== []', since the latter requires equality checking to be available for the elements
2021-01-16 13:34:17 +0100 <ski> it's an ordinary function, yes
2021-01-16 13:34:28 +0100 <ski> (it's not `== null')
2021-01-16 13:34:48 +0100 <ArConan> thanks
2021-01-16 13:35:14 +0100 <ski> (there is no "null" reference or value in Haskell, inhabiting all or most types)
2021-01-16 13:36:03 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds)
2021-01-16 13:36:47 +0100vjeranc(334d903d@61.ip-51-77-144.eu)
2021-01-16 13:37:27 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds)
2021-01-16 13:37:34 +0100 <ski> (`line == null' would not work. you can't compare functions for equality (`null' is a function). besides, the two operations don't have the same type anyway, so it would be a type error just due to that)
2021-01-16 13:37:50 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2021-01-16 13:37:57 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-01-16 13:38:38 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 13:39:37 +0100 <vjeranc> Hi guys. I hope someone can help me around a build issue. I have Ubuntu 20.04 and have installed haskell-stack through apt and `curl -sSL https://get.haskellstack.org/ | sh` but I can't install stuff that depends on basement-0.0.11
2021-01-16 13:39:37 +0100 <vjeranc> I get a `Size_hsc_make: createProcess: runInteractiveProcess: exec: permission denied (Permission denied)` error with both methods of stack installation.
2021-01-16 13:39:59 +0100ADG1089_(~adg1089@27.63.60.143)
2021-01-16 13:42:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-16 13:42:25 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-16 13:43:05 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-01-16 13:44:06 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-01-16 13:45:34 +0100son0p(~son0p@181.58.39.182) (Ping timeout: 256 seconds)
2021-01-16 13:45:40 +0100 <ArConan> @src ()
2021-01-16 13:45:40 +0100 <lambdabot> data () = ()
2021-01-16 13:45:56 +0100 <ArConan> @src IO/()
2021-01-16 13:45:56 +0100 <lambdabot> Source not found.
2021-01-16 13:48:49 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-01-16 13:50:07 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-16 13:50:27 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-16 13:52:03 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds)
2021-01-16 13:52:18 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-01-16 13:52:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 13:53:26 +0100vst(~vst@2406:3003:2004:2e8a:eca7:1543:921c:b50a) (Ping timeout: 264 seconds)
2021-01-16 13:54:36 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-01-16 13:54:54 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2021-01-16 13:56:25 +0100coot(~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-01-16 13:57:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-01-16 13:59:52 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-01-16 14:04:17 +0100berberman(~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-16 14:04:45 +0100berberman(~berberman@unaffiliated/berberman)
2021-01-16 14:06:16 +0100shaadi(~Android@197.46.64.214)
2021-01-16 14:06:54 +0100 <shaadi> What libraries are used to create Haskell backend?
2021-01-16 14:07:40 +0100jamm(~jamm@unaffiliated/jamm)
2021-01-16 14:07:54 +0100Axma32944Axman6
2021-01-16 14:10:07 +0100 <Axman6> shaadi: "Haskell backend"?
2021-01-16 14:10:20 +0100 <shaadi> Website I mean
2021-01-16 14:10:22 +0100 <shaadi> HTTP
2021-01-16 14:10:33 +0100 <shaadi> Are there popular frameworks or something?
2021-01-16 14:10:36 +0100Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 240 seconds)
2021-01-16 14:10:42 +0100 <Axman6> Scotty, Servant, Yesod
2021-01-16 14:11:03 +0100 <Axman6> I prefer Servant personally
2021-01-16 14:15:06 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 14:18:07 +0100xff0x(~xff0x@2001:1a81:52fe:9d00:a597:9273:b6fd:8f2b) (Ping timeout: 272 seconds)
2021-01-16 14:18:33 +0100xff0x(~xff0x@2001:1a81:52fe:9d00:ad11:362b:2ade:56c2)
2021-01-16 14:19:11 +0100jlamothe(~jlamothe@198.251.55.207)
2021-01-16 14:20:22 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-01-16 14:21:17 +0100 <yushyin> on the matter of servant, i've a question. I tried servant-client yesterday for a third party API. Works so far, but sometimes the API returns some string values with *full* api calls I would like to just call in the same ClientM context. I haven't see an obvious way to just provide the string and a type it should try to parse the response.
2021-01-16 14:21:39 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Remote host closed the connection)
2021-01-16 14:22:39 +0100christo(~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net)
2021-01-16 14:23:32 +0100 <Axman6> I don't understand what the problem you're describing is
2021-01-16 14:25:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 14:30:27 +0100ashepelev(~ashepelev@217.146.82.202) (Remote host closed the connection)
2021-01-16 14:30:29 +0100ADG1089_(~adg1089@27.63.60.143) (Read error: Connection reset by peer)
2021-01-16 14:30:31 +0100 <ij> backtracking iterates over the language alphabet^guesses where the alphabet is choices. so there's no need for recursion to generate all the choices, which allows you to stop and adjust for fairness
2021-01-16 14:30:37 +0100ADG1089_(~adg1089@122.163.165.143)
2021-01-16 14:31:17 +0100wonko7(~wonko7@2a01:e35:2ffb:7040:39cd:56a1:a274:b9af)
2021-01-16 14:31:20 +0100shaadi(~Android@197.46.64.214) ()
2021-01-16 14:31:25 +0100tv(~tv@unaffiliated/tv) (Ping timeout: 264 seconds)
2021-01-16 14:33:32 +0100 <yushyin> Axman6: the api I try to use returns sometimes a json value with a string which is itself an https api call. I could parse the string and use the appropriate function but that seems stupid, I would like to just send that string as a new request. I dont know how to do that in ClientM.
2021-01-16 14:33:42 +0100geekosaur(~geekosaur@s91904426.blix.com)
2021-01-16 14:34:05 +0100geekosaurGuest47332
2021-01-16 14:35:38 +0100ADG1089_(~adg1089@122.163.165.143) (Read error: Connection reset by peer)
2021-01-16 14:35:44 +0100ADG1089__(~aditya@122.163.165.143)
2021-01-16 14:35:45 +0100 <ij> what is "not . any (not . cond)" equivalent to?
2021-01-16 14:35:52 +0100ADG1089_(~adg1089@122.163.165.143)
2021-01-16 14:36:12 +0100 <Rembane> Isn't `any not` the same as all?
2021-01-16 14:36:28 +0100 <merijn> Rembane: I think so, but it's saturday and too lazy to do logic to check ;)
2021-01-16 14:36:31 +0100 <ij> ah, quantifier laws
2021-01-16 14:36:39 +0100 <Rembane> merijn: Yeah, same here :D
2021-01-16 14:37:02 +0100 <ij> that's fine, I'll just consult quantifier laws
2021-01-16 14:37:21 +0100 <Rembane> Hm... I think you want `all cond`, but I'm not sure
2021-01-16 14:37:33 +0100 <merijn> the not in front of any is confusing, though
2021-01-16 14:37:35 +0100 <Axman6> @cgeck \f xs -> any (not . f) xs == not (all f xs)
2021-01-16 14:37:37 +0100 <lambdabot> +++ OK, passed 100 tests.
2021-01-16 14:38:01 +0100 <ij> what!?!? what! :D
2021-01-16 14:38:04 +0100 <merijn> NO
2021-01-16 14:38:06 +0100knupfer(~Thunderbi@200116b82c63f800d1f0439390be6d80.dip.versatel-1u1.de) (Read error: Connection reset by peer)
2021-01-16 14:38:15 +0100 <merijn> You fell for a rooky @check mistake, I think
2021-01-16 14:38:16 +0100 <Axman6> >_>
2021-01-16 14:38:18 +0100knupfer(~Thunderbi@200116b82c63f800e5cb0ffc067b5c25.dip.versatel-1u1.de)
2021-01-16 14:38:29 +0100 <ij> what's the checker called?
2021-01-16 14:38:40 +0100 <merijn> @check \f (xs :: [Int]) -> any (not . f) xs == not (all f xs)
2021-01-16 14:38:40 +0100 <lambdabot> <unknown>.hs:1:18:ScopedTypeVariables language extension is not enabled. Ple...
2021-01-16 14:38:57 +0100 <Axman6> @cgeck \f xs -> any (not . f) [True, == not (all f (xs :: [Int]))
2021-01-16 14:38:57 +0100 <lambdabot> <unknown>.hs:1:60:Parse error: EOF
2021-01-16 14:38:58 +0100 <merijn> @check \f xs -> any (not . f) (xs :: [Int]) == not (all f xs)
2021-01-16 14:39:00 +0100 <lambdabot> +++ OK, passed 100 tests.
2021-01-16 14:39:20 +0100 <merijn> ij: @check is just QuickCheck
2021-01-16 14:39:27 +0100 <ij> ah
2021-01-16 14:39:27 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 14:39:39 +0100 <merijn> @check \f xs -> not (any (not . f) (xs :: [Int])) == all f xs
2021-01-16 14:39:41 +0100 <lambdabot> +++ OK, passed 100 tests.
2021-01-16 14:40:01 +0100 <merijn> Also, have you heard of our lord and saviour: Monoid? ;)
2021-01-16 14:40:12 +0100 <merijn> All/Any monoid \o/
2021-01-16 14:40:16 +0100tv(~tv@unaffiliated/tv)
2021-01-16 14:40:34 +0100 <ij> not any (not p) should be all p because of quantifier laws also
2021-01-16 14:40:39 +0100 <ij> https://en.wikipedia.org/wiki/Quantifier_(logic)
2021-01-16 14:40:49 +0100 <ij> so quickcheck can make examples for [a], right? are they hand-crafted?
2021-01-16 14:40:54 +0100 <ij> scenarios
2021-01-16 14:41:03 +0100 <ij> ok, train – ttyl
2021-01-16 14:41:05 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-16 14:41:09 +0100 <merijn> ij: It uses the Arbitrary typeclass
2021-01-16 14:41:20 +0100 <merijn> ij: Which generates random values
2021-01-16 14:41:26 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-16 14:41:43 +0100ADG1089_(~adg1089@122.163.165.143) (Read error: Connection reset by peer)
2021-01-16 14:42:49 +0100dcoutts_(~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 264 seconds)
2021-01-16 14:43:01 +0100ArConan(9de62a69@157.230.42.105) (Quit: Ping timeout (120 seconds))
2021-01-16 14:43:03 +0100vjeranc(334d903d@61.ip-51-77-144.eu) (Quit: Ping timeout (120 seconds))
2021-01-16 14:44:26 +0100ArConan(9de62a69@157.230.42.105)
2021-01-16 14:47:23 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection)
2021-01-16 14:50:27 +0100_Alleria(~AllahuAkb@2603-7000-3040-0000-70d9-022a-866f-2250.res6.spectrum.com) (Read error: Connection reset by peer)
2021-01-16 14:50:44 +0100Alleria_(~AllahuAkb@2603-7000-3040-0000-6117-a0fe-38af-8149.res6.spectrum.com)
2021-01-16 14:51:08 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr)
2021-01-16 14:51:13 +0100shatriff_(~vitaliish@176-52-216-242.irishtelecom.com) (Ping timeout: 264 seconds)
2021-01-16 14:52:19 +0100wonko7(~wonko7@2a01:e35:2ffb:7040:39cd:56a1:a274:b9af) (Ping timeout: 272 seconds)
2021-01-16 14:52:25 +0100drbean(~drbean@TC210-63-209-181.static.apol.com.tw) (Ping timeout: 240 seconds)
2021-01-16 14:53:05 +0100adharsh(~adharsh@117.211.21.169) (Quit: adharsh)
2021-01-16 14:53:17 +0100adharsh(~adharsh@117.211.21.169)
2021-01-16 14:53:27 +0100Guest47332(~geekosaur@s91904426.blix.com) (Remote host closed the connection)
2021-01-16 14:59:15 +0100jamm(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-01-16 14:59:57 +0100jamm(~jamm@unaffiliated/jamm)
2021-01-16 15:01:16 +0100son0p(~son0p@181.136.122.143)
2021-01-16 15:02:30 +0100dcoutts_(~duncan@33.14.75.194.dyn.plus.net)
2021-01-16 15:03:20 +0100jamm(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-01-16 15:03:29 +0100jamm(~jamm@unaffiliated/jamm)
2021-01-16 15:04:36 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 246 seconds)
2021-01-16 15:05:09 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-16 15:05:30 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-16 15:06:09 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-16 15:06:30 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-16 15:07:06 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-16 15:07:23 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds)
2021-01-16 15:07:30 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-16 15:08:00 +0100 <ArConan> @src IO
2021-01-16 15:08:00 +0100 <lambdabot> Source not found. :(
2021-01-16 15:08:09 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-16 15:08:16 +0100ClaudiusMaximus(~claude@196.67.6.51.dyn.plus.net)
2021-01-16 15:08:24 +0100ClaudiusMaximus(~claude@196.67.6.51.dyn.plus.net) (Changing host)
2021-01-16 15:08:24 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2021-01-16 15:08:30 +0100gzj(~gzj@unaffiliated/gzj)
2021-01-16 15:08:35 +0100Tario(~Tario@201.192.165.173)
2021-01-16 15:09:09 +0100gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-01-16 15:09:10 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:3a8e:d956:f43e:d9a3:9155)
2021-01-16 15:09:27 +0100 <merijn> The implementation of IO will almost certainly not help you *at all*
2021-01-16 15:10:08 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2021-01-16 15:10:24 +0100ADG1089__(~aditya@122.163.165.143) (Read error: Connection reset by peer)
2021-01-16 15:10:25 +0100tomsen_(~tomsen@2a02:908:1862:49e0::2) (Remote host closed the connection)
2021-01-16 15:10:27 +0100ADG1089_(~aditya@122.163.165.143)
2021-01-16 15:11:15 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2021-01-16 15:13:04 +0100tomsen_(~tomsen@2a02:908:1862:49e0::2)
2021-01-16 15:15:26 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c)
2021-01-16 15:16:13 +0100 <[exa]> still it could say at least something like 'State RealWorld'
2021-01-16 15:17:17 +0100 <merijn> It's not that, though. And also @src is just a String -> String dictionary]
2021-01-16 15:18:46 +0100 <[exa]> so it can technically say "a very specific version of `State RealWorld`" :]
2021-01-16 15:18:55 +0100 <[exa]> s/version/reminiscent
2021-01-16 15:19:23 +0100 <merijn> Something that's both 1) not helpful for beginners asking the question and 2) wrong is fine not being there :p
2021-01-16 15:19:43 +0100 <merijn> The whole real world analogy is kinda bad anyway, since it breaks at even light scrutiny
2021-01-16 15:20:23 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 260 seconds)
2021-01-16 15:20:51 +0100christo(~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) (Remote host closed the connection)
2021-01-16 15:20:52 +0100jess(jess@freenode/staff/jess)
2021-01-16 15:21:02 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-01-16 15:21:29 +0100 <pjb> /whoami
2021-01-16 15:22:00 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:3a8e:d956:f43e:d9a3:9155) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-16 15:24:10 +0100christo(~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net)
2021-01-16 15:26:27 +0100Vulfe(~vulfe@rrcs-23-246-119-132.nys.biz.rr.com)
2021-01-16 15:29:45 +0100carlomagno(~cararell@148.87.23.5) (Remote host closed the connection)
2021-01-16 15:29:54 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection)
2021-01-16 15:30:28 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-16 15:31:01 +0100 <nshepperd> the source of IO is like the Matrix. you need to go outside the (virtual) machine to find it
2021-01-16 15:31:53 +0100christo_(~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net)
2021-01-16 15:33:33 +0100Jordack(~Jordack@178.162.209.171)
2021-01-16 15:33:34 +0100christo(~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) (Read error: Connection reset by peer)
2021-01-16 15:33:43 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
2021-01-16 15:34:43 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se) (Quit: Leaving)
2021-01-16 15:34:59 +0100 <merijn> It's actually in ghc-prim :p
2021-01-16 15:35:10 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 256 seconds)
2021-01-16 15:35:22 +0100ADG1089_(~aditya@122.163.165.143) (Remote host closed the connection)
2021-01-16 15:36:10 +0100wonko7(~wonko7@2a01:e35:2ffb:7040:94e6:1e2f:2da4:c370)
2021-01-16 15:36:42 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:3a8e:d956:f43e:d9a3:9155)
2021-01-16 15:37:47 +0100ADG1089__(~aditya@122.163.165.143)
2021-01-16 15:39:19 +0100darjeeling_(~darjeelin@122.245.120.137) (Ping timeout: 246 seconds)
2021-01-16 15:39:57 +0100erolm_a(~erolm_a@82.24.185.133) (Ping timeout: 246 seconds)
2021-01-16 15:41:27 +0100Vulfe(~vulfe@rrcs-23-246-119-132.nys.biz.rr.com) (Remote host closed the connection)
2021-01-16 15:42:03 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-01-16 15:46:37 +0100geekosaur(ae68c070@cpe-174-104-192-112.neo.res.rr.com)
2021-01-16 15:46:55 +0100erolm_a(~erolm_a@82-132-219-146.dab.02.net)
2021-01-16 15:47:43 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-01-16 15:48:49 +0100berberman(~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-16 15:49:03 +0100plutoniix(~q@node-unf.pool-125-24.dynamic.totinternet.net)
2021-01-16 15:50:00 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-01-16 15:50:22 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 15:50:58 +0100erolm_a(~erolm_a@82-132-219-146.dab.02.net) (Read error: Connection reset by peer)
2021-01-16 15:51:11 +0100pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-01-16 15:51:17 +0100berberman(~berberman@unaffiliated/berberman)
2021-01-16 15:52:15 +0100prlCIql6ruclcri(~f9jawUfat@2800:810:514:e7:4bb:7908:1ead:3448)
2021-01-16 15:52:45 +0100erolm_a(~erolm_a@62.18.221.108)
2021-01-16 15:53:38 +0100darjeeling_(~darjeelin@122.245.218.239)
2021-01-16 15:53:38 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds)
2021-01-16 15:53:59 +0100adeene(~adeene@181.131.0.191)
2021-01-16 15:54:55 +0100 <adeene> alo
2021-01-16 15:55:00 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-01-16 15:55:27 +0100 <Uniaika> alo adeene
2021-01-16 15:55:56 +0100 <adeene> vaya que clase de discord es este
2021-01-16 15:56:37 +0100 <Uniaika> no es Discord :P
2021-01-16 15:57:32 +0100Baerwin(~tadeas@185-219-166-254-static.vivo.cz)
2021-01-16 15:57:46 +0100 <adeene> tendre que aprenderlo a usar jsjjsja
2021-01-16 15:57:53 +0100 <pjb> adeene: https://en.wikipedia.org/wiki/Internet_Relay_Chat
2021-01-16 15:58:43 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
2021-01-16 15:58:44 +0100Baerwin(~tadeas@185-219-166-254-static.vivo.cz) ()
2021-01-16 15:59:24 +0100 <pjb> adeene: https://freenode.net/changuide
2021-01-16 16:00:25 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-01-16 16:00:48 +0100 <ukari> Is Record Pattern Synonyms avaliable? I test the `Point` example with `{-# LANGUAGE PatternSynonyms #-}` in https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/pattern_synonyms.html#record-pattern-synon… and it occurs a "Multiple declarations of ‘Point’" error
2021-01-16 16:02:54 +0100 <merijn> Sounds like you already have something named Point in scope?
2021-01-16 16:03:09 +0100 <merijn> Also, what GHC?
2021-01-16 16:04:16 +0100 <ukari> merijn, ghc 8.8.4
2021-01-16 16:04:33 +0100 <merijn> Have you checked the user guide for 8.8 to check that's not new?
2021-01-16 16:04:57 +0100isacl___(sid13263@gateway/web/irccloud.com/x-tnlyhkgqjdclicde) (Read error: Connection reset by peer)
2021-01-16 16:05:15 +0100isacl___(sid13263@gateway/web/irccloud.com/x-glchjrsaxglhmdkq)
2021-01-16 16:05:35 +0100hyperisco(~hyperisco@d24-57-249-233.home.cgocable.net)
2021-01-16 16:09:49 +0100pera(~pera@unaffiliated/pera) (Ping timeout: 264 seconds)
2021-01-16 16:10:39 +0100Guest57013(~textual@zrcout.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com)
2021-01-16 16:10:43 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-01-16 16:11:44 +0100vjeranc(334d903d@61.ip-51-77-144.eu)
2021-01-16 16:12:02 +0100 <vjeranc> I figured out my issue. The /tmp was mounted with noexec and building just couldn't work with that.
2021-01-16 16:13:29 +0100jamm(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-01-16 16:13:40 +0100vjeranc(334d903d@61.ip-51-77-144.eu) (Client Quit)
2021-01-16 16:14:08 +0100jamm(~jamm@unaffiliated/jamm)
2021-01-16 16:15:31 +0100jamm(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-01-16 16:15:40 +0100jamm(~jamm@unaffiliated/jamm)
2021-01-16 16:16:25 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c)
2021-01-16 16:17:01 +0100 <sm[m]> pjb: that's a nice page, thanks
2021-01-16 16:18:43 +0100 <ukari> merijn, I found that I misunderstand the example and write wrong code, the example itself works well
2021-01-16 16:18:51 +0100 <merijn> \o/
2021-01-16 16:19:11 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-16 16:20:59 +0100 <ukari> anyway thanks
2021-01-16 16:21:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 264 seconds)
2021-01-16 16:21:36 +0100ericsagnes(~ericsagne@2405:6580:0:5100:b3b1:c462:4b9d:a58f) (Ping timeout: 246 seconds)
2021-01-16 16:22:26 +0100Moyst_(~moyst@212-149-213-144.bb.dnainternet.fi)
2021-01-16 16:22:31 +0100Moyst(~moyst@212-149-213-144.bb.dnainternet.fi) (Read error: Connection reset by peer)
2021-01-16 16:23:18 +0100Vulfe(~vulfe@rrcs-23-246-119-132.nys.biz.rr.com)
2021-01-16 16:24:49 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds)
2021-01-16 16:27:32 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net)
2021-01-16 16:30:23 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds)
2021-01-16 16:30:33 +0100cuz(~user@2601:182:cc02:8b0:30f9:48e7:c44a:f5a0)
2021-01-16 16:34:09 +0100ericsagnes(~ericsagne@2405:6580:0:5100:1ed5:5806:1de5:c09c)
2021-01-16 16:34:32 +0100cuz(~user@2601:182:cc02:8b0:30f9:48e7:c44a:f5a0) (Remote host closed the connection)
2021-01-16 16:35:06 +0100dandels(~dandels@unaffiliated/dandels)
2021-01-16 16:36:06 +0100christo_(~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) (Remote host closed the connection)
2021-01-16 16:36:37 +0100ph88(~ph88@2a02:8109:9e00:7e5c:31dc:e698:c1fb:a61d) (Remote host closed the connection)
2021-01-16 16:36:42 +0100christo(~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net)
2021-01-16 16:37:00 +0100ph88(~ph88@2a02:8109:9e00:7e5c:31dc:e698:c1fb:a61d)
2021-01-16 16:37:09 +0100Vulfe(~vulfe@rrcs-23-246-119-132.nys.biz.rr.com) ()
2021-01-16 16:37:42 +0100cuz(~user@2601:182:cc02:8b0:30f9:48e7:c44a:f5a0)
2021-01-16 16:39:09 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2021-01-16 16:39:42 +0100jamm(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-01-16 16:40:12 +0100knupfer(~Thunderbi@200116b82c63f800e5cb0ffc067b5c25.dip.versatel-1u1.de) (Remote host closed the connection)
2021-01-16 16:40:21 +0100knupfer(~Thunderbi@200116b82c63f800dd63faa079a61875.dip.versatel-1u1.de)
2021-01-16 16:40:32 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-01-16 16:41:19 +0100christo(~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) (Ping timeout: 265 seconds)
2021-01-16 16:42:54 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Client Quit)
2021-01-16 16:44:58 +0100roconnor_(~roconnor@host-104-157-225-60.dyn.295.ca) (Quit: Konversation terminated!)
2021-01-16 16:45:02 +0100ph88(~ph88@2a02:8109:9e00:7e5c:31dc:e698:c1fb:a61d) (Remote host closed the connection)
2021-01-16 16:45:26 +0100dandels(~dandels@unaffiliated/dandels) (Quit: WeeChat 3.0)
2021-01-16 16:45:30 +0100ph88(~ph88@2a02:8109:9e00:7e5c:31dc:e698:c1fb:a61d)
2021-01-16 16:47:02 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-01-16 16:49:02 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2021-01-16 16:53:20 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 16:53:56 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-01-16 16:58:32 +0100ArConan(9de62a69@157.230.42.105) (Quit: Connection closed)
2021-01-16 17:00:40 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-16 17:02:01 +0100mh_le(~Mads@unaffiliated/mhle/x-0173978)
2021-01-16 17:02:17 +0100Baerwin(~tadeas@185-219-166-254-static.vivo.cz)
2021-01-16 17:05:05 +0100Rudd0(~Rudd0@185.189.115.108)
2021-01-16 17:05:23 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Ping timeout: 240 seconds)
2021-01-16 17:05:39 +0100ep1ctetus(~epictetus@ip184-187-162-163.sb.sd.cox.net)
2021-01-16 17:06:52 +0100jchia__1(~jchia@jungle.jchia.net)
2021-01-16 17:07:14 +0100jchia__1(~jchia@jungle.jchia.net) (Remote host closed the connection)
2021-01-16 17:07:31 +0100jchia__1(~jchia@jungle.jchia.net)
2021-01-16 17:07:31 +0100jchia__(~jchia@58.32.32.252) (Ping timeout: 246 seconds)
2021-01-16 17:07:47 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-01-16 17:08:19 +0100Wuzzy(~Wuzzy@p549c97c9.dip0.t-ipconnect.de)
2021-01-16 17:13:02 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 272 seconds)
2021-01-16 17:17:08 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c)
2021-01-16 17:17:34 +0100hyperisco(~hyperisco@d24-57-249-233.home.cgocable.net) (Read error: Connection reset by peer)
2021-01-16 17:18:21 +0100son0p(~son0p@181.136.122.143) (Quit: leaving)
2021-01-16 17:21:43 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 260 seconds)
2021-01-16 17:22:09 +0100wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2021-01-16 17:22:14 +0100jchia__1(~jchia@jungle.jchia.net) (Remote host closed the connection)
2021-01-16 17:22:37 +0100jchia__(~jchia@58.32.32.155)
2021-01-16 17:23:43 +0100mirrorbird(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27)
2021-01-16 17:24:09 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-01-16 17:26:24 +0100coot(~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl)
2021-01-16 17:29:16 +0100Ariakenom(~Ariakenom@2001:9b1:efb:fc00:34ff:5936:6927:ced3)
2021-01-16 17:29:20 +0100Franciman(~francesco@host-82-48-174-127.retail.telecomitalia.it) (Quit: Leaving)
2021-01-16 17:30:04 +0100saitamaplus(uid272474@gateway/web/irccloud.com/x-hdjqwzfwlmpuzqqy)
2021-01-16 17:30:41 +0100saitamaplus(uid272474@gateway/web/irccloud.com/x-hdjqwzfwlmpuzqqy) (Changing host)
2021-01-16 17:30:41 +0100saitamaplus(uid272474@unaffiliated/cheeky/x-5333603)
2021-01-16 17:30:41 +0100saitamaplus(uid272474@unaffiliated/cheeky/x-5333603) (Changing host)
2021-01-16 17:30:41 +0100saitamaplus(uid272474@gateway/web/irccloud.com/x-hdjqwzfwlmpuzqqy)
2021-01-16 17:31:55 +0100Neuromancer(~Neuromanc@unaffiliated/neuromancer)
2021-01-16 17:37:21 +0100_ashbreeze_(~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection)
2021-01-16 17:38:38 +0100_ashbreeze_(~mark@64.85.214.234.reverse.socket.net)
2021-01-16 17:38:39 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-01-16 17:38:42 +0100conal(~conal@209.58.135.89) (Quit: Computer has gone to sleep.)
2021-01-16 17:39:11 +0100Rudd0^(~Rudd0@185.189.115.103)
2021-01-16 17:41:03 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
2021-01-16 17:41:32 +0100Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 256 seconds)
2021-01-16 17:41:49 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-01-16 17:43:18 +0100conal(~conal@143.244.61.242)
2021-01-16 17:43:33 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer)
2021-01-16 17:44:25 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-01-16 17:44:30 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-01-16 17:47:29 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-16 17:47:52 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net) (Quit: WeeChat 2.9)
2021-01-16 17:48:04 +0100tzh(~xax@c-24-21-73-154.hsd1.or.comcast.net)
2021-01-16 17:48:18 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-01-16 17:49:26 +0100Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-01-16 17:49:56 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:3a8e:d956:f43e:d9a3:9155) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-01-16 17:49:59 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-01-16 17:51:10 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds)
2021-01-16 17:51:10 +0100Lord_of_Life_Lord_of_Life
2021-01-16 17:52:25 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds)
2021-01-16 17:52:45 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-01-16 17:53:09 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-01-16 17:55:50 +0100dwt(~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 264 seconds)
2021-01-16 17:57:09 +0100troydm(~troydm@unaffiliated/troydm) (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-01-16 18:00:54 +0100Baerwin(~tadeas@185-219-166-254-static.vivo.cz) ()
2021-01-16 18:01:47 +0100troydm(~troydm@unaffiliated/troydm)
2021-01-16 18:04:27 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-16 18:04:32 +0100juuandyy(~juuandyy@90.166.144.65)
2021-01-16 18:04:58 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-01-16 18:05:04 +0100Baerwin(~Baerwin@185-219-166-254-static.vivo.cz)
2021-01-16 18:05:22 +0100Baerwin(~Baerwin@185-219-166-254-static.vivo.cz) (Client Quit)
2021-01-16 18:05:54 +0100ph88(~ph88@2a02:8109:9e00:7e5c:31dc:e698:c1fb:a61d) (Ping timeout: 246 seconds)
2021-01-16 18:06:14 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2021-01-16 18:07:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-01-16 18:08:01 +0100mirrorbird(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) (Ping timeout: 272 seconds)
2021-01-16 18:08:23 +0100knupfer(~Thunderbi@200116b82c63f800dd63faa079a61875.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2021-01-16 18:09:08 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds)
2021-01-16 18:10:38 +0100wonko7(~wonko7@2a01:e35:2ffb:7040:94e6:1e2f:2da4:c370) (Quit: See You Space Cowboy..)
2021-01-16 18:10:47 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-01-16 18:13:02 +0100ph88(~ph88@2a02:8109:9e00:7e5c:31dc:e698:c1fb:a61d)
2021-01-16 18:16:17 +0100Jd007(~Jd007@162.156.11.151)
2021-01-16 18:18:10 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c)
2021-01-16 18:21:30 +0100 <ij> is there dropWhileM?
2021-01-16 18:21:46 +0100 <xerox_> @hooogle dropWhileM
2021-01-16 18:21:47 +0100 <lambdabot> Data.Vector.Fusion.Bundle.Monadic dropWhileM :: Monad m => (a -> m Bool) -> Bundle m v a -> Bundle m v a
2021-01-16 18:21:47 +0100 <lambdabot> Data.Vector.Fusion.Stream.Monadic dropWhileM :: Monad m => (a -> m Bool) -> Stream m a -> Stream m a
2021-01-16 18:21:47 +0100 <lambdabot> Control.Monad.Loops dropWhileM :: Monad m => (a -> m Bool) -> [a] -> m [a]
2021-01-16 18:22:14 +0100 <ij> I hoogled "dropWhile" and hoped it would show up. Naive.
2021-01-16 18:22:50 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 264 seconds)
2021-01-16 18:23:00 +0100Tops2(~Tobias@dyndsl-095-033-093-170.ewe-ip-backbone.de)
2021-01-16 18:23:09 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-01-16 18:23:37 +0100gioyik(~gioyik@186.112.104.70)
2021-01-16 18:25:22 +0100conal(~conal@143.244.61.242) (Quit: Computer has gone to sleep.)
2021-01-16 18:25:45 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2021-01-16 18:25:58 +0100conal(~conal@143.244.61.242)
2021-01-16 18:26:03 +0100conal(~conal@143.244.61.242) (Client Quit)
2021-01-16 18:26:33 +0100mirrorbird(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27)
2021-01-16 18:27:02 +0100cuz(~user@2601:182:cc02:8b0:30f9:48e7:c44a:f5a0) (Ping timeout: 260 seconds)
2021-01-16 18:29:38 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-01-16 18:30:00 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 18:30:04 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-01-16 18:30:43 +0100iridescent(2fe3e53b@047-227-229-059.res.spectrum.com)
2021-01-16 18:32:47 +0100adharsh(~adharsh@117.211.21.169) (Quit: adharsh)
2021-01-16 18:33:33 +0100tomsen_(~tomsen@2a02:908:1862:49e0::2) (Quit: Leaving)
2021-01-16 18:33:51 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-01-16 18:34:41 +0100matryoshka(~matryoshk@184.75.223.227) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-16 18:35:50 +0100matryoshka(~matryoshk@184.75.223.227)
2021-01-16 18:37:22 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-16 18:37:28 +0100Rudd0^(~Rudd0@185.189.115.103) (Ping timeout: 246 seconds)
2021-01-16 18:39:10 +0100gioyik(~gioyik@186.112.104.70) (Ping timeout: 272 seconds)
2021-01-16 18:40:15 +0100jamm(~jamm@unaffiliated/jamm)
2021-01-16 18:40:57 +0100mirrorbird(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) (Ping timeout: 272 seconds)
2021-01-16 18:41:03 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Ping timeout: 240 seconds)
2021-01-16 18:42:18 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-01-16 18:42:43 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 246 seconds)
2021-01-16 18:43:07 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 18:43:39 +0100troydm(~troydm@unaffiliated/troydm) (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-01-16 18:43:54 +0100arybczak(~unknown@2a02:a312:c83d:7800:bb7f:5c00:4f48:cc5c)
2021-01-16 18:43:56 +0100conal(~conal@66.115.157.109)
2021-01-16 18:44:33 +0100jamm(~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds)
2021-01-16 18:46:50 +0100matryoshka(~matryoshk@184.75.223.227) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-16 18:46:57 +0100cuz(~user@2601:182:cc02:8b0:fda8:6968:ce15:16e0)
2021-01-16 18:47:06 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-01-16 18:47:06 +0100troydm(~troydm@unaffiliated/troydm)
2021-01-16 18:48:49 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-01-16 18:51:23 +0100srk(~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection)
2021-01-16 18:51:23 +0100hexo(~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection)
2021-01-16 18:51:43 +0100srk(~sorki@gateway/tor-sasl/sorki)
2021-01-16 18:51:44 +0100hexo(~hexo@gateway/tor-sasl/hexo)
2021-01-16 18:53:20 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-01-16 18:53:30 +0100erolm_a(~erolm_a@62.18.221.108) (Ping timeout: 246 seconds)
2021-01-16 18:53:42 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 18:55:18 +0100rajivr(uid269651@gateway/web/irccloud.com/x-vxhfsmwenjaayzjd) (Quit: Connection closed for inactivity)
2021-01-16 18:55:35 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-01-16 18:55:43 +0100cuz`(~user@2601:182:cc02:8b0:fcea:278c:344c:5e59)
2021-01-16 18:55:53 +0100erolm_a(~erolm_a@62.18.221.108)
2021-01-16 18:57:06 +0100raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-01-16 18:57:23 +0100cuz(~user@2601:182:cc02:8b0:fda8:6968:ce15:16e0) (Ping timeout: 260 seconds)
2021-01-16 18:58:45 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2021-01-16 18:59:56 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-01-16 19:00:11 +0100jamm(~jamm@unaffiliated/jamm)
2021-01-16 19:00:14 +0100adharsh(~adharsh@117.211.21.169)
2021-01-16 19:01:41 +0100kritzefitz(~kritzefit@212.86.56.80)
2021-01-16 19:02:49 +0100jamm(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-01-16 19:03:20 +0100_ashbreeze_(~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection)
2021-01-16 19:04:27 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-01-16 19:04:51 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 19:05:10 +0100knupfer(~Thunderbi@200116b82c63f800a05a70c9977def3e.dip.versatel-1u1.de)
2021-01-16 19:08:05 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 240 seconds)
2021-01-16 19:08:31 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-01-16 19:08:55 +0100BaneAliens(~BaneAlien@cpe-75-82-164-119.socal.res.rr.com)
2021-01-16 19:11:10 +0100dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-01-16 19:12:50 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-16 19:12:53 +0100cheater(~user@unaffiliated/cheater)
2021-01-16 19:14:16 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
2021-01-16 19:15:15 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-16 19:15:55 +0100_ashbreeze_(~mark@64.85.214.234.reverse.socket.net)
2021-01-16 19:20:08 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds)
2021-01-16 19:22:36 +0100gioyik(~gioyik@186.112.104.70)
2021-01-16 19:23:39 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 260 seconds)
2021-01-16 19:24:04 +0100alx741(~alx741@181.196.68.16) (Quit: alx741)
2021-01-16 19:27:40 +0100renzhi(~renzhi@2607:fa49:6500:6f00::1e43)
2021-01-16 19:28:38 +0100dwt(~dwt@c-98-200-58-177.hsd1.tx.comcast.net)
2021-01-16 19:29:27 +0100 <ij> c
2021-01-16 19:29:56 +0100 <ij> can I have an Unbox instance for a record?
2021-01-16 19:30:59 +0100ph88(~ph88@2a02:8109:9e00:7e5c:31dc:e698:c1fb:a61d) (Ping timeout: 272 seconds)
2021-01-16 19:31:00 +0100 <idnar> @hoogle Alternative f => Maybe a -> (a -> f b) -> f b
2021-01-16 19:31:02 +0100 <lambdabot> Language.Haskell.DoNotation (>>=) :: BindSyntax x y z => x a -> (a -> y b) -> z b
2021-01-16 19:31:02 +0100 <lambdabot> XMonad.Util.PureX whenJust' :: (Monad m, Monoid b) => Maybe a -> (a -> m b) -> m b
2021-01-16 19:31:02 +0100 <lambdabot> Util altMap :: (Alternative p, Foldable f) => (a -> p b) -> f a -> p b
2021-01-16 19:31:55 +0100 <ij> for Data.Vector.Unboxed.Mutable, specifically
2021-01-16 19:32:14 +0100 <ij> it has tuples up to (,,,,), but I already wrote it out with a record (3 fields)
2021-01-16 19:34:43 +0100machined1od(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-01-16 19:34:58 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Quit: leaving)
2021-01-16 19:36:11 +0100Tario(~Tario@200.119.184.255)
2021-01-16 19:36:49 +0100juuandyy(~juuandyy@90.166.144.65) (Ping timeout: 264 seconds)
2021-01-16 19:36:53 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2021-01-16 19:38:02 +0100christo(~chris@81.96.113.213)
2021-01-16 19:41:14 +0100dwt(~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Quit: bye)
2021-01-16 19:41:35 +0100dwt(~dwt@c-98-200-58-177.hsd1.tx.comcast.net)
2021-01-16 19:42:55 +0100mirrorbird(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27)
2021-01-16 19:45:03 +0100conal(~conal@66.115.157.109) (Quit: Computer has gone to sleep.)
2021-01-16 19:46:25 +0100iridescent(2fe3e53b@047-227-229-059.res.spectrum.com) (Ping timeout: 248 seconds)
2021-01-16 19:47:01 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 264 seconds)
2021-01-16 19:47:01 +0100 <monochrom> Use Storable instead.
2021-01-16 19:47:25 +0100 <glguy> I seem to remember that there's a package with some TH for making Unbox instances, too
2021-01-16 19:47:35 +0100cheater(~user@unaffiliated/cheater)
2021-01-16 19:50:12 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2021-01-16 19:50:25 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-16 19:51:12 +0100christo(~chris@81.96.113.213)
2021-01-16 19:51:51 +0100mh_le(~Mads@unaffiliated/mhle/x-0173978) ()
2021-01-16 19:52:13 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
2021-01-16 19:52:22 +0100kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 246 seconds)
2021-01-16 19:52:49 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-16 19:55:50 +0100christo(~chris@81.96.113.213) (Ping timeout: 256 seconds)
2021-01-16 19:56:40 +0100 <adamCS> https://hackage.haskell.org/package/vector-th-unbox
2021-01-16 19:57:16 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 246 seconds)
2021-01-16 19:58:15 +0100raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2021-01-16 19:58:36 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-16 19:59:21 +0100saitamaplus(uid272474@gateway/web/irccloud.com/x-hdjqwzfwlmpuzqqy) (Quit: Connection closed for inactivity)
2021-01-16 20:00:14 +0100conal(~conal@66.115.157.153)
2021-01-16 20:00:22 +0100raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-01-16 20:00:25 +0100christo(~chris@81.96.113.213)
2021-01-16 20:00:53 +0100 <ij> monochrom, does that play nice with Data.Vector.Unboxed.Mutable?
2021-01-16 20:00:59 +0100MaxRos(~MorrowM@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 260 seconds)
2021-01-16 20:01:09 +0100Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
2021-01-16 20:01:18 +0100jamm(~jamm@unaffiliated/jamm)
2021-01-16 20:02:23 +0100 <ij> ah, no it's in the s/Unboxed/Storable module along with all the necessary functions
2021-01-16 20:03:15 +0100berberman_(~berberman@unaffiliated/berberman)
2021-01-16 20:03:17 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds)
2021-01-16 20:03:43 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Ping timeout: 240 seconds)
2021-01-16 20:03:48 +0100 <ij> are they the same performance-wise?
2021-01-16 20:04:22 +0100 <merijn> ij: Define "same"
2021-01-16 20:05:23 +0100 <ij> Maybe it would be better to ask what's the difference between them
2021-01-16 20:05:37 +0100jamm(~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds)
2021-01-16 20:06:02 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2021-01-16 20:07:10 +0100Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2021-01-16 20:07:13 +0100LKoen(~LKoen@119.169.9.109.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-01-16 20:07:33 +0100LKoen(~LKoen@119.169.9.109.rev.sfr.net)
2021-01-16 20:07:41 +0100 <ij> reading the module docs, it doesn't seem to be unboxed
2021-01-16 20:07:58 +0100 <ij> I expected it's somehow just subtly different
2021-01-16 20:08:26 +0100cuz`(~user@2601:182:cc02:8b0:fcea:278c:344c:5e59) (Ping timeout: 264 seconds)
2021-01-16 20:08:44 +0100 <geekosaur> Storable's by definition unboxed, just in a definer-controlled manner via the Storable instance
2021-01-16 20:10:07 +0100 <ij> storable doesn't seem to have tuples, even
2021-01-16 20:10:29 +0100 <merijn> ij: He meant you have to define your own Storable instance
2021-01-16 20:10:30 +0100Tops21(~Tobias@dyndsl-095-033-093-170.ewe-ip-backbone.de)
2021-01-16 20:10:42 +0100 <geekosaur> tuples aren't easily Storable since each one is its own distinct type
2021-01-16 20:11:08 +0100 <geekosaur> but you could define Storable instances for any tuples you use
2021-01-16 20:11:18 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-hmzxqoillnpejpnj)
2021-01-16 20:11:30 +0100urodna(~urodna@unaffiliated/urodna)
2021-01-16 20:11:34 +0100 <geekosaur> that said if using Storable it's preferable to use actual data types
2021-01-16 20:12:03 +0100codedmart_(~codedmart@149.28.9.205)
2021-01-16 20:12:07 +0100CitizenS-(~CitizenSn@irc.refl.club)
2021-01-16 20:12:24 +0100z_(~z@ics141-225.icsincorporated.com)
2021-01-16 20:12:27 +0100lukelau_(~lukelau@2a03:b0c0:1:d0::1bc:b001)
2021-01-16 20:12:34 +0100Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 256 seconds)
2021-01-16 20:12:34 +0100codedmart(~codedmart@149.28.9.205) (Ping timeout: 256 seconds)
2021-01-16 20:12:35 +0100CitizenSnips(~CitizenSn@irc.refl.club) (Ping timeout: 256 seconds)
2021-01-16 20:12:35 +0100_bin_(~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (Ping timeout: 256 seconds)
2021-01-16 20:12:35 +0100z(~z@ics141-225.icsincorporated.com) (Ping timeout: 256 seconds)
2021-01-16 20:12:35 +0100tumdedum(~tumdedum@unaffiliated/espiral) (Ping timeout: 256 seconds)
2021-01-16 20:12:35 +0100lukelau(~lukelau@46.101.13.214) (Ping timeout: 256 seconds)
2021-01-16 20:12:35 +0100Sparadox(~etienne@ns3123347.ip-51-68-152.eu) (Ping timeout: 256 seconds)
2021-01-16 20:12:35 +0100vodkaInf1rno(~wormphleg@104.131.156.184) (Read error: Connection reset by peer)
2021-01-16 20:12:47 +0100tumdedum(~tumdedum@unaffiliated/espiral)
2021-01-16 20:12:48 +0100z_Guest18729
2021-01-16 20:12:50 +0100dwt(~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 256 seconds)
2021-01-16 20:12:50 +0100Nik05(~Nik05@85.150.134.175) (Ping timeout: 256 seconds)
2021-01-16 20:12:50 +0100dwts(pid@gateway/shell/blinkenshell.org/x-sbnsuibojgnxsxkh) (Ping timeout: 256 seconds)
2021-01-16 20:12:50 +0100landonf(landonf@mac68k.info) (Ping timeout: 256 seconds)
2021-01-16 20:12:50 +0100sqrt2(~ben@unaffiliated/sqrt2) (Ping timeout: 256 seconds)
2021-01-16 20:12:50 +0100leah2(~leah@vuxu.org) (Ping timeout: 256 seconds)
2021-01-16 20:12:50 +0100cynick(~worm@ec2-52-206-86-1.compute-1.amazonaws.com) (Ping timeout: 256 seconds)
2021-01-16 20:12:50 +0100djanatyn_(~djanatyn@ec2-18-209-155-56.compute-1.amazonaws.com) (Ping timeout: 256 seconds)
2021-01-16 20:12:50 +0100lassulus(~lassulus@NixOS/user/lassulus) (Ping timeout: 256 seconds)
2021-01-16 20:12:50 +0100strangeglyph(~strangegl@boreeas.net) (Ping timeout: 256 seconds)
2021-01-16 20:12:50 +0100ByronJohnson(~bairyn@unaffiliated/bob0) (Ping timeout: 256 seconds)
2021-01-16 20:12:50 +0100earthy(~arthurvl@deban2.xs4all.space) (Ping timeout: 256 seconds)
2021-01-16 20:12:50 +0100reda(~reda@unaffiliated/reda) (Ping timeout: 256 seconds)
2021-01-16 20:12:57 +0100dwts(pid@gateway/shell/blinkenshell.org/x-ygygtpdgafwbwzwj)
2021-01-16 20:12:58 +0100reda(~reda@4.ip-137-74-112.eu)
2021-01-16 20:13:01 +0100sqrt2(~ben@unaffiliated/sqrt2)
2021-01-16 20:13:03 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Excess Flood)
2021-01-16 20:13:04 +0100Cthalupa(~cthulhu@47.186.47.75)
2021-01-16 20:13:05 +0100strangeglyph(~strangegl@boreeas.net)
2021-01-16 20:13:06 +0100ByronJohnson(~bairyn@unaffiliated/bob0)
2021-01-16 20:13:09 +0100Nik05(~Nik05@85.150.134.175)
2021-01-16 20:13:11 +0100leah2(~leah@vuxu.org)
2021-01-16 20:13:11 +0100_bin(~bin@2600:1700:10a1:38d0:4b5:a737:1596:3bbc)
2021-01-16 20:13:14 +0100Sparadox(~etienne@ns3123347.ip-51-68-152.eu)
2021-01-16 20:13:15 +0100Jordack(~Jordack@178.162.209.171) (Excess Flood)
2021-01-16 20:13:18 +0100lassulus(~lassulus@NixOS/user/lassulus)
2021-01-16 20:13:20 +0100redaGuest55287
2021-01-16 20:13:24 +0100Tops2(~Tobias@dyndsl-095-033-093-170.ewe-ip-backbone.de) (Ping timeout: 256 seconds)
2021-01-16 20:13:24 +0100Neuromancer(~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 256 seconds)
2021-01-16 20:13:24 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 256 seconds)
2021-01-16 20:13:24 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Ping timeout: 256 seconds)
2021-01-16 20:13:24 +0100Marissa(Marissa@33.anserq.com) (Ping timeout: 256 seconds)
2021-01-16 20:13:24 +0100Benett(~Benett@unaffiliated/benett) (Ping timeout: 256 seconds)
2021-01-16 20:13:24 +0100swater(bouhier200@perso.iiens.net) (Ping timeout: 256 seconds)
2021-01-16 20:13:25 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-01-16 20:13:32 +0100earthy(~arthurvl@deban2.xs4all.space)
2021-01-16 20:13:38 +0100Benett(~Benett@unaffiliated/benett)
2021-01-16 20:13:43 +0100Marissa(Marissa@33.anserq.com)
2021-01-16 20:13:44 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-01-16 20:13:52 +0100djanatyn_(~djanatyn@ec2-18-209-155-56.compute-1.amazonaws.com)
2021-01-16 20:14:01 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-01-16 20:14:04 +0100cynick(~worm@ec2-52-206-86-1.compute-1.amazonaws.com)
2021-01-16 20:15:07 +0100rotaerk(~rotaerk@ender.afternet.org) (Ping timeout: 246 seconds)
2021-01-16 20:15:26 +0100landonf(landonf@mac68k.info)
2021-01-16 20:15:27 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net)
2021-01-16 20:15:49 +0100thecoffemaker(~thecoffem@unaffiliated/thecoffemaker) (Ping timeout: 264 seconds)
2021-01-16 20:16:11 +0100cuz`(~user@2601:182:cc02:8b0:8962:4cd9:18a1:88fb)
2021-01-16 20:17:13 +0100kupi(uid212005@gateway/web/irccloud.com/x-rcpdjhlifilityqt)
2021-01-16 20:17:41 +0100thecoffemaker(~thecoffem@unaffiliated/thecoffemaker)
2021-01-16 20:17:42 +0100vodkaInferno(~wormphleg@104.131.156.184)
2021-01-16 20:17:46 +0100rotaerk(rotaerk@2600:3c02::f03c:91ff:fe70:4a45)
2021-01-16 20:18:31 +0100swater(bouhier200@perso.iiens.net)
2021-01-16 20:18:45 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2021-01-16 20:19:22 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c)
2021-01-16 20:19:58 +0100dwt(~dwt@c-98-200-58-177.hsd1.tx.comcast.net)
2021-01-16 20:21:02 +0100cuz`(~user@2601:182:cc02:8b0:8962:4cd9:18a1:88fb) (Ping timeout: 264 seconds)
2021-01-16 20:21:43 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-01-16 20:22:05 +0100christo(~chris@81.96.113.213)
2021-01-16 20:24:38 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 264 seconds)
2021-01-16 20:24:56 +0100ahf(ahf@irssi/staff/ahf) (Ping timeout: 240 seconds)
2021-01-16 20:26:25 +0100christo(~chris@81.96.113.213) (Ping timeout: 240 seconds)
2021-01-16 20:30:49 +0100erolm_a(~erolm_a@62.18.221.108) (Ping timeout: 256 seconds)
2021-01-16 20:31:13 +0100erolm_a(~erolm_a@62.18.221.108)
2021-01-16 20:31:46 +0100cuz`(~user@2601:182:cc02:8b0:145c:541d:7dae:a326)
2021-01-16 20:31:49 +0100christo(~chris@81.96.113.213)
2021-01-16 20:33:52 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-01-16 20:34:40 +0100xcmw(~textual@2603-6011-2200-f103-79b4-f9a6-63fe-40f2.res6.spectrum.com)
2021-01-16 20:35:27 +0100jamm(~jamm@unaffiliated/jamm)
2021-01-16 20:36:33 +0100cuz`(~user@2601:182:cc02:8b0:145c:541d:7dae:a326) (Ping timeout: 260 seconds)
2021-01-16 20:38:09 +0100ericsagnes(~ericsagne@2405:6580:0:5100:1ed5:5806:1de5:c09c) (Ping timeout: 246 seconds)
2021-01-16 20:38:11 +0100jamm(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-01-16 20:38:20 +0100conal(~conal@66.115.157.153) (Quit: Computer has gone to sleep.)
2021-01-16 20:38:27 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-01-16 20:38:59 +0100kritzefitz(~kritzefit@212.86.56.80)
2021-01-16 20:39:50 +0100BaneAliens(~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Read error: Connection reset by peer)
2021-01-16 20:40:13 +0100BaneAliens(~BaneAlien@cpe-75-82-164-119.socal.res.rr.com)
2021-01-16 20:42:08 +0100BaneAliens(~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Read error: Connection reset by peer)
2021-01-16 20:42:31 +0100BaneAliens(~BaneAlien@cpe-75-82-164-119.socal.res.rr.com)
2021-01-16 20:43:25 +0100adeene(~adeene@181.131.0.191) (Ping timeout: 240 seconds)
2021-01-16 20:44:06 +0100conal(~conal@107.181.166.217)
2021-01-16 20:47:02 +0100Tario(~Tario@200.119.184.255) (Read error: Connection reset by peer)
2021-01-16 20:47:26 +0100iridescent(2fe3e53b@047-227-229-059.res.spectrum.com)
2021-01-16 20:48:03 +0100jamm(~jamm@unaffiliated/jamm)
2021-01-16 20:48:18 +0100Tario(~Tario@201.192.165.173)
2021-01-16 20:48:18 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-01-16 20:49:07 +0100cuz`(~user@2601:182:cc02:8b0:f89e:f1a3:993:c484)
2021-01-16 20:49:25 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-01-16 20:49:47 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 20:49:59 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2021-01-16 20:49:59 +0100BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 260 seconds)
2021-01-16 20:50:37 +0100ericsagnes(~ericsagne@2405:6580:0:5100:e26e:cf9:1dd6:9615)
2021-01-16 20:50:37 +0100kini(~kini@unaffiliated/kini) (Ping timeout: 264 seconds)
2021-01-16 20:52:50 +0100jamm(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-01-16 20:54:02 +0100cuz`(~user@2601:182:cc02:8b0:f89e:f1a3:993:c484) (Ping timeout: 264 seconds)
2021-01-16 20:54:10 +0100kini(~kini@unaffiliated/kini)
2021-01-16 20:54:12 +0100stef204(~stef204@unaffiliated/stef-204/x-384198)
2021-01-16 20:54:19 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-01-16 20:57:23 +0100 <sm2n> siraben, thanks!
2021-01-16 20:57:43 +0100 <sm2n> apress has been good to me as of late
2021-01-16 20:58:41 +0100ahf(ahf@irssi/staff/ahf)
2021-01-16 21:01:16 +0100Varis(~Tadas@unaffiliated/varis)
2021-01-16 21:04:23 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Ping timeout: 240 seconds)
2021-01-16 21:09:09 +0100prlCIql6ruclcri(~f9jawUfat@2800:810:514:e7:4bb:7908:1ead:3448) (Ping timeout: 272 seconds)
2021-01-16 21:13:22 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-01-16 21:14:15 +0100npgm_(sid42623@gateway/web/irccloud.com/x-trvlalsjbhjndvzd)
2021-01-16 21:15:47 +0100conal(~conal@107.181.166.217) (Quit: Computer has gone to sleep.)
2021-01-16 21:16:58 +0100 <npgm_> i'd like to implement `projectIO :: (Foldable t, ToJSON b) => (t Project -> b) -> IO ()` with the intent of being able to pass any kind of fold returning a json serializable value and hook that up with some streaming IO
2021-01-16 21:18:19 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 21:18:39 +0100leah2(~leah@vuxu.org) (Ping timeout: 272 seconds)
2021-01-16 21:19:05 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c)
2021-01-16 21:19:09 +0100npgm_(sid42623@gateway/web/irccloud.com/x-trvlalsjbhjndvzd) ()
2021-01-16 21:19:39 +0100npgm(sid42623@gateway/web/irccloud.com/x-dryxozqzdxdfjzyb)
2021-01-16 21:19:42 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds)
2021-01-16 21:20:49 +0100 <npgm> i'd like to implement `projectIO :: (Foldable t, ToJSON b) => (t Project -> b) -> IO ()` with the intent of being able to pass any kind of fold returning a json serializable value and hook that up with some streaming IO
2021-01-16 21:21:22 +0100 <npgm> However I think my use of type constraints is not quite right. I'm getting this error: `Couldn't match type ‘t’ with ‘Data.Csv.Streaming.Records’\n ‘t’ is a rigid type variable bound by`. How can I make this type less rigid?
2021-01-16 21:21:35 +0100leah2(~leah@vuxu.org)
2021-01-16 21:21:40 +0100adharsh(~adharsh@117.211.21.169) (Quit: adharsh)
2021-01-16 21:21:49 +0100adharsh(~adharsh@117.211.21.169)
2021-01-16 21:21:54 +0100 <Uniaika> leah2: meow
2021-01-16 21:22:07 +0100 <leah2> nya
2021-01-16 21:22:52 +0100 <geekosaur> typically that means you have said via type signature that the caller specifies 't', then you try to specify your own type for it
2021-01-16 21:23:49 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-wdnvdmzeqlpwwcbr)
2021-01-16 21:24:09 +0100 <geekosaur> you can't hve it both ways: either you(r function) controls t or the caller does
2021-01-16 21:24:36 +0100 <npgm> geekosaur: right - I am specifying t. maybe this doesn't make sense, but basically I don't want the caller to worry about what t is - I don't want them to know what I'm specifying, only that I'm going to pass them something thats compatible with fold.
2021-01-16 21:24:53 +0100 <merijn> npgm: The caller gets to pick what 't' is
2021-01-16 21:24:59 +0100 <merijn> (in your type signature)
2021-01-16 21:25:35 +0100NieDzejkob(~quassel@188.123.215.55) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-01-16 21:26:22 +0100hiroaki_(~hiroaki@ip4d166c42.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2021-01-16 21:26:49 +0100 <koz_> Uniaika, leah2: Nyaaa~
2021-01-16 21:26:54 +0100adharsh_(~adharsh@117.211.30.235)
2021-01-16 21:27:03 +0100 <Uniaika> lambda cats rise up!!
2021-01-16 21:27:07 +0100 <koz_> :D
2021-01-16 21:27:08 +0100 <leah2> :3
2021-01-16 21:27:18 +0100 <merijn> lambdacats.org :p
2021-01-16 21:27:18 +0100 <Uniaika> 😸
2021-01-16 21:27:29 +0100 <Uniaika> merijn: omg!!!
2021-01-16 21:27:48 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-16 21:27:59 +0100 <koz_> merijn confirmed catboy? :P
2021-01-16 21:28:01 +0100 <merijn> Uniaika: I still had the domain and someone else archived the images on github :p
2021-01-16 21:28:08 +0100 <Uniaika> >Cale Gibbard is decidable
2021-01-16 21:28:15 +0100 <Uniaika> Cale: can you confirm?
2021-01-16 21:28:20 +0100 <merijn> So after updating the DNS to point at github it's back :p
2021-01-16 21:28:28 +0100 <Uniaika> :D
2021-01-16 21:28:40 +0100 <merijn> koz_: http://files.inconsistent.nl/uninterested-coworker.jpg
2021-01-16 21:28:43 +0100 <npgm> ok ya, this makes sense - theres no reason for t to be in the signature if I don't want the consumer to think about it.
2021-01-16 21:28:54 +0100adharsh(~adharsh@117.211.21.169) (Ping timeout: 265 seconds)
2021-01-16 21:28:54 +0100adharsh_adharsh
2021-01-16 21:29:12 +0100 <Uniaika> merijn: nice bathrobe
2021-01-16 21:29:36 +0100mirrorbird(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) (Ping timeout: 246 seconds)
2021-01-16 21:29:59 +0100 <merijn> I'm painfully reminded by study used to be considerable less messy looking at that >.> I should probably tidy up
2021-01-16 21:30:29 +0100 <Uniaika> merijn: go go go
2021-01-16 21:30:36 +0100 <Uniaika> it's another way not to write your thesis
2021-01-16 21:31:15 +0100 <merijn> Yeah, I was really lacking those >.>
2021-01-16 21:31:33 +0100 <dsal> :t (>.>)
2021-01-16 21:31:35 +0100 <lambdabot> error:
2021-01-16 21:31:35 +0100 <lambdabot> • Variable not in scope: >.>
2021-01-16 21:31:35 +0100 <lambdabot> • Perhaps you meant one of these:
2021-01-16 21:32:40 +0100hidedagger(~nate@unaffiliated/hidedagger)
2021-01-16 21:32:43 +0100hexo(~hexo@gateway/tor-sasl/hexo) (Ping timeout: 240 seconds)
2021-01-16 21:32:53 +0100 <npgm> merijn: i'm still at a loss though with respect to how to let the consumer specify the kind of fold, but not specify the kind of traversable other than the element type
2021-01-16 21:33:01 +0100hexo(~hexo@gateway/tor-sasl/hexo)
2021-01-16 21:33:04 +0100 <merijn> Who is "the consumer" here?
2021-01-16 21:33:32 +0100 <merijn> "projectIO" or the code calling "projectIO"?
2021-01-16 21:33:39 +0100 <npgm> code calling projectIO
2021-01-16 21:34:18 +0100conal(~conal@198.8.81.220)
2021-01-16 21:34:25 +0100 <DigitalKiwi> idk why stephen thinks haskell is going to take heat when/if crypto crashes down considering non of the fucking software on hackage works
2021-01-16 21:34:34 +0100 <merijn> npgm: Either projectIO uses a specific Foldable or it doesn't. If it does, use that in the type, if it doesn't it should work
2021-01-16 21:35:15 +0100 <merijn> DigitalKiwi: Works On My Machine :)
2021-01-16 21:35:32 +0100 <DigitalKiwi> which do you have working
2021-01-16 21:36:04 +0100 <npgm> merijn: I think my approach to abstracting this is whats wrong?
2021-01-16 21:36:26 +0100 <merijn> npgm: I think so to, but I don't understand what you're doing, so I can't say what it *should* be :p
2021-01-16 21:36:49 +0100 <merijn> npgm: If you change the type signature to (), what does the resulting error tell you it *should* be?
2021-01-16 21:37:18 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds)
2021-01-16 21:38:18 +0100 <npgm> merijn: it wants Data.Csv.Streaming.Records, because thats what my implementation of projectIO is using. Let me think about a better way to model this and then i'll report back.
2021-01-16 21:38:36 +0100 <DigitalKiwi> all of the trading/exchange (crypto or otherwise) libraries i find haven't been worked on in years :( or look like someone uploaded it after a week and never touched it again
2021-01-16 21:38:47 +0100 <merijn> DigitalKiwi: Well, duh
2021-01-16 21:38:57 +0100 <DigitalKiwi> i can only assume everyone got rich and never touched software again
2021-01-16 21:39:09 +0100Franciman(~francesco@host-82-48-174-127.retail.telecomitalia.it)
2021-01-16 21:39:11 +0100 <merijn> DigitalKiwi: Crypto companies paying big dollars to programmers aren't going to open source the stuff they're paying millions to develop
2021-01-16 21:39:42 +0100Guest55287(~reda@4.ip-137-74-112.eu) (Changing host)
2021-01-16 21:39:42 +0100Guest55287(~reda@unaffiliated/reda)
2021-01-16 21:39:46 +0100 <merijn> And clearly anyone who *would* work on that as open source is already hired to work on closed source stuff instead
2021-01-16 21:39:47 +0100Guest55287reda
2021-01-16 21:39:49 +0100howdoi(uid224@gateway/web/irccloud.com/x-iwzynhogbftxdtln)
2021-01-16 21:40:35 +0100 <merijn> Why work in your own time when you can get paid
2021-01-16 21:40:58 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection)
2021-01-16 21:41:02 +0100 <DigitalKiwi> why did they upload them to hackage
2021-01-16 21:41:14 +0100 <merijn> What libraries are you referring too?
2021-01-16 21:41:31 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2021-01-16 21:41:34 +0100conal(~conal@198.8.81.220) (Quit: Computer has gone to sleep.)
2021-01-16 21:42:04 +0100 <DigitalKiwi> https://hackage.haskell.org/packages/search?terms=exchange a lot of these
2021-01-16 21:43:06 +0100stef204(~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.0)
2021-01-16 21:43:23 +0100 <__monty__> DigitalKiwi: There's IOHK's Cardano and Digital Asset's DAML.
2021-01-16 21:43:26 +0100 <merijn> I mean, most of those appear to just be packages by just random people who wrote something for themselves, stopped using them and are now left to bitrot?
2021-01-16 21:44:42 +0100 <DigitalKiwi> cryptocompare openexchangerates coinbase-exchange coinbase-pro gdax i did get coinbase-pro to build but with an old ghc i haven't tested it yet
2021-01-16 21:44:50 +0100conal(~conal@138.199.52.36)
2021-01-16 21:44:58 +0100 <merijn> You get what you pay for ;)
2021-01-16 21:45:14 +0100 <merijn> heh
2021-01-16 21:45:19 +0100 <merijn> no wonder this has all bitrotted
2021-01-16 21:45:32 +0100 <merijn> just look at coinbase-exchange, not a single version bound in the entire package
2021-01-16 21:45:36 +0100 <merijn> Good fucking luck with that
2021-01-16 21:45:46 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 246 seconds)
2021-01-16 21:46:36 +0100 <DigitalKiwi> it's possible cryptocompare could work but it fails the tests because of a redirect
2021-01-16 21:46:39 +0100 <Uniaika> true, it's all abandonware because nobody's paying for that
2021-01-16 21:47:04 +0100 <sm[m]> it's normal that niche packages on hackage don't build, until you update them a bit
2021-01-16 21:47:56 +0100 <merijn> Oh!
2021-01-16 21:48:07 +0100 <sm[m]> Somebody on Reddit asked why hackage doesn't periodically test this and soft-deprecate non building packages, that would be great
2021-01-16 21:48:30 +0100 <merijn> Next survey we should have a question about people who complain about/don't add upperbounds on their package and a question about who complains about stuff on hackage not building
2021-01-16 21:48:55 +0100 <merijn> And then I'm going to take these results and hit the overlap of those questions in the face next time they whine >.>
2021-01-16 21:49:07 +0100rwdrich(560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net)
2021-01-16 21:49:09 +0100 <merijn> sm[m]: Well, matrix builder already does some of that
2021-01-16 21:49:20 +0100 <merijn> sm[m]: But the matrix builder is also understaffed
2021-01-16 21:49:22 +0100 <sm[m]> no need for all that merijn, we simply need the tools to provide better guidance
2021-01-16 21:49:37 +0100rwdrich(560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) (Client Quit)
2021-01-16 21:49:45 +0100 <merijn> sm[m]: https://matrix.hackage.haskell.org/#/package/coinbase-exchange
2021-01-16 21:49:56 +0100 <merijn> https://matrix.hackage.haskell.org/#/package/coinbase-pro
2021-01-16 21:50:08 +0100 <sm[m]> Yup
2021-01-16 21:50:16 +0100 <merijn> sm[m]: Yeah, but unless anyone volunteers to build/maintain those tools, that's not happening
2021-01-16 21:50:37 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net) (Ping timeout: 264 seconds)
2021-01-16 21:50:37 +0100 <merijn> sm[m]: And I doubt anyone in the overlap of those two groups is doing that :)
2021-01-16 21:50:51 +0100 <merijn> ooooh
2021-01-16 21:50:56 +0100 <sm[m]> let's envision what we want at least :)
2021-01-16 21:50:58 +0100 <merijn> I need to start a new meme in open source
2021-01-16 21:51:18 +0100 <merijn> We already have the "*bonk* go to horny jail" one on twitter and all
2021-01-16 21:51:18 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 246 seconds)
2021-01-16 21:51:30 +0100 <merijn> We need a "*bonk* go to entitled jail" in open source :>
2021-01-16 21:52:35 +0100pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-01-16 21:53:34 +0100 <DigitalKiwi> don't look at me i don't have anything on hackage and make dozens of PRs fixing stuff :(
2021-01-16 21:53:49 +0100pfurla(~pfurla@207.15.195.173.client.static.strong-in52.as13926.net)
2021-01-16 21:53:57 +0100 <sm[m]> DigitalKiwi++
2021-01-16 21:54:45 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
2021-01-16 21:55:21 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-16 21:55:32 +0100 <DigitalKiwi> https://github.com/NixOS/nixpkgs/pulls?q=is%3Apr+author%3AKiwi
2021-01-16 21:55:37 +0100 <merijn> DigitalKiwi: That was more of a rant about the stuff people do upload to hackage half-broken (like coinbase-exchange) and then complain when lots of stuff on hackage is broken, then referring to you :)
2021-01-16 21:56:08 +0100 <geekosaur> s/then/than/ ?
2021-01-16 21:56:23 +0100 <merijn> DigitalKiwi: Anyway, the Hackage CI/matrix link on the hackage page should give you and indication of how hopeless it is
2021-01-16 21:56:27 +0100 <merijn> geekosaur: pfft, whichever
2021-01-16 21:57:00 +0100 <merijn> geekosaur: I have entirely given up on distinguishing homophones, my brain just refuses to have a deterministic link between what I intend to write and what comes out :p
2021-01-16 21:57:17 +0100 <geekosaur> also it doesn't help that the haskell ecosystem is such a moving target
2021-01-16 21:57:45 +0100 <geekosaur> you get all the bounds right and then ghc versions get you
2021-01-16 21:57:49 +0100 <DigitalKiwi> https://mostlyabsurd.com/files/www-mostlyabsurd-com.cabal :)
2021-01-16 21:58:00 +0100 <merijn> geekosaur: We had a discussion about that in #ghc at some point
2021-01-16 21:58:17 +0100 <merijn> geekosaur: Fortunately base has been bumped every GHC version for the past 9 years, so that hasn't been an issue :p
2021-01-16 21:58:22 +0100 <geekosaur> yes, I was watching (and participating to some extet)
2021-01-16 21:58:37 +0100BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-01-16 21:58:44 +0100 <DigitalKiwi> https://mostlyabsurd.com/files/shell.nix and :)
2021-01-16 21:59:11 +0100 <merijn> geekosaur: I say we just give up on software and become hermits!
2021-01-16 21:59:46 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 246 seconds)
2021-01-16 21:59:56 +0100geekosaurafter the past year is not convinced that works either…
2021-01-16 22:01:27 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-01-16 22:03:28 +0100Tops21(~Tobias@dyndsl-095-033-093-170.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-01-16 22:03:33 +0100conal(~conal@138.199.52.36) (Quit: Computer has gone to sleep.)
2021-01-16 22:03:55 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-01-16 22:04:02 +0100vicfred(~vicfred@unaffiliated/vicfred)
2021-01-16 22:05:00 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 272 seconds)
2021-01-16 22:07:31 +0100conal(~conal@143.244.61.227)
2021-01-16 22:08:43 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
2021-01-16 22:10:58 +0100adharsh(~adharsh@117.211.30.235) (Ping timeout: 246 seconds)
2021-01-16 22:11:02 +0100gioyik(~gioyik@186.112.104.70) (Ping timeout: 256 seconds)
2021-01-16 22:12:58 +0100 <ij> geekosaur, merijn, seeing no tuples implemented by default in Storable suggest it may not be suited for it, is all. Are they not provided so everyone can provide their own or something? Or no reason?
2021-01-16 22:14:20 +0100 <merijn> There's no Storable instance for tuples because there's no good default choice
2021-01-16 22:14:39 +0100 <merijn> But you said you already had a record type?
2021-01-16 22:14:48 +0100 <merijn> You can just make your record Storable...
2021-01-16 22:19:06 +0100son0p(~son0p@181.136.122.143)
2021-01-16 22:19:46 +0100 <ij> I
2021-01-16 22:20:26 +0100gioyik(~gioyik@186.112.104.70)
2021-01-16 22:20:28 +0100 <ij> I'll read the Storable docs just because, but I'd rather not and try out vector-th-unbox 😁
2021-01-16 22:21:34 +0100_deepfire(~user@80.92.100.69)
2021-01-16 22:21:34 +0100 <merijn> ij: https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/src/Model.hs#L83-L117
2021-01-16 22:22:10 +0100ep1ctetus(~epictetus@ip184-187-162-163.sb.sd.cox.net) (Ping timeout: 246 seconds)
2021-01-16 22:22:54 +0100atraii(~atraii@c-98-32-64-84.hsd1.ut.comcast.net)
2021-01-16 22:23:55 +0100brisbin(~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 246 seconds)
2021-01-16 22:24:07 +0100xwvvvvwx(xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Read error: Connection reset by peer)
2021-01-16 22:24:40 +0100xwvvvvwx(xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx)
2021-01-16 22:25:17 +0100 <ij> pretty cool instance
2021-01-16 22:25:46 +0100son0p(~son0p@181.136.122.143) (Remote host closed the connection)
2021-01-16 22:26:02 +0100son0p(~son0p@181.136.122.143)
2021-01-16 22:26:29 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2021-01-16 22:26:30 +0100mirrorbird(~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27)
2021-01-16 22:27:57 +0100 <_deepfire> If one has a DataKinds-generated kind in scope, is there a simple way of obtaining a typeRep of it?
2021-01-16 22:28:13 +0100brisbin(~patrick@pool-173-49-158-4.phlapa.fios.verizon.net)
2021-01-16 22:29:54 +0100atraii(~atraii@c-98-32-64-84.hsd1.ut.comcast.net) (Read error: Connection reset by peer)
2021-01-16 22:30:24 +0100atraii(~atraii@2601:681:8800:3a87:c800:2de4:db0b:9f0)
2021-01-16 22:31:25 +0100MorrowM(~Moshe@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 240 seconds)
2021-01-16 22:31:27 +0100jackhill(~jackhill@marsh.hcoop.net) (Ping timeout: 260 seconds)
2021-01-16 22:31:40 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 256 seconds)
2021-01-16 22:32:35 +0100BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 256 seconds)
2021-01-16 22:32:37 +0100sajith(~sajith@fsf/member/nonzen) (Ping timeout: 264 seconds)
2021-01-16 22:33:03 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-16 22:34:52 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
2021-01-16 22:35:27 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-16 22:37:06 +0100 <monochrom> I suggested Storable because it should be trivial for you to write your own Storable instance for your record type.
2021-01-16 22:37:26 +0100 <monochrom> Why so obsessed with (,,) if you aren't even using it.
2021-01-16 22:38:27 +0100geekosaur(ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Quit: Connection closed)
2021-01-16 22:40:14 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 260 seconds)
2021-01-16 22:40:19 +0100cantstanya(~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
2021-01-16 22:41:10 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Remote host closed the connection)
2021-01-16 22:42:15 +0100Tario(~Tario@200.119.184.166)
2021-01-16 22:42:39 +0100cantstanya(~chatting@gateway/tor-sasl/cantstanya)
2021-01-16 22:42:40 +0100atraii(~atraii@2601:681:8800:3a87:c800:2de4:db0b:9f0) (Quit: ZNC 1.8.2 - https://znc.in)
2021-01-16 22:43:49 +0100jackhill(~jackhill@marsh.hcoop.net)
2021-01-16 22:44:28 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-01-16 22:44:29 +0100atraii(~atraii@2601:681:8800:3a87:c800:2de4:db0b:9f0)
2021-01-16 22:49:40 +0100cantstanya(~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
2021-01-16 22:49:41 +0100Tario(~Tario@200.119.184.166) (Read error: Connection reset by peer)
2021-01-16 22:51:09 +0100Tario(~Tario@201.192.165.173)
2021-01-16 22:51:58 +0100cantstanya(~chatting@gateway/tor-sasl/cantstanya)
2021-01-16 22:53:16 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-16 22:56:01 +0100machined1od(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 264 seconds)
2021-01-16 22:56:39 +0100conal(~conal@143.244.61.227) (Quit: Computer has gone to sleep.)
2021-01-16 22:57:17 +0100conal(~conal@143.244.61.227)
2021-01-16 22:58:55 +0100ADG1089__(~aditya@122.163.165.143) (Remote host closed the connection)
2021-01-16 22:59:02 +0100BaneAliens(~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Read error: Connection reset by peer)
2021-01-16 22:59:26 +0100BaneAliens(~BaneAlien@cpe-75-82-164-119.socal.res.rr.com)
2021-01-16 23:01:11 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:194c:6210:349e:a14)
2021-01-16 23:01:15 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-01-16 23:01:22 +0100conal(~conal@143.244.61.227) (Ping timeout: 246 seconds)
2021-01-16 23:01:30 +0100BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-01-16 23:01:37 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 23:02:52 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
2021-01-16 23:02:53 +0100dan64-(~dan64@dannyadam.com)
2021-01-16 23:04:16 +0100Rudd0(~Rudd0@185.189.115.103)
2021-01-16 23:04:19 +0100shailangsa(~shailangs@host86-145-14-121.range86-145.btcentralplus.com) (Ping timeout: 256 seconds)
2021-01-16 23:04:25 +0100dan64(~dan64@dannyadam.com) (Ping timeout: 264 seconds)
2021-01-16 23:04:31 +0100BaneAliens(~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Ping timeout: 246 seconds)
2021-01-16 23:04:56 +0100BaneAliens(~BaneAlien@cpe-75-82-164-119.socal.res.rr.com)
2021-01-16 23:05:19 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-16 23:06:12 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-01-16 23:06:18 +0100jamm(~jamm@unaffiliated/jamm)
2021-01-16 23:06:27 +0100conal(~conal@143.244.61.236)
2021-01-16 23:09:09 +0100conal(~conal@143.244.61.236) (Client Quit)
2021-01-16 23:09:38 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds)
2021-01-16 23:11:07 +0100jamm(~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds)
2021-01-16 23:11:14 +0100conal(~conal@172.93.146.171)
2021-01-16 23:11:19 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-01-16 23:12:19 +0100 <ij> just curious
2021-01-16 23:19:11 +0100NieDzejkob(~quassel@188.123.215.55)
2021-01-16 23:21:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c)
2021-01-16 23:27:15 +0100shailangsa(~shailangs@host86-145-14-121.range86-145.btcentralplus.com)
2021-01-16 23:27:37 +0100erolm_a(~erolm_a@62.18.221.108) (Ping timeout: 246 seconds)
2021-01-16 23:27:48 +0100erolm_a(~erolm_a@62.18.221.108)
2021-01-16 23:29:28 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-01-16 23:30:02 +0100 <npgm> I'm curious about this code: https://hackage.haskell.org/package/cassava-0.5.2.0/docs/src/Data.Csv.Streaming.html Specifically, it seems like Records are just a stream of elements, where an element may or may not be valid.
2021-01-16 23:30:50 +0100p-core(~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Quit: p-core)
2021-01-16 23:31:10 +0100p-core(~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56)
2021-01-16 23:32:21 +0100 <npgm> Is it obvious why the author chose to create a special type rather than using list? It seems like creating the special type requires the typeclass instances to be defined. Foldable defined on `[Result a]` seems like something that would be common?
2021-01-16 23:33:09 +0100 <merijn> npgm: Eh, in [Result a] only the 'a' can be the Foldable
2021-01-16 23:33:51 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-01-16 23:33:56 +0100Mous(4eeef4dc@mil29-1-78-238-244-220.fbx.proxad.net)
2021-01-16 23:34:46 +0100vst(~vst@2406:3003:2004:2e8a:88e0:d:26a8:735e)
2021-01-16 23:35:08 +0100mctpyt(~mctpyt@190.192.51.111)
2021-01-16 23:35:28 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-01-16 23:36:35 +0100mctpyt(~mctpyt@190.192.51.111) (Changing host)
2021-01-16 23:36:35 +0100mctpyt(~mctpyt@unaffiliated/mctpyt)
2021-01-16 23:37:42 +0100atraii(~atraii@2601:681:8800:3a87:c800:2de4:db0b:9f0) (Ping timeout: 246 seconds)
2021-01-16 23:38:26 +0100 <Cale> Uniaika: Haha, actually, it's overlapping instances where I really start to have a problem. Undecidable ones are mostly fine actually.
2021-01-16 23:38:46 +0100 <merijn> UndecidableInstances should have a less scary name
2021-01-16 23:38:47 +0100 <Uniaika> yeah I think I've used it a couple times with mtl stuff
2021-01-16 23:38:52 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2021-01-16 23:38:58 +0100 <merijn> And OverlappingInstances should have a *way* more scary name
2021-01-16 23:39:01 +0100 <Uniaika> merijn: -XIWillFindYourCat
2021-01-16 23:39:06 +0100 <merijn> Uniaika: :(
2021-01-16 23:39:10 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-01-16 23:39:12 +0100 <iridescent> could anyone explain how natural transformations show up in haskell?
2021-01-16 23:39:40 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-01-16 23:40:01 +0100 <Cale> iridescent: Well, polymorphic functions forall a. F a -> G a for some functors F and G will be natural transformations automatically.
2021-01-16 23:40:03 +0100 <npgm> merijn: I see what you mean
2021-01-16 23:40:25 +0100Mous(4eeef4dc@mil29-1-78-238-244-220.fbx.proxad.net) (Quit: Connection closed)
2021-01-16 23:41:15 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2021-01-16 23:42:40 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Ping timeout: 246 seconds)
2021-01-16 23:45:20 +0100 <npgm> merijn: but why would you want a custom container type here? `[Record]` seems like it would require less code and get more functionality out of the box than a custom Records datatype and custom typeclass instances?
2021-01-16 23:46:20 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 272 seconds)
2021-01-16 23:46:29 +0100 <merijn> npgm: What's the custom container you're referring too?
2021-01-16 23:46:32 +0100kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-01-16 23:46:48 +0100 <npgm> merijn: `Records` https://hackage.haskell.org/package/cassava-0.5.2.0/docs/src/Data.Csv.Streaming.html#Records
2021-01-16 23:48:54 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-01-16 23:48:57 +0100son0p(~son0p@181.136.122.143) (Quit: Lost terminal)
2021-01-16 23:49:58 +0100 <merijn> Well, what alternative do you propose??
2021-01-16 23:50:11 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-01-16 23:50:39 +0100Wuzzy(~Wuzzy@p549c97c9.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2021-01-16 23:51:00 +0100brisbin(~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 265 seconds)
2021-01-16 23:51:08 +0100 <dolio> That doesn't look like just a list.
2021-01-16 23:51:35 +0100tzh(~xax@c-24-21-73-154.hsd1.or.comcast.net) (Quit: kskdvlkds)
2021-01-16 23:54:05 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-01-16 23:56:36 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-01-16 23:56:49 +0100Tario(~Tario@201.192.165.173)
2021-01-16 23:56:56 +0100 <npgm> I guess what i'm imagining is probably less exact. `data Record a = EOS (Maybe String) ByteString | Record (Either String a)`. where EOS is end of stream, or end of file.
2021-01-16 23:57:54 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection)
2021-01-16 23:58:07 +0100 <dolio> Then there are all sorts of erroneous values that could show up.
2021-01-16 23:58:08 +0100 <npgm> whereas `Records` exactly models where and when an EOS can occur.
2021-01-16 23:58:45 +0100iridescent(2fe3e53b@047-227-229-059.res.spectrum.com) (Quit: Connection closed)
2021-01-16 23:59:05 +0100 <npgm> dolio: You're basically referring to this sort of scenario? `[EOS, EOS, Record, EOS]`
2021-01-16 23:59:21 +0100 <dolio> Sure. There are infinitely many values that don't make sense.
2021-01-16 23:59:24 +0100 <dolio> Empty list is another.
2021-01-16 23:59:47 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)