2020/12/21

2020-12-21 00:03:32 +0100solonarv(~solonarv@adijon-656-1-25-229.w90-13.abo.wanadoo.fr)
2020-12-21 00:10:08 +0100jneira(5127ad83@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.131) (Ping timeout: 256 seconds)
2020-12-21 00:19:16 +0100gOOgler(uid125351@gateway/web/irccloud.com/x-hiqkythugxlqotev)
2020-12-21 00:21:29 +0100zv(~zv@unaffiliated/zv)
2020-12-21 00:24:38 +0100alx741(~alx741@181.196.69.62) (Ping timeout: 256 seconds)
2020-12-21 00:24:41 +0100xff0x_(~fox@2001:1a81:533f:8600:e255:a04c:45e:d69f) (Ping timeout: 268 seconds)
2020-12-21 00:25:27 +0100xff0x_(~fox@2001:1a81:533f:8600:c02a:26d6:e42a:b61d)
2020-12-21 00:27:09 +0100ericsagn1(~ericsagne@2405:6580:0:5100:4c81:d0f9:caa9:4ec) (Ping timeout: 268 seconds)
2020-12-21 00:29:37 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 264 seconds)
2020-12-21 00:31:01 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-bsavlyquljvibkoo) (Quit: Connection closed for inactivity)
2020-12-21 00:35:23 +0100bliminse(~bliminse@host109-158-83-118.range109-158.btcentralplus.com)
2020-12-21 00:36:53 +0100mmsari1(~Thunderbi@46.1.240.163)
2020-12-21 00:37:09 +0100alx741(~alx741@181.196.69.61)
2020-12-21 00:38:37 +0100mmsari(~Thunderbi@46.1.240.163) (Ping timeout: 264 seconds)
2020-12-21 00:38:37 +0100mmsari1mmsari
2020-12-21 00:39:25 +0100ericsagn1(~ericsagne@2405:6580:0:5100:9938:b754:b7e6:63d5)
2020-12-21 00:42:59 +0100tabemann_tabemann
2020-12-21 00:44:09 +0100cheater(~user@unaffiliated/cheater)
2020-12-21 00:44:23 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2020-12-21 00:45:54 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:a104:aab:2310:b4f0)
2020-12-21 00:47:33 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:a104:aab:2310:b4f0) (Client Quit)
2020-12-21 00:47:47 +0100 <cnmne[m]> __monty__: there is something like that in agda https://agda.readthedocs.io/en/latest/language/with-abstraction.html#simultaneous-abstraction
2020-12-21 00:48:27 +0100gxt(~gxt@gateway/tor-sasl/gxt)
2020-12-21 00:49:28 +0100 <__monty__> It's possible that's where I was exposed to it.
2020-12-21 00:52:03 +0100fengh(~haskeller@ip72-205-40-121.dc.dc.cox.net) (Quit: WeeChat 3.0)
2020-12-21 00:53:32 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 265 seconds)
2020-12-21 00:59:17 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds)
2020-12-21 00:59:28 +0100al3x27(~plovs@85.254.75.80) (Ping timeout: 272 seconds)
2020-12-21 01:00:06 +0100atk(~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.)
2020-12-21 01:00:58 +0100atk(~Arch-TK@ircpuzzles/staff/Arch-TK)
2020-12-21 01:02:21 +0100xcmw(~textual@2603-6011-2200-f103-cdbc-9ec6-8319-9dc9.res6.spectrum.com)
2020-12-21 01:03:42 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-12-21 01:03:48 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:715a:4842:991b:e095)
2020-12-21 01:04:33 +0100cosimone(~cosimone@2001:b07:ae5:db26:1fb3:ef3f:ece2:c6f8) (Ping timeout: 260 seconds)
2020-12-21 01:07:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-12-21 01:07:43 +0100ym555(~ym@156.199.5.168)
2020-12-21 01:08:24 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-12-21 01:10:40 +0100ym555(~ym@156.199.5.168) (Client Quit)
2020-12-21 01:11:48 +0100ym555(~ym@156.199.5.168)
2020-12-21 01:12:59 +0100ym555(~ym@156.199.5.168) (Client Quit)
2020-12-21 01:17:32 +0100MarcelineVQ(~anja@198.254.202.72)
2020-12-21 01:17:47 +0100coot(~coot@37.30.50.101.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-12-21 01:20:31 +0100chang(~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
2020-12-21 01:21:02 +0100wonko7(~wonko7@2a01:e35:2ffb:7040:4535:f480:7dff:b3b5) (Ping timeout: 264 seconds)
2020-12-21 01:21:37 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-12-21 01:23:53 +0100xcmw(~textual@2603-6011-2200-f103-cdbc-9ec6-8319-9dc9.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 01:24:32 +0100kam1(~kam1@24.231.108.143)
2020-12-21 01:24:32 +0100xcmw(~textual@2603-6011-2200-f103-cdbc-9ec6-8319-9dc9.res6.spectrum.com)
2020-12-21 01:25:42 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:715a:4842:991b:e095) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 01:26:23 +0100xcmw(~textual@2603-6011-2200-f103-cdbc-9ec6-8319-9dc9.res6.spectrum.com) (Client Quit)
2020-12-21 01:27:57 +0100nbloomf(~nbloomf@76.217.43.73)
2020-12-21 01:34:16 +0100alx741(~alx741@181.196.69.61) (Ping timeout: 240 seconds)
2020-12-21 01:34:18 +0100kam1(~kam1@24.231.108.143) (Ping timeout: 272 seconds)
2020-12-21 01:35:12 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9)
2020-12-21 01:38:41 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Remote host closed the connection)
2020-12-21 01:39:45 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2020-12-21 01:41:38 +0100notzmv(~user@unaffiliated/zmv) (Read error: Connection reset by peer)
2020-12-21 01:41:52 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-21 01:43:12 +0100notzmv(~user@unaffiliated/zmv)
2020-12-21 01:46:05 +0100liquorice(sid267884@gateway/web/irccloud.com/x-wtehvzqjexiicxpn) (Ping timeout: 268 seconds)
2020-12-21 01:46:13 +0100benjamingr__(uid23465@gateway/web/irccloud.com/x-urcfavraxgmoltak) (Ping timeout: 272 seconds)
2020-12-21 01:46:14 +0100AndreasK(uid320732@gateway/web/irccloud.com/x-auivhtzomgrjbpeg) (Read error: Connection reset by peer)
2020-12-21 01:46:14 +0100jared-w(uid405292@gateway/web/irccloud.com/x-rydbvdzocyurwpmv) (Read error: Connection reset by peer)
2020-12-21 01:46:14 +0100ebutleriv(sid217783@gateway/web/irccloud.com/x-ckocvqheirpnpehl) (Read error: Connection reset by peer)
2020-12-21 01:46:14 +0100ReinH__(sid179972@gateway/web/irccloud.com/x-ujhxicmjajcluchu) (Read error: Connection reset by peer)
2020-12-21 01:46:14 +0100wpcarro_(sid397589@gateway/web/irccloud.com/x-ftehwxrmwpnsjcjv) (Read error: Connection reset by peer)
2020-12-21 01:46:14 +0100bradparker(sid262931@gateway/web/irccloud.com/x-xfealfqvgophfdio) (Read error: Connection reset by peer)
2020-12-21 01:46:18 +0100totbwf(sid402332@gateway/web/irccloud.com/x-gkljgvwgjywgwgba) (Read error: Connection reset by peer)
2020-12-21 01:46:21 +0100ryjm(sid383513@gateway/web/irccloud.com/x-bskhgqtqitkmfuiz) (Ping timeout: 258 seconds)
2020-12-21 01:46:24 +0100aristid(sid1599@gateway/web/irccloud.com/x-araifyjxsevgfmuf) (Read error: Connection reset by peer)
2020-12-21 01:46:24 +0100davetapley(sid666@gateway/web/irccloud.com/x-ozkmjnucwfthiscc) (Read error: Connection reset by peer)
2020-12-21 01:46:28 +0100banjiewen_(sid115913@gateway/web/irccloud.com/x-ivdebwukluxrlfrl) (Read error: Connection reset by peer)
2020-12-21 01:46:31 +0100metamod(uid478611@gateway/web/irccloud.com/x-vcbtaspxheignymp) (Read error: Connection reset by peer)
2020-12-21 01:46:32 +0100gOOgler(uid125351@gateway/web/irccloud.com/x-hiqkythugxlqotev) (Read error: Connection reset by peer)
2020-12-21 01:46:33 +0100d0liver(sid363046@gateway/web/irccloud.com/x-qxjdqmetdorukkyz) (Read error: Connection reset by peer)
2020-12-21 01:46:34 +0100natim87(sid286962@gateway/web/irccloud.com/x-ubcfknudcwgbcyoh) (Read error: Connection reset by peer)
2020-12-21 01:46:34 +0100systemfault(sid267009@gateway/web/irccloud.com/x-dkcecvusgryhzeno) (Read error: Connection reset by peer)
2020-12-21 01:46:35 +0100eruditass(uid248673@gateway/web/irccloud.com/x-mzencwftwbmswmrc) (Read error: Connection reset by peer)
2020-12-21 01:46:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-12-21 01:46:37 +0100SrPx(sid108780@gateway/web/irccloud.com/x-utvsxqnjqyxqxbbf) (Read error: Connection reset by peer)
2020-12-21 01:46:44 +0100alanz(sid110616@gateway/web/irccloud.com/x-rrsfkppqcemgwtjf) (Ping timeout: 258 seconds)
2020-12-21 01:46:50 +0100cemerick(sid54985@gateway/web/irccloud.com/x-ixdpfuwpprqysidz) (Ping timeout: 264 seconds)
2020-12-21 01:46:51 +0100lally(sid388228@gateway/web/irccloud.com/x-qptpvlldxpkwwzmr) (Ping timeout: 272 seconds)
2020-12-21 01:46:51 +0100benwr____(sid372383@gateway/web/irccloud.com/x-iqkpxequimehwenq) (Ping timeout: 272 seconds)
2020-12-21 01:47:09 +0100liquorice(sid267884@gateway/web/irccloud.com/x-nvvvtxpsomgqnuwh)
2020-12-21 01:47:12 +0100aristid(sid1599@gateway/web/irccloud.com/x-vivskusqvheuqrnb)
2020-12-21 01:47:14 +0100gOOgler(uid125351@gateway/web/irccloud.com/x-vuhpmfgmmvtagmdp)
2020-12-21 01:47:16 +0100systemfault(sid267009@gateway/web/irccloud.com/x-ysaoctkhtrxborzu)
2020-12-21 01:47:16 +0100natim87(sid286962@gateway/web/irccloud.com/x-vhirsoincvqfnshg)
2020-12-21 01:47:17 +0100d0liver(sid363046@gateway/web/irccloud.com/x-pwzhkzujciwqgkdt)
2020-12-21 01:47:18 +0100benjamingr__(uid23465@gateway/web/irccloud.com/x-sbnlrvatrsbgkknv)
2020-12-21 01:47:18 +0100jared-w(uid405292@gateway/web/irccloud.com/x-rcozwjfcaxxdsjbu)
2020-12-21 01:47:19 +0100davetapley(sid666@gateway/web/irccloud.com/x-wrvacvklgyixnlhi)
2020-12-21 01:47:19 +0100metamod(uid478611@gateway/web/irccloud.com/x-duhqaawnbntfbuyt)
2020-12-21 01:47:20 +0100banjiewen_(sid115913@gateway/web/irccloud.com/x-wizbxbqkwheddqde)
2020-12-21 01:47:31 +0100ryjm(sid383513@gateway/web/irccloud.com/x-huoudwukmzlpfarr)
2020-12-21 01:47:36 +0100bradparker(sid262931@gateway/web/irccloud.com/x-uzixcvysgzyerkpa)
2020-12-21 01:47:37 +0100totbwf(sid402332@gateway/web/irccloud.com/x-zgwohoyhkdrcnqgj)
2020-12-21 01:47:37 +0100SrPx(sid108780@gateway/web/irccloud.com/x-cmccwjfarqkifbej)
2020-12-21 01:47:43 +0100ReinH__(sid179972@gateway/web/irccloud.com/x-poirjhlrgjxavncx)
2020-12-21 01:47:47 +0100ebutleriv(sid217783@gateway/web/irccloud.com/x-ebgivmtpacideacq)
2020-12-21 01:47:49 +0100wpcarro_(sid397589@gateway/web/irccloud.com/x-cytmbrffvkesuvkr)
2020-12-21 01:47:55 +0100AndreasK(uid320732@gateway/web/irccloud.com/x-fcrznnlznqbuniir)
2020-12-21 01:48:02 +0100eruditass(uid248673@gateway/web/irccloud.com/x-ajxelnfjoxkzyhof)
2020-12-21 01:48:08 +0100alx741(~alx741@186.178.110.239)
2020-12-21 01:48:21 +0100lally(sid388228@gateway/web/irccloud.com/x-kigisbxmlrdxghtz)
2020-12-21 01:48:32 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
2020-12-21 01:48:37 +0100zv(~zv@unaffiliated/zv) (Ping timeout: 260 seconds)
2020-12-21 01:48:39 +0100alanz(sid110616@gateway/web/irccloud.com/x-vjemyfnbfouulzqa)
2020-12-21 01:49:16 +0100benwr____(sid372383@gateway/web/irccloud.com/x-shbxwldnzmvfixrx)
2020-12-21 01:49:26 +0100cemerick(sid54985@gateway/web/irccloud.com/x-kimehxrclgpzthxw)
2020-12-21 01:50:24 +0100ph88(~ph88@2a02:8109:9e00:7e5c:d5e6:6f2:2e3f:fbbc) (Ping timeout: 268 seconds)
2020-12-21 01:50:36 +0100mmsari(~Thunderbi@46.1.240.163) (Ping timeout: 240 seconds)
2020-12-21 01:52:48 +0100urek__(~urek@186.212.191.144) (Quit: urek__)
2020-12-21 01:53:10 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-12-21 01:53:17 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 260 seconds)
2020-12-21 01:56:09 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9)
2020-12-21 01:56:50 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
2020-12-21 01:57:29 +0100hackageki 0.2.0 - A lightweight, structured-concurrency library https://hackage.haskell.org/package/ki-0.2.0 (mitchellwrosen)
2020-12-21 01:57:39 +0100alx741(~alx741@186.178.110.239) (*.net *.split)
2020-12-21 01:57:39 +0100AndreasK(uid320732@gateway/web/irccloud.com/x-fcrznnlznqbuniir) (*.net *.split)
2020-12-21 01:57:39 +0100liquorice(sid267884@gateway/web/irccloud.com/x-nvvvtxpsomgqnuwh) (*.net *.split)
2020-12-21 01:57:39 +0100olligobber(~olligobbe@unaffiliated/olligobber) (*.net *.split)
2020-12-21 01:57:39 +0100christo(~chris@81.96.113.213) (*.net *.split)
2020-12-21 01:57:39 +0100dave_uy(~david@108.61.193.26) (*.net *.split)
2020-12-21 01:57:39 +0100Welkin(~Welkin@216.243.35.47) (*.net *.split)
2020-12-21 01:57:39 +0100troydm(~troydm@unaffiliated/troydm) (*.net *.split)
2020-12-21 01:57:39 +0100Gurkenglas_(~Gurkengla@unaffiliated/gurkenglas) (*.net *.split)
2020-12-21 01:57:39 +0100dibblego(~dibblego@haskell/developer/dibblego) (*.net *.split)
2020-12-21 01:57:39 +0100aoei(~aoei@li2174-104.members.linode.com) (*.net *.split)
2020-12-21 01:57:39 +0100hackage(mniip@haskell/bot/hackage) (*.net *.split)
2020-12-21 01:57:39 +0100nitrix(~nitrix@haskell/developer/nitrix) (*.net *.split)
2020-12-21 01:57:39 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (*.net *.split)
2020-12-21 01:57:39 +0100statusfailed(~statusfai@statusfailed.com) (*.net *.split)
2020-12-21 01:57:39 +0100sim590(~sim590@modemcable090.207-203-24.mc.videotron.ca) (*.net *.split)
2020-12-21 01:57:39 +0100stux|RC-only(stux2@grid9.quadspeedi.net) (*.net *.split)
2020-12-21 01:57:39 +0100eyenx(~eyenxeyen@unaffiliated/eye/x-1653358) (*.net *.split)
2020-12-21 01:57:39 +0100e2(e2@sponsored.by.bnc4you.xyz) (*.net *.split)
2020-12-21 01:57:39 +0100thecoffemaker(~thecoffem@unaffiliated/thecoffemaker) (*.net *.split)
2020-12-21 01:57:39 +0100ystael(~ystael@209.6.50.55) (*.net *.split)
2020-12-21 01:57:39 +0100motherfsck(~motherfsc@unaffiliated/motherfsck) (*.net *.split)
2020-12-21 01:57:39 +0100hive-mind(~hivemind@rrcs-67-53-148-69.west.biz.rr.com) (*.net *.split)
2020-12-21 01:57:39 +0100electrostat(~dag@unaffiliated/electrostat) (*.net *.split)
2020-12-21 01:57:39 +0100Aleksejs(~Aleksejs@haskell.lv) (*.net *.split)
2020-12-21 01:57:39 +0100dagnabbit(~thelounge@140.82.8.179) (*.net *.split)
2020-12-21 01:57:39 +0100Igloo(~igloo@matrix.chaos.earth.li) (*.net *.split)
2020-12-21 01:57:39 +0100ent(entgod@kapsi.fi) (*.net *.split)
2020-12-21 01:57:39 +0100int-e(~noone@int-e.eu) (*.net *.split)
2020-12-21 01:57:39 +0100beka(~beka@gothdyke.mom) (*.net *.split)
2020-12-21 01:57:39 +0100thebnq(~bnq@herrokitty.com) (*.net *.split)
2020-12-21 01:57:39 +0100Firedancer_(~Firedance@178.62.203.79) (*.net *.split)
2020-12-21 01:57:39 +0100ario(~ario@178.62.234.211) (*.net *.split)
2020-12-21 01:57:39 +0100arianvp(~weechat@arianvp.me) (*.net *.split)
2020-12-21 01:57:39 +0100tasuki(~tasuki@198.211.120.27) (*.net *.split)
2020-12-21 01:57:39 +0100mupf(~micha@v22017094964653601.ultrasrv.de) (*.net *.split)
2020-12-21 01:57:39 +0100Tourist(~tourist@unaffiliated/tourist) (*.net *.split)
2020-12-21 01:57:39 +0100fr33domlover(~fr33domlo@fsf/member/fr33domlover) (*.net *.split)
2020-12-21 01:57:39 +0100digia(~digia@unaffiliated/digia) (*.net *.split)
2020-12-21 01:57:39 +0100edwinb(sid69486@gateway/web/irccloud.com/x-ttfxxggsnhwcnlbe) (*.net *.split)
2020-12-21 01:57:39 +0100kozowu(uid44796@gateway/web/irccloud.com/x-ehcrldadbfrqmeyx) (*.net *.split)
2020-12-21 01:57:39 +0100vk3wtf(~doc@203.221.224.44) (*.net *.split)
2020-12-21 01:57:39 +0100rookie101(~rookie@207.154.204.166) (*.net *.split)
2020-12-21 01:57:39 +0100jonge(jonge@kofferbomber.org) (*.net *.split)
2020-12-21 01:57:39 +0100APic(apic@apic.name) (*.net *.split)
2020-12-21 01:57:39 +0100kjak(~kjak@pool-173-73-38-16.washdc.fios.verizon.net) (*.net *.split)
2020-12-21 01:57:39 +0100sarahzrf(~sarahzrf_@sarahzrf.com) (*.net *.split)
2020-12-21 01:57:39 +0100duairc(~shane@ana.rch.ist) (*.net *.split)
2020-12-21 01:57:39 +0100michalrus(m@michalrus.com) (*.net *.split)
2020-12-21 01:57:39 +0100cyberlard(~cyberlard@unaffiliated/jludwig) (*.net *.split)
2020-12-21 01:57:39 +0100lortabac(~lortabac@51.158.65.124) (*.net *.split)
2020-12-21 01:57:39 +0100aweinstock(~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (*.net *.split)
2020-12-21 01:57:39 +0100sea-gull(~sea-gull@li1815-136.members.linode.com) (*.net *.split)
2020-12-21 01:57:39 +0100anoe(~anoe@delanoe.org) (*.net *.split)
2020-12-21 01:57:39 +0100jtcs_(~jtcs@vmi359854.contaboserver.net) (*.net *.split)
2020-12-21 01:57:39 +0100cjay(cjay@nerdbox.nerd2nerd.org) (*.net *.split)
2020-12-21 01:57:39 +0100kipras`away(~kipras@92.61.39.34) (*.net *.split)
2020-12-21 01:58:02 +0100kam1(~kam1@24.231.108.143)
2020-12-21 02:00:05 +0100stux|RC-only(stux2@grid9.quadspeedi.net)
2020-12-21 02:00:27 +0100jedws(~jedws@121.209.189.201)
2020-12-21 02:02:38 +0100zv(~zv@unaffiliated/zv)
2020-12-21 02:03:19 +0100nbloomf(~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 02:04:38 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2020-12-21 02:05:13 +0100kam1(~kam1@24.231.108.143) (Ping timeout: 272 seconds)
2020-12-21 02:06:04 +0100gioyik(~gioyik@186.112.104.164)
2020-12-21 02:09:34 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 246 seconds)
2020-12-21 02:09:55 +0100ephemera_(~E@122.34.1.187) (Quit: No Ping reply in 180 seconds.)
2020-12-21 02:11:22 +0100ephemera_(~E@122.34.1.187)
2020-12-21 02:16:01 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2020-12-21 02:16:56 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-12-21 02:17:13 +0100tsrt^(~hph@ip98-184-89-2.mc.at.cox.net) ()
2020-12-21 02:17:54 +0100alx741(~alx741@186.178.110.239)
2020-12-21 02:17:54 +0100AndreasK(uid320732@gateway/web/irccloud.com/x-fhmsmixhstkzcndi)
2020-12-21 02:17:54 +0100liquorice(sid267884@gateway/web/irccloud.com/x-nvvvtxpsomgqnuwh)
2020-12-21 02:17:54 +0100olligobber(~olligobbe@unaffiliated/olligobber)
2020-12-21 02:17:54 +0100dave_uy(~david@108.61.193.26)
2020-12-21 02:17:54 +0100Welkin(~Welkin@216.243.35.47)
2020-12-21 02:17:54 +0100troydm(~troydm@unaffiliated/troydm)
2020-12-21 02:17:54 +0100dibblego(~dibblego@haskell/developer/dibblego)
2020-12-21 02:17:54 +0100aoei(~aoei@li2174-104.members.linode.com)
2020-12-21 02:17:54 +0100nitrix(~nitrix@haskell/developer/nitrix)
2020-12-21 02:17:54 +0100hackage(mniip@haskell/bot/hackage)
2020-12-21 02:17:54 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2020-12-21 02:17:54 +0100statusfailed(~statusfai@statusfailed.com)
2020-12-21 02:17:54 +0100sim590(~sim590@modemcable090.207-203-24.mc.videotron.ca)
2020-12-21 02:17:54 +0100eyenx(~eyenxeyen@unaffiliated/eye/x-1653358)
2020-12-21 02:17:54 +0100e2(e2@sponsored.by.bnc4you.xyz)
2020-12-21 02:17:54 +0100thecoffemaker(~thecoffem@unaffiliated/thecoffemaker)
2020-12-21 02:17:54 +0100ystael(~ystael@209.6.50.55)
2020-12-21 02:17:54 +0100motherfsck(~motherfsc@unaffiliated/motherfsck)
2020-12-21 02:17:54 +0100hive-mind(~hivemind@rrcs-67-53-148-69.west.biz.rr.com)
2020-12-21 02:17:54 +0100electrostat(~dag@unaffiliated/electrostat)
2020-12-21 02:17:54 +0100Aleksejs(~Aleksejs@haskell.lv)
2020-12-21 02:17:54 +0100dagnabbit(~thelounge@140.82.8.179)
2020-12-21 02:17:54 +0100Igloo(~igloo@matrix.chaos.earth.li)
2020-12-21 02:17:54 +0100ent(entgod@kapsi.fi)
2020-12-21 02:17:54 +0100int-e(~noone@int-e.eu)
2020-12-21 02:17:54 +0100beka(~beka@gothdyke.mom)
2020-12-21 02:17:54 +0100ario(~ario@178.62.234.211)
2020-12-21 02:17:54 +0100thebnq(~bnq@herrokitty.com)
2020-12-21 02:17:54 +0100Firedancer_(~Firedance@178.62.203.79)
2020-12-21 02:17:54 +0100arianvp(~weechat@arianvp.me)
2020-12-21 02:17:54 +0100tasuki(~tasuki@198.211.120.27)
2020-12-21 02:17:54 +0100mupf(~micha@v22017094964653601.ultrasrv.de)
2020-12-21 02:17:54 +0100Tourist(~tourist@unaffiliated/tourist)
2020-12-21 02:17:54 +0100fr33domlover(~fr33domlo@fsf/member/fr33domlover)
2020-12-21 02:17:54 +0100digia(~digia@unaffiliated/digia)
2020-12-21 02:17:54 +0100edwinb(sid69486@gateway/web/irccloud.com/x-ttfxxggsnhwcnlbe)
2020-12-21 02:17:54 +0100kozowu(uid44796@gateway/web/irccloud.com/x-ehcrldadbfrqmeyx)
2020-12-21 02:17:54 +0100vk3wtf(~doc@203.221.224.44)
2020-12-21 02:17:54 +0100rookie101(~rookie@207.154.204.166)
2020-12-21 02:17:54 +0100jonge(jonge@kofferbomber.org)
2020-12-21 02:17:54 +0100APic(apic@apic.name)
2020-12-21 02:17:54 +0100kjak(~kjak@pool-173-73-38-16.washdc.fios.verizon.net)
2020-12-21 02:17:54 +0100sarahzrf(~sarahzrf_@sarahzrf.com)
2020-12-21 02:17:54 +0100duairc(~shane@ana.rch.ist)
2020-12-21 02:17:54 +0100michalrus(m@michalrus.com)
2020-12-21 02:17:54 +0100cyberlard(~cyberlard@unaffiliated/jludwig)
2020-12-21 02:17:54 +0100lortabac(~lortabac@51.158.65.124)
2020-12-21 02:17:54 +0100aweinstock(~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com)
2020-12-21 02:17:54 +0100sea-gull(~sea-gull@li1815-136.members.linode.com)
2020-12-21 02:17:54 +0100anoe(~anoe@delanoe.org)
2020-12-21 02:17:54 +0100jtcs_(~jtcs@vmi359854.contaboserver.net)
2020-12-21 02:17:54 +0100cjay(cjay@nerdbox.nerd2nerd.org)
2020-12-21 02:17:54 +0100kipras`away(~kipras@92.61.39.34)
2020-12-21 02:18:11 +0100dave_uy(~david@108.61.193.26) (Max SendQ exceeded)
2020-12-21 02:18:28 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-21 02:18:42 +0100dave_uy(~david@108.61.193.26)
2020-12-21 02:20:25 +0100haritz(~hrtz@unaffiliated/haritz) (Ping timeout: 246 seconds)
2020-12-21 02:21:30 +0100arybczak(~unknown@2a02:a312:c83d:7800:bb7f:5c00:4f48:cc5c) (Quit: Konversation terminated!)
2020-12-21 02:22:05 +0100Tario(~Tario@201.192.165.173)
2020-12-21 02:22:51 +0100haritz(~hrtz@62.3.70.206)
2020-12-21 02:22:51 +0100haritz(~hrtz@62.3.70.206) (Changing host)
2020-12-21 02:22:51 +0100haritz(~hrtz@unaffiliated/haritz)
2020-12-21 02:25:49 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:715a:4842:991b:e095)
2020-12-21 02:26:36 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 258 seconds)
2020-12-21 02:27:30 +0100hackageki 0.2.0.1 - A lightweight, structured-concurrency library https://hackage.haskell.org/package/ki-0.2.0.1 (mitchellwrosen)
2020-12-21 02:29:02 +0100Tario(~Tario@200.119.184.42)
2020-12-21 02:32:57 +0100columbarius(~columbari@87.123.198.237) (Ping timeout: 268 seconds)
2020-12-21 02:34:08 +0100styledash(~styledash@157.230.173.136) (Quit: The Lounge - https://thelounge.chat)
2020-12-21 02:34:46 +0100styledash(~styledash@157.230.173.136)
2020-12-21 02:34:48 +0100columbarius(~columbari@mue-88-130-54-198.dsl.tropolys.de)
2020-12-21 02:38:15 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-12-21 02:38:44 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-12-21 02:41:31 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2020-12-21 02:41:49 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-12-21 02:42:58 +0100Feuermagier(~Feuermagi@213.178.26.41)
2020-12-21 02:43:34 +0100 <Feuermagier> what'S the correct operator to divide doubles with?
2020-12-21 02:43:40 +0100 <Feuermagier> div?
2020-12-21 02:45:00 +0100 <MarcelineVQ> /
2020-12-21 02:45:41 +0100 <Feuermagier> oh, didn't even notice that that was an operator. thx!
2020-12-21 02:46:12 +0100 <Feuermagier> in most languages / is for whole number division
2020-12-21 02:46:13 +0100Tario(~Tario@200.119.184.42) (Read error: Connection reset by peer)
2020-12-21 02:46:39 +0100Welkin(~Welkin@216.243.35.47) (Ping timeout: 260 seconds)
2020-12-21 02:47:16 +0100 <MarcelineVQ> :>
2020-12-21 02:47:23 +0100Tario(~Tario@201.192.165.173)
2020-12-21 02:48:01 +0100 <Feuermagier> I'm doing high order functions atm and have not come across it once :D
2020-12-21 02:48:51 +0100 <hololeap> doesn't / work on doubles in C?
2020-12-21 02:49:10 +0100xcmw(~textual@cpe-69-133-55-43.cinci.res.rr.com)
2020-12-21 02:49:33 +0100 <siraben> Feuermagier: I've used / for floats and doubles in C just fine before
2020-12-21 02:50:08 +0100 <Feuermagier> well, in most languages it is also overloaded ^^
2020-12-21 02:50:33 +0100 <Feuermagier> i was just confused because i had used div all the time
2020-12-21 02:50:42 +0100 <Feuermagier> and suddenly I got a type error
2020-12-21 02:51:34 +0100Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-12-21 02:52:39 +0100Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-12-21 02:52:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-12-21 02:53:22 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds)
2020-12-21 02:53:39 +0100Jeanne-Kamikaze(~Jeanne-Ka@66.115.189.245)
2020-12-21 02:54:00 +0100Lord_of_Life_Lord_of_Life
2020-12-21 02:54:01 +0100 <iqubic> :t div
2020-12-21 02:54:02 +0100 <lambdabot> Integral a => a -> a -> a
2020-12-21 02:54:11 +0100 <hololeap> Feuermagier: note that `quot` also works on integrals and is the preferred choice if you know you're going to work with positive numbers
2020-12-21 02:54:25 +0100 <iqubic> Integral types are whole numbers, I guess.
2020-12-21 02:54:41 +0100 <Feuermagier> :t quot
2020-12-21 02:54:42 +0100 <lambdabot> Integral a => a -> a -> a
2020-12-21 02:55:03 +0100 <Feuermagier> is it identical to div?
2020-12-21 02:55:51 +0100 <hololeap> IIRC, quot doesn't "know" negative numbers and generally uses less CPU ticks to compute
2020-12-21 02:57:43 +0100chang(~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 02:58:12 +0100mmsari(~Thunderbi@46.1.240.163)
2020-12-21 02:58:46 +0100 <hololeap> > (-10) `div` 3
2020-12-21 02:58:48 +0100 <lambdabot> -4
2020-12-21 02:58:52 +0100 <hololeap> > (-10) `quot` 3
2020-12-21 02:58:54 +0100 <lambdabot> -3
2020-12-21 02:59:01 +0100electricityZZZZ(~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-12-21 03:00:35 +0100 <hololeap> Feuermagier: https://stackoverflow.com/questions/8111120/integral-operators-quot-vs-div
2020-12-21 03:01:57 +0100electricityZZZZ(~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net)
2020-12-21 03:02:16 +0100 <Feuermagier> ah, so a good old magic number multiply on division by constant?
2020-12-21 03:02:23 +0100 <hololeap> also note that `divMod x y === (div x y, mod x y)` and `quotRem x y === (quot x y, rem x y)`
2020-12-21 03:05:01 +0100xff0x_(~fox@2001:1a81:533f:8600:c02a:26d6:e42a:b61d) (Ping timeout: 268 seconds)
2020-12-21 03:05:16 +0100Ariakenom(~Ariakenom@2001:9b1:efb:fc00:7113:ddfe:c797:f6e7) (Quit: Leaving)
2020-12-21 03:06:12 +0100benjamingr__(uid23465@gateway/web/irccloud.com/x-sbnlrvatrsbgkknv) (Quit: Connection closed for inactivity)
2020-12-21 03:06:37 +0100xff0x_(~fox@2001:1a81:5376:4e00:b2ea:2c0f:21ed:c6e4)
2020-12-21 03:07:27 +0100maybefbi(~maybefbi@49.245.66.163)
2020-12-21 03:08:47 +0100 <Feuermagier> how do I check high order functions for equality with quickcheck?
2020-12-21 03:09:19 +0100Welkin(~Welkin@216.243.35.47)
2020-12-21 03:10:26 +0100Welkin(~Welkin@216.243.35.47) (Client Quit)
2020-12-21 03:11:07 +0100 <Feuermagier> well, i guess i can just let quickCheck supply the arguments and resolve the functions...
2020-12-21 03:12:36 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:715a:4842:991b:e095) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 03:15:20 +0100ADG1089_(~adg1089@171.76.183.207)
2020-12-21 03:17:19 +0100nbloomf(~nbloomf@76.217.43.73)
2020-12-21 03:17:51 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Quit: WeeChat 2.9)
2020-12-21 03:19:02 +0100christo(~chris@81.96.113.213)
2020-12-21 03:19:06 +0100tff^(tff@ip98-184-89-2.mc.at.cox.net)
2020-12-21 03:22:20 +0100mmsari1(~Thunderbi@95.173.249.45)
2020-12-21 03:22:25 +0100 <iqubic> Yeah. two functions f and g are equal if, and only if, for all values x, f x equals g x.
2020-12-21 03:23:30 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-21 03:23:48 +0100guest1221(~user@49.5.6.87)
2020-12-21 03:23:59 +0100mmsari(~Thunderbi@46.1.240.163) (Ping timeout: 260 seconds)
2020-12-21 03:23:59 +0100mmsari1mmsari
2020-12-21 03:25:16 +0100zv(~zv@unaffiliated/zv) (Ping timeout: 240 seconds)
2020-12-21 03:28:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-12-21 03:30:25 +0100sgibber2018(~arch-gibb@208.85.237.137)
2020-12-21 03:30:35 +0100sgibber2018(~arch-gibb@208.85.237.137) (Client Quit)
2020-12-21 03:30:36 +0100 <guest1221> parse (string "abc" <|> spaces) "" "abc" won't work, because string "abc" and spaces don't have the same type?
2020-12-21 03:31:14 +0100 <guest1221> <|> asks same type, is there a function doesn't ask same type and do same work like <|>?
2020-12-21 03:33:05 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds)
2020-12-21 03:43:10 +0100toorevitimirp(~tooreviti@117.182.182.252)
2020-12-21 03:43:48 +0100 <guest1221> Left "a" <|> Right "a" won't work, because Left "a" :: Either String _, Right "a" :: Either _ String?
2020-12-21 03:46:36 +0100 <iqubic> Actually, Left "a" <|> Right "a" will work, and the result will have type "Either String String"
2020-12-21 03:48:03 +0100jedws(~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 03:48:47 +0100 <siraben> indeed
2020-12-21 03:48:53 +0100Turmiht(b95c1a83@185.92.26.131)
2020-12-21 03:49:25 +0100sgibber2018(~arch-gibb@208.85.237.137)
2020-12-21 03:50:14 +0100 <guest1221> no
2020-12-21 03:50:15 +0100 <siraben> guest1221: sure Left "a" has type Either String a for any a, and likewise for Right "a", but the type of (<|>) is Alternative f => f a -> f a -> f a
2020-12-21 03:50:30 +0100 <siraben> Oops the alternative is failing, iqubic
2020-12-21 03:50:37 +0100 <siraben> no instance for Alternative (Either String)
2020-12-21 03:50:42 +0100 <guest1221> (Left "b" :: Either String String) <|> (Right "a" :: Either String String) No instance for (Alternative (Either String)) arising from a use of ‘<|>’
2020-12-21 03:50:49 +0100 <iqubic> Right. I see.
2020-12-21 03:50:57 +0100 <siraben> I was thinking of Maybe, heh
2020-12-21 03:51:11 +0100 <iqubic> Why is there no Alternative instance for (Either a)? Like, why is that not a thing?
2020-12-21 03:51:31 +0100 <pavonia> (Left <$> string "abc") <|> (Right <$> spaces)
2020-12-21 03:51:43 +0100 <siraben> Weird, Either a is a monad just like Maybe
2020-12-21 03:51:43 +0100 <koz_> iqubic: What would 'empty' be?
2020-12-21 03:51:49 +0100 <iqubic> That doesn't work, for the reasons outlined.
2020-12-21 03:51:52 +0100 <siraben> In fact Maybe a ~ Either () a
2020-12-21 03:51:56 +0100 <iqubic> koz_: IDK.
2020-12-21 03:52:04 +0100 <koz_> That's why. :P
2020-12-21 03:52:33 +0100 <siraben> koz_: ah, right
2020-12-21 03:52:45 +0100 <MarcelineVQ> alternatively void (string "abc") <|> spaces so the question could be, what does it mean for <|> to do 'the same work' for these two parsers?
2020-12-21 03:52:46 +0100 <koz_> It _can_ be an instance of Alt, in several different ways.
2020-12-21 03:52:52 +0100 <Turmiht> I'm not very sure should ask build question here, sorry if it's not appropriate. I get unsupported file format found when link a static library from cabal-doctest-1.0.8 from MacOS 11.0.1, which by wiki is a linux deb file. anybody has ideas about it?
2020-12-21 03:53:00 +0100 <koz_> (the semigroupoids Alt)
2020-12-21 03:53:56 +0100 <guest1221> machinedgod: parse string "abc" on input will get Right "abc" or Left, parse spaces would get Right ()
2020-12-21 03:54:04 +0100 <koz_> Alternatively (heh) you could define (Monoid a) => Alternative (Either a)
2020-12-21 03:54:08 +0100 <guest1221> Right () <|> Right "abc" is ok?
2020-12-21 03:54:23 +0100 <Turmiht> The error occurred in building of package distributive, I'll post more info if necessary
2020-12-21 03:55:17 +0100 <guest1221> machinedgod: sorry,
2020-12-21 03:55:26 +0100 <guest1221> MarcelineVQ:
2020-12-21 03:55:33 +0100sagax(~sagax_nb@213.138.71.146)
2020-12-21 03:55:53 +0100 <pavonia> guest1221: Is that for a Parsec parser?
2020-12-21 03:55:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-21 03:55:59 +0100 <guest1221> pavonia: yes
2020-12-21 03:56:27 +0100 <pavonia> Then you cannot use Either diractly, you have to use something like (Left <$> string "abc") <|> (Right <$> spaces)
2020-12-21 03:57:14 +0100 <Vulfe> yeah you just want to lift the Either constructors to Parser
2020-12-21 03:57:17 +0100 <guest1221> Prelude RIO> (Left "b" :: Either String String) <|> (Right "a" :: Either String String) == Right "a"
2020-12-21 03:57:59 +0100 <guest1221> https://hackage.haskell.org/package/rio
2020-12-21 03:58:05 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2020-12-21 03:59:45 +0100 <guest1221> pavonia: you mean parse (Left <$> string "abc" <|> (Right <$> spaces) "" "abc"?
2020-12-21 04:00:18 +0100 <guest1221> I thought parse (string "abc") "" "abc" will get Right a
2020-12-21 04:00:31 +0100 <guest1221> and parse spaces "" "abc" will get Left a
2020-12-21 04:00:34 +0100 <pavonia> Ther are ( ) missing, but yes
2020-12-21 04:00:47 +0100 <guest1221> parse spaces "" " abc" will get Right ()
2020-12-21 04:01:49 +0100 <pavonia> What I pasted should give Right (Left "abc") and Right (Right ()). respectively
2020-12-21 04:02:25 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
2020-12-21 04:02:49 +0100xff0x_(~fox@2001:1a81:5376:4e00:b2ea:2c0f:21ed:c6e4) (Ping timeout: 258 seconds)
2020-12-21 04:03:42 +0100 <guest1221> pavonia: why it can't be Right <$> string "abc"?
2020-12-21 04:04:48 +0100xff0x_(~fox@2001:1a81:537d:6200:144f:d9e9:684e:2cc4)
2020-12-21 04:05:34 +0100 <pavonia> It can, but then spaces has to be Left
2020-12-21 04:05:37 +0100patrick1(~tarpk@ool-182dc9b3.dyn.optonline.net) (Ping timeout: 264 seconds)
2020-12-21 04:05:53 +0100bthom(~bthom@2601:184:4700:b89:abdc:f6d7:f8b7:16e2) (Ping timeout: 258 seconds)
2020-12-21 04:06:18 +0100 <guest1221> pavonia: why?
2020-12-21 04:06:35 +0100Turmiht(b95c1a83@185.92.26.131) (Remote host closed the connection)
2020-12-21 04:06:36 +0100 <pavonia> (<|>) expects two parsers of the same type, but string "abc" and spaces apparently doesn't have the same type
2020-12-21 04:06:52 +0100chang(~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
2020-12-21 04:06:55 +0100 <pavonia> so you have to wrape some datatype around to make them equal
2020-12-21 04:07:39 +0100 <pavonia> With Left/Right then both have type Parser (Either String ()) or whatever parser type it is exactly
2020-12-21 04:07:45 +0100 <guest1221> pavonia: right, string "ab" would be Either _ String, spaces would be Either _ ()
2020-12-21 04:08:04 +0100 <pavonia> No
2020-12-21 04:08:35 +0100 <pavonia> In Either a b, Left has type a, Right has type b
2020-12-21 04:08:54 +0100electricityZZZZ(~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-12-21 04:09:12 +0100 <guest1221> (parse (string "ab") "" "ab") :: Either ParseError String
2020-12-21 04:09:32 +0100 <guest1221> (parse space "" " s") :: Either ParseError Char
2020-12-21 04:09:51 +0100 <Vulfe> right, which you want to change to Either ParseError (Either String ())
2020-12-21 04:09:53 +0100 <guest1221> (parse spaces "" " s") :: Either ParseError ()
2020-12-21 04:10:21 +0100 <pavonia> Note that parse adds an extra layer of Either
2020-12-21 04:10:40 +0100 <Vulfe> so you want to construct two parsers of type Parser (Either String ()) or whatever the library uses
2020-12-21 04:11:02 +0100 <Vulfe> so the return type of parse will be Either ParseError (Either String ())
2020-12-21 04:11:28 +0100bthom(~bthom@2601:184:4700:b89:abdc:f6d7:f8b7:16e2)
2020-12-21 04:11:39 +0100 <Vulfe> Left for instance has type a -> Either a b, so fmapping it on Parser gives you something of type Parser a -> Parser (Either a b)
2020-12-21 04:11:46 +0100 <guest1221> you lift the result on Either ParseError?
2020-12-21 04:12:01 +0100 <Vulfe> so if you do this on both sides with the two constructors like pavonia was describing you get two parsers of the same type
2020-12-21 04:12:37 +0100 <Vulfe> you're not doing anything with the result per se, you're just using functoriality of Parser
2020-12-21 04:13:32 +0100 <guest1221> the actual question https://paste.ubuntu.com/p/cYMKqdVQtT/
2020-12-21 04:13:35 +0100nbloomf(~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 04:13:56 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-12-21 04:14:23 +0100 <guest1221> parser a can parse on input1, parser b can parse input2, then parse (a <|> b) "" input1 would work, but parse (a <|>b) "" input2 won't
2020-12-21 04:14:42 +0100 <guest1221> it's because parser a and b don't have the same type?
2020-12-21 04:15:09 +0100 <pavonia> There both alternatives do have the same type Parser (Stirng, String)
2020-12-21 04:15:33 +0100 <pavonia> Do you actually get a compiler error?
2020-12-21 04:15:56 +0100theDon(~td@94.134.91.11) (Ping timeout: 268 seconds)
2020-12-21 04:16:20 +0100 <guest1221> pavonia: Left (line 1, column 3):unexpected "l" expecting space or "print"
2020-12-21 04:16:34 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-12-21 04:16:45 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:e162:f3a5:6891:9399)
2020-12-21 04:17:16 +0100mmsari(~Thunderbi@95.173.249.45) (Ping timeout: 240 seconds)
2020-12-21 04:17:19 +0100theDon(~td@muedsl-82-207-238-191.citykom.de)
2020-12-21 04:18:11 +0100 <pavonia> Both parsers start parsing spaces, so alway parsePrint is chosen which then fails at "let"
2020-12-21 04:18:17 +0100 <guest1221> pavonia: when a.bc is 10 print "ok", it would be Right ("print","ok")
2020-12-21 04:19:23 +0100 <guest1221> work on "10 let a = 1" it will be Left (line 1, column 4):unexpected "l"expecting space or "print"
2020-12-21 04:19:27 +0100 <pavonia> You need backtracking here (or to rewrite your parsers completely). Have a look at the "try" function of Parsec
2020-12-21 04:19:44 +0100 <pavonia> Also read http://blog.ezyang.com/2014/05/parsec-try-a-or-b-considered-harmful/
2020-12-21 04:20:15 +0100caubert(~caubert@207.246.80.112) (Ping timeout: 268 seconds)
2020-12-21 04:20:55 +0100xirhtogal(~lagothrix@unaffiliated/lagothrix)
2020-12-21 04:20:55 +0100lagothrixGuest25658
2020-12-21 04:20:55 +0100Guest25658(~lagothrix@unaffiliated/lagothrix) (Killed (orwell.freenode.net (Nickname regained by services)))
2020-12-21 04:20:55 +0100xirhtogallagothrix
2020-12-21 04:21:23 +0100jedws(~jedws@121.209.189.201)
2020-12-21 04:21:34 +0100electricityZZZZ(~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net)
2020-12-21 04:22:17 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:e162:f3a5:6891:9399) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 04:22:19 +0100Jajik(xchlup2@gateway/shell/fi.muni.cz/x-glzailaxclrtbxni) (Quit: Ping timeout (120 seconds))
2020-12-21 04:22:30 +0100Jajik(xchlup2@gateway/shell/fi.muni.cz/x-qhjnriwuikjiveet)
2020-12-21 04:23:19 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-12-21 04:23:37 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-12-21 04:27:05 +0100ornxka(~ornxka@unaffiliated/ornx) (Ping timeout: 240 seconds)
2020-12-21 04:28:02 +0100patrick1(~tarpk@ool-182dca76.dyn.optonline.net)
2020-12-21 04:28:06 +0100aenesidemus(~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) (Quit: Leaving)
2020-12-21 04:28:09 +0100dagnabbit(~thelounge@140.82.8.179) (Ping timeout: 260 seconds)
2020-12-21 04:29:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-12-21 04:30:50 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:e162:f3a5:6891:9399)
2020-12-21 04:32:32 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 260 seconds)
2020-12-21 04:32:33 +0100ADG1089_(~adg1089@171.76.183.207) (Read error: Connection reset by peer)
2020-12-21 04:32:55 +0100ADG1089_(~adg1089@183.83.47.21)
2020-12-21 04:33:48 +0100urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2020-12-21 04:34:45 +0100xcmw(~textual@cpe-69-133-55-43.cinci.res.rr.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 04:36:49 +0100 <guest1221> pavonia: very very weird, I just add `try` on that parserLet and parserPrint, it both works now, no other code changed
2020-12-21 04:36:57 +0100 <guest1221> I don't understand
2020-12-21 04:37:59 +0100 <guest1221> https://paste.ubuntu.com/p/cYMKqdVQtT/
2020-12-21 04:38:10 +0100 <guest1221> https://paste.ubuntu.com/p/cYMKqdVQtT/
2020-12-21 04:39:01 +0100 <guest1221> those parser are same, only the after ones have `try` before `do`, and the second parse successfully, what's the magic???
2020-12-21 04:40:10 +0100 <glguy> You shouldn't start your parsers with 'spaces', you should be ending your parsers with that
2020-12-21 04:41:09 +0100 <glguy> and then parsePrint and parseLet overlap at the start with their lineNum stuff
2020-12-21 04:41:10 +0100 <dmj`> peak haskell is scanl' on the job
2020-12-21 04:41:21 +0100ADG1089_(~adg1089@183.83.47.21) (Ping timeout: 256 seconds)
2020-12-21 04:41:30 +0100ADG1089_(~adg1089@171.76.183.207)
2020-12-21 04:42:01 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2020-12-21 04:42:38 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2020-12-21 04:43:59 +0100 <glguy> guest1221, ideally you'd factor factor that common prefix out of the two parsers
2020-12-21 04:45:04 +0100 <pavonia> guest1221: This is how Parsec works. Once a path looks correct (the first part matches), Parsec will never give up on this path. So either the rest also parses successfully or it will fail. With "try" you can tell it to give up this path, even if some character already have been parsed successfully, and try another alternative if there is one
2020-12-21 04:46:14 +0100 <pavonia> guest1221: e.g. parse (string "ab" <|> string "ac") "" "ac" will fail, because the "a" of "ab" already matches but then "b" fails
2020-12-21 04:46:55 +0100 <pavonia> parse (try (string "ab") <|> string "ac") "" "ac" will work, though
2020-12-21 04:48:08 +0100jedws(~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 04:48:43 +0100 <guest1221> pavonia: wow, but should people expect that parse (string "ab" <|> string "ac") "" "ac" == Right "ac"?
2020-12-21 04:49:27 +0100 <glguy> no, not in parsec
2020-12-21 04:49:32 +0100 <glguy> yes in megaparsec
2020-12-21 04:50:06 +0100 <guest1221> pavonia: when it fails, I expect it would be Left a, then parse the right one, get Right a, then Left a <|> Right a, get Right a
2020-12-21 04:50:11 +0100 <glguy> yes in attoparsec (for a different reason)
2020-12-21 04:50:34 +0100 <glguy> guest1221, you can't use parsec based on assumptions, it intends for you to refactor your grammar in a particular way
2020-12-21 04:50:35 +0100 <guest1221> glguy: I should try megaparsec I think
2020-12-21 04:50:52 +0100 <glguy> megaparsec will still require you to understand it, it just happens that string *in particular* matches all or nothing
2020-12-21 04:51:25 +0100 <guest1221> glguy: attoparsec come with ghc?
2020-12-21 04:51:41 +0100 <glguy> attoparsec doesn't have the optimization that consuming input aborts alternatives
2020-12-21 04:51:58 +0100 <glguy> only parsec does
2020-12-21 04:52:28 +0100 <glguy> there are plenty of good reasons to switch from parsec to megaparsec, but you'll need to learn it just the same
2020-12-21 04:53:48 +0100dagnabbit(~thelounge@140.82.8.179)
2020-12-21 04:55:30 +0100hackagerattletrap 9.3.1 - Parse and generate Rocket League replays. https://hackage.haskell.org/package/rattletrap-9.3.1 (fozworth)
2020-12-21 04:55:36 +0100 <guest1221> ok
2020-12-21 04:56:51 +0100ornxka(~ornxka@unaffiliated/ornx)
2020-12-21 04:58:16 +0100maybefbi(~maybefbi@49.245.66.163) (Ping timeout: 240 seconds)
2020-12-21 04:59:23 +0100 <iqubic> If you approach learning how to use a libriary with the mindset of "It makes the most sense for it to work in this way, so I'll just assume it works in this fashion." You're only setting yourself up for failure when you find out that it doesn't actually work in the way you find most sensible.
2020-12-21 04:59:25 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2020-12-21 04:59:43 +0100 <ezzieyguywuf> can I make cabal show me all the versions of my libraries that it is currently using to build my project?
2020-12-21 04:59:43 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-12-21 05:00:42 +0100 <glguy> ezzieyguywuf, do you have a ./dist-newstyle/cache/plan.json ?
2020-12-21 05:01:25 +0100 <ezzieyguywuf> glguy: hey!
2020-12-21 05:01:55 +0100 <glguy> I don't know if there's a better way, but what I do is 'cabal install cabal-plan' and then run 'cabal topo'
2020-12-21 05:01:55 +0100 <ezzieyguywuf> yes I do have that file
2020-12-21 05:01:58 +0100 <ezzieyguywuf> I'll take a look
2020-12-21 05:02:04 +0100 <glguy> which turns that file into something sensible
2020-12-21 05:02:10 +0100 <glguy> err
2020-12-21 05:02:15 +0100 <glguy> 'cabal-plan topo'
2020-12-21 05:02:29 +0100 <ezzieyguywuf> glguy: question for you - how come you remove the `data` dir from your release tarballs, or other things needed to execute the test suite?
2020-12-21 05:02:37 +0100boxscape(4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) (Ping timeout: 264 seconds)
2020-12-21 05:02:53 +0100 <glguy> which one?
2020-12-21 05:03:07 +0100 <glguy> I probably don't do that on purpose
2020-12-21 05:03:50 +0100 <ezzieyguywuf> glguy: hrm I saw a few, I filed a github issue on one but held off on doing the others until I heard your reasoning
2020-12-21 05:03:55 +0100 <ezzieyguywuf> let me find the issue I posted just a sec.
2020-12-21 05:04:12 +0100 <glguy> I probably just forgot to include something in the .cabal file
2020-12-21 05:04:21 +0100 <glguy> I don't modify the release tarballs in any way after 'cabal sdist'
2020-12-21 05:04:54 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-12-21 05:04:58 +0100 <ezzieyguywuf> ah hah.
2020-12-21 05:05:40 +0100 <ezzieyguywuf> glguy: oh *embarassed* it may not have been you lol sorry
2020-12-21 05:05:51 +0100 <ezzieyguywuf> but you gave me a hint I can probably file a PR now with whoever it was
2020-12-21 05:06:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-21 05:06:52 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-12-21 05:07:43 +0100MidAutumnHotaru(~MidAutumn@154.91.197.93) (Quit: Ping timeout (120 seconds))
2020-12-21 05:08:02 +0100MidAutumnHotaru(~MidAutumn@154.91.197.93)
2020-12-21 05:09:05 +0100 <ezzieyguywuf> yup, it was def ndmitchel, the hoogle guy, https://github.com/ndmitchell/hlint/issues/1185
2020-12-21 05:09:41 +0100 <ezzieyguywuf> sorry glguy, I just consider hoogle so dang handy and great that I assumed it was you, especially b/c hlint comes from the same guy ^_^
2020-12-21 05:10:18 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Read error: Connection reset by peer)
2020-12-21 05:10:31 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2020-12-21 05:10:32 +0100 <MarcelineVQ> That happened one time when I saw sliced bread, I was like "Is this glguy?"
2020-12-21 05:10:34 +0100 <ezzieyguywuf> but you're right, he's just missing the stuff in his cabal config, I'll file a PR with him tomorrow - https://github.com/ndmitchell/hlint/blob/master/hlint.cabal#L17-L26
2020-12-21 05:10:42 +0100 <ezzieyguywuf> MarcelineVQ: lol, glad it's not just me.
2020-12-21 05:10:49 +0100solonarv(~solonarv@adijon-656-1-25-229.w90-13.abo.wanadoo.fr) (Ping timeout: 268 seconds)
2020-12-21 05:10:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-12-21 05:13:18 +0100drbean(~drbean@TC210-63-209-45.static.apol.com.tw)
2020-12-21 05:17:15 +0100chang(~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 05:17:33 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2020-12-21 05:20:37 +0100 <glguy> MarcelineVQ: it's true; I am bread
2020-12-21 05:23:03 +0100BenSima[m]bsima[m]
2020-12-21 05:23:34 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-12-21 05:23:43 +0100Tario(~Tario@201.192.165.173)
2020-12-21 05:25:32 +0100 <nshepperd2> string doesn't match all or nothing in parsec? how unfortunate
2020-12-21 05:28:25 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 264 seconds)
2020-12-21 05:29:04 +0100 <glguy> nshepperd2, I think since it's often not enough to try just the string part that it's not that bad that parsec is like that
2020-12-21 05:29:20 +0100 <glguy> it's too easy for string "abc" to match the prefix of "abcd"
2020-12-21 05:29:29 +0100 <glguy> and have that not be what you wanted
2020-12-21 05:29:40 +0100 <glguy> the try would usually go further outside than a single string
2020-12-21 05:31:05 +0100 <glguy> I think parsec is just convenient enough that it gives the illusion that it's simple to use :)
2020-12-21 05:32:51 +0100 <nshepperd2> i suppose so
2020-12-21 05:33:45 +0100 <nshepperd2> try (string "keyword" *> wordBoundary) <?> "keyword"
2020-12-21 05:35:27 +0100 <glguy> for keywords I think it's more likely that you'd do something like: identifier <- parseId; and then test which one you got
2020-12-21 05:36:01 +0100hexfive(~hexfive@50-47-142-195.evrt.wa.frontiernet.net) (Quit: i must go. my people need me.)
2020-12-21 05:36:32 +0100 <glguy> using parsec for anything serious is work
2020-12-21 05:38:49 +0100xcmw(~textual@2603-6011-2200-f103-85d5-a985-9ba1-f34f.res6.spectrum.com)
2020-12-21 05:42:37 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:e162:f3a5:6891:9399) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 05:44:38 +0100revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Quit: Lost terminal)
2020-12-21 05:45:34 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-21 05:46:29 +0100hackageratelimiter 0.1.0 - In-memory rate limiter https://hackage.haskell.org/package/ratelimiter-0.1.0 (AlexanderThiemann)
2020-12-21 05:47:31 +0100mimi_vx(~mimi@2a01:490:16:1026:ad8e:aaec:b83:b6c3) (Ping timeout: 272 seconds)
2020-12-21 05:48:28 +0100mimi_vx(~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42)
2020-12-21 05:49:18 +0100sparsity(5eae2591@gateway/web/cgi-irc/kiwiirc.com/ip.94.174.37.145)
2020-12-21 05:53:13 +0100mimi_vx(~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42) (Ping timeout: 272 seconds)
2020-12-21 05:53:22 +0100GuerrillaMonkey(~Jeanne-Ka@static-198-54-134-122.cust.tzulo.com)
2020-12-21 05:54:23 +0100mimi_vx(~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42)
2020-12-21 05:56:04 +0100Mikagami(~MOSCOS@122.54.107.175) (Remote host closed the connection)
2020-12-21 05:56:23 +0100dbmikus(~dbmikus@c-174-49-172-14.hsd1.pa.comcast.net)
2020-12-21 05:56:29 +0100Mikagami(~MOSCOS@122.54.107.175)
2020-12-21 05:57:16 +0100Jeanne-Kamikaze(~Jeanne-Ka@66.115.189.245) (Ping timeout: 256 seconds)
2020-12-21 06:01:15 +0100shah(4012936f@64-18-147-111.starry-inc.net)
2020-12-21 06:01:27 +0100mimi_vx(~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42) (Ping timeout: 272 seconds)
2020-12-21 06:01:37 +0100 <shah> hey so
2020-12-21 06:01:55 +0100 <shah> can someone explain what irs is what free node is what irc client is and how this stuff works
2020-12-21 06:02:01 +0100 <shah> it all looks like alien technology
2020-12-21 06:02:07 +0100 <shah> i have no idea wtf any thing means
2020-12-21 06:05:29 +0100shah(4012936f@64-18-147-111.starry-inc.net) (Remote host closed the connection)
2020-12-21 06:05:30 +0100ADG1089_(~adg1089@171.76.183.207) (Read error: Connection reset by peer)
2020-12-21 06:05:43 +0100ADG1089_(~adg1089@171.76.183.207)
2020-12-21 06:06:00 +0100hackageHSmarty 0.4.0 - Small template engine https://hackage.haskell.org/package/HSmarty-0.4.0 (AlexanderThiemann)
2020-12-21 06:07:16 +0100dbmikus(~dbmikus@c-174-49-172-14.hsd1.pa.comcast.net) (Ping timeout: 272 seconds)
2020-12-21 06:07:17 +0100ADG1089_(~adg1089@171.76.183.207) (Read error: Connection reset by peer)
2020-12-21 06:07:30 +0100ADG1089_(~adg1089@122.163.166.13)
2020-12-21 06:08:42 +0100jedws(~jedws@121.209.189.201)
2020-12-21 06:08:56 +0100GuerrillaMonkey(~Jeanne-Ka@static-198-54-134-122.cust.tzulo.com) (Quit: Leaving)
2020-12-21 06:13:46 +0100mimi_vx(~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42)
2020-12-21 06:15:59 +0100ADG1089(~aditya@122.163.166.13)
2020-12-21 06:17:01 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:e162:f3a5:6891:9399)
2020-12-21 06:19:27 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Remote host closed the connection)
2020-12-21 06:19:43 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) ()
2020-12-21 06:19:53 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2020-12-21 06:21:28 +0100sparsity(5eae2591@gateway/web/cgi-irc/kiwiirc.com/ip.94.174.37.145) (Quit: Connection closed)
2020-12-21 06:21:43 +0100nowhere_man(~pierre@2a01:e0a:3c7:60d0:e88f:4e24:f6a7:f155) (Ping timeout: 272 seconds)
2020-12-21 06:23:54 +0100ddellacosta(dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds)
2020-12-21 06:29:12 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
2020-12-21 06:33:52 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 260 seconds)
2020-12-21 06:35:29 +0100jedws(~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 06:36:33 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2020-12-21 06:40:02 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
2020-12-21 06:40:07 +0100haritz(~hrtz@unaffiliated/haritz) (Ping timeout: 246 seconds)
2020-12-21 06:41:50 +0100haritz(~hrtz@62.3.70.206)
2020-12-21 06:41:50 +0100haritz(~hrtz@62.3.70.206) (Changing host)
2020-12-21 06:41:50 +0100haritz(~hrtz@unaffiliated/haritz)
2020-12-21 06:45:02 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 264 seconds)
2020-12-21 06:47:43 +0100ADG1089(~aditya@122.163.166.13) (Quit: Konversation terminated!)
2020-12-21 06:49:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-21 06:52:55 +0100Kronic(~Kronic___@84.203.96.46) (Quit: Leaving)
2020-12-21 06:54:11 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:e162:f3a5:6891:9399) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 06:54:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-12-21 06:56:02 +0100mimi_vx(~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42) (Ping timeout: 260 seconds)
2020-12-21 06:57:05 +0100kam1(~kam1@24.231.108.143)
2020-12-21 07:00:02 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
2020-12-21 07:00:42 +0100justan0theruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-12-21 07:01:12 +0100electricityZZZZ(~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2020-12-21 07:04:54 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 268 seconds)
2020-12-21 07:06:08 +0100mounty(~mounty@2001:8000:2f59:0:353e:aa93:586e:e169) (Ping timeout: 268 seconds)
2020-12-21 07:08:03 +0100Lowl3v3l(~Lowl3v3l@dslb-002-203-233-025.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2020-12-21 07:11:36 +0100xcmw(~textual@2603-6011-2200-f103-85d5-a985-9ba1-f34f.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 07:11:58 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2020-12-21 07:17:26 +0100robbiet480(~robbiet48@185.103.96.147)
2020-12-21 07:17:35 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2020-12-21 07:18:07 +0100vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-12-21 07:19:39 +0100yangby(~secret@125.120.166.218)
2020-12-21 07:20:22 +0100yangby(~secret@125.120.166.218) (Client Quit)
2020-12-21 07:20:23 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
2020-12-21 07:22:13 +0100mimi_vx(~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42)
2020-12-21 07:22:16 +0100coot(~coot@37.30.50.101.nat.umts.dynamic.t-mobile.pl)
2020-12-21 07:24:55 +0100ADG1089_(~adg1089@122.163.166.13) (Remote host closed the connection)
2020-12-21 07:25:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-21 07:25:12 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 260 seconds)
2020-12-21 07:28:05 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-12-21 07:29:03 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds)
2020-12-21 07:29:52 +0100xcmw(~textual@2603-6011-2200-f103-85d5-a985-9ba1-f34f.res6.spectrum.com)
2020-12-21 07:40:36 +0100jedws(~jedws@121.209.189.201)
2020-12-21 07:42:26 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2020-12-21 07:43:43 +0100srk(~sorki@gateway/tor-sasl/sorki) (Ping timeout: 240 seconds)
2020-12-21 07:43:54 +0100sorki(~sorki@gateway/tor-sasl/sorki)
2020-12-21 07:46:42 +0100sorkisrk
2020-12-21 07:51:24 +0100al3x27(~plovs@85.254.75.80)
2020-12-21 07:57:29 +0100hackagenumhask 0.7.1.0 - A numeric class hierarchy. https://hackage.haskell.org/package/numhask-0.7.1.0 (tonyday567)
2020-12-21 07:59:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-12-21 08:01:25 +0100cfricke(~cfricke@unaffiliated/cfricke)
2020-12-21 08:06:56 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2020-12-21 08:07:28 +0100Rudd0(~Rudd0@185.189.115.103) (Remote host closed the connection)
2020-12-21 08:07:29 +0100hackagenumhask-space 0.7.1.0 - Numerical spaces. https://hackage.haskell.org/package/numhask-space-0.7.1.0 (tonyday567)
2020-12-21 08:08:36 +0100kam1(~kam1@24.231.108.143) (Ping timeout: 240 seconds)
2020-12-21 08:11:20 +0100kuribas(~user@ptr-25vy0ia892hdhssgrv8.18120a2.ip6.access.telenet.be)
2020-12-21 08:14:11 +0100kupi(uid212005@gateway/web/irccloud.com/x-rilypanikbjfexcy) (Quit: Connection closed for inactivity)
2020-12-21 08:17:44 +0100Putonlalla(~sapekiis@it-cyan.it.jyu.fi) (Ping timeout: 272 seconds)
2020-12-21 08:17:45 +0100sfvm(~sfvm@37.228.215.77) (Remote host closed the connection)
2020-12-21 08:18:23 +0100Putonlalla(~sapekiis@it-cyan.it.jyu.fi)
2020-12-21 08:18:45 +0100hololeap(~hololeap@unaffiliated/hololeap) (Ping timeout: 240 seconds)
2020-12-21 08:24:04 +0100danso(~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 2.9)
2020-12-21 08:28:24 +0100shad0w_(a0ca25d4@160.202.37.212)
2020-12-21 08:28:29 +0100 <shad0w_> hi all.
2020-12-21 08:28:38 +0100 <shad0w_> i manually installed ghc on windows
2020-12-21 08:28:52 +0100 <shad0w_> then cabal
2020-12-21 08:28:59 +0100 <shad0w_> by downloading executables from the site
2020-12-21 08:29:16 +0100 <shad0w_> and added them to path variables and set CABAL_DIR
2020-12-21 08:29:37 +0100 <shad0w_> now i can install cabal stuff in a custom location but. it says symlink not supported on windows
2020-12-21 08:30:10 +0100 <shad0w_> manually searching and symlinking files from store will sure get tiresome : /
2020-12-21 08:30:21 +0100 <shad0w_> where do i go from there?
2020-12-21 08:30:25 +0100 <shad0w_> here*
2020-12-21 08:33:16 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2020-12-21 08:34:17 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2020-12-21 08:34:24 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-21 08:34:40 +0100sQVe(~sQVe@unaffiliated/sqve)
2020-12-21 08:35:45 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2020-12-21 08:36:19 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2020-12-21 08:36:30 +0100tff^(tff@ip98-184-89-2.mc.at.cox.net) ()
2020-12-21 08:37:44 +0100plutoniix(~q@ppp-27-55-80-94.revip3.asianet.co.th)
2020-12-21 08:38:44 +0100coot(~coot@37.30.50.101.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-12-21 08:39:52 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-12-21 08:41:34 +0100al3x27(~plovs@85.254.75.80) (Ping timeout: 246 seconds)
2020-12-21 08:41:43 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-12-21 08:45:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-21 08:46:42 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net)
2020-12-21 08:46:43 +0100StoneToad(~StoneToad@104-192-232-61.ppp.storm.ca) (Ping timeout: 265 seconds)
2020-12-21 08:47:16 +0100 <shad0w_> anyone ?
2020-12-21 08:49:11 +0100 <ski> probably many people are sleeping
2020-12-21 08:50:17 +0100 <shad0w_> timezones lol
2020-12-21 08:50:41 +0100 <shad0w_> anyway to work around symlinks not working on cabal windows ?
2020-12-21 08:50:51 +0100 <shad0w_> symlinks do work on windows tho : /
2020-12-21 08:51:09 +0100StoneToad(~StoneToad@104-192-232-16.ppp.storm.ca)
2020-12-21 08:52:39 +0100bitmagie(~Thunderbi@200116b8067d0b0059427b6ed786911e.dip.versatel-1u1.de)
2020-12-21 08:52:49 +0100Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 268 seconds)
2020-12-21 08:54:07 +0100al3x27(~plovs@85.254.75.83)
2020-12-21 08:54:38 +0100Cthalupa(~cthulhu@47.186.47.75)
2020-12-21 08:54:46 +0100xsperry(~as@unaffiliated/xsperry)
2020-12-21 08:57:53 +0100bitmagie(~Thunderbi@200116b8067d0b0059427b6ed786911e.dip.versatel-1u1.de) (Quit: bitmagie)
2020-12-21 08:58:07 +0100bitmagie(~Thunderbi@200116b8067d0b0059427b6ed786911e.dip.versatel-1u1.de)
2020-12-21 09:00:31 +0100naganikhil(67f5c4fa@103.245.196.250)
2020-12-21 09:00:34 +0100jespada(~jespada@90.254.245.49)
2020-12-21 09:01:38 +0100naganikhil(67f5c4fa@103.245.196.250) (Remote host closed the connection)
2020-12-21 09:02:54 +0100 <siraben> Can I use view patterns inside of a pattern match?
2020-12-21 09:02:59 +0100 <siraben> `foo ((ans,[s] -> S.elems), constraints, solset)`
2020-12-21 09:03:14 +0100 <kuribas> siraben: yes AFAIK
2020-12-21 09:03:20 +0100 <siraben> Oops, `foo ((ans,S.elems -> [s]), constraints, solset)`
2020-12-21 09:04:52 +0100jonathanx(~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-12-21 09:05:36 +0100jamm(~jamm@unaffiliated/jamm)
2020-12-21 09:13:55 +0100 <shad0w_> also. is cabal 3.4 stable now ?
2020-12-21 09:14:07 +0100 <shad0w_> i can only see binary downloads till 3.2
2020-12-21 09:14:15 +0100 <shad0w_> which was from april this year
2020-12-21 09:14:55 +0100robbiet480(~robbiet48@185.103.96.147) (Remote host closed the connection)
2020-12-21 09:17:39 +0100kritzefitz(~kritzefit@fw-front.credativ.com)
2020-12-21 09:20:45 +0100 <kuribas> what would be more sensible for my database language, to make query functions like haskell, or like SQL?
2020-12-21 09:20:55 +0100 <kuribas> for example: sign vs signum_
2020-12-21 09:21:07 +0100 <kuribas> concat vs .++
2020-12-21 09:22:44 +0100MOSCOS(~MOSCOS@152.32.70.55)
2020-12-21 09:23:25 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-12-21 09:24:35 +0100 <kuribas> hmm, I think I'll go for haskell ...
2020-12-21 09:25:00 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2020-12-21 09:25:15 +0100shad0w_(a0ca25d4@160.202.37.212) (Remote host closed the connection)
2020-12-21 09:26:08 +0100Mikagami(~MOSCOS@122.54.107.175) (Ping timeout: 272 seconds)
2020-12-21 09:26:24 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2020-12-21 09:26:40 +0100Mikagami(~MOSCOS@122.54.107.175)
2020-12-21 09:27:16 +0100MOSCOS(~MOSCOS@152.32.70.55) (Ping timeout: 240 seconds)
2020-12-21 09:28:13 +0100berberman_(~berberman@unaffiliated/berberman)
2020-12-21 09:29:12 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 268 seconds)
2020-12-21 09:29:29 +0100berberman_(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-12-21 09:30:06 +0100berberman(~berberman@unaffiliated/berberman)
2020-12-21 09:31:24 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
2020-12-21 09:31:54 +0100jamm(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-12-21 09:32:41 +0100 <kuribas> is it bad style to make a Num class for some applicative? Like instance Num n => Applicative (MyType n) where (+) = liftA2 (+)
2020-12-21 09:33:49 +0100bitmagie(~Thunderbi@200116b8067d0b0059427b6ed786911e.dip.versatel-1u1.de) (Quit: bitmagie)
2020-12-21 09:34:06 +0100asheshambasta(~user@ptr-e1lysaxt4bg7tmaahx1.18120a2.ip6.access.telenet.be)
2020-12-21 09:34:13 +0100aowi(~aowi@195.140.213.38)
2020-12-21 09:34:28 +0100Lycurgus(~niemand@cpe-45-46-137-210.buffalo.res.rr.com)
2020-12-21 09:36:02 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 264 seconds)
2020-12-21 09:36:26 +0100 <pavonia> What data type would you use for a function that returns a record (struct), but where the exact number of fields is determined dynamically?
2020-12-21 09:36:52 +0100sgibber2018(~arch-gibb@208.85.237.137) (Quit: WeeChat 2.9)
2020-12-21 09:37:20 +0100 <kuribas> pavonia: HashMap?
2020-12-21 09:37:27 +0100 <kuribas> pavonia: are the fields known?
2020-12-21 09:37:29 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-12-21 09:37:39 +0100 <kuribas> then you could use a Record with Maybe fields.
2020-12-21 09:38:30 +0100 <pavonia> They are known, but they may not have a value even if present
2020-12-21 09:38:41 +0100 <kuribas> then make those fields Maybe
2020-12-21 09:38:50 +0100wei2912(~wei2912@unaffiliated/wei2912)
2020-12-21 09:39:34 +0100 <pavonia> But with a record how do I distinguish between non-present fields then?
2020-12-21 09:39:59 +0100 <kuribas> you could make a newtype Present a = Present (Maybe a)
2020-12-21 09:40:13 +0100Varis(~Tadas@unaffiliated/varis)
2020-12-21 09:40:35 +0100Uniaikawas about to suggest nested Maybes :^)
2020-12-21 09:40:37 +0100Varis(~Tadas@unaffiliated/varis) (Max SendQ exceeded)
2020-12-21 09:40:53 +0100 <pavonia> kuribas: Ah, good idea
2020-12-21 09:40:55 +0100Varis(~Tadas@unaffiliated/varis)
2020-12-21 09:41:13 +0100Varis(~Tadas@unaffiliated/varis) (Max SendQ exceeded)
2020-12-21 09:41:19 +0100 <Uniaika> (but an Either AbsenceReason Value works too, with AbsenceReason = AbsentValue | AbsentField)
2020-12-21 09:41:21 +0100ph88(~ph88@2a02:8109:9e00:7e5c:d5e6:6f2:2e3f:fbbc)
2020-12-21 09:41:31 +0100Varis(~Tadas@unaffiliated/varis)
2020-12-21 09:41:58 +0100Varis(~Tadas@unaffiliated/varis) (Max SendQ exceeded)
2020-12-21 09:42:17 +0100 <kuribas> with the nested maybes you can "traverse" over them
2020-12-21 09:42:17 +0100Varis(~Tadas@unaffiliated/varis)
2020-12-21 09:43:49 +0100 <Uniaika> sure, but then you lose a bit of meaning
2020-12-21 09:44:44 +0100 <kuribas> hence why I suggested a newtype.
2020-12-21 09:45:40 +0100xcmw(~textual@2603-6011-2200-f103-85d5-a985-9ba1-f34f.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 09:45:45 +0100 <kuribas> but course you need to look at the usecase to see which pattern fits best.
2020-12-21 09:48:30 +0100hackagemassiv 0.5.9.0 - Massiv (Массив) is an Array Library. https://hackage.haskell.org/package/massiv-0.5.9.0 (lehins)
2020-12-21 09:49:11 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
2020-12-21 09:49:17 +0100gioyik(~gioyik@186.112.104.164) (Quit: WeeChat 3.0)
2020-12-21 09:51:27 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection)
2020-12-21 09:51:44 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
2020-12-21 09:52:00 +0100hackagemassiv-test 0.1.6 - Library that contains generators, properties and tests for Massiv Array Library. https://hackage.haskell.org/package/massiv-test-0.1.6 (lehins)
2020-12-21 09:53:04 +0100michalrus(m@michalrus.com) (Ping timeout: 260 seconds)
2020-12-21 09:56:17 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 260 seconds)
2020-12-21 09:56:20 +0100drbean(~drbean@TC210-63-209-45.static.apol.com.tw) (Ping timeout: 268 seconds)
2020-12-21 10:00:59 +0100bitmagie(~Thunderbi@200116b8067d0b0059427b6ed786911e.dip.versatel-1u1.de)
2020-12-21 10:01:20 +0100bitmagie(~Thunderbi@200116b8067d0b0059427b6ed786911e.dip.versatel-1u1.de) (Client Quit)
2020-12-21 10:08:37 +0100StoneToad(~StoneToad@104-192-232-16.ppp.storm.ca) (Ping timeout: 264 seconds)
2020-12-21 10:09:33 +0100Lowl3v3l(~Lowl3v3l@dslb-002-203-233-025.002.203.pools.vodafone-ip.de)
2020-12-21 10:11:34 +0100jedws(~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 10:12:03 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-htmytuyleznwkrop) (Quit: Connection closed for inactivity)
2020-12-21 10:12:04 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
2020-12-21 10:12:34 +0100thc202(~thc202@unaffiliated/thc202)
2020-12-21 10:12:40 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
2020-12-21 10:13:08 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) ()
2020-12-21 10:13:09 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
2020-12-21 10:13:47 +0100StoneToad(~StoneToad@104-192-232-11.ppp.storm.ca)
2020-12-21 10:13:56 +0100heatsink(~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523) (Remote host closed the connection)
2020-12-21 10:15:07 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-12-21 10:16:42 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 260 seconds)
2020-12-21 10:17:31 +0100Gurkenglas_(~Gurkengla@unaffiliated/gurkenglas)
2020-12-21 10:18:17 +0100sgibber2018(~arch-gibb@208.85.237.137)
2020-12-21 10:19:19 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-12-21 10:21:18 +0100paintedindigo(~paintedin@2603-6011-4a41-8ada-acc5-c030-b0d1-e98d.res6.spectrum.com)
2020-12-21 10:21:50 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2020-12-21 10:24:17 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-12-21 10:24:45 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2020-12-21 10:27:06 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net) ()
2020-12-21 10:29:00 +0100hackagerob 0.0.5 - Simple projects generator https://hackage.haskell.org/package/rob-0.0.5 (gianlucaguarini)
2020-12-21 10:32:46 +0100knupfer(~Thunderbi@200116b82c5f82007cc2bcfffee85e5b.dip.versatel-1u1.de)
2020-12-21 10:32:48 +0100knupfer(~Thunderbi@200116b82c5f82007cc2bcfffee85e5b.dip.versatel-1u1.de) (Client Quit)
2020-12-21 10:33:00 +0100knupfer(~Thunderbi@i5E86B451.versanet.de)
2020-12-21 10:38:05 +0100jmchael(~jmchael@81.174.180.109) (Ping timeout: 240 seconds)
2020-12-21 10:38:32 +0100xcmw(~textual@2603-6011-2200-f103-85d5-a985-9ba1-f34f.res6.spectrum.com)
2020-12-21 10:39:18 +0100jmchael(~jmchael@81.174.205.210)
2020-12-21 10:43:35 +0100jfalcon(905c1fea@144.92.31.234) (Remote host closed the connection)
2020-12-21 10:44:04 +0100wonko7(~wonko7@2a01:e35:2ffb:7040:4535:f480:7dff:b3b5)
2020-12-21 10:44:28 +0100paintedindigo(~paintedin@2603-6011-4a41-8ada-acc5-c030-b0d1-e98d.res6.spectrum.com) (Quit: Leaving)
2020-12-21 10:45:43 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-12-21 10:46:04 +0100jonathanx(~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-12-21 10:47:50 +0100jmchael_(~jmchael@81.174.205.210)
2020-12-21 10:50:37 +0100jmchael(~jmchael@81.174.205.210) (Ping timeout: 264 seconds)
2020-12-21 10:50:43 +0100knupfer(~Thunderbi@i5E86B451.versanet.de) (Ping timeout: 246 seconds)
2020-12-21 10:50:47 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-12-21 10:56:03 +0100ADG1089__(~aditya@122.163.166.13)
2020-12-21 10:56:45 +0100__monty__(~toonn@unaffiliated/toonn)
2020-12-21 10:57:32 +0100xff0x_(~fox@2001:1a81:537d:6200:144f:d9e9:684e:2cc4) (Ping timeout: 260 seconds)
2020-12-21 10:58:14 +0100xff0x_(~fox@2001:1a81:537d:6200:d556:5a29:e425:afb)
2020-12-21 10:58:32 +0100Tops2(~Tobias@dyndsl-095-033-016-029.ewe-ip-backbone.de)
2020-12-21 11:00:21 +0100Rudd0(~Rudd0@185.189.115.103)
2020-12-21 11:07:44 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2020-12-21 11:07:53 +0100christo(~chris@81.96.113.213)
2020-12-21 11:11:26 +0100wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-12-21 11:12:16 +0100Stanley00(~stanley00@unaffiliated/stanley00) ()
2020-12-21 11:12:20 +0100knupfer1(~Thunderbi@i5E86B451.versanet.de)
2020-12-21 11:12:58 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-12-21 11:14:42 +0100knupfer1knupfer
2020-12-21 11:17:24 +0100nrh^(nrh@ip98-184-89-2.mc.at.cox.net)
2020-12-21 11:18:05 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-12-21 11:18:27 +0100cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it)
2020-12-21 11:18:47 +0100ph88(~ph88@2a02:8109:9e00:7e5c:d5e6:6f2:2e3f:fbbc) (Ping timeout: 260 seconds)
2020-12-21 11:19:56 +0100ggVGc(~ggVGc@a.lowtech.earth) (Changing host)
2020-12-21 11:19:57 +0100ggVGc(~ggVGc@unaffiliated/walt)
2020-12-21 11:20:34 +0100Lycurgus(~niemand@cpe-45-46-137-210.buffalo.res.rr.com) (Quit: Exeunt)
2020-12-21 11:26:14 +0100caubert(~caubert@207.246.80.112)
2020-12-21 11:30:27 +0100 <ADG1089__> does anyone know how to solve this problem - Could not find module ‘Control.Monad’;There are files missing in the ‘base-4.14.1.0’ package,;try running 'ghc-pkg check'.;Use -v (or `:set -v` in ghci) to see a list of the files searched for.typecheck
2020-12-21 11:31:13 +0100 <ADG1089__> I don't know what (pacman/stack/cabal/ghcuo) to install what (ghc/hlint/xmonad/xmonad-contrib/haskell-language-server)...
2020-12-21 11:31:32 +0100 <merijn> ADG1089__: Are you on Arch?
2020-12-21 11:32:09 +0100 <ADG1089__> yes
2020-12-21 11:32:44 +0100 <merijn> ADG1089__: Arch's package manager (intentionally) installs a broken GHC, that error is the other tools tripping over Arch's broken install
2020-12-21 11:33:11 +0100 <merijn> See the Arch wiki, although I would personally recommend just not using any of Arch's Haskell packages
2020-12-21 11:33:13 +0100 <ADG1089__> yeah i don't want 8.10.x, i instead want LTS or 8.8.4 ghc
2020-12-21 11:34:50 +0100 <merijn> Not sure how to make haskell-language-server play nice with stack, you might wanna ask in haskell-ide-engine
2020-12-21 11:34:53 +0100 <merijn> eh
2020-12-21 11:34:56 +0100 <merijn> #haskell-ide-engine
2020-12-21 11:35:18 +0100 <merijn> ADG1089__: Basically, GHC (by default) links statically, but the Arch package doesn't install the static libraries
2020-12-21 11:36:13 +0100 <merijn> ADG1089__: The "Could not find module ‘Control.Monad’;There are files missing in the ‘base-4.14.1.0’" is triggered by GHC trying to use it's own library and finding the static versions missing, so whatever you're using is trying to use your system GHC installed via Arch
2020-12-21 11:36:43 +0100sandy-claws(jess@freenode/staff/jess) (Quit: updates)
2020-12-21 11:36:50 +0100 <ADG1089__> yeah vim uses correct ghc
2020-12-21 11:36:53 +0100 <ADG1089__> but not vscode
2020-12-21 11:37:10 +0100 <ADG1089__> i remove all pacman haskell stuff and using ghcup and cabal
2020-12-21 11:39:41 +0100 <yushyin> ADG1089__: installing/using xmonad with cabal v2- is not that obvious, here is a nice little example by hvr https://github.com/xmonad/xmonad/issues/199#issuecomment-609433196
2020-12-21 11:46:50 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2020-12-21 11:48:02 +0100 <ADG1089__> generating package-env is done through cabal-env, right?
2020-12-21 11:48:12 +0100coot(~coot@37.30.50.101.nat.umts.dynamic.t-mobile.pl)
2020-12-21 11:49:27 +0100guest1221(~user@49.5.6.87) (Ping timeout: 260 seconds)
2020-12-21 11:49:38 +0100Franciman(~francesco@host-82-49-79-73.retail.telecomitalia.it)
2020-12-21 11:49:52 +0100effa(~user@2001:4b00:1c0:1601:3de5:92e6:740a:1f71)
2020-12-21 11:50:01 +0100xcmw(~textual@2603-6011-2200-f103-85d5-a985-9ba1-f34f.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 11:52:04 +0100 <yushyin> no? dunno? You just need cabal install --lib --package-env=NAME|PATH somepackageA somepackageB
2020-12-21 11:53:35 +0100 <yushyin> from the link above `cabal install -z --lib --package-env=$HOME/.xmonad/ xmonad xmonad-contrib'
2020-12-21 11:54:17 +0100 <ADG1089__> yeah i though it was next command, stupid me
2020-12-21 11:54:27 +0100 <ADG1089__> to activate it or something
2020-12-21 11:56:37 +0100L29Ah(~L29Ah@unaffiliated/l29ah) (Ping timeout: 258 seconds)
2020-12-21 11:59:54 +0100jamm(~jamm@unaffiliated/jamm)
2020-12-21 12:04:34 +0100 <ADG1089__> thanks, it works great now
2020-12-21 12:05:45 +0100 <yushyin> ADG1089__: no problem!
2020-12-21 12:08:24 +0100lolmac(sid171216@gateway/web/irccloud.com/x-duuhdmvyopfrbzrt) (Quit: Connection closed for inactivity)
2020-12-21 12:08:53 +0100 <merijn> Any people with more lens insight that can help me figure out how the hell I get a "Getting" out of "ALens'" here? https://hackage.haskell.org/package/Cabal-3.2.1.0/docs/Distribution-Compat-Lens.html#t:ALens-39-
2020-12-21 12:09:33 +0100 <merijn> oh, wait, I just need aview >.>
2020-12-21 12:12:23 +0100ADG1089__(~aditya@122.163.166.13) (Remote host closed the connection)
2020-12-21 12:14:30 +0100plutoniix(~q@ppp-27-55-80-94.revip3.asianet.co.th) (Quit: Leaving)
2020-12-21 12:20:57 +0100xff0x_(~fox@2001:1a81:537d:6200:d556:5a29:e425:afb) (Ping timeout: 260 seconds)
2020-12-21 12:21:24 +0100xff0x_(~fox@2001:1a81:537d:6200:338c:13b2:3e7a:4646)
2020-12-21 12:23:03 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
2020-12-21 12:23:39 +0100ville(~ville@212-149-214-47.bb.dnainternet.fi)
2020-12-21 12:24:43 +0100 <ville> howdy, what's the overall opinion on https://haskell.mooc.fi/material/ ? reasonable way to start or better look elsewhere?
2020-12-21 12:27:57 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 260 seconds)
2020-12-21 12:28:11 +0100 <merijn> Never heard of it, but at quick glance it seems...a bit minimal? It only talks about IO in the last lecture and then glosses over tons off stuff about it...
2020-12-21 12:28:18 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-12-21 12:30:02 +0100ADG1089__(~aditya@122.163.166.13)
2020-12-21 12:30:19 +0100 <merijn> ville: The "usual suspects" for introductions (in no particular order, since I haven't read any of them :p) are: "Thinking Functionally With Haskell" by Richard Bird, "Programming in Haskell" by Graham Hutton, and "Haskell From First Principles" (http://haskellbook.com/) and the CIS194 course: https://www.seas.upenn.edu/~cis194/spring13/
2020-12-21 12:30:49 +0100 <Franciman> Hi ville, long time no see, since #c++ days, can I suggest learn you a haskell for great good?
2020-12-21 12:31:02 +0100ADG1089__(~aditya@122.163.166.13) (Remote host closed the connection)
2020-12-21 12:31:03 +0100 <Franciman> http://learnyouahaskell.com/
2020-12-21 12:31:04 +0100 <merijn> Franciman: tbh, Learn You a Haskell is...not great
2020-12-21 12:31:14 +0100 <Franciman> uh really?
2020-12-21 12:31:18 +0100 <merijn> It's easy reading and shows off some cool things
2020-12-21 12:31:18 +0100 <Franciman> I loved it, ok then :P
2020-12-21 12:31:27 +0100 <merijn> Franciman: I'm not saying it's not fun to read
2020-12-21 12:31:41 +0100 <merijn> It's just not really good at leaving you prepared to *write* code
2020-12-21 12:31:42 +0100ADG1089__(~aditya@122.163.166.13)
2020-12-21 12:31:45 +0100ADG1089__(~aditya@122.163.166.13) (Client Quit)
2020-12-21 12:32:11 +0100ADG1089__(~aditya@122.163.166.13)
2020-12-21 12:32:11 +0100ADG1089__(~aditya@122.163.166.13) (Client Quit)
2020-12-21 12:32:17 +0100 <tdammers> the problem with LYAH is that it takes a bit too much liberty with facts
2020-12-21 12:32:29 +0100 <merijn> Franciman: I liked reading it too, because there was nothing else at the time, but I've also seen lots of beginners struggle after finishing it, unable to really write anything
2020-12-21 12:32:43 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds)
2020-12-21 12:32:59 +0100 <merijn> tdammers: That, and glossing over some important details, and lacking exercises
2020-12-21 12:33:04 +0100 <tdammers> it does that with all the best didactic intentions, but experience shows that this liberty often leads to incorrect assumptions on the learner's side, and unlearning those assumptions can make the learning process harder than it needs to be later
2020-12-21 12:33:16 +0100 <Franciman> I see
2020-12-21 12:33:18 +0100 <Franciman> how about real world haskell?
2020-12-21 12:33:25 +0100 <Franciman> maybe it's a bit outdated
2020-12-21 12:33:31 +0100 <kuribas> real world haskell is great but outdated
2020-12-21 12:33:34 +0100 <merijn> Franciman: Basically, LYAH is good for getting people an idea about why Haskell is cool and getting them hyped up, not so much for learning :)
2020-12-21 12:33:53 +0100 <tdammers> frankly, I've never found the lack of exercises a problem in any learning materials
2020-12-21 12:33:58 +0100 <kuribas> merijn: that's already something :)
2020-12-21 12:34:02 +0100 <merijn> kuribas: Sure
2020-12-21 12:34:07 +0100 <Franciman> I still remember the cool explaination of Zipper
2020-12-21 12:34:08 +0100 <Franciman> :')
2020-12-21 12:34:10 +0100 <tdammers> in fact, I pretty much always ignore the exercises
2020-12-21 12:34:13 +0100 <merijn> But it makes me hesitant to recommend it :)
2020-12-21 12:34:16 +0100 <tdammers> but maybe that's just how I learn
2020-12-21 12:34:18 +0100fendor(~fendor@77.119.130.63.wireless.dyn.drei.com)
2020-12-21 12:34:28 +0100 <Franciman> I guess you have a point merijn
2020-12-21 12:34:41 +0100 <merijn> tdammers: Same, but experience TAing Ocaml has taught me exercises are crucial for at least a 3rd of students
2020-12-21 12:37:20 +0100 <sgibber2018> Takes a bit of both for me.
2020-12-21 12:37:23 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
2020-12-21 12:37:37 +0100ADG1089__(~aditya@122.163.166.13)
2020-12-21 12:38:59 +0100 <tdammers> merijn: that 1/3 is undeserving! HAH!
2020-12-21 12:39:13 +0100 <Franciman> I think exercises are good for people that are not extremely interested
2020-12-21 12:39:25 +0100 <Franciman> because reading carefully takes time
2020-12-21 12:39:30 +0100 <kuribas> I think exercises are good for everyone :)
2020-12-21 12:39:33 +0100 <tdammers> on a more serious note though, learning because you want to learn and learning because you want to pass an exam are of course two completely different things
2020-12-21 12:39:36 +0100 <sgibber2018> Haskell is such a nuanced language that it's really easy to read something about it and *think* you understand it until you get some practical experience in
2020-12-21 12:39:40 +0100Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2020-12-21 12:39:49 +0100 <ville> merijn: ok i'll give those a look
2020-12-21 12:39:57 +0100 <ville> Franciman: thanks. i'll give that a look as well
2020-12-21 12:39:57 +0100 <tdammers> sgibber2018: the trick is to proceed to "practical experience" immediately
2020-12-21 12:40:02 +0100Kaiepi(~Kaiepi@47.54.252.148)
2020-12-21 12:40:16 +0100 <sgibber2018> Franciman: That's really not fair. You can be extremely interested in something and a very careful reader and still miss the point unless you do the exercises
2020-12-21 12:40:27 +0100 <Franciman> sgibber2018, nono, I didn't mean that it's not useful for others
2020-12-21 12:40:29 +0100 <tdammers> read chapter -> form mental model -> tinker -> revise mental model -> repeat
2020-12-21 12:40:34 +0100 <Franciman> I said that it's cool for getting people hooked
2020-12-21 12:41:31 +0100 <sgibber2018> tdammers: That's definitely the way to go
2020-12-21 12:42:16 +0100 <Franciman> I didn't mean at all that exercises are for stupids or something :P, just that I find they get some people hooked more easily
2020-12-21 12:42:26 +0100 <sgibber2018> Ah that makes sense
2020-12-21 12:43:21 +0100jmchael_jmchael
2020-12-21 12:43:22 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
2020-12-21 12:45:20 +0100 <tdammers> also, one of my favorite Haskell learning "books" is Write Yourself A Scheme, and that one is near 100% exercises in a way
2020-12-21 12:46:18 +0100ADG1089__(~aditya@122.163.166.13) (Remote host closed the connection)
2020-12-21 12:46:27 +0100 <sgibber2018> tdammers: That sounds pretty tempting
2020-12-21 12:47:23 +0100 <Franciman> I suggest writing a caml, instead of a Scheme
2020-12-21 12:47:25 +0100 <Franciman> that's cool
2020-12-21 12:47:35 +0100 <Franciman> and you can add types
2020-12-21 12:48:01 +0100 <Franciman> and you have something somewhat similar to haskell, just less advanced
2020-12-21 12:48:02 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 264 seconds)
2020-12-21 12:48:47 +0100 <Franciman> the final exercise is to fork the community with a new language :P
2020-12-21 12:48:52 +0100 <tdammers> Franciman: that's not the point though. the book doesn't try to teach implementing schemes, it uses implementing a scheme as a vehicle for teaching haskell
2020-12-21 12:49:17 +0100 <tdammers> and scheme is a better candidate for that exactly *because* you don't need to make a type checker
2020-12-21 12:50:12 +0100 <Franciman> hm, I thought one would be interested in implementing a language too
2020-12-21 12:50:31 +0100 <Franciman> I found it cool to implement something similar to haskell
2020-12-21 12:50:43 +0100 <Franciman> ofc if it's for learning haskell, it's not the point
2020-12-21 12:51:27 +0100 <Franciman> but you can learn haskell also by implementing an untyped lambda calculus with some sugar, i.e. an ML, and if yo uare interested in implementing more, you can add stuff
2020-12-21 12:51:31 +0100 <Franciman> or stop
2020-12-21 12:51:44 +0100 <tdammers> stephen diehl made a start with a "write yourself a haskell" thing
2020-12-21 12:52:03 +0100 <tdammers> http://dev.stephendiehl.com/fun/
2020-12-21 12:52:07 +0100 <Franciman> probably you may argue that the whole point of ML is having types
2020-12-21 12:52:12 +0100 <Franciman> then ok
2020-12-21 12:52:38 +0100 <kuribas> is having *type inference*
2020-12-21 12:52:54 +0100 <kuribas> and ADTs
2020-12-21 12:53:09 +0100 <ephemient> SML has less sugar than Caml so is a bit easier as a first project IMO
2020-12-21 12:53:55 +0100 <Franciman> agreed
2020-12-21 12:55:06 +0100 <sgibber2018> I've found the exercises where you do things like re-implement List or other basic language features to be pretty helpful.
2020-12-21 12:55:21 +0100 <sgibber2018> Gives context to ideas
2020-12-21 12:59:45 +0100ADG1089__(~aditya@122.163.166.13)
2020-12-21 13:00:43 +0100knupfer(~Thunderbi@i5E86B451.versanet.de) (Quit: knupfer)
2020-12-21 13:02:46 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-12-21 13:02:54 +0100borne(~fritjof@200116b864861500c0a3d285e8e687f4.dip.versatel-1u1.de)
2020-12-21 13:02:56 +0100kuribas(~user@ptr-25vy0ia892hdhssgrv8.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2020-12-21 13:03:31 +0100ADG1089__(~aditya@122.163.166.13) (Remote host closed the connection)
2020-12-21 13:03:43 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
2020-12-21 13:06:31 +0100plutoniix(~q@ppp-27-55-80-94.revip3.asianet.co.th)
2020-12-21 13:08:12 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 260 seconds)
2020-12-21 13:11:50 +0100drbean(~drbean@TC210-63-209-29.static.apol.com.tw)
2020-12-21 13:12:34 +0100olligobber(~olligobbe@unaffiliated/olligobber) (Ping timeout: 260 seconds)
2020-12-21 13:14:09 +0100dolio(~dolio@haskell/developer/dolio) (Read error: Connection reset by peer)
2020-12-21 13:14:31 +0100dolio(~dolio@haskell/developer/dolio)
2020-12-21 13:14:37 +0100ADG1089__(~aditya@122.163.166.13)
2020-12-21 13:15:18 +0100Wuzzy(~Wuzzy@p5790e20f.dip0.t-ipconnect.de)
2020-12-21 13:15:36 +0100nyd(~nyd@unaffiliated/elysian)
2020-12-21 13:17:39 +0100Lycurgus(~niemand@cpe-45-46-137-210.buffalo.res.rr.com)
2020-12-21 13:20:15 +0100 <gentauro> 12:51 < tdammers> stephen diehl made a start with a "write yourself a haskell" thing
2020-12-21 13:20:34 +0100 <gentauro> his nano parsec is really helpfull to get a grasp of parser combinators in Haskell
2020-12-21 13:20:42 +0100ADG1089__(~aditya@122.163.166.13) (Remote host closed the connection)
2020-12-21 13:21:35 +0100ville(~ville@212-149-214-47.bb.dnainternet.fi) ()
2020-12-21 13:23:12 +0100 <gentauro> tdammers: btw, didn't Diehl get a bit of heat cos he stated his opinion about BlockChains?
2020-12-21 13:23:23 +0100 <merijn> Define "heat"
2020-12-21 13:23:35 +0100mmsari(~Thunderbi@95.173.249.149)
2020-12-21 13:23:42 +0100 <gentauro> merijn: like people got a mad and stuff
2020-12-21 13:23:50 +0100 <merijn> Lots of people think cryptocurrencies are just ponzi schemes for tech people
2020-12-21 13:23:59 +0100 <gentauro> merijn: I'm one :)
2020-12-21 13:24:03 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
2020-12-21 13:24:12 +0100 <merijn> Well, yes, people at the top of pyramid/ponzi schemes tend to get mad when you point that out...
2020-12-21 13:25:08 +0100 <gentauro> but since it's those companies that sponsor most of the current Haskell development, I hope they don't have any consecuences for Diehl. He has some really nice stuff :)
2020-12-21 13:25:21 +0100 <gentauro> they = it
2020-12-21 13:25:54 +0100 <merijn> tbh, those companies don't sponsor nearly as much Haskell development as your comment implies :p
2020-12-21 13:26:48 +0100ADG1089__(~aditya@122.163.166.13)
2020-12-21 13:26:56 +0100ADG1089__(~aditya@122.163.166.13) (Client Quit)
2020-12-21 13:27:20 +0100 <gentauro> merijn: arent' they "buying" ressources from FP Complete, Tweag.IO and WellTyped?
2020-12-21 13:27:24 +0100 <gentauro> that's about it xD
2020-12-21 13:27:31 +0100ADG1089__(~aditya@122.163.166.13)
2020-12-21 13:27:36 +0100ADG1089__(~aditya@122.163.166.13) (Client Quit)
2020-12-21 13:28:07 +0100 <gentauro> as I understood from Marlow, FB and M$ pay for one (or two) Well-Typed consultants to work on GHC
2020-12-21 13:28:11 +0100Entertainment(~entertain@104.246.132.210)
2020-12-21 13:28:24 +0100 <gentauro> the rest is the Block Chains companies :D (mostly IOHk0
2020-12-21 13:28:29 +0100fuzzypixelz(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2020-12-21 13:28:29 +0100 <gentauro> IOHK)
2020-12-21 13:28:36 +0100ADG1089__(~aditya@122.163.166.13)
2020-12-21 13:28:50 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 264 seconds)
2020-12-21 13:29:39 +0100ADG1089__(~aditya@122.163.166.13) (Remote host closed the connection)
2020-12-21 13:30:03 +0100ADG1089__(~aditya@122.163.166.13)
2020-12-21 13:35:32 +0100geekosaur(ac3a5760@172.58.87.96)
2020-12-21 13:36:09 +0100Hafydd(~Hafydd@unaffiliated/joo) (Quit: WeeChat 2.9)
2020-12-21 13:37:25 +0100todda7(~torstein@ppp-2-84-17-53.home.otenet.gr) (Ping timeout: 240 seconds)
2020-12-21 13:37:38 +0100Lycurgus.oO( can they say 'ethically challenged'? )
2020-12-21 13:38:12 +0100_ashbreeze_(~mark@184-157-32-85.dyn.centurytel.net) (Remote host closed the connection)
2020-12-21 13:38:23 +0100DavidEichmann(~david@62.110.198.146.dyn.plus.net)
2020-12-21 13:38:47 +0100nemron(~nemron@2a02:810b:c7bf:fdb8:e5d9:cf51:dbc1:34c4)
2020-12-21 13:39:06 +0100 <Lycurgus> a mlm was paying me a decent monthly retainer a couple of years ago but I had to bail because that's actually evil
2020-12-21 13:39:37 +0100_ashbreeze_(~mark@184-157-32-85.dyn.centurytel.net)
2020-12-21 13:40:07 +0100 <tdammers> I'm not going to go into much detail, but well-typed has more customers than GHC and blockchain
2020-12-21 13:40:46 +0100 <Lycurgus> is that the 'good shop"?
2020-12-21 13:41:15 +0100 <tdammers> define 'good'
2020-12-21 13:41:21 +0100 <Lycurgus> i know one of em had some reasonable claim and/or pretense to being a professional assoc
2020-12-21 13:41:55 +0100 <Lycurgus> not wage slavers or people that do nothing but lie to get money is a good start
2020-12-21 13:42:13 +0100 <tdammers> speaking as a WT employee/consultant, I can say that business is conducted in an orderly fashion, and it's the best job I've ever had by a fair margin
2020-12-21 13:42:36 +0100 <tdammers> if working at WT is wage slavery, then everything is
2020-12-21 13:42:51 +0100 <Lycurgus> the term employee is noted
2020-12-21 13:42:59 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2020-12-21 13:43:19 +0100 <Lycurgus> even the dam wallmark has associates
2020-12-21 13:43:25 +0100 <Lycurgus> *damn
2020-12-21 13:44:55 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-12-21 13:45:57 +0100Kaiepi(~Kaiepi@47.54.252.148) (Read error: Connection reset by peer)
2020-12-21 13:46:09 +0100Kaiepi(~Kaiepi@47.54.252.148)
2020-12-21 13:46:14 +0100borne(~fritjof@200116b864861500c0a3d285e8e687f4.dip.versatel-1u1.de) (Ping timeout: 264 seconds)
2020-12-21 13:46:51 +0100geekosaur(ac3a5760@172.58.87.96) (Remote host closed the connection)
2020-12-21 13:46:52 +0100guest1221(~user@49.5.6.87)
2020-12-21 13:48:09 +0100 <tdammers> we use the term "employees" loosely
2020-12-21 13:48:25 +0100 <tdammers> some of us are legally employees, others are not. personal choice.
2020-12-21 13:48:32 +0100geekosaur(ac3a5760@172.58.87.96)
2020-12-21 13:49:17 +0100 <tdammers> I went with "employee" solely because I don't want to deal with the bureaucratic nonsense that comes with being self-employed in NL
2020-12-21 13:51:35 +0100fuzzypixelz(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: fuzzypixelz)
2020-12-21 13:51:39 +0100guest1221(~user@49.5.6.87) (Ping timeout: 260 seconds)
2020-12-21 13:51:51 +0100 <Lycurgus> as opposed to where?
2020-12-21 13:51:53 +0100Tario(~Tario@201.192.165.173)
2020-12-21 13:53:02 +0100 <Lycurgus> monaco maybe
2020-12-21 13:53:32 +0100plutoniix(~q@ppp-27-55-80-94.revip3.asianet.co.th) (Quit: Leaving)
2020-12-21 13:57:04 +0100Mikagami(~MOSCOS@122.54.107.175) (Remote host closed the connection)
2020-12-21 13:57:31 +0100Mikagami(~MOSCOS@122.54.107.175)
2020-12-21 13:57:36 +0100borne(~fritjof@200116b864861500c0a3d285e8e687f4.dip.versatel-1u1.de)
2020-12-21 13:58:01 +0100 <Lycurgus> in the capitalism, whether as an economic system or a social order, ur swimmin' with sharks
2020-12-21 13:58:21 +0100remy^(~remy@2a02:a210:2140:f480:6e62:6dff:fe0a:58e9)
2020-12-21 13:58:26 +0100remy(~remy@2a02:a210:2140:f480:6e62:6dff:fe0a:58e9)
2020-12-21 13:58:36 +0100phaul(~phaul@ruby/staff/phaul) (Ping timeout: 256 seconds)
2020-12-21 13:58:50 +0100remy^(~remy@2a02:a210:2140:f480:6e62:6dff:fe0a:58e9) (Changing host)
2020-12-21 13:58:50 +0100remy^(~remy@unaffiliated/remy/x-3943829)
2020-12-21 13:58:56 +0100fuzzypixelz(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2020-12-21 13:59:07 +0100remy(~remy@2a02:a210:2140:f480:6e62:6dff:fe0a:58e9) (Client Quit)
2020-12-21 13:59:32 +0100remy^(~remy@unaffiliated/remy/x-3943829) ()
2020-12-21 13:59:55 +0100fuzzypixelz(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Client Quit)
2020-12-21 14:00:28 +0100phaul(~phaul@ruby/staff/phaul)
2020-12-21 14:00:46 +0100todda7(~torstein@ppp-2-84-17-53.home.otenet.gr)
2020-12-21 14:02:05 +0100pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2020-12-21 14:03:47 +0100mmsari(~Thunderbi@95.173.249.149) (Ping timeout: 265 seconds)
2020-12-21 14:04:47 +0100ADG1089__(~aditya@122.163.166.13) (Remote host closed the connection)
2020-12-21 14:05:27 +0100Nahra(~Nahra@unaffiliated/nahra)
2020-12-21 14:06:15 +0100nowhere_man(~pierre@2a01:e0a:3c7:60d0:e88f:4e24:f6a7:f155)
2020-12-21 14:06:23 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds)
2020-12-21 14:06:42 +0100ADG1089__(~aditya@122.163.166.13)
2020-12-21 14:07:07 +0100meinhof(4eb83a77@78.184.58.119)
2020-12-21 14:07:31 +0100ADG1089__(~aditya@122.163.166.13) (Client Quit)
2020-12-21 14:07:49 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2020-12-21 14:09:41 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-12-21 14:12:25 +0100coot(~coot@37.30.50.101.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-12-21 14:14:59 +0100phaul(~phaul@ruby/staff/phaul) (Ping timeout: 260 seconds)
2020-12-21 14:15:08 +0100Lycurgus(~niemand@cpe-45-46-137-210.buffalo.res.rr.com) (Quit: Exeunt)
2020-12-21 14:15:57 +0100phaul(~phaul@ruby/staff/phaul)
2020-12-21 14:16:06 +0100ggole(~ggole@2001:8003:8119:7200:a81c:813a:b28c:21)
2020-12-21 14:17:43 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
2020-12-21 14:18:21 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-12-21 14:18:34 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
2020-12-21 14:18:38 +0100cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 264 seconds)
2020-12-21 14:18:51 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-12-21 14:19:39 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
2020-12-21 14:20:40 +0100nuru(6dced5cb@109.206.213.203)
2020-12-21 14:23:27 +0100cantstanya(~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
2020-12-21 14:25:14 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2020-12-21 14:25:38 +0100nuru(6dced5cb@109.206.213.203) (Remote host closed the connection)
2020-12-21 14:25:52 +0100cantstanya(~chatting@gateway/tor-sasl/cantstanya)
2020-12-21 14:30:36 +0100L29Ah(~L29Ah@unaffiliated/l29ah)
2020-12-21 14:31:21 +0100Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2020-12-21 14:31:36 +0100Kaiepi(~Kaiepi@47.54.252.148)
2020-12-21 14:31:57 +0100jfalcon(905c1fea@144.92.31.234)
2020-12-21 14:32:00 +0100cfricke(~cfricke@unaffiliated/cfricke)
2020-12-21 14:34:32 +0100chang(~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
2020-12-21 14:38:59 +0100mmsari(~Thunderbi@95.173.249.149)
2020-12-21 14:39:33 +0100StoneToad(~StoneToad@104-192-232-11.ppp.storm.ca) (Ping timeout: 265 seconds)
2020-12-21 14:44:05 +0100drbean(~drbean@TC210-63-209-29.static.apol.com.tw) (Ping timeout: 240 seconds)
2020-12-21 14:44:39 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-12-21 14:44:42 +0100StoneToad(~StoneToad@104-192-232-31.ppp.storm.ca)
2020-12-21 14:48:59 +0100effa(~user@2001:4b00:1c0:1601:3de5:92e6:740a:1f71) (Quit: ERC (IRC client for Emacs 25.1.1))
2020-12-21 14:52:02 +0100sQVe(~sQVe@unaffiliated/sqve) (Quit: Bye!)
2020-12-21 14:54:11 +0100notzmv(~user@unaffiliated/zmv) (Ping timeout: 268 seconds)
2020-12-21 14:54:43 +0100avdb(~avdb@213.177.155.250)
2020-12-21 14:55:20 +0100 <zzz> where's haskell in terms of automatic parallelism?
2020-12-21 14:55:35 +0100 <merijn> Same place as everything related to auto-parallelism
2020-12-21 14:55:37 +0100 <merijn> Nowhere
2020-12-21 14:55:42 +0100 <zzz> :(
2020-12-21 14:55:52 +0100 <exarkun> merijn: what about AVX
2020-12-21 14:56:17 +0100urodna(~urodna@unaffiliated/urodna)
2020-12-21 14:56:21 +0100 <exarkun> wait that wasn't why I focused this channel
2020-12-21 14:56:21 +0100 <merijn> exarkun: GHC has some SIMD primitives, but auto-vectorisation isn't in there yet, afaik?
2020-12-21 14:56:45 +0100 <exarkun> with Network.TLS where does the client certificate go? in `sharedCredentials`?
2020-12-21 14:57:00 +0100hackageyesod-auth-oauth2 0.6.1.7 - OAuth 2.0 authentication plugins https://hackage.haskell.org/package/yesod-auth-oauth2-0.6.1.7 (PatrickBrisbin)
2020-12-21 14:57:47 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
2020-12-21 14:58:48 +0100 <exarkun> oh oh, you return it from `onCertificateRequest`, maybe?
2020-12-21 15:01:10 +0100Mac60(557f5ce5@85-127-92-229.dsl.dynamic.surfer.at)
2020-12-21 15:02:38 +0100Melanie(~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 256 seconds)
2020-12-21 15:02:49 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-12-21 15:03:11 +0100 <Mac60> Hi! Could somebody pls point me to some example code or explain how to combine different monads? Say I have a chain of maybes but need to return something in an IO? Do I need monad transformation for it?
2020-12-21 15:07:11 +0100 <tdammers> Mac60: this isn't very specific to Monads, really. you can use the Maybe monad instance to chain a bunch of Maybes, and then use return from the IO monad instance to convert such a Maybe a into an IO (Maybe a)
2020-12-21 15:07:15 +0100Kronic(~Kronic___@84.203.96.46)
2020-12-21 15:07:33 +0100 <tdammers> Mac60: what *is* monad-specific to an extent is combining the *effects* that various monads represent
2020-12-21 15:07:50 +0100 <tdammers> Mac60: for that, the classical approach would be monad transformers, e.g. you could use MaybeT over IO
2020-12-21 15:07:59 +0100 <Mac60> I understand.
2020-12-21 15:08:38 +0100 <Mac60> I am just learning how to use monads properly so for now I just wanted some code that does I/O and but also has Maybe (like for instance from find)
2020-12-21 15:09:33 +0100 <Mac60> So yes I am probably asking the wrong thing? I meant would I then just return the IO (Maybe a) ?
2020-12-21 15:10:02 +0100 <Mac60> Or I guess maybe map the Maybe with pattern matching to a proper IO Msg?
2020-12-21 15:14:12 +0100vfaronov(~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-12-21 15:16:06 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
2020-12-21 15:18:01 +0100heatsink(~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523)
2020-12-21 15:19:12 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Remote host closed the connection)
2020-12-21 15:19:18 +0100Vulfe_(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
2020-12-21 15:20:16 +0100 <zzz> Mac60:
2020-12-21 15:20:20 +0100 <zzz> > let x = Just "sup" in print $ maybe "?" id x
2020-12-21 15:20:22 +0100 <lambdabot> <IO ()>
2020-12-21 15:22:22 +0100heatsink(~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523) (Ping timeout: 260 seconds)
2020-12-21 15:23:37 +0100 <geekosaur> % let x = Just "sup" in print $ maybe "?" id x
2020-12-21 15:23:37 +0100 <yahb> geekosaur: "sup"
2020-12-21 15:23:47 +0100jespada(~jespada@90.254.245.49) (Ping timeout: 268 seconds)
2020-12-21 15:24:18 +0100chang(~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 15:24:38 +0100avdb(~avdb@213.177.155.250) (Quit: avdb)
2020-12-21 15:24:53 +0100avdb(~avdb@213.177.155.250)
2020-12-21 15:25:01 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 268 seconds)
2020-12-21 15:25:10 +0100 <Mac60> thx guys I guess I was missing the maybe function part
2020-12-21 15:25:27 +0100avdb(~avdb@213.177.155.250) (Client Quit)
2020-12-21 15:25:38 +0100fuzzypixelz(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2020-12-21 15:25:39 +0100 <tdammers> the maybe function is one way to do it; pattern matching would also work, it's just a bit more verbose
2020-12-21 15:25:42 +0100 <Mac60> I am still a bit confused why I need id there, but I guess I will have to check out maybes signature
2020-12-21 15:26:04 +0100 <Mac60> thx guys! :)
2020-12-21 15:26:13 +0100 <tdammers> % let x = Just "sup" in print (case x of { Just x -> x; Nothing -> "?" })
2020-12-21 15:26:13 +0100 <yahb> tdammers: "sup"
2020-12-21 15:26:21 +0100 <tdammers> or you could use fromMaybe:
2020-12-21 15:26:37 +0100 <tdammers> % let x = Just "sup" in print (fromMaybe "?" x)
2020-12-21 15:26:37 +0100 <yahb> tdammers: "sup"
2020-12-21 15:26:53 +0100jespada(~jespada@90.254.245.49)
2020-12-21 15:26:57 +0100 <zzz> you can also import fromMaybe from Data.Maybe which has type a -> Maybe a -> a, saving you from having to use id
2020-12-21 15:27:09 +0100 <zzz> that ^
2020-12-21 15:27:30 +0100 <tdammers> the reason you need id in that maybe application is because maybe takes 3 arguments: a value to use for the Nothing case, a function to apply in the Just case, and a Maybe value to scrutinize
2020-12-21 15:27:33 +0100twopoint718(~twopoint7@fsf/member/twopoint718)
2020-12-21 15:27:37 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:e162:f3a5:6891:9399)
2020-12-21 15:27:58 +0100 <tdammers> it's kind of a declarative way of saying "if you have a value, do this, if not, do that"
2020-12-21 15:28:53 +0100 <Mac60> well sure, but I guess when I need to return something to the main function for outputting then declarative is OK ?
2020-12-21 15:29:14 +0100notzmv(~user@unaffiliated/zmv)
2020-12-21 15:29:45 +0100 <zzz> i use to (maybe x id) in place of (fromMaybe x) because it ends up being shorter and usually saves me an import
2020-12-21 15:30:30 +0100skiidly wonders what Mac60 is trying to do, more specifically
2020-12-21 15:30:32 +0100Lowl3v3l(~Lowl3v3l@dslb-002-203-233-025.002.203.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2020-12-21 15:30:58 +0100phaul(~phaul@ruby/staff/phaul) (Ping timeout: 256 seconds)
2020-12-21 15:31:55 +0100 <tdammers> "declarative" is just a label that describes how the human brain processes the code, it has very little to do with how a computer deals with it
2020-12-21 15:32:12 +0100avdb(~avdb@213.177.155.250)
2020-12-21 15:32:46 +0100 <Mac60> ski: just some learning stuff, like having some state, taking some input, doing some decisions and then output the result :) But while doing this I had a case where one function (I think it was find) was returning a Maybe, but I was in in an IO context already and I did not know how to handle this.
2020-12-21 15:32:53 +0100 <Mac60> tdammers good point :)
2020-12-21 15:33:48 +0100Melanie(~Melanie@192-0-134-138.cpe.teksavvy.com)
2020-12-21 15:34:08 +0100 <Mac60> tbh I find Haskells way actually closer to how a human would think, its farther from the computer
2020-12-21 15:34:39 +0100 <Mac60> declarative is closer to how we *think* the computer works...
2020-12-21 15:35:00 +0100twopoint718(~twopoint7@fsf/member/twopoint718) (Quit: Goodbye)
2020-12-21 15:35:19 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-exdojaqirdkfmvpz)
2020-12-21 15:36:14 +0100 <zzz> imperative vs declarative is like imperial vs metric in that the former is more humanistic and kind of a mess and the latter is the right way to do things :)
2020-12-21 15:36:21 +0100 <ski> Mac60 : if you find yourself mixing `Maybe' with `IO' much (like pattern-matching on the `Maybe', short-circuiting on `Nothing', otherwise continuing), then you may want to look into `MaybeT', as tdammers suggested
2020-12-21 15:36:48 +0100 <tdammers> zzz: except that computer hardware is kind of imperative, and not usually very declarative.
2020-12-21 15:37:01 +0100 <tdammers> although arguably that depends which goggles you're wearing
2020-12-21 15:37:33 +0100ski's not sure what Mac60 means by "declarative" here
2020-12-21 15:37:56 +0100Melanie(~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 240 seconds)
2020-12-21 15:38:16 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2020-12-21 15:39:18 +0100hiroaki(~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2020-12-21 15:39:40 +0100geekosaur(ac3a5760@172.58.87.96) (Remote host closed the connection)
2020-12-21 15:39:42 +0100avdb(~avdb@213.177.155.250) (Quit: avdb)
2020-12-21 15:39:45 +0100 <zzz> tdammers: that's because hardware is kind of a mess.
2020-12-21 15:39:58 +0100avdb(~avdb@213.177.155.250)
2020-12-21 15:40:02 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2020-12-21 15:40:09 +0100avdb(~avdb@213.177.155.250) (Client Quit)
2020-12-21 15:40:19 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2020-12-21 15:40:32 +0100kupi(uid212005@gateway/web/irccloud.com/x-baexxxvsrkvkwodj)
2020-12-21 15:41:09 +0100 <zzz> the right way to do things is still afternoon naps and pen and paper
2020-12-21 15:41:17 +0100 <zzz> we all know that deep down
2020-12-21 15:43:34 +0100 <tdammers> ski: it's probably because I said it
2020-12-21 15:44:00 +0100 <cnmne[m]> why would you say something so controversial, yet so brave?
2020-12-21 15:44:09 +0100Lowl3v3l(~Lowl3v3l@dslb-090-186-057-171.090.186.pools.vodafone-ip.de)
2020-12-21 15:44:15 +0100 <tdammers> ski: and all I meant is that `maybe a b m` is less explicit about operational details than something like `if (x === null) { a(); } else { b(x); }
2020-12-21 15:44:17 +0100 <tdammers> `
2020-12-21 15:46:32 +0100 <Mac60> tdammers I see your point
2020-12-21 15:46:37 +0100Mac60(557f5ce5@85-127-92-229.dsl.dynamic.surfer.at) (Remote host closed the connection)
2020-12-21 15:46:40 +0100phaul(~phaul@ruby/staff/phaul)
2020-12-21 15:46:47 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2020-12-21 15:49:03 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0) (Ping timeout: 240 seconds)
2020-12-21 15:51:00 +0100meinhof(4eb83a77@78.184.58.119) (Remote host closed the connection)
2020-12-21 15:51:25 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0)
2020-12-21 15:51:25 +0100SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!)
2020-12-21 15:51:32 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 268 seconds)
2020-12-21 15:52:18 +0100SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net)
2020-12-21 15:55:10 +0100hiroaki(~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de)
2020-12-21 15:58:05 +0100st8less(~st8less@inet-167-224-197-181.isp.ozarksgo.net)
2020-12-21 15:58:31 +0100mrchampion(~mrchampio@38.18.109.23) (Ping timeout: 256 seconds)
2020-12-21 16:00:17 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
2020-12-21 16:04:37 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:e162:f3a5:6891:9399) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 16:05:12 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-12-21 16:05:57 +0100Kaivo(~Kaivo@104-200-86-99.mc.derytele.com) (Quit: WeeChat 2.9)
2020-12-21 16:06:02 +0100xff0x_(~fox@2001:1a81:537d:6200:338c:13b2:3e7a:4646) (Ping timeout: 264 seconds)
2020-12-21 16:06:35 +0100xff0x_(~fox@2001:1a81:537d:6200:cba7:d47:8ddb:b119)
2020-12-21 16:09:20 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:e98d:e7fe:547e:4e6f)
2020-12-21 16:12:18 +0100nowhere_man(~pierre@2a01:e0a:3c7:60d0:e88f:4e24:f6a7:f155) (Ping timeout: 258 seconds)
2020-12-21 16:13:50 +0100Genome(~genome@cpc153687-nrwh14-2-0-cust19.4-4.cable.virginm.net)
2020-12-21 16:14:12 +0100ADG1089__(~aditya@122.163.166.13)
2020-12-21 16:15:15 +0100p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-12-21 16:16:08 +0100nowhere_man(~pierre@2a01:e0a:3c7:60d0:e88f:4e24:f6a7:f155)
2020-12-21 16:16:21 +0100mrchampion(~mrchampio@38.18.109.23)
2020-12-21 16:19:20 +0100heatsink(~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523)
2020-12-21 16:19:57 +0100nemron(~nemron@2a02:810b:c7bf:fdb8:e5d9:cf51:dbc1:34c4) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 16:20:16 +0100roconnor(~roconnor@host-45-78-199-13.dyn.295.ca) (Quit: Konversation terminated!)
2020-12-21 16:20:29 +0100roconnor(~roconnor@host-45-78-199-13.dyn.295.ca)
2020-12-21 16:23:01 +0100fendor_(~fendor@77.119.131.23.wireless.dyn.drei.com)
2020-12-21 16:24:12 +0100heatsink(~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523) (Ping timeout: 260 seconds)
2020-12-21 16:25:38 +0100fendor(~fendor@77.119.130.63.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2020-12-21 16:26:34 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
2020-12-21 16:28:39 +0100Wuzzy(~Wuzzy@p5790e20f.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-12-21 16:29:55 +0100dagnabbit(~thelounge@140.82.8.179) (Quit: The Lounge - https://thelounge.chat)
2020-12-21 16:30:41 +0100nhs(~nhs@c-67-180-177-103.hsd1.ca.comcast.net)
2020-12-21 16:30:42 +0100dagnabbit(~thelounge@140.82.8.179)
2020-12-21 16:31:19 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2020-12-21 16:31:45 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-12-21 16:33:23 +0100dandart(~Thunderbi@home.dandart.co.uk)
2020-12-21 16:35:08 +0100tlaxkit(~kvirc@89.35.63.16)
2020-12-21 16:37:06 +0100 <ezzieyguywuf> dangit cabal-fmt, I like a space after `^>=`! do better!
2020-12-21 16:38:49 +0100 <ezzieyguywuf> is there a tool that will scour my cabal file and my code and see if there are some "build-depends" that aren't used or needed?
2020-12-21 16:38:59 +0100christo(~chris@81.96.113.213)
2020-12-21 16:39:03 +0100StoneToad(~StoneToad@104-192-232-31.ppp.storm.ca) (Ping timeout: 260 seconds)
2020-12-21 16:40:15 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-12-21 16:43:37 +0100mmsari(~Thunderbi@95.173.249.149) (Quit: mmsari)
2020-12-21 16:44:34 +0100 <srk> ezzieyguywuf: ghc-options: -Wunused-packages :)
2020-12-21 16:45:23 +0100StoneToad(~StoneToad@104-192-232-50.ppp.storm.ca)
2020-12-21 16:45:52 +0100 <exarkun> The docs for https://hackage.haskell.org/package/tls-1.5.4/docs/src/Network.TLS.Parameters.html#clientServerIde… say "The extra blob is useful to differentiate services running on the same host" but I can't quite figure out what feature of TLS this maps to
2020-12-21 16:46:16 +0100 <exarkun> And, more generally, the fact that there's space for two different names is confusing
2020-12-21 16:46:19 +0100 <exarkun> anyone know what's going on here?
2020-12-21 16:47:34 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-12-21 16:49:42 +0100DavidEichmann(~david@62.110.198.146.dyn.plus.net) (Remote host closed the connection)
2020-12-21 16:50:07 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 268 seconds)
2020-12-21 16:50:47 +0100dbmikus(~dbmikus@c-174-49-174-19.hsd1.pa.comcast.net)
2020-12-21 16:51:05 +0100DavidEichmann(~david@62.110.198.146.dyn.plus.net)
2020-12-21 16:51:34 +0100toorevitimirp(~tooreviti@117.182.182.252) (Remote host closed the connection)
2020-12-21 16:52:20 +0100gioyik(~gioyik@186.112.104.164)
2020-12-21 16:56:22 +0100kam1(~kam1@24.231.108.143)
2020-12-21 16:56:26 +0100 <ephemient> https://en.wikipedia.org/wiki/Server_Name_Indication
2020-12-21 16:56:26 +0100dagnabbit(~thelounge@140.82.8.179) (Ping timeout: 264 seconds)
2020-12-21 16:56:38 +0100ADG1089__(~aditya@122.163.166.13) (Remote host closed the connection)
2020-12-21 16:57:29 +0100jamm(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-12-21 16:58:03 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2020-12-21 16:58:28 +0100 <ezzieyguywuf> srk: niccce
2020-12-21 16:58:38 +0100jamm(~jamm@unaffiliated/jamm)
2020-12-21 16:59:12 +0100xff0x_(~fox@2001:1a81:537d:6200:cba7:d47:8ddb:b119) (Ping timeout: 260 seconds)
2020-12-21 16:59:48 +0100xff0x_(~fox@2001:1a81:537d:6200:358d:738e:34:fc65)
2020-12-21 16:59:50 +0100 <int-e> exarkun: the tls library doesn't use the second field; I think it's for the benefit of validation only, cf. https://hackage.haskell.org/package/x509-validation-1.6.11/docs/Data-X509-Validation.html#t:Servic…
2020-12-21 17:00:35 +0100Tops21(~Tobias@dyndsl-095-033-016-029.ewe-ip-backbone.de)
2020-12-21 17:01:30 +0100ADG1089__(~aditya@122.163.166.13)
2020-12-21 17:02:16 +0100 <exarkun> int-e: Ah... So it passes through TLS and gets passed to ... `validate` later, looks like, which could do whatever it wants with it
2020-12-21 17:02:38 +0100 <int-e> exarkun: it's not communicated at all
2020-12-21 17:03:17 +0100jamm(~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2020-12-21 17:03:25 +0100 <exarkun> What about the ServiceID parameter to https://hackage.haskell.org/package/x509-validation-1.6.11/docs/Data-X509-Validation.html#v:validate ?
2020-12-21 17:03:32 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-12-21 17:03:39 +0100solonarv(~solonarv@adijon-656-1-25-229.w90-13.abo.wanadoo.fr)
2020-12-21 17:03:48 +0100 <int-e> exarkun: I mean it's not communicated over the network
2020-12-21 17:03:53 +0100 <exarkun> Okay, sure
2020-12-21 17:04:33 +0100Tops2(~Tobias@dyndsl-095-033-016-029.ewe-ip-backbone.de) (Ping timeout: 272 seconds)
2020-12-21 17:04:53 +0100 <exarkun> It's a place to squirrel away some extra local state to make a local decision using later on
2020-12-21 17:05:32 +0100 <int-e> exarkun: Note I'm just following breadcrumbs here (grepping source code), I haven't used any of this.
2020-12-21 17:05:43 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl)
2020-12-21 17:05:43 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2020-12-21 17:05:43 +0100mouseghost(~draco@wikipedia/desperek)
2020-12-21 17:05:54 +0100 <exarkun> understood
2020-12-21 17:06:02 +0100 <int-e> I'd speculate that this having two fields is related somehow: https://hackage.haskell.org/package/x509-1.7.5/docs/Data-X509.html#t:DistinguishedName
2020-12-21 17:06:29 +0100 <shapr> exarkun: wow, what are you building?
2020-12-21 17:06:56 +0100 <exarkun> shapr: Pft nothing exciting in the least
2020-12-21 17:07:25 +0100 <shapr> From the number of rabbit holes you've explored in the past week or so, I don't believe that.
2020-12-21 17:07:30 +0100 <exarkun> Heh
2020-12-21 17:07:41 +0100 <exarkun> I just seem to fall into rabbit holes a lot
2020-12-21 17:07:48 +0100 <merijn> lol
2020-12-21 17:07:57 +0100heatsink(~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523)
2020-12-21 17:08:03 +0100 <shapr> does that mean this is a secret project?
2020-12-21 17:08:18 +0100 <exarkun> I'm writing an IRC bot to announce PRs on GitHub w/ reviews requested on them, as a replacement for another IRC bot that did something similar but queried trac for tickets with "review" in their keywords.
2020-12-21 17:08:47 +0100 <shapr> I hope you write a blog post about your TLS adventures.
2020-12-21 17:08:57 +0100 <shapr> Even a notes dump would be interesting.
2020-12-21 17:09:01 +0100 <int-e> exarkun: are you aware of https://hackage.haskell.org/package/irc-client ? I'd be interested in informed opinions on that one.
2020-12-21 17:09:38 +0100 <exarkun> int-e: I didn't find that one in my search, but I am also using irc-conduit
2020-12-21 17:09:55 +0100shaprsnoops on https://github.com/exarkun
2020-12-21 17:10:07 +0100 <shapr> hm, only Python
2020-12-21 17:10:15 +0100 <int-e> exarkun: I'm asking because it already adds TLS support.
2020-12-21 17:10:59 +0100 <int-e> exarkun: But it's just on the list of things I want to look at (and possibly use in lambdabot)... I have not really started.
2020-12-21 17:11:00 +0100 <exarkun> Yea, I see it there. One thing I found annoying about irc-conduit (and many other haskell libs) is how they treat TLS like a special thing
2020-12-21 17:11:31 +0100 <exarkun> So one reason I'm falling into TLS rabbit holes is I'm adding a uniform layer that can sit on either TCP or TLS
2020-12-21 17:11:42 +0100 <shapr> will you publish a library?
2020-12-21 17:11:42 +0100 <exarkun> (or Tor or WebSockets or stdio, etc)
2020-12-21 17:11:46 +0100carthia(~carthia@gateway/tor-sasl/carthia)
2020-12-21 17:11:53 +0100 <exarkun> shapr: probably
2020-12-21 17:12:05 +0100 <exarkun> or rather
2020-12-21 17:12:13 +0100 <exarkun> I was going to share it here first and have someone tell me why I'm barking up the wrong tree
2020-12-21 17:12:19 +0100 <shapr> sounds exciting
2020-12-21 17:13:52 +0100incertia_(~incertia@d4-50-26-103.nap.wideopenwest.com)
2020-12-21 17:13:58 +0100ADG1089__(~aditya@122.163.166.13) (Read error: Connection reset by peer)
2020-12-21 17:14:04 +0100ADG1089_(~aditya@122.163.166.13)
2020-12-21 17:14:19 +0100incertia(~incertia@d4-50-26-103.nap.wideopenwest.com) (Ping timeout: 246 seconds)
2020-12-21 17:15:00 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 256 seconds)
2020-12-21 17:15:13 +0100ClaudiusMaximus(~claude@196.67.6.51.dyn.plus.net)
2020-12-21 17:15:21 +0100ClaudiusMaximus(~claude@196.67.6.51.dyn.plus.net) (Changing host)
2020-12-21 17:15:21 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2020-12-21 17:15:27 +0100arybczak(~unknown@2a02:a312:c83d:7800:bb7f:5c00:4f48:cc5c)
2020-12-21 17:15:51 +0100 <exarkun> shapr: I'm also trying out sr.ht - https://todo.sr.ht/~jcalderone/DevBot
2020-12-21 17:16:04 +0100 <shapr> oh!
2020-12-21 17:16:09 +0100guest1221(~user@49.5.6.87)
2020-12-21 17:16:35 +0100 <shapr> I got an account on shithub, but I haven't gotten plan9's drawterm figured out yet.
2020-12-21 17:16:44 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-12-21 17:17:32 +0100 <exarkun> heh that's a new one on me
2020-12-21 17:17:52 +0100 <shapr> I like the logo of the beam of light falling on the toilet.
2020-12-21 17:18:30 +0100 <exarkun> yea, nice
2020-12-21 17:18:45 +0100heatsink(~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523) (Remote host closed the connection)
2020-12-21 17:19:24 +0100heatsink(~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523)
2020-12-21 17:20:40 +0100tlaxkit(~kvirc@89.35.63.16) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/)
2020-12-21 17:22:49 +0100guest1221(~user@49.5.6.87) (Ping timeout: 260 seconds)
2020-12-21 17:23:42 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2020-12-21 17:23:58 +0100p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-12-21 17:24:29 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Quit: avdb)
2020-12-21 17:24:40 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-12-21 17:25:03 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2020-12-21 17:25:52 +0100columbarius(~columbari@mue-88-130-54-198.dsl.tropolys.de) (Ping timeout: 246 seconds)
2020-12-21 17:27:08 +0100dbmikus(~dbmikus@c-174-49-174-19.hsd1.pa.comcast.net) (Ping timeout: 256 seconds)
2020-12-21 17:27:37 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Client Quit)
2020-12-21 17:27:47 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2020-12-21 17:27:50 +0100 <shapr> Aha, you're using haskell.nix maybe I can steal your config files and get it working for my projects.
2020-12-21 17:28:14 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
2020-12-21 17:28:20 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-12-21 17:28:32 +0100 <exarkun> maybe! I have been using it for a while. It seems like every time I go to interact with it, the way you use it has changed.
2020-12-21 17:28:47 +0100 <exarkun> Now it seems like you use it by copy/pasting an expression from the docs into default.nix and you're done
2020-12-21 17:28:57 +0100 <shapr> I couldn't get that to work with an empty project.
2020-12-21 17:29:01 +0100 <exarkun> which I guess is nice. it's simpler than it was before.
2020-12-21 17:29:06 +0100 <exarkun> ah, huh.
2020-12-21 17:29:22 +0100 <exarkun> it seems to be working for this project, so yea maybe you'll spot something
2020-12-21 17:29:25 +0100 <shapr> I'm still a nix novice, but this past weekend has helped.
2020-12-21 17:29:29 +0100hackagealgebraic-graphs-io 0.1.4.0 - I/O utilities for algebraic-graphs https://hackage.haskell.org/package/algebraic-graphs-io-0.1.4.0 (ocramz)
2020-12-21 17:29:32 +0100kam1(~kam1@24.231.108.143) (Ping timeout: 260 seconds)
2020-12-21 17:30:53 +0100Tops21(~Tobias@dyndsl-095-033-016-029.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-12-21 17:31:50 +0100jamm(~jamm@unaffiliated/jamm)
2020-12-21 17:32:23 +0100Tops2(~Tobias@dyndsl-095-033-016-029.ewe-ip-backbone.de)
2020-12-21 17:34:34 +0100Melanie(~Melanie@192-0-134-138.cpe.teksavvy.com)
2020-12-21 17:34:44 +0100alexelcu(~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in)
2020-12-21 17:35:37 +0100hekkaidekapus[(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-12-21 17:35:48 +0100alexelcu(~alexelcu@142.93.180.198)
2020-12-21 17:37:23 +0100hekkaidekapus}(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-12-21 17:38:49 +0100Melanie(~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 246 seconds)
2020-12-21 17:40:34 +0100columbarius(~columbari@mue-88-130-54-123.dsl.tropolys.de)
2020-12-21 17:40:41 +0100ggVGc(~ggVGc@unaffiliated/walt) (Ping timeout: 268 seconds)
2020-12-21 17:40:56 +0100ADG1089_(~aditya@122.163.166.13) (Quit: Konversation terminated!)
2020-12-21 17:41:17 +0100jophish(~jophish@2400:8901::f03c:91ff:fe39:7a9) (Ping timeout: 272 seconds)
2020-12-21 17:43:09 +0100jophish(~jophish@li1766-207.members.linode.com)
2020-12-21 17:44:47 +0100ggVGc(~ggVGc@a.lowtech.earth)
2020-12-21 17:48:18 +0100danso(~dan@69-165-210-185.cable.teksavvy.com)
2020-12-21 17:49:05 +0100cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0)
2020-12-21 17:49:43 +0100mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2020-12-21 17:52:54 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
2020-12-21 17:56:01 +0100maerwald(~maerwald@5.45.98.221) (Quit: gone)
2020-12-21 17:56:03 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Ping timeout: 240 seconds)
2020-12-21 17:56:24 +0100maerwald(~maerwald@mail.hasufell.de)
2020-12-21 17:58:31 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2020-12-21 17:59:17 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-12-21 17:59:45 +0100electricityZZZZ(~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net)
2020-12-21 18:00:56 +0100howdoi(uid224@gateway/web/irccloud.com/x-sxhozuhwqoyrdzui)
2020-12-21 18:01:04 +0100hexfive(~hexfive@50-47-142-195.evrt.wa.frontiernet.net)
2020-12-21 18:01:11 +0100Ariakenom(~Ariakenom@2001:9b1:efb:fc00:a046:62be:dfc5:33d1)
2020-12-21 18:03:15 +0100jumper149(~jumper149@ip4d1622a9.dynamic.kabel-deutschland.de)
2020-12-21 18:05:09 +0100dandart(~Thunderbi@home.dandart.co.uk) ()
2020-12-21 18:05:16 +0100dandart(~Thunderbi@home.dandart.co.uk)
2020-12-21 18:05:40 +0100dbmikus(~dbmikus@c-174-49-174-19.hsd1.pa.comcast.net)
2020-12-21 18:05:53 +0100kritzefitz(~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2020-12-21 18:07:02 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2020-12-21 18:07:17 +0100juuandyy(~juuandyy@90.166.144.65)
2020-12-21 18:07:47 +0100cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it) (Ping timeout: 256 seconds)
2020-12-21 18:08:24 +0100Melanie(~Melanie@192-0-134-138.cpe.teksavvy.com)
2020-12-21 18:10:13 +0100jamm(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-12-21 18:10:45 +0100Wraul[m](wraulmatri@gateway/shell/matrix.org/x-wdqkshwdwvsinbjy)
2020-12-21 18:12:26 +0100kritzefitz(~kritzefit@212.86.56.80)
2020-12-21 18:12:46 +0100Melanie(~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 246 seconds)
2020-12-21 18:16:17 +0100hiroaki(~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2020-12-21 18:16:49 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-12-21 18:19:53 +0100cfricke(~cfricke@unaffiliated/cfricke)
2020-12-21 18:20:43 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Quit: avdb)
2020-12-21 18:20:56 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2020-12-21 18:21:49 +0100geekosaur(42d52137@66.213.33.55)
2020-12-21 18:22:26 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-12-21 18:23:35 +0100MVQq(~anja@198.254.202.72)
2020-12-21 18:23:44 +0100texasmyn_(~texasmyns@185.232.22.12)
2020-12-21 18:23:53 +0100DavidEichmann(~david@62.110.198.146.dyn.plus.net) (Remote host closed the connection)
2020-12-21 18:24:27 +0100kam1(~kam1@24.231.108.143)
2020-12-21 18:24:50 +0100mozzarella(~sam@unaffiliated/sam113101) (Remote host closed the connection)
2020-12-21 18:24:53 +0100DavidEichmann(~david@62.110.198.146.dyn.plus.net)
2020-12-21 18:24:59 +0100sm2n_(~sm2n@bras-base-hmtnon1497w-grc-44-69-156-5-58.dsl.bell.ca)
2020-12-21 18:25:03 +0100sm2n(~sm2n@bras-base-hmtnon1497w-grc-44-69-156-5-58.dsl.bell.ca) (Remote host closed the connection)
2020-12-21 18:25:39 +0100raoul9(~raoulhida@nomnomnomnom.co.uk) (Read error: Connection reset by peer)
2020-12-21 18:25:49 +0100raoul9(~raoulhida@nomnomnomnom.co.uk)
2020-12-21 18:26:04 +0100texasmynsted(~texasmyns@185.232.22.12) (Ping timeout: 246 seconds)
2020-12-21 18:26:06 +0100mozzarella(~sam@unaffiliated/sam113101)
2020-12-21 18:26:30 +0100zv(~zv@unaffiliated/zv)
2020-12-21 18:26:37 +0100MarcelineVQ(~anja@198.254.202.72) (Ping timeout: 264 seconds)
2020-12-21 18:28:22 +0100cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0)
2020-12-21 18:28:49 +0100hiroaki(~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de)
2020-12-21 18:29:42 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2020-12-21 18:39:58 +0100kupi(uid212005@gateway/web/irccloud.com/x-baexxxvsrkvkwodj) (Quit: Connection closed for inactivity)
2020-12-21 18:41:31 +0100heatsink(~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523) (Remote host closed the connection)
2020-12-21 18:41:58 +0100Melanie(~Melanie@192-0-134-138.cpe.teksavvy.com)
2020-12-21 18:42:08 +0100iteratee_(~kyle@162.211.154.4)
2020-12-21 18:43:25 +0100CitizenSnips(~CitizenSn@irc.refl.club) (Ping timeout: 264 seconds)
2020-12-21 18:43:45 +0100lep_(~lep@94.31.81.93)
2020-12-21 18:44:07 +0100DANtheBEASTman(dysfigured@2600:3c00::f03c:92ff:feb4:be75)
2020-12-21 18:44:07 +0100Geekingfrog_(geekingfro@2a01:7e01::f03c:92ff:fe48:8bdf)
2020-12-21 18:44:16 +0100lagothrix(~lagothrix@unaffiliated/lagothrix) (Ping timeout: 246 seconds)
2020-12-21 18:44:17 +0100tolt(~weechat-h@li219-154.members.linode.com) (Ping timeout: 246 seconds)
2020-12-21 18:44:17 +0100RecursiveG(~recursive@li810-210.members.linode.com) (Ping timeout: 246 seconds)
2020-12-21 18:44:17 +0100epta(~m@nuda.space) (Ping timeout: 246 seconds)
2020-12-21 18:44:17 +0100RecursiveG_(~recursive@2600:3c00:e000:1ad::1)
2020-12-21 18:44:34 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-12-21 18:44:37 +0100dequbed(~dequbed@yanduxian.paranoidlabs.org) (Ping timeout: 264 seconds)
2020-12-21 18:44:37 +0100Guest62909(~melkor@31.31.76.126) (Ping timeout: 264 seconds)
2020-12-21 18:44:37 +0100Clint(~Clint@libre.fm/hacker/clint) (Ping timeout: 264 seconds)
2020-12-21 18:44:37 +0100columbarius(~columbari@mue-88-130-54-123.dsl.tropolys.de) (Ping timeout: 246 seconds)
2020-12-21 18:44:38 +0100iteratee(~kyle@162.211.154.4) (Ping timeout: 246 seconds)
2020-12-21 18:44:38 +0100samebchase(~samebchas@51.15.68.182) (Ping timeout: 246 seconds)
2020-12-21 18:44:38 +0100dysfigured(~dysfigure@li490-89.members.linode.com) (Ping timeout: 246 seconds)
2020-12-21 18:44:38 +0100tristanC(~tristanC@unaffiliated/tristanc) (Ping timeout: 246 seconds)
2020-12-21 18:44:38 +0100wowi42_(~wowi42@51.15.249.183) (Ping timeout: 246 seconds)
2020-12-21 18:44:39 +0100DANtheBEASTmandysfigured
2020-12-21 18:44:39 +0100Geekingfrog(~geekingfr@li2156-64.members.linode.com) (Read error: Connection reset by peer)
2020-12-21 18:44:46 +0100epta(~m@nuda.space)
2020-12-21 18:44:54 +0100wowi42(~wowi42@51.15.249.183)
2020-12-21 18:44:56 +0100Guest62909(~melkor@2a02:2b88:2:1::5b34:1)
2020-12-21 18:44:59 +0100tureba(~tureba@tureba.org) (Ping timeout: 246 seconds)
2020-12-21 18:44:59 +0100landonf(landonf@mac68k.info) (Remote host closed the connection)
2020-12-21 18:45:00 +0100dequbed(~dequbed@yanduxian.paranoidlabs.org)
2020-12-21 18:45:04 +0100lep_test
2020-12-21 18:45:13 +0100roconnor(~roconnor@host-45-78-199-13.dyn.295.ca) (Ping timeout: 264 seconds)
2020-12-21 18:45:13 +0100nyd(~nyd@unaffiliated/elysian) (Ping timeout: 264 seconds)
2020-12-21 18:45:13 +0100theDon(~td@muedsl-82-207-238-191.citykom.de) (Ping timeout: 264 seconds)
2020-12-21 18:45:13 +0100renzhi(~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 264 seconds)
2020-12-21 18:45:13 +0100lep-delete(~lep@94.31.81.93) (Ping timeout: 264 seconds)
2020-12-21 18:45:13 +0100haveo(~haveo@sl35.iuwt.fr) (Ping timeout: 264 seconds)
2020-12-21 18:45:13 +0100kawzeg(~kawzeg@li2046-66.members.linode.com) (Ping timeout: 264 seconds)
2020-12-21 18:45:13 +0100quicksilver(~jules@roobarb.crazydogs.org) (Ping timeout: 264 seconds)
2020-12-21 18:45:13 +0100myme(~myme@li1406-121.members.linode.com) (Ping timeout: 264 seconds)
2020-12-21 18:45:22 +0100samebchase(~samebchas@51.15.68.182)
2020-12-21 18:45:29 +0100testlep-delete
2020-12-21 18:45:29 +0100quicksilver(~jules@roobarb.crazydogs.org)
2020-12-21 18:45:40 +0100nyd(~nyd@unaffiliated/elysian)
2020-12-21 18:45:48 +0100theDon(~td@muedsl-82-207-238-191.citykom.de)
2020-12-21 18:45:48 +0100columbarius(~columbari@mue-88-130-54-123.dsl.tropolys.de)
2020-12-21 18:45:49 +0100kawzeg(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34)
2020-12-21 18:45:57 +0100myme(~myme@li1406-121.members.linode.com)
2020-12-21 18:45:58 +0100Clint(~Clint@libre.fm/hacker/clint)
2020-12-21 18:46:08 +0100tureba(~tureba@tureba.org)
2020-12-21 18:46:10 +0100tolt(~weechat-h@li219-154.members.linode.com)
2020-12-21 18:46:18 +0100lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-12-21 18:46:45 +0100tristanC(~tristanC@unaffiliated/tristanc)
2020-12-21 18:46:49 +0100haveo(~haveo@51.15.176.9)
2020-12-21 18:46:50 +0100Melanie(~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 264 seconds)
2020-12-21 18:47:19 +0100landonf(~landonf@mac68k.info)
2020-12-21 18:47:21 +0100CitizenSnips(~CitizenSn@irc.refl.club)
2020-12-21 18:47:48 +0100renzhi(~renzhi@modemcable070.17-177-173.mc.videotron.ca)
2020-12-21 18:49:10 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-12-21 18:49:57 +0100cosimone(~cosimone@2001:b07:ae5:db26:1fb3:ef3f:ece2:c6f8)
2020-12-21 18:51:31 +0100fuzzypixelz(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: fuzzypixelz)
2020-12-21 18:51:46 +0100asheshambasta(~user@ptr-e1lysaxt4bg7tmaahx1.18120a2.ip6.access.telenet.be) (Ping timeout: 258 seconds)
2020-12-21 18:52:53 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-12-21 18:52:55 +0100wowi42(~wowi42@51.15.249.183) (Quit: Kowa Bunga!!!)
2020-12-21 18:53:37 +0100haveo(~haveo@51.15.176.9) (Ping timeout: 264 seconds)
2020-12-21 18:53:40 +0100wowi42(~wowi42@51.15.249.183)
2020-12-21 18:53:42 +0100dbmikus(~dbmikus@c-174-49-174-19.hsd1.pa.comcast.net) (Quit: WeeChat 2.9)
2020-12-21 18:53:45 +0100haveo(~haveo@sl35.iuwt.fr)
2020-12-21 18:54:23 +0100 <kritzefitz> When using TH, is there a way to splice the name of a function into a function declaration or the corresponding type signature? Doing `$name a =...` or `$name :: ...` both seem to produce syntax errors.
2020-12-21 18:54:40 +0100 <ezzieyguywuf> srk: I don't see "unused-packages" in `man ghc`...
2020-12-21 18:55:14 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net)
2020-12-21 18:57:27 +0100 <glguy> kritzefitz: >>> [d| $(conP (mkName "Just") [ [p|a|] ]) = Just 42 |] ;
2020-12-21 18:57:31 +0100 <glguy> >>> a
2020-12-21 18:57:32 +0100 <glguy> 42
2020-12-21 18:57:36 +0100 <srk> ezzieyguywuf: since ghc 8.10
2020-12-21 18:57:49 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-12-21 18:58:28 +0100xff0x_(~fox@2001:1a81:537d:6200:358d:738e:34:fc65) (Ping timeout: 260 seconds)
2020-12-21 18:58:39 +0100 <ezzieyguywuf> srk: ah hah, womp womp
2020-12-21 18:58:48 +0100 <ezzieyguywuf> srk: although I should be getting ghc 8.10 in gentoo any day now :)
2020-12-21 18:58:57 +0100xff0x_(~fox@2001:1a81:537d:6200:a74c:d71f:eb2e:2908)
2020-12-21 18:58:58 +0100christo(~chris@81.96.113.213)
2020-12-21 18:59:00 +0100 <glguy> kritzefitz: but for declaring a variable like: fun x = x + 42, I think you'll need to just use funD
2020-12-21 18:59:07 +0100 <glguy> no, you can't splice in Name directly
2020-12-21 18:59:13 +0100 <ezzieyguywuf> btw, the whole gentoo/portage/installing-haskell-thingies-this-way is not that bad at all
2020-12-21 19:00:26 +0100 <kritzefitz> glguy, Yeah for variables (`ValD`) that works, but I was hoping for something that works for `FunD` too.
2020-12-21 19:00:48 +0100 <glguy> kritzefitz: You can do it with: [d| $(varP name) = \x y -> x*10+y |]
2020-12-21 19:01:55 +0100 <kritzefitz> Yes, that would work and would probably be enough for my case. The type signatures still wouldn't work though.
2020-12-21 19:03:44 +0100christo(~chris@81.96.113.213) (Ping timeout: 260 seconds)
2020-12-21 19:05:35 +0100 <glguy> >>> (:) <$> sigD (mkName "fun") [t| Int -> Int |] <*> [d|$(varP (mkName "fun")) = \a -> a + 42 |]; >>> fun 5; 47
2020-12-21 19:05:37 +0100hololeap(~hololeap@unaffiliated/hololeap)
2020-12-21 19:09:33 +0100kam1(~kam1@24.231.108.143) (Ping timeout: 256 seconds)
2020-12-21 19:10:03 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds)
2020-12-21 19:10:28 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:e98d:e7fe:547e:4e6f) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 19:11:00 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2020-12-21 19:11:44 +0100fradet(~pi@216.252.75.247)
2020-12-21 19:13:25 +0100nineonine(~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
2020-12-21 19:13:58 +0100nineonine(~nineonine@50.216.62.2)
2020-12-21 19:14:14 +0100aowi(~aowi@195.140.213.38) (Remote host closed the connection)
2020-12-21 19:15:17 +0100Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com)
2020-12-21 19:18:12 +0100Gurkenglas_Gurkenglas
2020-12-21 19:19:10 +0100Geekingfrog_Geekingfrog
2020-12-21 19:23:13 +0100kam1(~kam1@24.231.108.143)
2020-12-21 19:25:51 +0100Franciman(~francesco@host-82-49-79-73.retail.telecomitalia.it) (Quit: Leaving)
2020-12-21 19:28:17 +0100christo(~chris@81.96.113.213)
2020-12-21 19:28:28 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-12-21 19:29:53 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-12-21 19:33:15 +0100johnw(~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
2020-12-21 19:33:54 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-12-21 19:34:53 +0100Khaytsus1(~Khaytsus@185.204.1.185)
2020-12-21 19:35:41 +0100Vulfe_(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Remote host closed the connection)
2020-12-21 19:36:54 +0100cosimone(~cosimone@2001:b07:ae5:db26:1fb3:ef3f:ece2:c6f8) (Remote host closed the connection)
2020-12-21 19:37:27 +0100christo(~chris@81.96.113.213)
2020-12-21 19:37:52 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Ping timeout: 260 seconds)
2020-12-21 19:39:11 +0100shf(~sheaf@2a01:cb19:80cc:7e00:c5b9:16be:dec9:44c5) (Read error: Connection reset by peer)
2020-12-21 19:41:56 +0100heatsink(~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523)
2020-12-21 19:43:30 +0100hackagetasty-silver 3.2 - A fancy test runner, including support for golden tests. https://hackage.haskell.org/package/tasty-silver-3.2 (PhilippHausmann)
2020-12-21 19:43:39 +0100cosimone(~cosimone@2001:b07:ae5:db26:1fb3:ef3f:ece2:c6f8)
2020-12-21 19:44:11 +0100ADG1089__(~aditya@122.163.166.13)
2020-12-21 19:46:53 +0100heatsink(~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523) (Ping timeout: 260 seconds)
2020-12-21 19:47:19 +0100SGen(~genome@cpc153687-nrwh14-2-0-cust19.4-4.cable.virginm.net)
2020-12-21 19:50:36 +0100Genome(~genome@cpc153687-nrwh14-2-0-cust19.4-4.cable.virginm.net) (Ping timeout: 240 seconds)
2020-12-21 19:51:05 +0100zmagii(~zmagii@unaffiliated/zmagii) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2020-12-21 19:52:48 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
2020-12-21 19:53:05 +0100vicfred(~vicfred@unaffiliated/vicfred)
2020-12-21 19:56:12 +0100Mzg(Mzg@s1.ct8.pl)
2020-12-21 19:56:36 +0100 <Mzg> Hi there :) Are there any Euterpea users here?
2020-12-21 19:57:07 +0100kam1(~kam1@24.231.108.143) (Ping timeout: 260 seconds)
2020-12-21 19:57:42 +0100zv(~zv@unaffiliated/zv) (Ping timeout: 260 seconds)
2020-12-21 19:58:35 +0100shf(~sheaf@2a01:cb19:80cc:7e00:a9e0:e776:ec99:db91)
2020-12-21 19:59:01 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 264 seconds)
2020-12-21 20:02:03 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-12-21 20:03:30 +0100berberman_(~berberman@unaffiliated/berberman)
2020-12-21 20:04:10 +0100ADG1089__(~aditya@122.163.166.13) (Remote host closed the connection)
2020-12-21 20:04:19 +0100fuzzypixelz(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2020-12-21 20:04:23 +0100Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2020-12-21 20:04:38 +0100Kaiepi(~Kaiepi@47.54.252.148)
2020-12-21 20:05:03 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds)
2020-12-21 20:06:49 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-12-21 20:12:06 +0100zv(~zv@unaffiliated/zv)
2020-12-21 20:13:25 +0100hiroaki(~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2020-12-21 20:13:43 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Ping timeout: 240 seconds)
2020-12-21 20:15:30 +0100geekosaur(42d52137@66.213.33.55) (Ping timeout: 245 seconds)
2020-12-21 20:16:43 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
2020-12-21 20:16:50 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2020-12-21 20:21:00 +0100hackagemail-reports 0.2.0.0 - A parser library for DMARC and SMTP TLS reports https://hackage.haskell.org/package/mail-reports-0.2.0.0 (implementation)
2020-12-21 20:23:35 +0100carthia(~carthia@gateway/tor-sasl/carthia) (Quit: carthia)
2020-12-21 20:25:21 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2020-12-21 20:26:26 +0100hiroaki(~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de)
2020-12-21 20:31:22 +0100Genome(~genome@cpc153687-nrwh14-2-0-cust19.4-4.cable.virginm.net)
2020-12-21 20:32:07 +0100geekosaur(42d52137@66.213.33.55)
2020-12-21 20:33:19 +0100Lycurgus(~niemand@cpe-45-46-137-210.buffalo.res.rr.com)
2020-12-21 20:33:21 +0100nil(~nil@ool-43523f2e.dyn.optonline.net)
2020-12-21 20:34:47 +0100nil(~nil@ool-43523f2e.dyn.optonline.net) ()
2020-12-21 20:35:28 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-vynnkfmwforjolgj)
2020-12-21 20:35:37 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds)
2020-12-21 20:35:37 +0100SGen(~genome@cpc153687-nrwh14-2-0-cust19.4-4.cable.virginm.net) (Ping timeout: 264 seconds)
2020-12-21 20:37:29 +0100hackagetable-layout 0.9.1.0 - Format tabular data as grid or table. https://hackage.haskell.org/package/table-layout-0.9.1.0 (muesli4)
2020-12-21 20:38:11 +0100Nahra(~Nahra@unaffiliated/nahra) (Ping timeout: 265 seconds)
2020-12-21 20:39:39 +0100unbinilium(~unbiniliu@ool-43523f2e.dyn.optonline.net)
2020-12-21 20:39:54 +0100Nahra(~Nahra@unaffiliated/nahra)
2020-12-21 20:42:43 +0100Melanie(~Melanie@192-0-134-138.cpe.teksavvy.com)
2020-12-21 20:42:57 +0100Younder(~john@33.51-174-155.customer.lyse.net)
2020-12-21 20:42:59 +0100unbiniliumnorflow
2020-12-21 20:43:19 +0100heatsink(~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523)
2020-12-21 20:43:30 +0100solarliner(~solarline@243.81.10.109.rev.sfr.net)
2020-12-21 20:43:54 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-12-21 20:47:08 +0100coot(~coot@37.30.50.187.nat.umts.dynamic.t-mobile.pl)
2020-12-21 20:47:37 +0100Melanie(~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 264 seconds)
2020-12-21 20:47:52 +0100heatsink(~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523) (Ping timeout: 260 seconds)
2020-12-21 20:49:07 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-12-21 20:51:03 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
2020-12-21 20:54:38 +0100coot(~coot@37.30.50.187.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-12-21 20:58:01 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-12-21 21:00:00 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
2020-12-21 21:00:04 +0100heatsink(~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523)
2020-12-21 21:00:17 +0100ziman(~ziman@c25-5.condornet.sk) (Quit: WeeChat 2.9)
2020-12-21 21:03:02 +0100wonko7(~wonko7@2a01:e35:2ffb:7040:4535:f480:7dff:b3b5) (Ping timeout: 260 seconds)
2020-12-21 21:03:04 +0100jneira(5127ad83@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.131)
2020-12-21 21:05:08 +0100Franciman(~francesco@host-82-49-79-73.retail.telecomitalia.it)
2020-12-21 21:05:39 +0100fuzzypixelz(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: fuzzypixelz)
2020-12-21 21:06:01 +0100fuzzypixelz(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2020-12-21 21:07:39 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-12-21 21:07:48 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-12-21 21:08:16 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
2020-12-21 21:11:23 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-12-21 21:11:24 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Ping timeout: 240 seconds)
2020-12-21 21:11:54 +0100p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-12-21 21:12:09 +0100ggole(~ggole@2001:8003:8119:7200:a81c:813a:b28c:21) (Quit: Leaving)
2020-12-21 21:14:03 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-12-21 21:15:35 +0100Younder(~john@33.51-174-155.customer.lyse.net) (Quit: Leaving)
2020-12-21 21:16:36 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2020-12-21 21:18:47 +0100vfaronov(~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov)
2020-12-21 21:18:54 +0100wonko7(~wonko7@lns-bzn-55-82-255-183-4.adsl.proxad.net)
2020-12-21 21:22:42 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 2.8)
2020-12-21 21:24:24 +0100Khaytsus1(~Khaytsus@185.204.1.185) (Remote host closed the connection)
2020-12-21 21:27:12 +0100fendor_fendor
2020-12-21 21:31:41 +0100nrh^(nrh@ip98-184-89-2.mc.at.cox.net) ()
2020-12-21 21:33:02 +0100Nahra(~Nahra@unaffiliated/nahra) (Quit: leaving)
2020-12-21 21:34:25 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-12-21 21:35:20 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-12-21 21:35:43 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-12-21 21:35:54 +0100chum(~lindzeyn@wan.hillcountryweb.com) (Quit: WeeChat 2.8)
2020-12-21 21:36:12 +0100juuandyy(~juuandyy@90.166.144.65) (Quit: Konversation terminated!)
2020-12-21 21:38:03 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net)
2020-12-21 21:39:34 +0100Lycurgus(~niemand@cpe-45-46-137-210.buffalo.res.rr.com) (Quit: Exeunt)
2020-12-21 21:39:43 +0100kam1(~kam1@24.231.108.143)
2020-12-21 21:39:43 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
2020-12-21 21:39:48 +0100cosimone_(~cosimone@93-47-228-249.ip115.fastwebnet.it)
2020-12-21 21:39:49 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 264 seconds)
2020-12-21 21:40:00 +0100Tario(~Tario@200.119.185.159)
2020-12-21 21:40:16 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2020-12-21 21:41:48 +0100cosimone(~cosimone@2001:b07:ae5:db26:1fb3:ef3f:ece2:c6f8) (Ping timeout: 260 seconds)
2020-12-21 21:41:49 +0100cosimone_cosimone
2020-12-21 21:42:25 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-12-21 21:42:41 +0100cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it) (Client Quit)
2020-12-21 21:42:51 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-12-21 21:43:31 +0100cosimone(~cosimone@2001:b07:ae5:db26:1fb3:ef3f:ece2:c6f8)
2020-12-21 21:44:07 +0100heatsink(~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523) (Remote host closed the connection)
2020-12-21 21:44:36 +0100Wayno(~Wayno@185.103.96.147)
2020-12-21 21:46:13 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2020-12-21 21:46:20 +0100nineonine(~nineonine@50.216.62.2)
2020-12-21 21:46:44 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-12-21 21:50:12 +0100kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-12-21 21:51:05 +0100solarliner(~solarline@243.81.10.109.rev.sfr.net) (Quit: solarliner)
2020-12-21 21:51:41 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2020-12-21 21:52:15 +0100 <ezzieyguywuf> ok, so I'm trying to run the test-suite for machines (https://hackage.haskell.org/package/machines). if I execute `./setup configure --enable-tests; ./setup build; ./setup haddock; ./setup test`, the tests fail "doctests: <command line>: cannot satisfy -package machines-0.7.1"
2020-12-21 21:52:23 +0100 <ezzieyguywuf> if I take out the `./setup haddock` step, tests run fine
2020-12-21 21:52:27 +0100 <ezzieyguywuf> any idea why this might be?
2020-12-21 21:54:08 +0100thc202(~thc202@unaffiliated/thc202) (Quit: thc202)
2020-12-21 21:55:36 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Remote host closed the connection)
2020-12-21 21:57:18 +0100thir(~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2020-12-21 21:57:47 +0100chang(~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
2020-12-21 21:58:28 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-12-21 21:58:42 +0100 <ezzieyguywuf> hrm, it seems that `./setup haddock` deletes `./dist/package.conf.inplace/machines-0.7.1-<hash>.conf`
2020-12-21 21:58:50 +0100 <ezzieyguywuf> is this a bug, or do I need to pass a flag to haddock?
2020-12-21 21:59:01 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2020-12-21 21:59:25 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2020-12-21 22:00:10 +0100ddellacosta(dd@gateway/vpn/mullvad/ddellacosta)
2020-12-21 22:00:22 +0100 <ezzieyguywuf> hrm, it seems that `ghc-pkg init....` (called by ./setup haddock) is to blame...
2020-12-21 22:01:31 +0100xff0x_(~fox@2001:1a81:537d:6200:a74c:d71f:eb2e:2908) (Ping timeout: 258 seconds)
2020-12-21 22:02:04 +0100 <ezzieyguywuf> interesting, if I excecute the ghc-pkg init command manually, it refuses to do anything b/c the dir exists
2020-12-21 22:03:07 +0100 <ezzieyguywuf> here's a (verbose) log of the offending haddock invokation https://dpaste.com/5877KBKCE
2020-12-21 22:03:13 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-12-21 22:05:36 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2020-12-21 22:05:54 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2020-12-21 22:07:38 +0100norflow(~unbiniliu@ool-43523f2e.dyn.optonline.net) (Ping timeout: 256 seconds)
2020-12-21 22:12:24 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2020-12-21 22:15:15 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-12-21 22:18:31 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2020-12-21 22:18:46 +0100zmagii(~zmagii@unaffiliated/zmagii)
2020-12-21 22:19:20 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Quit: mputz)
2020-12-21 22:20:16 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2020-12-21 22:23:33 +0100xff0x_(~fox@2001:1a81:537d:6200:a74c:d71f:eb2e:2908)
2020-12-21 22:24:07 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-12-21 22:24:47 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Read error: Connection reset by peer)
2020-12-21 22:28:29 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-12-21 22:28:39 +0100xcmw(~textual@2603-6011-2200-f103-c0c2-1e0a-7ed6-0dd8.res6.spectrum.com)
2020-12-21 22:28:48 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-12-21 22:29:52 +0100hseg(~gesh@IGLD-84-228-238-87.inter.net.il)
2020-12-21 22:31:01 +0100 <hseg> Hi. my testcase has some edge cases where it gets stuck, is there some way to have quickcheck report the case before being killed by OOM?
2020-12-21 22:32:29 +0100dsal(sid13060@gateway/web/irccloud.com/x-auonqazuemdkzyye) (Ping timeout: 244 seconds)
2020-12-21 22:32:29 +0100chpatrick(sid239395@gateway/web/irccloud.com/x-rhravxibfvsetmow) (Ping timeout: 244 seconds)
2020-12-21 22:32:29 +0100kyagrd__(sid102627@gateway/web/irccloud.com/x-fmxliclmtnkycstb) (Ping timeout: 244 seconds)
2020-12-21 22:32:44 +0100kyagrd__(sid102627@gateway/web/irccloud.com/x-rqbpporrihbcpahe)
2020-12-21 22:33:00 +0100_Alleria(~AllahuAkb@2604:2000:1484:26:fc97:daa2:47d5:3561) (Ping timeout: 258 seconds)
2020-12-21 22:33:00 +0100liszt(sid336875@gateway/web/irccloud.com/x-iluopyocuesnknfn) (Ping timeout: 258 seconds)
2020-12-21 22:33:00 +0100parseval(sid239098@gateway/web/irccloud.com/x-pmotixrxellomgay) (Ping timeout: 244 seconds)
2020-12-21 22:33:00 +0100PotatoGim(sid99505@gateway/web/irccloud.com/x-hlnasejbcjzegeqa) (Ping timeout: 244 seconds)
2020-12-21 22:33:00 +0100taktoa[c](sid282096@gateway/web/irccloud.com/x-itxakgqwhnqkbebe) (Ping timeout: 244 seconds)
2020-12-21 22:33:00 +0100milessabin(sid86799@gateway/web/irccloud.com/x-ascncjvecpuyiyrz) (Ping timeout: 244 seconds)
2020-12-21 22:33:00 +0100hazard-pointer(sid331723@gateway/web/irccloud.com/x-wwsxwkmcbnytyqgp) (Ping timeout: 244 seconds)
2020-12-21 22:33:00 +0100ghuntley(sid16877@gateway/web/irccloud.com/x-qztbkgafmugcryxi) (Ping timeout: 244 seconds)
2020-12-21 22:33:13 +0100Alleria_(~AllahuAkb@2604:2000:1484:26:158b:2144:660a:a16b)
2020-12-21 22:33:29 +0100jassob(~jassob@korrob.vth.sgsnet.se) (Ping timeout: 256 seconds)
2020-12-21 22:34:01 +0100taktoa[c](sid282096@gateway/web/irccloud.com/x-lvdaposrlneldkme)
2020-12-21 22:34:01 +0100liszt(sid336875@gateway/web/irccloud.com/x-vjevhjtgitwwbjkb)
2020-12-21 22:34:02 +0100milessabin(sid86799@gateway/web/irccloud.com/x-movwswjvobpojuzc)
2020-12-21 22:34:02 +0100chpatrick(sid239395@gateway/web/irccloud.com/x-wqumiebnaqquaidk)
2020-12-21 22:34:02 +0100parseval(sid239098@gateway/web/irccloud.com/x-xrspdpklffjsbdan)
2020-12-21 22:34:04 +0100dsal(sid13060@gateway/web/irccloud.com/x-pxsnympjlocgwvcz)
2020-12-21 22:34:14 +0100PotatoGim(sid99505@gateway/web/irccloud.com/x-rzrxvalmasmuxemd)
2020-12-21 22:34:42 +0100ghuntley(sid16877@gateway/web/irccloud.com/x-bidlwzbzmecvbxqt)
2020-12-21 22:34:47 +0100hazard-pointer(sid331723@gateway/web/irccloud.com/x-xwxkfcgpqygcxmpg)
2020-12-21 22:35:04 +0100jassob(~jassob@korrob.vth.sgsnet.se)
2020-12-21 22:36:08 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-12-21 22:41:01 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-12-21 22:41:25 +0100geekosaur(42d52137@66.213.33.55) (Remote host closed the connection)
2020-12-21 22:41:28 +0100 <juri_> oh haskell. how you make the complicated mind-warping.
2020-12-21 22:41:50 +0100 <tomsmeding> hseg: you might try passing +RTS -M4G to your executable
2020-12-21 22:42:07 +0100 <tomsmeding> that sets the maximum heap size to 4G (replace with whatever is appropriate for your system)
2020-12-21 22:42:19 +0100 <hseg> sure, but that just pushes things off
2020-12-21 22:42:24 +0100 <tomsmeding> not sure if that will crash in a way that quickcheck can still detect though
2020-12-21 22:42:58 +0100 <tomsmeding> well my suggestion was letting the haskell RTS decide that enough is enough, instead of linux' OOM killer
2020-12-21 22:43:16 +0100 <tomsmeding> so make that 4G _less_ than your current available memory
2020-12-21 22:43:32 +0100Melanie(~Melanie@192-0-134-138.cpe.teksavvy.com)
2020-12-21 22:43:45 +0100 <tomsmeding> but, yeah, not sure if that will actually work
2020-12-21 22:45:24 +0100kam1(~kam1@24.231.108.143) (Ping timeout: 272 seconds)
2020-12-21 22:47:45 +0100Melanie(~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 240 seconds)
2020-12-21 22:47:50 +0100sgibber2018(~arch-gibb@208.85.237.137) (Quit: WeeChat 2.9)
2020-12-21 22:51:15 +0100coot(~coot@37.30.50.187.nat.umts.dynamic.t-mobile.pl)
2020-12-21 22:51:37 +0100borne(~fritjof@200116b864861500c0a3d285e8e687f4.dip.versatel-1u1.de) (Ping timeout: 272 seconds)
2020-12-21 22:52:53 +0100neiluj(~jco@91-167-203-101.subs.proxad.net)
2020-12-21 22:52:56 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Remote host closed the connection)
2020-12-21 22:53:30 +0100hackagenix-tree 0.1.3.0 - Interactively browse a Nix store paths dependencies https://hackage.haskell.org/package/nix-tree-0.1.3.0 (utdemir)
2020-12-21 22:54:14 +0100neiluj(~jco@91-167-203-101.subs.proxad.net) (Changing host)
2020-12-21 22:54:14 +0100neiluj(~jco@unaffiliated/neiluj)
2020-12-21 22:54:39 +0100 <hseg> yeah, quickcheck doesn't crash properly for this
2020-12-21 22:54:51 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
2020-12-21 22:56:35 +0100 <hseg> aha! docs recommend using 'within'
2020-12-21 22:56:50 +0100mounty(~mounty@2001:8000:2f59:0:6d56:fa71:1764:6b85)
2020-12-21 22:57:22 +0100chang(~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 22:57:54 +0100 <tomsmeding> ah, a timeout, yes that could work too
2020-12-21 22:58:56 +0100tomboy64(~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection)
2020-12-21 22:59:15 +0100 <hseg> ok, found another parameter I should bound by
2020-12-21 22:59:29 +0100tomboy64(~tomboy64@gateway/tor-sasl/tomboy64)
2020-12-21 23:01:12 +0100 <hseg> hrmph. ok, will have to write the Arbitrary instance explicitly
2020-12-21 23:01:28 +0100 <tomsmeding> apparently (I think?) setting resource limits at runtime is not yet supported in ghc: https://gitlab.haskell.org/ghc/ghc/-/issues/7763
2020-12-21 23:01:41 +0100 <tomsmeding> would've been nice here I guess
2020-12-21 23:01:41 +0100chang(~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
2020-12-21 23:02:42 +0100Tops2(~Tobias@dyndsl-095-033-016-029.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-12-21 23:03:49 +0100 <monochrom> Haha, Simon Marlow roasts both ways: "not convinced the changed semantics works" and "not convinced the current semantics works either".
2020-12-21 23:03:55 +0100 <hseg> nice
2020-12-21 23:04:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-21 23:04:46 +0100 <hseg> hrm. given the combinatorial explosion in my test suite, need to test short lists and small ints. any way i can bound the sizes quickcheck uses?
2020-12-21 23:07:51 +0100haasn(~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2020-12-21 23:08:08 +0100grdvnl(~gdrvnl@cpe-76-94-36-134.socal.res.rr.com) (Ping timeout: 268 seconds)
2020-12-21 23:08:12 +0100 <hseg> resize looks appropriate
2020-12-21 23:08:15 +0100haasn(~nand@mpv/developer/haasn)
2020-12-21 23:08:56 +0100nyd(~nyd@unaffiliated/elysian) (Ping timeout: 240 seconds)
2020-12-21 23:09:49 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-12-21 23:10:37 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-12-21 23:11:23 +0100chang(~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-21 23:12:04 +0100 <fuzzypixelz> is there a way to join a [String] into one String
2020-12-21 23:12:13 +0100Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
2020-12-21 23:12:20 +0100 <fuzzypixelz> or rather a read-to-use function
2020-12-21 23:12:35 +0100 <xsperry> concat
2020-12-21 23:13:12 +0100 <xsperry> > concat (words "1 2 3")
2020-12-21 23:13:15 +0100 <lambdabot> "123"
2020-12-21 23:13:36 +0100andi-(~andi-@NixOS/user/andi-) (Remote host closed the connection)
2020-12-21 23:13:58 +0100 <hseg> ok, bounding works nicely
2020-12-21 23:13:59 +0100coot(~coot@37.30.50.187.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-12-21 23:14:16 +0100 <fuzzypixelz> > concat lines "Hello\nThese are some lines\nBye!"
2020-12-21 23:14:18 +0100 <lambdabot> error:
2020-12-21 23:14:19 +0100 <lambdabot> • Couldn't match expected type ‘[Char] -> t’
2020-12-21 23:14:19 +0100 <lambdabot> with actual type ‘[String]’
2020-12-21 23:14:21 +0100 <hseg> btw, any way of getting quickcheck to write a log of known-good cases to a file?
2020-12-21 23:14:40 +0100 <fuzzypixelz> concat . lines $ "Hello\nThese are some lines\nBye!"
2020-12-21 23:14:47 +0100Deide(~Deide@217.155.19.23)
2020-12-21 23:14:50 +0100 <fuzzypixelz> > concat . lines $ "Hello\nThese are some lines\nBye!"
2020-12-21 23:14:53 +0100 <lambdabot> "HelloThese are some linesBye!"
2020-12-21 23:15:19 +0100 <fuzzypixelz> is that an __acceptable__ way to do this?
2020-12-21 23:16:32 +0100 <xsperry> sure
2020-12-21 23:17:28 +0100andi-(~andi-@NixOS/user/andi-)
2020-12-21 23:17:47 +0100coot(~coot@37.30.50.187.nat.umts.dynamic.t-mobile.pl)
2020-12-21 23:18:31 +0100 <ephemient> how is that different from `filter (/= '\n')`?
2020-12-21 23:19:06 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2020-12-21 23:19:51 +0100mimi_vx(~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42) (Ping timeout: 268 seconds)
2020-12-21 23:21:06 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-12-21 23:21:49 +0100 <fuzzypixelz> aha
2020-12-21 23:22:11 +0100 <fuzzypixelz> it's already so hard to do things without my loops
2020-12-21 23:22:38 +0100 <fuzzypixelz> ephemient: I don't think it's different, I just didn't think of that
2020-12-21 23:23:51 +0100kam1(~kam1@24.231.108.143)
2020-12-21 23:24:48 +0100coot(~coot@37.30.50.187.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-12-21 23:25:34 +0100Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2020-12-21 23:27:07 +0100iqubic(~user@2601:602:9500:4870:8814:94b0:8a49:5083) (Ping timeout: 260 seconds)
2020-12-21 23:28:16 +0100 <hseg> hrm... label doesn't seem to have any effect
2020-12-21 23:28:26 +0100Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Remote host closed the connection)
2020-12-21 23:28:44 +0100texasmyn_texasmynsted
2020-12-21 23:31:45 +0100Varis(~Tadas@unaffiliated/varis) (Ping timeout: 240 seconds)
2020-12-21 23:31:50 +0100Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2020-12-21 23:32:54 +0100 <Feuermagier> how do I elegantly average a list of doubles?
2020-12-21 23:35:43 +0100ddellacosta(dd@gateway/vpn/mullvad/ddellacosta) (Quit: WeeChat 2.8)
2020-12-21 23:36:27 +0100Tario(~Tario@200.119.185.159) (Ping timeout: 260 seconds)
2020-12-21 23:36:36 +0100fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Ping timeout: 256 seconds)
2020-12-21 23:36:52 +0100jneira(5127ad83@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.131) (Ping timeout: 246 seconds)
2020-12-21 23:36:55 +0100fresheyeball(~isaac@ec2-35-155-97-88.us-west-2.compute.amazonaws.com)
2020-12-21 23:38:37 +0100Franciman(~francesco@host-82-49-79-73.retail.telecomitalia.it) (Quit: Leaving)
2020-12-21 23:39:41 +0100iqubic(~user@2601:602:9500:4870:55c5:a9fe:a753:58ff)
2020-12-21 23:40:34 +0100 <xsperry> > let xs = [1,2,10] in sum xs / fromIntegral (length xs)
2020-12-21 23:40:34 +0100Tario(~Tario@201.192.165.173)
2020-12-21 23:40:36 +0100 <lambdabot> 4.333333333333333
2020-12-21 23:40:43 +0100 <Feuermagier> ah, sry. let me rephrase
2020-12-21 23:40:48 +0100 <Feuermagier> i have a list of lists
2020-12-21 23:40:58 +0100 <Feuermagier> (assume all same length)
2020-12-21 23:41:01 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-12-21 23:41:17 +0100 <Feuermagier> and i want the first element in every list to be the average of all first elements
2020-12-21 23:42:04 +0100 <ski> if input is `[[a],[b,c],[d,e,f]]', what should output be ?
2020-12-21 23:42:08 +0100 <Feuermagier> the second in every list to be the average of all 2nd elements (and so on)
2020-12-21 23:42:09 +0100ddellacosta(dd@gateway/vpn/mullvad/ddellacosta)
2020-12-21 23:42:36 +0100 <ski> oh, sorry. missed that all had same length
2020-12-21 23:42:40 +0100 <sm[m]> sooo.. all the lists are the same ?
2020-12-21 23:42:56 +0100 <Feuermagier> yes, well, actually I just fill up with 0 should one be less
2020-12-21 23:43:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-21 23:43:16 +0100 <fuzzypixelz> https://bpa.st/AIGA
2020-12-21 23:43:36 +0100solonarv(~solonarv@adijon-656-1-25-229.w90-13.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2020-12-21 23:43:39 +0100 <fuzzypixelz> can you tell what the syntax error here is? I still don't know how to do correct identation
2020-12-21 23:43:42 +0100 <monochrom> I don't understand why the output has to be [[Double]], not simply [Double].
2020-12-21 23:43:54 +0100 <ski> > let average xs = sum xs / fromIntegral (length xs) in (map average . transpose) [[1,4,7],[2,5,8],[3,6,9]]
2020-12-21 23:43:56 +0100 <lambdabot> [2.0,5.0,8.0]
2020-12-21 23:44:27 +0100 <ski> > let average xs = sum xs / fromIntegral (length xs) in (map average . transpose) [[1,4,7],[2,5,8],[3,6,9]] :: [Expr]
2020-12-21 23:44:29 +0100 <lambdabot> [(0 + 1 + 2 + 3) / 3,(0 + 4 + 5 + 6) / 3,(0 + 7 + 8 + 9) / 3]
2020-12-21 23:44:36 +0100 <monochrom> But I would make the output simply [Double]. Then my algorithm is (map average . transpose), where I code up "average" to be a simple average of one list.
2020-12-21 23:44:50 +0100 <monochrom> Yeah what ski did.
2020-12-21 23:45:30 +0100 <ski> fuzzypixelz : indent `if' more than `unique'
2020-12-21 23:45:44 +0100neiluj(~jco@unaffiliated/neiluj) (Quit: leaving)
2020-12-21 23:45:47 +0100 <ski> you can also use guards, here
2020-12-21 23:46:14 +0100 <Feuermagier> ski, big thanks!
2020-12-21 23:46:18 +0100mimi_vx(~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42)
2020-12-21 23:46:54 +0100 <ski> although, `acc ++ answer' is a type error. and you've got the parameter ordering of `foldl' wrong
2020-12-21 23:48:37 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-rvdkfbbedyjxkcho)
2020-12-21 23:49:02 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-12-21 23:49:20 +0100 <monochrom> This is why I (and most others) don't put anything on the same line as "where".
2020-12-21 23:49:24 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-12-21 23:50:10 +0100 <fuzzypixelz> ski: I though it was with respect with `where`, thank you
2020-12-21 23:50:49 +0100 <monochrom> And it still doesn't imply that the line after "where" is horrendously indented by 8 spaces. You can use just 2 for "where", 4 for the line after.
2020-12-21 23:51:40 +0100benjamingr__(uid23465@gateway/web/irccloud.com/x-ohsvkwapujoenvvu)
2020-12-21 23:52:05 +0100 <monochrom> In addition, this also is more honest, less misleading when: before the 2-space-indented "where" you have a 4-space-indented do-block.
2020-12-21 23:52:13 +0100 <Feuermagier> ski, how do i elegantly append 0 until all lists are of the same length in my previous example?
2020-12-21 23:52:58 +0100 <Feuermagier> (as i actually want it to work on lists with differentl length, just as if a nonexistant element *were* 0)
2020-12-21 23:53:11 +0100Ariakenom(~Ariakenom@2001:9b1:efb:fc00:a046:62be:dfc5:33d1) (Quit: Leaving)
2020-12-21 23:53:35 +0100 <monochrom> > transpose ["abcd", "01"]
2020-12-21 23:53:37 +0100 <lambdabot> ["a0","b1","c","d"]
2020-12-21 23:54:24 +0100 <monochrom> I think you don't need to. You just need the maximum length, use it for your divisor.
2020-12-21 23:55:32 +0100 <Feuermagier> monochrom, can you show how you mean that on the function of ski : let average xs = sum xs / fromIntegral (length xs) in (map average . transpose)
2020-12-21 23:55:40 +0100 <monochrom> average [x,y] = sum [x,y] / 10 if you know 10 is the maximum length coming from outer level.
2020-12-21 23:56:42 +0100pavonia(~user@unaffiliated/siracusa)
2020-12-21 23:56:46 +0100 <monochrom> OK, your input is [[x,y], [a,b,c,d,e,f,g,h,i]]
2020-12-21 23:57:02 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-12-21 23:57:13 +0100 <monochrom> n = fromIntegral (maximum (map length that)) gives you 10.0
2020-12-21 23:57:15 +0100 <hseg> any way of getting quickcheck to abort a test if it's too expensive but still keep going?
2020-12-21 23:57:22 +0100 <hseg> i.e. a non-fatal 'within'
2020-12-21 23:58:06 +0100Mikagami(~MOSCOS@122.54.107.175) (Remote host closed the connection)
2020-12-21 23:58:11 +0100 <monochrom> map (\xs -> sum xs / n) (transpose that) is the list of averages.
2020-12-21 23:58:25 +0100 <monochrom> also the input is [[x,y], [a,b,c,d,e,f,g,h,i,j]]
2020-12-21 23:58:32 +0100Mikagami(~MOSCOS@122.54.107.175)
2020-12-21 23:58:50 +0100 <Feuermagier> monochrom, i want my example to behave *as if* zeroes were attended to the list
2020-12-21 23:59:00 +0100 <Feuermagier> so all lists are same length
2020-12-21 23:59:04 +0100 <monochrom> I did that.
2020-12-21 23:59:25 +0100 <Feuermagier> monochrom, which formula does that?