2021/05/11

2021-05-11 00:01:35 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-11 00:01:47 +0200Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-05-11 00:01:56 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-11 00:02:38 +0200minoru_shiraeesh(~shiraeesh@109.166.58.80) (Remote host closed the connection)
2021-05-11 00:02:52 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-11 00:03:03 +0200minoru_shiraeesh(~shiraeesh@109.166.58.80)
2021-05-11 00:04:31 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-05-11 00:05:17 +0200NieDzejkob(~quassel@195.149.98.3) (Remote host closed the connection)
2021-05-11 00:05:56 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-11 00:05:57 +0200mouseghost(~draco@wikipedia/desperek) (Ping timeout: 260 seconds)
2021-05-11 00:06:27 +0200NieDzejkob(~quassel@195.149.98.3)
2021-05-11 00:08:11 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-11 00:08:42 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-11 00:08:53 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-11 00:08:54 +0200bitmagie(~Thunderbi@200116b80679dc0024e5979891cb6dd0.dip.versatel-1u1.de)
2021-05-11 00:09:42 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-11 00:10:06 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds)
2021-05-11 00:10:38 +0200veverak(~veverak@ip-89-102-98-161.net.upcbroadband.cz) (Ping timeout: 240 seconds)
2021-05-11 00:11:49 +0200veverak(~veverak@ip-89-102-98-161.net.upcbroadband.cz)
2021-05-11 00:14:13 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-11 00:20:13 +0200SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!)
2021-05-11 00:20:30 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-11 00:20:50 +0200stree(~stree@68.36.8.116) (Ping timeout: 246 seconds)
2021-05-11 00:21:58 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!)
2021-05-11 00:22:10 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-11 00:22:38 +0200SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net)
2021-05-11 00:23:51 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-11 00:26:04 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-05-11 00:27:19 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 00:28:35 +0200ixlun(~user@109.249.184.235) (Ping timeout: 268 seconds)
2021-05-11 00:29:06 +0200Jake(4964ae4b@c-73-100-174-75.hsd1.ma.comcast.net)
2021-05-11 00:29:31 +0200texasmynsted(~texasmyns@99.96.221.112) (Read error: Connection reset by peer)
2021-05-11 00:29:34 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-05-11 00:29:45 +0200yoctocell(~user@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 260 seconds)
2021-05-11 00:29:53 +0200ixlun(~user@109.249.184.235)
2021-05-11 00:32:34 +0200Jake(4964ae4b@c-73-100-174-75.hsd1.ma.comcast.net) (Client Quit)
2021-05-11 00:33:48 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-11 00:34:11 +0200stree(~stree@68.36.8.116)
2021-05-11 00:34:12 +0200ixlun(~user@109.249.184.235) (Ping timeout: 240 seconds)
2021-05-11 00:36:21 +0200Guest30199(~textual@mskresolve-a.mskcc.org) (Ping timeout: 260 seconds)
2021-05-11 00:38:32 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-11 00:39:33 +0200ixlun(~user@109.249.184.235)
2021-05-11 00:40:55 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 268 seconds)
2021-05-11 00:43:33 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-11 00:44:13 +0200ixlun(~user@109.249.184.235) (Ping timeout: 260 seconds)
2021-05-11 00:47:58 +0200Daneel_Olivaw150(~HariSeldo@2a03:4b80:b716:2570:fa59:71ff:fe52:9a18) (Remote host closed the connection)
2021-05-11 00:48:19 +0200Daneel_Olivaw150(~HariSeldo@2a03:4b80:b716:2570:fa59:71ff:fe52:9a18)
2021-05-11 00:50:12 +0200thc202(~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds)
2021-05-11 00:50:39 +0200Daneel_Olivaw150(~HariSeldo@2a03:4b80:b716:2570:fa59:71ff:fe52:9a18) (Client Quit)
2021-05-11 00:55:08 +0200alx741(~alx741@186.178.108.184) (Ping timeout: 246 seconds)
2021-05-11 00:55:26 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-11 00:55:56 +0200Natch(~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 265 seconds)
2021-05-11 00:57:17 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 260 seconds)
2021-05-11 01:01:11 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-11 01:01:30 +0200bitmagie(~Thunderbi@200116b80679dc0024e5979891cb6dd0.dip.versatel-1u1.de) (Quit: bitmagie)
2021-05-11 01:02:17 +0200bitmagie(~Thunderbi@200116b80679dc0024e5979891cb6dd0.dip.versatel-1u1.de)
2021-05-11 01:02:37 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Quit: Konversation terminated!)
2021-05-11 01:05:35 +0200DavidEichmann(~david@156.59.147.147.dyn.plus.net) (Ping timeout: 268 seconds)
2021-05-11 01:07:34 +0200bitmagie(~Thunderbi@200116b80679dc0024e5979891cb6dd0.dip.versatel-1u1.de) (Quit: bitmagie)
2021-05-11 01:07:45 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com)
2021-05-11 01:08:16 +0200alx741(~alx741@186.178.109.110)
2021-05-11 01:08:45 +0200nolrai(4c1bcada@c-76-27-202-218.hsd1.or.comcast.net)
2021-05-11 01:08:48 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2021-05-11 01:09:50 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Remote host closed the connection)
2021-05-11 01:10:10 +0200 <fresheyeball> is there any reason to not put INLINEABLE on every single function in a library?
2021-05-11 01:11:08 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 268 seconds)
2021-05-11 01:12:44 +0200 <nolrai> Isn't that the default?
2021-05-11 01:18:23 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 01:19:20 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-11 01:19:47 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-11 01:20:40 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-05-11 01:21:32 +0200CrazyPython(~crazypyth@98.122.164.118)
2021-05-11 01:23:01 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-11 01:24:09 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 01:27:31 +0200chris__(~chris@81.96.113.213)
2021-05-11 01:28:53 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-05-11 01:29:24 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-05-11 01:33:26 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-05-11 01:33:34 +0200Ishutin_(~ishutin@80-95-86-70.pool.digikabel.hu) (Ping timeout: 252 seconds)
2021-05-11 01:42:05 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-11 01:44:29 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 246 seconds)
2021-05-11 01:49:19 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-11 01:52:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-11 01:53:35 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 246 seconds)
2021-05-11 01:54:22 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-05-11 01:55:26 +0200 <chris__> hi
2021-05-11 01:57:25 +0200 <Axman6> Hello
2021-05-11 01:58:16 +0200Iceland_jack(~user@95.147.45.92) (Remote host closed the connection)
2021-05-11 01:58:43 +0200EvilMagix(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-05-11 01:59:58 +0200Alleria(~textual@2603-7000-3040-0000-bdb6-a38d-2635-929e.res6.spectrum.com)
2021-05-11 02:00:22 +0200AlleriaGuest46484
2021-05-11 02:04:13 +0200Guest46484(~textual@2603-7000-3040-0000-bdb6-a38d-2635-929e.res6.spectrum.com) (Ping timeout: 250 seconds)
2021-05-11 02:05:37 +0200Alleria__(~textual@2603-7000-3040-0000-bdb6-a38d-2635-929e.res6.spectrum.com)
2021-05-11 02:10:46 +0200Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat)
2021-05-11 02:11:58 +0200Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net)
2021-05-11 02:12:33 +0200rj(~x@gateway/tor-sasl/rj) (Quit: rj)
2021-05-11 02:12:50 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 02:13:06 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-11 02:13:37 +0200Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-05-11 02:14:16 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-11 02:14:45 +0200andreas303(~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds)
2021-05-11 02:15:26 +0200 <edwardk> nolrai: no it isn't.
2021-05-11 02:15:33 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-05-11 02:16:32 +0200vite(~vite@185.204.1.185) (Remote host closed the connection)
2021-05-11 02:17:01 +0200andreas303(~andreas@gateway/tor-sasl/andreas303)
2021-05-11 02:17:11 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-05-11 02:17:26 +0200 <edwardk> nolrai: you can almost get the same result by using -fexpose-all-unfoldings and -fspecialize-aggressively -- that is if you do so in all the code that depends on your library IIRC.
2021-05-11 02:18:04 +0200 <geekosaur> isn't compilation going to be a lot slower in any module that imports said module?
2021-05-11 02:19:06 +0200bennofs__(~quassel@dynamic-077-013-025-172.77.13.pool.telefonica.de)
2021-05-11 02:19:35 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-05-11 02:20:35 +0200nolrai(4c1bcada@c-76-27-202-218.hsd1.or.comcast.net) (Quit: Connection closed)
2021-05-11 02:20:47 +0200ericsagn1(~ericsagne@2405:6580:0:5100:5a0:c951:bf9:2db8) (Ping timeout: 260 seconds)
2021-05-11 02:21:26 +0200urdh(~urdh@unaffiliated/urdh)
2021-05-11 02:22:55 +0200acidjnk_new2(~acidjnk@p200300d0c72b9550dd7ca825465ad778.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2021-05-11 02:23:06 +0200bennofs_(~quassel@x4db709cf.dyn.telefonica.de) (Ping timeout: 260 seconds)
2021-05-11 02:29:16 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9)
2021-05-11 02:31:13 +0200mrchampion(~mrchampio@38.18.109.23) (Ping timeout: 240 seconds)
2021-05-11 02:31:29 +0200 <minoru_shiraeesh> what is haskell wiki's url?
2021-05-11 02:31:59 +0200 <minoru_shiraeesh> it's weird that it's not listed in subreddit
2021-05-11 02:32:28 +0200kireguy(~kireguy@185.204.1.185)
2021-05-11 02:32:32 +0200nineonine(~nineonine@50.216.62.2) (Ping timeout: 268 seconds)
2021-05-11 02:33:37 +0200ericsagn1(~ericsagne@2405:6580:0:5100:b6b3:41e:9821:2954)
2021-05-11 02:34:29 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-11 02:34:32 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds)
2021-05-11 02:34:33 +0200mrchampion(~mrchampio@38.18.109.23)
2021-05-11 02:35:21 +0200 <minoru_shiraeesh> I think it's wiki.haskell.org
2021-05-11 02:35:51 +0200nolrai(4c1bcada@c-76-27-202-218.hsd1.or.comcast.net)
2021-05-11 02:37:42 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-05-11 02:38:05 +0200m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 268 seconds)
2021-05-11 02:38:24 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2021-05-11 02:38:41 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-05-11 02:42:24 +0200stree(~stree@68.36.8.116) (Ping timeout: 268 seconds)
2021-05-11 02:43:47 +0200 <minoru_shiraeesh> where is haskell meta-tutorial?
2021-05-11 02:43:58 +0200Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2021-05-11 02:44:06 +0200 <minoru_shiraeesh> this url gives 404 not found error: https://www.haskell.org/haskellwiki/Meta-tutorial
2021-05-11 02:44:41 +0200 <minoru_shiraeesh> I found a link on haskell page on wikibooks
2021-05-11 02:46:11 +0200 <geekosaur> https://wiki.haskell.org/Meta-tutorial ?
2021-05-11 02:46:41 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-11 02:47:08 +0200Codaraxis(Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 246 seconds)
2021-05-11 02:47:47 +0200 <minoru_shiraeesh> this is it! thanks
2021-05-11 02:47:49 +0200nolrai(4c1bcada@c-76-27-202-218.hsd1.or.comcast.net) (Quit: Connection closed)
2021-05-11 02:48:05 +0200ep1ctetus_(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Quit: Leaving)
2021-05-11 02:51:39 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds)
2021-05-11 02:52:01 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-tgwozfrjgszjeomb) (Quit: Connection closed for inactivity)
2021-05-11 02:54:41 +0200jao(~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
2021-05-11 02:55:18 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-11 02:55:19 +0200stree(~stree@68.36.8.116)
2021-05-11 02:55:47 +0200Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 250 seconds)
2021-05-11 02:56:19 +0200Cthalupa(~cthulhu@47.186.47.75)
2021-05-11 02:59:26 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-05-11 03:01:30 +0200undvrainbowvita8(~egp_@128-71-13-3.broadband.corbina.ru) (Read error: Connection reset by peer)
2021-05-11 03:06:03 +0200xff0x(~xff0x@2001:1a81:53c1:c00:d3cf:b4c5:fad:7731) (Ping timeout: 260 seconds)
2021-05-11 03:06:45 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 03:07:13 +0200nvmd(~nvmd@177.30.111.232)
2021-05-11 03:07:22 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-11 03:07:40 +0200xff0x(~xff0x@2001:1a81:53fb:1000:2c1d:2721:9e36:7aea)
2021-05-11 03:08:29 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-11 03:10:49 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-05-11 03:11:23 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds)
2021-05-11 03:11:49 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9)
2021-05-11 03:12:20 +0200carlomagno1(~cararell@148.87.23.11)
2021-05-11 03:12:51 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-05-11 03:13:45 +0200MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾)
2021-05-11 03:13:59 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-05-11 03:14:22 +0200MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru)
2021-05-11 03:14:41 +0200deviantfero(~deviantfe@190.150.27.58) (Ping timeout: 240 seconds)
2021-05-11 03:14:46 +0200carlomagno(~cararell@148.87.23.12) (Ping timeout: 240 seconds)
2021-05-11 03:18:29 +0200deviantfero(~deviantfe@190.150.27.58)
2021-05-11 03:23:56 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-11 03:24:19 +0200puffnfresh(~puffnfres@45.76.124.5) (Ping timeout: 265 seconds)
2021-05-11 03:24:36 +0200puffnfresh(~puffnfres@45.76.124.5)
2021-05-11 03:25:09 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-05-11 03:27:04 +0200falafel(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com)
2021-05-11 03:27:27 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-11 03:27:46 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-11 03:28:19 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds)
2021-05-11 03:32:30 +0200xcmw(~textual@2603-6011-2200-f103-5955-2007-b8ef-9f55.res6.spectrum.com)
2021-05-11 03:33:52 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-05-11 03:35:03 +0200undvrainbowvita8(~egp_@128-71-13-3.broadband.corbina.ru)
2021-05-11 03:35:41 +0200tempate(~tempate@unaffiliated/tempate) (Ping timeout: 240 seconds)
2021-05-11 03:36:38 +0200tempate(~tempate@90.173.107.9)
2021-05-11 03:36:39 +0200tempate(~tempate@90.173.107.9) (Changing host)
2021-05-11 03:36:39 +0200tempate(~tempate@unaffiliated/tempate)
2021-05-11 03:38:20 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-05-11 03:38:54 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1)
2021-05-11 03:41:04 +0200drbean_(~drbean@TC210-63-209-99.static.apol.com.tw)
2021-05-11 03:47:42 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds)
2021-05-11 03:49:00 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-05-11 03:49:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 03:50:42 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-11 03:51:21 +0200rajivr(uid269651@gateway/web/irccloud.com/x-hrgaorfqejcowubk)
2021-05-11 03:54:33 +0200dpl_(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 268 seconds)
2021-05-11 04:00:11 +0200EvilMagix(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds)
2021-05-11 04:00:53 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 04:05:11 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2021-05-11 04:06:10 +0200wei2912(~wei2912@unaffiliated/wei2912)
2021-05-11 04:06:22 +0200CrazyPython(~crazypyth@98.122.164.118) (Ping timeout: 265 seconds)
2021-05-11 04:07:49 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-11 04:08:39 +0200berberman(~berberman@unaffiliated/berberman)
2021-05-11 04:09:01 +0200berberman_(~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds)
2021-05-11 04:09:08 +0200Iceland_jack(~user@95.147.45.92)
2021-05-11 04:09:29 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-05-11 04:10:25 +0200nineonine(~nineonine@50.216.62.2)
2021-05-11 04:11:12 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection)
2021-05-11 04:12:48 +0200husixu(~husixu@137.132.117.40)
2021-05-11 04:12:49 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6)
2021-05-11 04:13:06 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-05-11 04:13:55 +0200 <ski> @wiki
2021-05-11 04:13:55 +0200 <lambdabot> https://wiki.haskell.org
2021-05-11 04:19:13 +0200theDon(~td@muedsl-82-207-238-124.citykom.de) (Ping timeout: 268 seconds)
2021-05-11 04:20:53 +0200theDon(~td@muedsl-82-207-238-242.citykom.de)
2021-05-11 04:21:39 +0200falafel(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 245 seconds)
2021-05-11 04:23:11 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-11 04:27:42 +0200FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-05-11 04:27:42 +0200finn_elijaGuest16233
2021-05-11 04:27:43 +0200FinnElijafinn_elija
2021-05-11 04:27:53 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-11 04:30:12 +0200Tops2(~Tobias@dyndsl-095-033-094-242.ewe-ip-backbone.de)
2021-05-11 04:31:09 +0200Guest16233(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-05-11 04:31:54 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9)
2021-05-11 04:33:47 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection)
2021-05-11 04:34:13 +0200yahb(xsbot@haskell/bot/yahb) (Ping timeout: 240 seconds)
2021-05-11 04:35:16 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6)
2021-05-11 04:38:52 +0200yahb(xsbot@178.219.36.155)
2021-05-11 04:38:52 +0200yahb(xsbot@178.219.36.155) (Changing host)
2021-05-11 04:38:52 +0200yahb(xsbot@haskell/bot/yahb)
2021-05-11 04:40:46 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds)
2021-05-11 04:42:22 +0200 <minoru_shiraeesh> ski: yes, that's the wiki I was talking about, thanks
2021-05-11 04:44:12 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 04:47:03 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-11 04:47:56 +0200BIG_JIMMY_D(~jim@108.61.185.76) (Ping timeout: 265 seconds)
2021-05-11 04:48:06 +0200mounty(~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 240 seconds)
2021-05-11 04:48:48 +0200BIG_JIMMY_D(~jim@108.61.185.76)
2021-05-11 04:48:56 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2021-05-11 04:51:25 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
2021-05-11 04:52:45 +0200 <minoru_shiraeesh> so let's say I want to add a page about various ways of solving a task, like architectural patterns, approaches, something like that
2021-05-11 04:53:22 +0200 <minoru_shiraeesh> does a page like that fit into haskell wiki?
2021-05-11 04:53:30 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-11 04:53:44 +0200BIG_JIMMY_D(~jim@108.61.185.76) (Ping timeout: 265 seconds)
2021-05-11 04:54:24 +0200 <minoru_shiraeesh> or wikibooks
2021-05-11 04:54:44 +0200BIG_JIMMY_D(~jim@108.61.185.76)
2021-05-11 04:54:50 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-uarnrolikdibusqq) ()
2021-05-11 04:56:16 +0200ADG1089(~aditya@223.226.229.98)
2021-05-11 04:56:41 +0200 <ADG1089> even with the constrained nature of language is it possible to write crap code in haskell?
2021-05-11 04:57:32 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-11 04:58:41 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 05:03:13 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-05-11 05:03:24 +0200stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-05-11 05:06:47 +0200 <nshepperd> certainly
2021-05-11 05:08:12 +0200 <pjb> I'd even say it's easier.
2021-05-11 05:10:42 +0200wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2021-05-11 05:15:08 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection)
2021-05-11 05:16:35 +0200stree(~stree@68.36.8.116)
2021-05-11 05:16:42 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6)
2021-05-11 05:16:55 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
2021-05-11 05:18:26 +0200 <minoru_shiraeesh> the only article from wiki haskell I remember reading was about folds
2021-05-11 05:19:31 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection)
2021-05-11 05:19:53 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::9ba6)
2021-05-11 05:20:34 +0200 <minoru_shiraeesh> I want to create a page that will list a collection of various ways of creating an application
2021-05-11 05:21:18 +0200 <minoru_shiraeesh> something like a cookbook with emphasis on design patterns
2021-05-11 05:21:51 +0200 <minoru_shiraeesh> does haskell wiki have pages like that?
2021-05-11 05:22:32 +0200ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2021-05-11 05:23:07 +0200renzhi(~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 250 seconds)
2021-05-11 05:23:11 +0200ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-05-11 05:23:45 +0200 <minoru_shiraeesh> I see there's a "Haskell in Practice" section in wikibooks, and under it there is "Specialized Tasks" part
2021-05-11 05:24:05 +0200 <minoru_shiraeesh> I think the page I'm describing is going to fit there
2021-05-11 05:24:13 +0200 <minoru_shiraeesh> how about haskell wiki?
2021-05-11 05:28:24 +0200EvilMagix(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-05-11 05:33:03 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::9ba6) (Remote host closed the connection)
2021-05-11 05:34:19 +0200 <ADG1089> pjb: for example?
2021-05-11 05:35:25 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::9ba6)
2021-05-11 05:35:49 +0200xkapastel(uid17782@gateway/web/irccloud.com/x-porhvditswtjxxbh) (Quit: Connection closed for inactivity)
2021-05-11 05:37:00 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::9ba6) (Remote host closed the connection)
2021-05-11 05:37:34 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::9ba6)
2021-05-11 05:45:57 +0200hololeap(hololeap@gateway/vpn/protonvpn/hololeap)
2021-05-11 05:50:21 +0200 <minoru_shiraeesh> I think it's possible to write bad code in any language, writing good code - depends on the language
2021-05-11 05:51:18 +0200 <minoru_shiraeesh> although it's going to be hard to distinguish bad and good code in the whitespace language, for example
2021-05-11 05:54:06 +0200Athas(athas@2a01:7c8:aaac:1cf:2394:476b:619f:8554) (Quit: ZNC - http://znc.sourceforge.net)
2021-05-11 05:54:16 +0200Athas(athas@sigkill.dk)
2021-05-11 05:55:57 +0200 <pjb> ADG1089: you have a lot of abstraction tools that you can abuse to write overly sophisticated code.
2021-05-11 05:56:54 +0200 <hololeap> some people find `fmap` over the function instance of Functor to be bad code, but others seem to like it. there's a lot of ambiguity when it comes to what is considered "good code"
2021-05-11 05:58:39 +0200 <ADG1089> hololeap: that seems ok to me, fmap over (->) ?
2021-05-11 05:59:42 +0200 <hololeap> ADG1089: exactly. a lot of people see it as visually ambiguous, calling it "name that Functor/Applicative/Monad". i tend to agree :/
2021-05-11 06:00:58 +0200 <hololeap> that's just an example where the syntactic options given by haskell create controversy
2021-05-11 06:01:27 +0200 <ADG1089> probably depends upon how much it allows for people to make mistakes
2021-05-11 06:01:49 +0200 <ski> `f . g' seems simpler to grasp, to me, than `fmap f g' or `f <$> g'
2021-05-11 06:02:05 +0200 <hololeap> the type system would prevent you from doing anyhing too far from what you want, but it might be hard to parse for someone reading your code
2021-05-11 06:02:08 +0200 <ski> similarly for `map f xs' over `fmap f xs'
2021-05-11 06:04:33 +0200 <hololeap> ski: i agree. using that isn't quite so generic can be good unless you have broken your code into a bunch of fragments with easy-to-parse type signatures
2021-05-11 06:05:24 +0200ADG1089(~aditya@223.226.229.98) (Remote host closed the connection)
2021-05-11 06:05:24 +0200hexfive(~hexfive@50.35.83.177) (Quit: i must go. my people need me.)
2021-05-11 06:10:28 +0200 <ski> occasionally, i think some code would be easier to follow, writing it as a series of transformations of types (focusing on spelling out the types explicitly, rather than focusing primarily on the steps)
2021-05-11 06:14:14 +0200 <ski> as an example of the kind of think i had in mind, would you prefer to read `join . fmap join', or `m a <-{join}-< m (m a) <-{fmap join}-< m (m (m a))' (or `id @(m a) . join . id @(m (m a)) . fmap join . id @(m (m (m a)))') ?
2021-05-11 06:14:32 +0200 <ski> s/think/thing/
2021-05-11 06:18:47 +0200Axman6You can write PHP in any language...
2021-05-11 06:19:00 +0200 <Axman6> cccccckvtilvfvjnebecfchnkedrjcttjdkhubtnuvhj
2021-05-11 06:19:17 +0200RusAlex(~Chel@unaffiliated/rusalex) (Ping timeout: 265 seconds)
2021-05-11 06:19:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 06:20:15 +0200 <Axman6> uh, thanks yubikey
2021-05-11 06:20:34 +0200skiwas thinking about blaming the cat
2021-05-11 06:20:52 +0200 <ski> (or perchance a toddler)
2021-05-11 06:20:53 +0200 <justsomeguy> Ah, the dreaded irc yubikey blast; I've done that maybe ten times now?
2021-05-11 06:21:41 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-05-11 06:21:49 +0200Feuermagier(~Feuermagi@213.178.26.41)
2021-05-11 06:25:01 +0200hyiltiz(~quassel@unaffiliated/hyiltiz) (Ping timeout: 268 seconds)
2021-05-11 06:25:38 +0200hyiltiz(~quassel@31.220.5.250)
2021-05-11 06:25:38 +0200hyiltiz(~quassel@31.220.5.250) (Changing host)
2021-05-11 06:25:38 +0200hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-05-11 06:25:47 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::9ba6) (Remote host closed the connection)
2021-05-11 06:25:54 +0200Ishutin(~ishutin@92-249-185-177.pool.digikabel.hu)
2021-05-11 06:26:06 +0200RusAlex(~Chel@unaffiliated/rusalex)
2021-05-11 06:26:14 +0200dolio(~dolio@haskell/developer/dolio) (Ping timeout: 246 seconds)
2021-05-11 06:26:31 +0200 <minoru_shiraeesh> how about another problem: a lot of code with no documentation that you don't know how to approach
2021-05-11 06:26:41 +0200Feuermagier(~Feuermagi@213.178.26.41) (Remote host closed the connection)
2021-05-11 06:27:08 +0200 <Axman6> is that a question?
2021-05-11 06:27:27 +0200 <minoru_shiraeesh> when you don't know where is the beginning and where is the end
2021-05-11 06:27:56 +0200 <Iceland_jack> minoru_shiraeesh: When faced with such a problem, I start by heavily adding type annotations
2021-05-11 06:27:57 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-11 06:27:58 +0200 <Axman6> then you read is more carefully. this is a very vague "question"
2021-05-11 06:28:08 +0200 <Axman6> it*
2021-05-11 06:28:33 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds)
2021-05-11 06:28:37 +0200Feuermagier(~Feuermagi@213.178.26.41)
2021-05-11 06:28:48 +0200 <Iceland_jack> Familiarizing myself with the types in general
2021-05-11 06:29:21 +0200 <minoru_shiraeesh> it happened to me several times. people just spit out a giant mountain of code and expect you to figure out what's going on
2021-05-11 06:29:37 +0200Feuermagier(~Feuermagi@213.178.26.41) (Read error: Connection reset by peer)
2021-05-11 06:30:16 +0200 <minoru_shiraeesh> of course you're going to figure it out eventually, but following the same logic we could create square wheels
2021-05-11 06:30:30 +0200 <minoru_shiraeesh> you just push it harder and it will move eventually, right?
2021-05-11 06:31:21 +0200Feuermagier(~Feuermagi@213.178.26.41)
2021-05-11 06:31:31 +0200Guest81(~textual@cpe-108-185-120-135.socal.res.rr.com)
2021-05-11 06:31:56 +0200 <Guest81> Hello. I know ghcup + cabal is the recommended/popular way, but I'm going through the Haskell from first principles book which uses Stack. I've heard there could be issues with installing both ghcup and stack. Is that true? Or is it generally safe? Or is it trivial to replace stack with cabal for that book?
2021-05-11 06:32:33 +0200husixu(~husixu@137.132.117.40) (Ping timeout: 240 seconds)
2021-05-11 06:32:38 +0200 <Axman6> I find that it's very rare that it really is just a mountain of code without any organisation - one of your first goals should be to figure out where the entry point to the code is, if it is a program - this is often "main".
2021-05-11 06:33:02 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-05-11 06:33:32 +0200 <Axman6> Guest81: it's definitely "safe" to have both, they won't do any damage to each other, and if the tutorial is using stack, it might be a good idea to just use it, and later learn how to do the same things using cabal isntead
2021-05-11 06:33:45 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-05-11 06:35:25 +0200 <minoru_shiraeesh> maybe the lack experience played a role, but the square wheels example still applies
2021-05-11 06:35:27 +0200 <Guest81> Axman6: I guess my big concern is that I understand they both install ghc.
2021-05-11 06:35:50 +0200 <Axman6> yes, they will both intall ghc, though you can make stack use the ghc installed by ghcup
2021-05-11 06:36:19 +0200 <minoru_shiraeesh> and sometimes abstractions make it hard to follow the logic starting from main
2021-05-11 06:37:04 +0200 <minoru_shiraeesh> you start from main, stumble across several interfaces and then there are like 20 implementations of those interfaces in the project
2021-05-11 06:37:28 +0200 <Axman6> minoru_shiraeesh: these are very vague statements, we can definitely help you if you have something more concrete, but for any given piece of code, the methods you'll use to navigate it are likely to be different - do you have some specific code ytou are strugling with?
2021-05-11 06:38:31 +0200 <minoru_shiraeesh> I was just adding to the discussion of bad code
2021-05-11 06:39:38 +0200 <Axman6> tools like Haskell language server help a lot with that particular problem, becauxe you can find out which types are actually being used for a given piece of code
2021-05-11 06:40:03 +0200 <minoru_shiraeesh> spitting out a giant mountain of code without making it clear how to approach it - I think it also may be considered bad code
2021-05-11 06:41:35 +0200 <Axman6> The project I'm working on has over 300k lines of code, it takes months to get a good idea of how the system works. this is true of any sufficiently complex codebase and part of learning to program is being able to deal with complexity and start to put the pieces together yourself, and develop ways to explore which efficiently answer your questions
2021-05-11 06:42:23 +0200zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-05-11 06:42:40 +0200hyiltiz(~quassel@unaffiliated/hyiltiz) (Ping timeout: 252 seconds)
2021-05-11 06:44:02 +0200Feuermagier(~Feuermagi@213.178.26.41) (Quit: Leaving)
2021-05-11 06:44:10 +0200 <Axman6> pretty much by definition, all code bases become domain specific languages for the problem they exist to solve, and learning that language is a big part of the job
2021-05-11 06:44:21 +0200zaquest(~notzaques@5.128.210.178)
2021-05-11 06:44:49 +0200Feuermagier(~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e)
2021-05-11 06:44:52 +0200delonte(415f295b@gateway/web/cgi-irc/kiwiirc.com/ip.65.95.41.91)
2021-05-11 06:44:58 +0200Feuermagier(~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Remote host closed the connection)
2021-05-11 06:44:58 +0200 <minoru_shiraeesh> Axman6: I think we're talking about different things, unless you're defending creating undocumented mess
2021-05-11 06:45:26 +0200carlomagno1(~cararell@148.87.23.11) (Quit: Leaving.)
2021-05-11 06:45:28 +0200 <Axman6> what makes something an undocumented mess though?
2021-05-11 06:46:11 +0200 <minoru_shiraeesh> giant files with collections of things
2021-05-11 06:46:21 +0200drbean_(~drbean@TC210-63-209-99.static.apol.com.tw) (Ping timeout: 265 seconds)
2021-05-11 06:46:34 +0200 <Axman6> what if the things are related? what if they are necessarily complex?
2021-05-11 06:46:43 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 06:46:44 +0200 <minoru_shiraeesh> and no documentation, no guide on how to navigate through it
2021-05-11 06:47:02 +0200kupi(uid212005@gateway/web/irccloud.com/x-ovwhwsshlhgdvfva) (Quit: Connection closed for inactivity)
2021-05-11 06:47:26 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-11 06:47:28 +0200falafel(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com)
2021-05-11 06:47:28 +0200drbean_(~drbean@TC210-63-209-90.static.apol.com.tw)
2021-05-11 06:48:27 +0200Feuermagier(~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e)
2021-05-11 06:48:36 +0200 <minoru_shiraeesh> I expect a sane project to provide a description: here is the core, here are components, the core works like this, components work like this
2021-05-11 06:49:21 +0200 <Axman6> that only gets you so far in a large enough system though. you at some point need to know where you would expect to find the answers
2021-05-11 06:49:24 +0200alx741(~alx741@186.178.109.110) (Quit: alx741)
2021-05-11 06:49:59 +0200 <minoru_shiraeesh> not having a description is a sign of overly optimising costs, trying to squeeze every last drop of productivity from every coder
2021-05-11 06:49:59 +0200Tops21(~Tobias@dyndsl-095-033-090-210.ewe-ip-backbone.de)
2021-05-11 06:50:08 +0200 <minoru_shiraeesh> bad companies do that
2021-05-11 06:50:09 +0200delonte(415f295b@gateway/web/cgi-irc/kiwiirc.com/ip.65.95.41.91) ()
2021-05-11 06:50:34 +0200 <minoru_shiraeesh> they overly optimise and it becomes counter-productive
2021-05-11 06:51:02 +0200 <minoru_shiraeesh> like "you want to document this thing? we don't have budget for that. go work on those tickets"
2021-05-11 06:51:19 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds)
2021-05-11 06:51:28 +0200 <Axman6> There are ways to document a system which don't include writing comments for everything though - having a common language between the specification and the code is one particularly good way to do that
2021-05-11 06:51:57 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-05-11 06:52:26 +0200Tops2(~Tobias@dyndsl-095-033-094-242.ewe-ip-backbone.de) (Ping timeout: 240 seconds)
2021-05-11 06:52:33 +0200 <Axman6> Like, the system I'm working on, the documentation is written before the code (and updated when discrepencies are found that require it)
2021-05-11 06:53:43 +0200mayleesia(~mayleesia@x4dbf5e45.dyn.telefonica.de)
2021-05-11 06:53:43 +0200minoru_shiraeesh(~shiraeesh@109.166.58.80) (Remote host closed the connection)
2021-05-11 06:53:53 +0200puke(~vroom@217.138.252.196) (Quit: puke)
2021-05-11 06:54:00 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-05-11 06:54:03 +0200minoru_shiraeesh(~shiraeesh@109.166.58.80)
2021-05-11 06:54:18 +0200mounty(~mounty@236.216.214.218.sta.wbroadband.net.au)
2021-05-11 06:55:45 +0200hyiltiz(~quassel@31.220.5.250)
2021-05-11 06:55:45 +0200hyiltiz(~quassel@31.220.5.250) (Changing host)
2021-05-11 06:55:45 +0200hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-05-11 07:01:37 +0200ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Quit: ChaiTRex)
2021-05-11 07:02:21 +0200ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-05-11 07:02:27 +0200drbean-(~drbean@TC210-63-209-65.static.apol.com.tw)
2021-05-11 07:03:52 +0200oxide(~lambda@unaffiliated/mclaren)
2021-05-11 07:04:33 +0200drbean_(~drbean@TC210-63-209-90.static.apol.com.tw) (Ping timeout: 260 seconds)
2021-05-11 07:05:04 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-05-11 07:05:57 +0200hackagepantry 0.5.2 - Content addressable Haskell package management https://hackage.haskell.org/package/pantry-0.5.2 (MichaelSnoyman)
2021-05-11 07:08:55 +0200falafel(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 276 seconds)
2021-05-11 07:10:59 +0200mayleesiamaylees
2021-05-11 07:11:06 +0200mayleesmaylee
2021-05-11 07:11:28 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 07:12:11 +0200dorkside(~tdbgamer@208.190.197.222) (Ping timeout: 240 seconds)
2021-05-11 07:13:06 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-05-11 07:13:22 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 07:16:12 +0200Iceland_jack(~user@95.147.45.92) (Ping timeout: 268 seconds)
2021-05-11 07:16:41 +0200mjrosenb(~mrosenbe@nyc.schrodinger.com) (Ping timeout: 260 seconds)
2021-05-11 07:17:26 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-05-11 07:17:27 +0200kireguy(~kireguy@185.204.1.185) (Remote host closed the connection)
2021-05-11 07:18:10 +0200husixu(~husixu@137.132.117.40)
2021-05-11 07:18:11 +0200mjrosenb(~mrosenbe@nyc.schrodinger.com)
2021-05-11 07:19:52 +0200bollu(~bollu@139.59.46.74) (Remote host closed the connection)
2021-05-11 07:21:03 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-05-11 07:21:48 +0200dorkside(~tdbgamer@208.190.197.222)
2021-05-11 07:22:01 +0200alexander(~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d)
2021-05-11 07:22:30 +0200alexanderGuest63188
2021-05-11 07:22:46 +0200mjrosenb(~mrosenbe@nyc.schrodinger.com) (Ping timeout: 240 seconds)
2021-05-11 07:23:44 +0200mjrosenb(~mrosenbe@nyc.schrodinger.com)
2021-05-11 07:24:41 +0200husixu(~husixu@137.132.117.40) (Quit: Leaving)
2021-05-11 07:24:52 +0200stree(~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-11 07:26:06 +0200dcoutts__(~dcoutts@unaffiliated/dcoutts)
2021-05-11 07:26:25 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-05-11 07:26:30 +0200Axman6(~Axman6@pdpc/supporter/student/Axman6) (Remote host closed the connection)
2021-05-11 07:26:32 +0200cantstanya(~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
2021-05-11 07:26:49 +0200Axman6(~Axman6@pdpc/supporter/student/Axman6)
2021-05-11 07:27:04 +0200benwr____(sid372383@gateway/web/irccloud.com/x-zfunchuzuyhbaxeg) (Ping timeout: 252 seconds)
2021-05-11 07:27:04 +0200JSharp(sid4580@wikia/JSharp) (Ping timeout: 252 seconds)
2021-05-11 07:27:40 +0200evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-05-11 07:27:42 +0200thi(sid97277@gateway/web/irccloud.com/x-bxukhjieydccrlak) (Read error: Connection reset by peer)
2021-05-11 07:27:42 +0200scav(sid309693@gateway/web/irccloud.com/x-hwaqsdaneehliysc) (Read error: Connection reset by peer)
2021-05-11 07:27:49 +0200benwr____(sid372383@gateway/web/irccloud.com/x-jibixjkkfkziiusx)
2021-05-11 07:27:52 +0200thi(sid97277@gateway/web/irccloud.com/x-jdvipivusucaowzj)
2021-05-11 07:27:52 +0200scav(sid309693@gateway/web/irccloud.com/x-wleltzfltjnjinvr)
2021-05-11 07:28:00 +0200xensky(~xensky@xengarden.xen.prgmr.com) (Quit: No Ping reply in 180 seconds.)
2021-05-11 07:28:05 +0200JSharp(sid4580@wikia/JSharp)
2021-05-11 07:28:10 +0200tomku(~tomku@unaffiliated/tomku) (Ping timeout: 252 seconds)
2021-05-11 07:28:27 +0200evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-05-11 07:28:46 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-11 07:28:52 +0200cantstanya(~chatting@gateway/tor-sasl/cantstanya)
2021-05-11 07:29:05 +0200xensky(~xensky@xengarden.xen.prgmr.com)
2021-05-11 07:29:40 +0200tomku(~tomku@unaffiliated/tomku)
2021-05-11 07:30:22 +0200dcoutts(~dcoutts@unaffiliated/dcoutts) (Ping timeout: 252 seconds)
2021-05-11 07:30:59 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-05-11 07:31:10 +0200plutoniix(~q@ppp-58-8-180-74.revip2.asianet.co.th)
2021-05-11 07:31:41 +0200hyiltiz(~quassel@unaffiliated/hyiltiz) (Ping timeout: 246 seconds)
2021-05-11 07:32:02 +0200mrchampion(~mrchampio@38.18.109.23) (Remote host closed the connection)
2021-05-11 07:32:25 +0200hyiltiz(~quassel@31.220.5.250)
2021-05-11 07:32:25 +0200hyiltiz(~quassel@31.220.5.250) (Changing host)
2021-05-11 07:32:25 +0200hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-05-11 07:32:46 +0200falafel(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com)
2021-05-11 07:33:32 +0200dolio(~dolio@haskell/developer/dolio)
2021-05-11 07:33:33 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-05-11 07:35:15 +0200jao(~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
2021-05-11 07:37:00 +0200Sososasa(~textual@2600:1700:17f2:2b0:18fd:8e98:345a:ca5a)
2021-05-11 07:37:27 +0200stree(~stree@68.36.8.116)
2021-05-11 07:37:34 +0200sososasa85(631789e2@99-23-137-226.lightspeed.tukrga.sbcglobal.net)
2021-05-11 07:39:00 +0200sososasa85(631789e2@99-23-137-226.lightspeed.tukrga.sbcglobal.net) ()
2021-05-11 07:39:49 +0200 <Sososasa> Does anyone have suggestion for a good Haskell IDE? Currently using VS Code.
2021-05-11 07:40:47 +0200 <hololeap> Sososasa: it doesn't have the best LSP support, but i had a good experience with kate from KDE using haskell-language-server and ghcid
2021-05-11 07:41:01 +0200mounty(~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 260 seconds)
2021-05-11 07:41:49 +0200 <hololeap> i run ghcid in the built-in terminal in kate to give extra diagnostics whenever i savae
2021-05-11 07:41:51 +0200 <hololeap> *save
2021-05-11 07:46:41 +0200 <hololeap> LSP just works if you have haskell-language-server installed
2021-05-11 07:49:06 +0200 <Sososasa> @hololeap thank you
2021-05-11 07:49:06 +0200 <lambdabot> Unknown command, try @list
2021-05-11 07:50:31 +0200 <sm[m]> Axman6++
2021-05-11 07:51:29 +0200 <sm[m]> evening all
2021-05-11 07:52:59 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 07:57:03 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-11 08:00:39 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2021-05-11 08:03:19 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2021-05-11 08:03:39 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2021-05-11 08:04:12 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-11 08:04:56 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-11 08:06:00 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-05-11 08:09:32 +0200theos1(~theos@185.163.110.100)
2021-05-11 08:11:03 +0200Sososasa(~textual@2600:1700:17f2:2b0:18fd:8e98:345a:ca5a) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-11 08:14:49 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-05-11 08:14:52 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2021-05-11 08:15:13 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2021-05-11 08:15:48 +0200bitmagie(~Thunderbi@200116b806b92e00b8b7218edf9a11f7.dip.versatel-1u1.de)
2021-05-11 08:20:29 +0200bitmagie(~Thunderbi@200116b806b92e00b8b7218edf9a11f7.dip.versatel-1u1.de) (Client Quit)
2021-05-11 08:23:36 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-11 08:27:29 +0200pmj(~pmj@p4fe156fa.dip0.t-ipconnect.de)
2021-05-11 08:29:28 +0200xcmw(~textual@2603-6011-2200-f103-5955-2007-b8ef-9f55.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-11 08:29:35 +0200minoru_shiraeesh(~shiraeesh@109.166.58.80) (Ping timeout: 268 seconds)
2021-05-11 08:29:53 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-05-11 08:30:21 +0200Varis(~Tadas@unaffiliated/varis)
2021-05-11 08:30:27 +0200xcmw(~textual@2603-6011-2200-f103-5955-2007-b8ef-9f55.res6.spectrum.com)
2021-05-11 08:30:38 +0200 <tomsmeding> sm[m]: morning :)
2021-05-11 08:30:49 +0200falafel(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 245 seconds)
2021-05-11 08:30:59 +0200pmj(~pmj@p4fe156fa.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-05-11 08:31:09 +0200pmj(~pmj@p4fe156fa.dip0.t-ipconnect.de)
2021-05-11 08:34:14 +0200 <sm[m]> morning tomsmeding
2021-05-11 08:34:51 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-05-11 08:37:27 +0200hackagegreenclip 4.1.0 - Simple clipboard manager to be integrated with rofi https://hackage.haskell.org/package/greenclip-4.1.0 (erebe)
2021-05-11 08:39:57 +0200yoctocell(~user@h87-96-130-155.cust.a3fiber.se)
2021-05-11 08:40:25 +0200yoctocell(~user@h87-96-130-155.cust.a3fiber.se) ()
2021-05-11 08:42:04 +0200dpl_(~dpl@77-121-78-163.chn.volia.net)
2021-05-11 08:44:37 +0200EvilMagix(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds)
2021-05-11 08:44:54 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 08:46:40 +0200xcmw(~textual@2603-6011-2200-f103-5955-2007-b8ef-9f55.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-11 08:49:32 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds)
2021-05-11 08:49:55 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 08:50:14 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 08:56:30 +0200Lowl3v3l(~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de)
2021-05-11 08:58:08 +0200undvrainbowvita8(~egp_@128-71-13-3.broadband.corbina.ru) (Remote host closed the connection)
2021-05-11 08:58:13 +0200m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-05-11 08:58:47 +0200chele(~chele@78.128.94.174)
2021-05-11 09:00:13 +0200pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-47-67-70-101-46.dsl.bell.ca) (Ping timeout: 240 seconds)
2021-05-11 09:02:16 +0200pieguy128(~pieguy128@bas1-quebec14-67-70-101-46.dsl.bell.ca)
2021-05-11 09:03:07 +0200bahamas(~lucian@unaffiliated/bahamas)
2021-05-11 09:03:26 +0200mikeplus32(~mike@103.25.58.152) (Ping timeout: 240 seconds)
2021-05-11 09:03:43 +0200mikeplus32(~mike@2406:d500:6:1:216:3cff:fe36:651)
2021-05-11 09:04:58 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-11 09:09:54 +0200Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 265 seconds)
2021-05-11 09:10:09 +0200LKoen(~LKoen@156.168.9.109.rev.sfr.net)
2021-05-11 09:13:15 +0200pmj(~pmj@p4fe156fa.dip0.t-ipconnect.de) (Quit: WeeChat 3.1)
2021-05-11 09:13:29 +0200pmj(~pmj@p4fe156fa.dip0.t-ipconnect.de)
2021-05-11 09:18:13 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net)
2021-05-11 09:20:07 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2021-05-11 09:20:29 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2021-05-11 09:20:56 +0200undvrainbowvita8(~egp_@128-71-13-3.broadband.corbina.ru)
2021-05-11 09:21:13 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-05-11 09:22:01 +0200Shuppiluliuma(~shuppilul@153.33.68.161) (Ping timeout: 252 seconds)
2021-05-11 09:22:02 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
2021-05-11 09:24:23 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-05-11 09:26:06 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-05-11 09:27:08 +0200Feuermagier_(~Feuermagi@213.178.26.41)
2021-05-11 09:29:23 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-osjrsukrhwhmjnzf)
2021-05-11 09:30:07 +0200Feuermagier(~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Ping timeout: 260 seconds)
2021-05-11 09:30:09 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 09:32:03 +0200mjacob(~mjacob@unaffiliated/mjacob) (Read error: Connection reset by peer)
2021-05-11 09:32:38 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-05-11 09:32:56 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-11 09:33:56 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-05-11 09:36:20 +0200Feuermagier_(~Feuermagi@213.178.26.41) (Remote host closed the connection)
2021-05-11 09:36:38 +0200Feuermagier_(~Feuermagi@213.178.26.41)
2021-05-11 09:37:23 +0200wonko7(~wonko7@62.115.229.50)
2021-05-11 09:37:27 +0200hackagehackage-db 2.1.1 - Access cabal-install's Hackage database via Data.Map https://hackage.haskell.org/package/hackage-db-2.1.1 (PeterSimons)
2021-05-11 09:37:49 +0200mjacob(~mjacob@unaffiliated/mjacob)
2021-05-11 09:39:21 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!)
2021-05-11 09:45:06 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-11 09:45:55 +0200nineonin_(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-11 09:47:27 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-11 09:49:03 +0200nineonine(~nineonine@50.216.62.2) (Ping timeout: 265 seconds)
2021-05-11 09:51:33 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-11 09:51:36 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-05-11 09:52:02 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-05-11 09:52:27 +0200Feuermagier_(~Feuermagi@213.178.26.41) (Quit: Leaving)
2021-05-11 09:52:37 +0200Feuermagier(~Feuermagi@213.178.26.41)
2021-05-11 09:56:16 +0200cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1)
2021-05-11 09:57:09 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-05-11 09:58:00 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-11 09:58:14 +0200makalu(~makalu@86-82-191-90.dyn.estpak.ee)
2021-05-11 09:58:41 +0200stree(~stree@68.36.8.116)
2021-05-11 10:00:58 +0200nineonin_(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Remote host closed the connection)
2021-05-11 10:01:02 +0200 <makalu> If act :: m (a, b) then with lenses I can get the first value using (^. _1) <$> act. Is there an operator for this?
2021-05-11 10:01:06 +0200__monty__(~toonn@unaffiliated/toonn)
2021-05-11 10:02:59 +0200 <dminuoso> No.
2021-05-11 10:03:29 +0200 <dminuoso> The only variants of this style exist for MonadState
2021-05-11 10:04:13 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-11 10:04:25 +0200 <dminuoso> %=, %~, etc
2021-05-11 10:05:36 +0200kritzefitz(~kritzefit@p200300ecdf3c5b009ca7d9f9eb7bbe17.dip0.t-ipconnect.de)
2021-05-11 10:06:21 +0200 <makalu> Thank you.
2021-05-11 10:06:57 +0200hackageyesod-core 1.6.20 - Creation of type-safe, RESTful web applications. https://hackage.haskell.org/package/yesod-core-1.6.20 (MichaelSnoyman)
2021-05-11 10:08:00 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-11 10:08:33 +0200 <ski> @type (undefined :: IO (Int,Bool)) <&> (^. _1)
2021-05-11 10:08:34 +0200 <lambdabot> IO Int
2021-05-11 10:08:58 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 276 seconds)
2021-05-11 10:09:09 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-05-11 10:10:31 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 10:10:51 +0200kritzefitz(~kritzefit@p200300ecdf3c5b009ca7d9f9eb7bbe17.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-05-11 10:11:10 +0200kritzefitz(~kritzefit@2003:5b:203b:200::10:49)
2021-05-11 10:11:53 +0200 <Axman6> % :T mapped
2021-05-11 10:11:54 +0200 <yahb> Axman6: unknown command ':T'; use :? for help.
2021-05-11 10:11:57 +0200 <Axman6> % :t mapped
2021-05-11 10:11:57 +0200 <yahb> Axman6: (Settable f1, Functor f2) => (a -> f1 b) -> f2 a -> f1 (f2 b)
2021-05-11 10:12:09 +0200 <Axman6> :t mapped . _1
2021-05-11 10:12:11 +0200 <lambdabot> (Settable f1, Field1 a1 b1 a2 b2, Functor f2) => (a2 -> f1 b2) -> f2 a1 -> f1 (f2 b1)
2021-05-11 10:12:31 +0200 <Axman6> :t (undefined :: IO (Int, Book)) ^. mapped . _1
2021-05-11 10:12:32 +0200 <lambdabot> error:
2021-05-11 10:12:32 +0200 <lambdabot> Not in scope: type constructor or class ‘Book’
2021-05-11 10:12:32 +0200 <lambdabot> Perhaps you meant ‘Bool’ (imported from Data.Bool)
2021-05-11 10:12:38 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga)
2021-05-11 10:12:40 +0200 <Axman6> :t (undefined :: IO (Int, Bool)) ^. mapped . _1
2021-05-11 10:12:41 +0200 <lambdabot> error:
2021-05-11 10:12:41 +0200 <lambdabot> • No instance for (Settable (Const Int))
2021-05-11 10:12:41 +0200 <lambdabot> arising from a use of ‘mapped’
2021-05-11 10:13:04 +0200 <Axman6> uh, no, of course that won't work
2021-05-11 10:14:40 +0200 <makalu> Thanks for trying though :D. I went with ski's variant.
2021-05-11 10:15:22 +0200makalu(~makalu@86-82-191-90.dyn.estpak.ee) (Quit: Leaving)
2021-05-11 10:15:39 +0200jules_(~jules@ip201.ip-135-125-227.eu) (Ping timeout: 268 seconds)
2021-05-11 10:16:07 +0200minoru_shiraeesh(~shiraeesh@109.166.58.80)
2021-05-11 10:16:49 +0200jules_(~jules@ip201.ip-135-125-227.eu)
2021-05-11 10:17:14 +0200chris__(~chris@81.96.113.213) (Remote host closed the connection)
2021-05-11 10:17:32 +0200fendor(~fendor@178.165.129.215.wireless.dyn.drei.com)
2021-05-11 10:18:46 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-11 10:20:16 +0200Feuermagier(~Feuermagi@213.178.26.41) (Read error: Connection reset by peer)
2021-05-11 10:21:19 +0200koz_(~koz@121.99.240.58) (Quit: ZNC 1.7.5 - https://znc.in)
2021-05-11 10:22:57 +0200hackagecss-easings 0.2.1.0 - Defining and manipulating css easing strings. https://hackage.haskell.org/package/css-easings-0.2.1.0 (wvanonsem90)
2021-05-11 10:23:40 +0200Feuermagier(~Feuermagi@213.178.26.41)
2021-05-11 10:23:53 +0200Maxdamantus(~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 240 seconds)
2021-05-11 10:24:57 +0200Maxdamantus(~Maxdamant@unaffiliated/maxdamantus)
2021-05-11 10:25:10 +0200koz(~koz@121.99.240.58)
2021-05-11 10:28:17 +0200howdoi(uid224@gateway/web/irccloud.com/x-myfgsmhxtksfsmql) (Quit: Connection closed for inactivity)
2021-05-11 10:29:07 +0200minoru_shiraeesh(~shiraeesh@109.166.58.80) (Ping timeout: 252 seconds)
2021-05-11 10:29:42 +0200malumore(~malumore@151.62.117.210)
2021-05-11 10:32:40 +0200acidjnk_new2(~acidjnk@p200300d0c72b9550002dc6dbf76c6cb5.dip0.t-ipconnect.de)
2021-05-11 10:36:08 +0200esph(~weechat@unaffiliated/esph) (Ping timeout: 246 seconds)
2021-05-11 10:36:27 +0200winny(~winny@fsf/member/winstonw) (Ping timeout: 246 seconds)
2021-05-11 10:38:44 +0200berberman(~berberman@unaffiliated/berberman) (Ping timeout: 245 seconds)
2021-05-11 10:40:24 +0200digia(~digia@unaffiliated/digia) (Quit: Beep Boop...)
2021-05-11 10:40:53 +0200berberman(~berberman@unaffiliated/berberman)
2021-05-11 10:42:10 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-11 10:42:19 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2021-05-11 10:42:36 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-11 10:43:36 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2021-05-11 10:43:43 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-05-11 10:43:55 +0200digia(~digia@unaffiliated/digia)
2021-05-11 10:44:02 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-11 10:45:49 +0200drbean-(~drbean@TC210-63-209-65.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-05-11 10:46:20 +0200winny(~winny@fsf/member/winstonw)
2021-05-11 10:46:45 +0200kuribas(~user@ptr-25vy0i9ywxfym2so1gs.18120a2.ip6.access.telenet.be)
2021-05-11 10:47:13 +0200ubert(~Thunderbi@p200300ecdf005e5ce6b318fffe838f33.dip0.t-ipconnect.de)
2021-05-11 10:47:20 +0200 <kuribas> is it possible to make a quick script without having a .cabal file?
2021-05-11 10:47:27 +0200 <merijn> Yes
2021-05-11 10:47:36 +0200Pickchea(~private@unaffiliated/pickchea)
2021-05-11 10:47:37 +0200 <merijn> cabal has a shebang mode
2021-05-11 10:47:44 +0200 <merijn> but its docs are...sparse? :p
2021-05-11 10:47:56 +0200esph(~weechat@unaffiliated/esph)
2021-05-11 10:48:10 +0200 <kuribas> you pass packages on the shebang?
2021-05-11 10:48:44 +0200 <merijn> No, it supports having build-depends and some other fields in a comment in shebang mode
2021-05-11 10:49:12 +0200 <kuribas> ah neat
2021-05-11 10:49:33 +0200Anthaas(~Anthaas@unaffiliated/anthaas) (Ping timeout: 240 seconds)
2021-05-11 10:49:38 +0200 <merijn> You'll have to do some research to find any docs, though
2021-05-11 10:50:28 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2021-05-11 10:50:47 +0200 <merijn> kuribas: minimal barely documented example: https://cabal.readthedocs.io/en/latest/cabal-commands.html#cabal-v2-run
2021-05-11 10:51:13 +0200bennofs__(~quassel@dynamic-077-013-025-172.77.13.pool.telefonica.de) (Read error: Connection reset by peer)
2021-05-11 10:51:31 +0200bennofs_(~quassel@dynamic-077-013-025-172.77.13.pool.telefonica.de)
2021-05-11 10:51:51 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-05-11 10:52:20 +0200 <kuribas> maybe that's enough...
2021-05-11 10:56:56 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-05-11 10:57:24 +0200Anthaas(~Anthaas@unaffiliated/anthaas)
2021-05-11 10:57:37 +0200DavidEichmann(~david@156.59.147.147.dyn.plus.net)
2021-05-11 10:58:35 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-11 11:03:45 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-05-11 11:04:52 +0200lordyod(~lordyod@c-67-169-144-132.hsd1.ca.comcast.net) (Ping timeout: 276 seconds)
2021-05-11 11:09:35 +0200kozkoz_
2021-05-11 11:09:53 +0200 <fendor> kuribas, fyi, you can write anything in this section that is valid in the executable section
2021-05-11 11:12:18 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-11 11:13:29 +0200mateusz(~mateusz@77-254-3-194.adsl.inetia.pl)
2021-05-11 11:15:34 +0200kav(~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) (Ping timeout: 265 seconds)
2021-05-11 11:16:07 +0200thc202(~thc202@unaffiliated/thc202)
2021-05-11 11:18:47 +0200 <dminuoso> Using cabal2nix, what's the correct protocol to set the GHC optimization level?
2021-05-11 11:19:55 +0200pmj(~pmj@p4fe156fa.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-05-11 11:21:08 +0200pmj(~pmj@p4fe156fa.dip0.t-ipconnect.de)
2021-05-11 11:22:46 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-11 11:23:32 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-05-11 11:24:43 +0200kuribas(~user@ptr-25vy0i9ywxfym2so1gs.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-05-11 11:25:05 +0200kuribas(~user@ptr-25vy0i9ywxfym2so1gs.18120a2.ip6.access.telenet.be)
2021-05-11 11:25:33 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-05-11 11:28:22 +0200lordyod(~lordyod@c-67-169-144-132.hsd1.ca.comcast.net)
2021-05-11 11:28:34 +0200kav(~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi)
2021-05-11 11:30:27 +0200hackageZ-Botan 0.1.1.0 - Crypto for Haskell https://hackage.haskell.org/package/Z-Botan-0.1.1.0 (winterland)
2021-05-11 11:36:57 +0200justan0theruser(~justanoth@unaffiliated/justanotheruser)
2021-05-11 11:37:57 +0200hackageamqp-utils 0.6.1.1 - AMQP toolset for the command line https://hackage.haskell.org/package/amqp-utils-0.6.1.1 (woffs)
2021-05-11 11:39:57 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2021-05-11 11:39:58 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 276 seconds)
2021-05-11 11:43:32 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 240 seconds)
2021-05-11 11:57:36 +0200 <mateusz> hi all! I'm looking for someone to help me with Code Review and next steps in my educational project. Project is simple ncurses Trello client. I have with requests handling, json parsing and initial ncurses view. Looking for someone who can share and advice and be thorough in CR :) I'll will be happy to send link to Pull Request.
2021-05-11 11:58:24 +0200 <[exa]> are you using Brick for the curses?
2021-05-11 11:59:16 +0200 <mateusz> I use NCurses https://hackage.haskell.org/package/ncurses
2021-05-11 11:59:57 +0200 <[exa]> ok, well, check out Brick, it's really cool for these things. https://hackage.haskell.org/package/brick
2021-05-11 12:00:18 +0200 <[exa]> the docs also have some advice on how to interface with other sources of events (network in your case)
2021-05-11 12:01:18 +0200 <mateusz> thanks for an advice, I already prepared something (~250 loc) with NCurses, so I could migrate in future. Ill check brick as well
2021-05-11 12:01:27 +0200hackagecss-selectors 0.4.0.2 - Parsing, rendering and manipulating css selectors in Haskell. https://hackage.haskell.org/package/css-selectors-0.4.0.2 (wvanonsem90)
2021-05-11 12:01:36 +0200fendor(~fendor@178.165.129.215.wireless.dyn.drei.com) (Quit: Leaving)
2021-05-11 12:01:55 +0200fendor(~fendor@178.165.129.215.wireless.dyn.drei.com)
2021-05-11 12:02:36 +0200 <[exa]> well, YMMV. I'd go with brick for sure, plain ncurses is quite painful, I'd avoid it anytime I didn't need to access ncurses-only stuff :D
2021-05-11 12:03:41 +0200vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-05-11 12:03:54 +0200 <[exa]> feels a bit React-ish, you write event handler and a display function, and done.
2021-05-11 12:04:02 +0200Alleria__(~textual@2603-7000-3040-0000-bdb6-a38d-2635-929e.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-11 12:06:41 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-11 12:07:37 +0200 <Axman6> yeah can't recommend brick enough for this sort oftask
2021-05-11 12:08:02 +0200fendor(~fendor@178.165.129.215.wireless.dyn.drei.com) (Quit: Leaving)
2021-05-11 12:08:28 +0200Rudd0(~Rudd0@185.189.115.108)
2021-05-11 12:08:46 +0200Feuermagier(~Feuermagi@213.178.26.41) (Ping timeout: 240 seconds)
2021-05-11 12:08:52 +0200fendor(~fendor@178.165.129.215.wireless.dyn.drei.com)
2021-05-11 12:09:51 +0200thc202(~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds)
2021-05-11 12:10:27 +0200thc202(~thc202@unaffiliated/thc202)
2021-05-11 12:17:39 +0200fendor(~fendor@178.165.129.215.wireless.dyn.drei.com) (Quit: Leaving)
2021-05-11 12:18:03 +0200fendor(~fendor@178.165.129.215.wireless.dyn.drei.com)
2021-05-11 12:20:04 +0200stree(~stree@68.36.8.116)
2021-05-11 12:20:50 +0200trepanger_(~z@ics141-225.icsincorporated.com) (Ping timeout: 268 seconds)
2021-05-11 12:20:57 +0200hackagetwain 1.0.0.0 - Tiny web application framework for WAI. https://hackage.haskell.org/package/twain-1.0.0.0 (alexmingoia)
2021-05-11 12:21:08 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 246 seconds)
2021-05-11 12:21:57 +0200hackageZ-Botan 0.1.1.1 - Crypto for Haskell https://hackage.haskell.org/package/Z-Botan-0.1.1.1 (winterland)
2021-05-11 12:22:30 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-osjrsukrhwhmjnzf) (Quit: Connection closed for inactivity)
2021-05-11 12:25:20 +0200chris__(~chris@81.96.113.213)
2021-05-11 12:32:41 +0200oxide(~lambda@unaffiliated/mclaren) (Ping timeout: 240 seconds)
2021-05-11 12:34:51 +0200Alleria(~textual@mskresolve-a.mskcc.org)
2021-05-11 12:35:15 +0200AlleriaGuest50610
2021-05-11 12:36:27 +0200EvilMagix(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-05-11 12:36:31 +0200digia_(~digia@unaffiliated/digia)
2021-05-11 12:37:44 +0200digia(~digia@unaffiliated/digia) (Ping timeout: 265 seconds)
2021-05-11 12:37:45 +0200digia_digia
2021-05-11 12:38:34 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-05-11 12:44:45 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-11 12:47:15 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection)
2021-05-11 12:49:11 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-05-11 12:50:09 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-11 12:51:49 +0200fendor(~fendor@178.165.129.215.wireless.dyn.drei.com) (Quit: Leaving)
2021-05-11 12:54:01 +0200nineonin_(~nineonine@2604:3d08:777e:900:44b:8070:af85:f145)
2021-05-11 12:55:33 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90)
2021-05-11 12:56:03 +0200theos1(~theos@185.163.110.100) ()
2021-05-11 12:58:19 +0200nineonin_(~nineonine@2604:3d08:777e:900:44b:8070:af85:f145) (Ping timeout: 245 seconds)
2021-05-11 12:59:59 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 245 seconds)
2021-05-11 13:02:39 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2021-05-11 13:02:40 +0200cocreature(~cocreatur@eirene.uberspace.de) (Read error: Connection reset by peer)
2021-05-11 13:04:07 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-05-11 13:05:14 +0200Lycurgus(~niemand@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-11 13:05:43 +0200cocreature(~cocreatur@eirene.uberspace.de)
2021-05-11 13:05:52 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-05-11 13:08:19 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-05-11 13:09:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 13:09:38 +0200swater(bouhier200@perso.iiens.net) (Ping timeout: 265 seconds)
2021-05-11 13:10:01 +0200puke(~vroom@217.138.252.196)
2021-05-11 13:10:10 +0200Guest81(~textual@cpe-108-185-120-135.socal.res.rr.com) (Ping timeout: 268 seconds)
2021-05-11 13:10:13 +0200swater(bouhier200@perso.iiens.net)
2021-05-11 13:10:58 +0200justan0theruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 276 seconds)
2021-05-11 13:11:09 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-05-11 13:11:24 +0200trepanger_(~z@173-16-201-214.client.mchsi.com)
2021-05-11 13:12:21 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-11 13:14:23 +0200xiinotulp(~q@ppp-58-8-176-210.revip2.asianet.co.th)
2021-05-11 13:14:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-11 13:15:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 13:17:04 +0200guriya(a0ee4b2e@160.238.75.46)
2021-05-11 13:17:25 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-05-11 13:17:47 +0200guriya(a0ee4b2e@160.238.75.46) (Changing host)
2021-05-11 13:17:47 +0200guriya(a0ee4b2e@unaffiliated/guriya)
2021-05-11 13:17:56 +0200plutoniix(~q@ppp-58-8-180-74.revip2.asianet.co.th) (Ping timeout: 252 seconds)
2021-05-11 13:20:43 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-11 13:20:49 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-05-11 13:20:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 13:22:17 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-11 13:22:29 +0200Xnuk(~xnuk@45.76.202.58) (Quit: ZNC - https://znc.in)
2021-05-11 13:22:47 +0200Xnuk(~xnuk@45.76.202.58)
2021-05-11 13:22:59 +0200lawid(~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Ping timeout: 260 seconds)
2021-05-11 13:23:01 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-05-11 13:23:20 +0200lawid(~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8)
2021-05-11 13:23:24 +0200 <Gurkenglas> https://paste.tomsmeding.com/m625nssK why didn't UnicodeSyntax work?
2021-05-11 13:25:09 +0200cheater2(~user@unaffiliated/cheater) (Remote host closed the connection)
2021-05-11 13:25:12 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-05-11 13:25:54 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-11 13:26:01 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-11 13:26:32 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 13:29:35 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-11 13:31:33 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-11 13:31:40 +0200jakalx(~jakalx@base.jakalx.net)
2021-05-11 13:32:26 +0200 <tomsmeding> Gurkenglas: because that's not what UnicodeSyntax does https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/unicode_syntax.html
2021-05-11 13:32:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 13:32:30 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90)
2021-05-11 13:32:37 +0200 <tomsmeding> perhaps unfortunately, but that's an opinion :p
2021-05-11 13:32:39 +0200pmj(~pmj@p4fe156fa.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-05-11 13:32:51 +0200 <Gurkenglas> Ah. Is there a way to use turnstiles?
2021-05-11 13:33:58 +0200drbean_(~drbean@TC210-63-209-98.static.apol.com.tw)
2021-05-11 13:34:16 +0200 <hpc> according to Data.Char, '⊢' is a lower-case symbol
2021-05-11 13:34:40 +0200 <hpc> so it's in the same category as '+' and '*' and such
2021-05-11 13:34:42 +0200 <Gurkenglas> Oh, .hs supports unicode already? I see
2021-05-11 13:34:59 +0200cheater(~user@unaffiliated/cheater)
2021-05-11 13:35:37 +0200 <hpc> Prelude> :set -XTypeOperators
2021-05-11 13:35:38 +0200 <hpc> Prelude> data (⊢) a = Example
2021-05-11 13:35:40 +0200 <hpc> ^ works
2021-05-11 13:35:56 +0200 <Gurkenglas> Thanks!
2021-05-11 13:37:41 +0200 <Gurkenglas> ...now I'd have to put brackets around every use anywhere of it? :(
2021-05-11 13:37:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-11 13:38:00 +0200sedeki(~textual@unaffiliated/sedeki)
2021-05-11 13:38:19 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 245 seconds)
2021-05-11 13:38:25 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 13:38:32 +0200xsperry(~as@unaffiliated/xsperry) (Remote host closed the connection)
2021-05-11 13:38:44 +0200 <hpc> yeah
2021-05-11 13:38:44 +0200 <tomsmeding> Gurkenglas: haskell doesn't have prefix operators at all. The only prefix operator is negation, which is heavily special-cased in the grammar
2021-05-11 13:39:06 +0200 <Uniaika> +1
2021-05-11 13:39:15 +0200 <hpc> or find another codepoint that's not a symbol, or something like that
2021-05-11 13:39:31 +0200 <tomsmeding> (okay not so sure about "heavily", I haven't looked at ghc's parser to see if it warrants that word :p )
2021-05-11 13:39:44 +0200 <Gurkenglas> How should I find one? Check all the unicode symbols for isUpper?
2021-05-11 13:40:18 +0200sedeki(~textual@unaffiliated/sedeki) (Client Quit)
2021-05-11 13:40:33 +0200 <hpc> isAlpha, or maybe isLetter
2021-05-11 13:40:49 +0200 <Uniaika> tomsmeding: "bolted in the lexer" leaves less space for nuance
2021-05-11 13:40:54 +0200 <hpc> isUpper isn't necessary because of TypeOperators
2021-05-11 13:41:26 +0200 <Gurkenglas> hpc, but I still need to put () around it every time, yes?
2021-05-11 13:42:34 +0200 <hpc> you put parens around infix operators to make them prefix
2021-05-11 13:42:41 +0200 <hpc> infix operators are made up of symbolic characters
2021-05-11 13:42:48 +0200 <hpc> prefix names are made up of letters
2021-05-11 13:42:48 +0200AWizzArd(~code@unaffiliated/awizzard) (Read error: Connection reset by peer)
2021-05-11 13:43:23 +0200 <hpc> so no, if you find a suitable character that's isLetter, you can just use it... oh hmm, except it will need to be isUpper too
2021-05-11 13:43:28 +0200Ishutin(~ishutin@92-249-185-177.pool.digikabel.hu) (Ping timeout: 268 seconds)
2021-05-11 13:43:31 +0200 <hpc> ignore where i said it isn't necessary because of TypeOperators :P
2021-05-11 13:43:52 +0200 <tomsmeding> I assume it has to be category 'Lu' here? https://en.wikipedia.org/wiki/Template:General_Category_(Unicode)
2021-05-11 13:44:05 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-05-11 13:44:35 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 13:44:58 +0200adium(adium@unaffiliated/adium) (Quit: Stable ZNC by ##bnc4you)
2021-05-11 13:45:09 +0200 <tomsmeding> oh Lt is also allowed; isUpper checks Lu || Lt
2021-05-11 13:45:33 +0200APic(apic@apic.name) (Ping timeout: 240 seconds)
2021-05-11 13:46:00 +0200adium(~adium@unaffiliated/adium)
2021-05-11 13:46:01 +0200APic(apic@apic.name)
2021-05-11 13:47:43 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 13:48:38 +0200AWizzArd(~code@gehrels.uberspace.de)
2021-05-11 13:49:19 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 252 seconds)
2021-05-11 13:49:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-11 13:49:41 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-05-11 13:49:52 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-11 13:50:00 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 13:50:02 +0200e2(e2@sponsored.by.bnc4you.xyz) (Quit: Stable ZNC provider ##bnc4you)
2021-05-11 13:50:22 +0200LKoen(~LKoen@156.168.9.109.rev.sfr.net) (Remote host closed the connection)
2021-05-11 13:50:49 +0200e2(e2@sponsored.by.bnc4you.xyz)
2021-05-11 13:51:38 +0200xiinotulp(~q@ppp-58-8-176-210.revip2.asianet.co.th) (Quit: Leaving)
2021-05-11 14:00:20 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-11 14:00:28 +0200bitmagie(~Thunderbi@200116b806b92e00b8b7218edf9a11f7.dip.versatel-1u1.de)
2021-05-11 14:01:49 +0200EvilMagix(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds)
2021-05-11 14:02:50 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-05-11 14:04:37 +0200viluon(uid453725@gateway/web/irccloud.com/x-jefbknzpvoezvjbn)
2021-05-11 14:05:04 +0200bitmagie(~Thunderbi@200116b806b92e00b8b7218edf9a11f7.dip.versatel-1u1.de) (Client Quit)
2021-05-11 14:08:07 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-05-11 14:08:12 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90)
2021-05-11 14:08:58 +0200ukari(~ukari@unaffiliated/ukari)
2021-05-11 14:09:53 +0200malumore_(~malumore@151.62.117.210)
2021-05-11 14:12:12 +0200malumore(~malumore@151.62.117.210) (Ping timeout: 240 seconds)
2021-05-11 14:12:39 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 250 seconds)
2021-05-11 14:12:49 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2021-05-11 14:13:10 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-05-11 14:15:24 +0200cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 245 seconds)
2021-05-11 14:15:45 +0200gitgood(~gitgood@80-44-12-75.dynamic.dsl.as9105.com) (Ping timeout: 260 seconds)
2021-05-11 14:18:20 +0200 <Gurkenglas> Is Quick Look impredicativity usable these days?
2021-05-11 14:18:33 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
2021-05-11 14:19:06 +0200 <wz1000> Gurkenglas: if you use a 9.2 prerelease
2021-05-11 14:20:52 +0200 <Gurkenglas> Can I make stack do that or do I have to build ghc from source?
2021-05-11 14:21:36 +0200 <Gurkenglas> (huh, or download from downloads.haskell.org)
2021-05-11 14:26:01 +0200berberman_(~berberman@unaffiliated/berberman)
2021-05-11 14:26:31 +0200berberman(~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds)
2021-05-11 14:26:44 +0200 <maerwald> Gurkenglas: ghcup has the 9.2 prerelease
2021-05-11 14:28:22 +0200stree(~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-11 14:35:19 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2021-05-11 14:35:57 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-05-11 14:36:09 +0200msgctlm5g
2021-05-11 14:36:15 +0200shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:8509:1194:46cd:65cb) (Ping timeout: 260 seconds)
2021-05-11 14:36:47 +0200 <maerwald> also: https://github.com/commercialhaskell/stack/blob/master/doc/yaml_configuration.md#building-ghc-from…
2021-05-11 14:37:29 +0200troydm(~troydm@unaffiliated/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset)
2021-05-11 14:39:03 +0200seveg(~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Ping timeout: 260 seconds)
2021-05-11 14:40:34 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-05-11 14:40:43 +0200troydm(~troydm@unaffiliated/troydm)
2021-05-11 14:40:54 +0200stree(~stree@68.36.8.116)
2021-05-11 14:40:54 +0200seveg(~gabriel@188-167-252-202.dynamic.chello.sk)
2021-05-11 14:41:10 +0200carlomagno(~cararell@148.87.23.5)
2021-05-11 14:44:07 +0200bahamas(~lucian@unaffiliated/bahamas)
2021-05-11 14:45:05 +0200urodna(~urodna@unaffiliated/urodna)
2021-05-11 14:45:15 +0200Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-05-11 14:46:13 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-05-11 14:46:33 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds)
2021-05-11 14:48:21 +0200Lord_of_Life_Lord_of_Life
2021-05-11 14:52:06 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-11 14:53:25 +0200kidbuu(~Thunderbi@116.40.185.87)
2021-05-11 14:57:27 +0200hackageyesod-auth-oauth2 0.6.3.1 - OAuth 2.0 authentication plugins https://hackage.haskell.org/package/yesod-auth-oauth2-0.6.3.1 (PatrickBrisbin)
2021-05-11 14:58:22 +0200guriya(a0ee4b2e@unaffiliated/guriya) (Ping timeout: 240 seconds)
2021-05-11 14:58:55 +0200gitgood(~gitgood@host-78-145-139-64.as13285.net)
2021-05-11 15:00:21 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2021-05-11 15:02:28 +0200xkapastel(uid17782@gateway/web/irccloud.com/x-jebgsafpndujiwtn)
2021-05-11 15:03:15 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2021-05-11 15:04:34 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-11 15:04:38 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-11 15:04:46 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-05-11 15:05:20 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-11 15:09:07 +0200Guest84063(~zmv@unaffiliated/zmv)
2021-05-11 15:09:20 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-11 15:13:46 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-11 15:13:49 +0200xff0x(~xff0x@2001:1a81:53fb:1000:2c1d:2721:9e36:7aea) (Ping timeout: 276 seconds)
2021-05-11 15:14:54 +0200xff0x(xff0x@gateway/vpn/mullvad/xff0x)
2021-05-11 15:16:08 +0200shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:591c:cf3a:df6d:ebe7)
2021-05-11 15:16:40 +0200wonko7(~wonko7@62.115.229.50) (Quit: See You Space Cowboy..)
2021-05-11 15:17:49 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-05-11 15:19:17 +0200Guest84063ntzmv
2021-05-11 15:19:21 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-11 15:19:31 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 252 seconds)
2021-05-11 15:19:47 +0200Lycurgus(~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-11 15:20:07 +0200ntzmvnotzmv
2021-05-11 15:20:44 +0200dbohdan(dbohdan@unaffiliated/dbohdan)
2021-05-11 15:21:31 +0200sphi(~sphi@unaffiliated/sphi)
2021-05-11 15:21:41 +0200 <sphi> hi all
2021-05-11 15:21:49 +0200 <shapr> hi sphi, how you doin?
2021-05-11 15:22:07 +0200 <shapr> writing any exciting code?
2021-05-11 15:22:19 +0200 <sphi> heh, pretty alright shapr: , how are you yourself
2021-05-11 15:22:31 +0200 <sphi> shapr: hello worlds in servant : P
2021-05-11 15:22:34 +0200gentauro(~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-05-11 15:22:49 +0200 <shapr> I'm doing well, writing up some slides for a haskell-adjacent talk I'm giving today.
2021-05-11 15:23:02 +0200 <shapr> it's a ten minute talk, not so much content
2021-05-11 15:23:03 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-11 15:23:13 +0200minoru_shiraeesh(~shiraeesh@109.166.58.80)
2021-05-11 15:23:18 +0200 <shapr> sphi: I like servant! I get to use that at work!
2021-05-11 15:23:43 +0200gentauro(~gentauro@unaffiliated/gentauro)
2021-05-11 15:23:52 +0200xff0x(xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 240 seconds)
2021-05-11 15:23:56 +0200 <sphi> shapr: must be nice :D
2021-05-11 15:24:03 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9)
2021-05-11 15:24:28 +0200 <shapr> Yeah, I like writing Haskell for a job. Haskell isn't a perfect language, but I like it best of all the languages I've tried.
2021-05-11 15:24:44 +0200 <sphi> i read a tweet the other day
2021-05-11 15:25:15 +0200gentauro(~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-05-11 15:25:18 +0200 <sphi> "lisp doesn't really have a philosophy, we're just united by a shared disgust for the alternatives"
2021-05-11 15:25:22 +0200 <shapr> heh
2021-05-11 15:25:33 +0200 <sphi> rang pretty close lol
2021-05-11 15:26:07 +0200xff0x(~xff0x@2001:1a81:53fb:1000:2c1d:2721:9e36:7aea)
2021-05-11 15:26:13 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9) (Client Quit)
2021-05-11 15:26:38 +0200 <sphi> i was going through the tutorial on the servant docs, i keep encountering this ' symbol at the type level
2021-05-11 15:27:04 +0200 <sphi> ype level
2021-05-11 15:27:04 +0200 <sphi> > data Verb method (statusCode :: Nat) (contentType :: [*]) a
2021-05-11 15:27:04 +0200 <sphi> type Get = Verb 'GET 200
2021-05-11 15:27:06 +0200 <lambdabot> <hint>:1:1: error: <hint>:1:1: error: parse error on input ‘data’
2021-05-11 15:27:10 +0200 <sphi> like so.
2021-05-11 15:27:38 +0200 <sphi> what's up with 'GET ?
2021-05-11 15:27:49 +0200 <Taneb> sphi: that means it's a value at the type level, rather than a type called GET
2021-05-11 15:28:08 +0200 <Taneb> It's sometimes necessary so you don't get confused when you're doing lots of type-level stuff
2021-05-11 15:28:11 +0200 <merijn> Disagree, tbh
2021-05-11 15:28:21 +0200 <sphi> Taneb: like 1 2 3 instead of say, Int ?
2021-05-11 15:28:25 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-11 15:28:31 +0200 <merijn> It *is* a type called GET, it's just not a type of kind *
2021-05-11 15:28:47 +0200gentauro(~gentauro@unaffiliated/gentauro)
2021-05-11 15:28:57 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-11 15:29:05 +0200 <sphi> ```type Delete = Verb 'DELETE 200
2021-05-11 15:29:05 +0200 <sphi> type Patch = Verb 'PATCH 200
2021-05-11 15:29:05 +0200 <sphi> type Post = Verb 'POST 200
2021-05-11 15:29:05 +0200 <sphi> type Put = Verb 'PUT 200
2021-05-11 15:29:07 +0200 <sphi> ```
2021-05-11 15:29:09 +0200 <merijn> sphi: There is an extension called DataKinds, which lets you turn "values" into "types
2021-05-11 15:29:11 +0200 <Taneb> sphi: like the GET in data StdMethod = GET | ... rather than some data GET
2021-05-11 15:29:22 +0200 <merijn> sphi: THis, however, presents a problem
2021-05-11 15:29:49 +0200 <sphi> yea, it's kind of confusing
2021-05-11 15:30:14 +0200 <merijn> sphi: Consider "data Foo = Foo", now how can I refer to the 2nd Foo (i.e. the data constructor) at the type level when using DataKinds, since "Foo" would just refer to to the *type*, not the new "value turned into a type"
2021-05-11 15:30:46 +0200 <merijn> sphi: The ' syntax disambiguates this 'Foo says "I mean the value-turned-into-type Foo, not the type"
2021-05-11 15:31:41 +0200 <sphi> merijn: ah, i see.
2021-05-11 15:32:19 +0200 <sphi> follow up noob question. why would i want to refer to "value turned into a type" at type level ?
2021-05-11 15:32:30 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-11 15:33:15 +0200 <sphi> OT, good luch with the talk, shapr: : D
2021-05-11 15:33:21 +0200 <sphi> luck*
2021-05-11 15:33:28 +0200 <shapr> yeah, I just gotta finish up with some links ... hmm
2021-05-11 15:33:39 +0200 <Taneb> sphi: servant uses that technique a lot for describing the API in the type level.
2021-05-11 15:33:40 +0200 <shapr> I need to do another test run beforehand
2021-05-11 15:34:20 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90)
2021-05-11 15:34:33 +0200 <Taneb> The idea is we want to parametrize the verb with what HTTP method it uses, and because we're doing this in types, it needs to be a type. However, it doesn't make sense to put anything like Int or Maybe in there, so we want a smaller kind
2021-05-11 15:34:37 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-wydsfqjrhoioptxh)
2021-05-11 15:35:00 +0200 <Taneb> We make a type for the possible HTTP methods, then lift that type to the kind level and hence its values to the type level
2021-05-11 15:35:50 +0200 <sphi> Taneb: the docs are making more sense now.
2021-05-11 15:36:00 +0200 <sphi> Thanks!
2021-05-11 15:36:18 +0200 <sphi> ^ merijn: shapr Taneb :
2021-05-11 15:42:32 +0200jamm__(~jamm@unaffiliated/jamm)
2021-05-11 15:42:45 +0200RusAlex(~Chel@unaffiliated/rusalex) (Quit: WeeChat 3.0)
2021-05-11 15:44:41 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-05-11 15:44:50 +0200gemmaro_ja(~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192)
2021-05-11 15:45:03 +0200jame_227(519fdca5@host81-159-220-165.range81-159.btcentralplus.com)
2021-05-11 15:46:03 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2021-05-11 15:46:46 +0200johncylee(~johncylee@185.163.110.100)
2021-05-11 15:47:57 +0200 <jame_227> Hi, I had a quick question about how lazy evaluation works. say the generator [ doSomething  x | x <- xs]. when this generator is called with say the argument !! 0, to return the first value from this function would it only evaluate the first x from xs?
2021-05-11 15:48:24 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-05-11 15:48:26 +0200 <opqdonut> short answer: yes
2021-05-11 15:48:50 +0200 <tomsmeding> assuming that's the only thing you do with that generator
2021-05-11 15:48:56 +0200 <opqdonut> long answer: you can find out by hand-evaluating the expression `head (map doSomething xs)`
2021-05-11 15:49:44 +0200 <opqdonut> I've just written a chapter for my course about this https://haskell.mooc.fi/part2#how-does-haskell-work
2021-05-11 15:49:51 +0200 <opqdonut> 10.4.1 has some evaluation examples
2021-05-11 15:50:28 +0200 <jame_227> Thank you for that, I will take a read :)
2021-05-11 15:52:27 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 15:53:29 +0200drbean_(~drbean@TC210-63-209-98.static.apol.com.tw) (Ping timeout: 265 seconds)
2021-05-11 15:54:34 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2021-05-11 15:55:10 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-05-11 15:56:41 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-05-11 15:59:33 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2021-05-11 15:59:55 +0200Deide(~Deide@217.155.19.23)
2021-05-11 16:00:20 +0200Pickchea(~private@unaffiliated/pickchea)
2021-05-11 16:01:50 +0200kritzefitz(~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
2021-05-11 16:02:57 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 16:03:56 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-11 16:08:11 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-11 16:09:48 +0200Tops21(~Tobias@dyndsl-095-033-090-210.ewe-ip-backbone.de) (Quit: Leaving.)
2021-05-11 16:10:37 +0200Tops2(~Tobias@dyndsl-095-033-090-210.ewe-ip-backbone.de)
2021-05-11 16:12:40 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-05-11 16:12:41 +0200trepanger_(~z@173-16-201-214.client.mchsi.com) (Ping timeout: 240 seconds)
2021-05-11 16:14:02 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1)
2021-05-11 16:16:33 +0200alx741(~alx741@186.178.109.110)
2021-05-11 16:17:11 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2021-05-11 16:17:20 +0200howdoi(uid224@gateway/web/irccloud.com/x-sfhlcsgoerbublmd)
2021-05-11 16:20:53 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-05-11 16:24:28 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-11 16:24:52 +0200jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-05-11 16:27:12 +0200maralorn(maralornma@gateway/shell/matrix.org/x-mkcwpfwlappvvein) ("User left")
2021-05-11 16:29:05 +0200maralorn(maralornma@gateway/shell/matrix.org/x-mkcwpfwlappvvein)
2021-05-11 16:29:22 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-05-11 16:30:38 +0200jamm__(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-05-11 16:31:04 +0200wonko7(~wonko7@62.115.229.50)
2021-05-11 16:32:29 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-11 16:34:59 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 245 seconds)
2021-05-11 16:35:06 +0200cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1)
2021-05-11 16:36:20 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-05-11 16:36:30 +0200carlomagno(~cararell@148.87.23.5) (Ping timeout: 265 seconds)
2021-05-11 16:36:53 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-11 16:36:57 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds)
2021-05-11 16:41:07 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-11 16:41:48 +0200m1dnight1m1dnight_
2021-05-11 16:42:21 +0200LKoen(~LKoen@156.168.9.109.rev.sfr.net)
2021-05-11 16:43:16 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-11 16:44:51 +0200Shuppiluliuma(~shuppilul@153.33.68.161)
2021-05-11 16:45:05 +0200kidbuu(~Thunderbi@116.40.185.87) (Quit: kidbuu)
2021-05-11 16:45:11 +0200thunderrd(~thunderrd@183.182.115.120) (Remote host closed the connection)
2021-05-11 16:46:52 +0200jakalx(~jakalx@base.jakalx.net)
2021-05-11 16:47:57 +0200hackagebisc 0.3.0.0 - A small tool that clears cookies (and more). https://hackage.haskell.org/package/bisc-0.3.0.0 (rnhmjoj)
2021-05-11 16:48:30 +0200mrchampion(~mrchampio@38.18.109.23)
2021-05-11 16:49:10 +0200stree(~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-11 16:49:16 +0200thunderrd(~thunderrd@183.182.115.120)
2021-05-11 16:49:55 +0200 <raehik> I have to keep recompiling a project that takes a few minutes to do so. I figure a quick solution would be to make a Cabal flag that skips some modules and the code that uses them. But I can't find any info on how to use flags in code. Do I need to also use CPP?
2021-05-11 16:50:11 +0200 <geekosaur> yes
2021-05-11 16:50:41 +0200minoru_shiraeesh(~shiraeesh@109.166.58.80) (Ping timeout: 260 seconds)
2021-05-11 16:50:50 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90)
2021-05-11 16:51:08 +0200fendor(~fendor@178.165.129.215.wireless.dyn.drei.com)
2021-05-11 16:51:59 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-11 16:52:27 +0200 <wz1000> raehik: you need to add something like `if flag(my-flag) cpp-options: -DMY_FLAG` to your cabal file and then use `#ifdef MY_FLAG` and so on
2021-05-11 16:52:27 +0200Tops21(~Tobias@dyndsl-095-033-090-210.ewe-ip-backbone.de)
2021-05-11 16:52:36 +0200 <geekosaur> and you still can't use them directly... that
2021-05-11 16:53:11 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-11 16:53:12 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-11 16:53:29 +0200 <raehik> wz1000: so you do have to, dang. It'd save me some tedium, but maybe too much effort given I'd have to keep applying and removing the patch to make commits
2021-05-11 16:53:56 +0200 <raehik> Thanks!
2021-05-11 16:53:56 +0200Tops22(~Tobias@dyndsl-095-033-090-210.ewe-ip-backbone.de)
2021-05-11 16:55:26 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 258 seconds)
2021-05-11 16:55:53 +0200Tops2(~Tobias@dyndsl-095-033-090-210.ewe-ip-backbone.de) (Ping timeout: 240 seconds)
2021-05-11 16:56:14 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 246 seconds)
2021-05-11 16:57:11 +0200Tops21(~Tobias@dyndsl-095-033-090-210.ewe-ip-backbone.de) (Ping timeout: 240 seconds)
2021-05-11 17:00:52 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-11 17:01:39 +0200gemmaro_ja(~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) (Ping timeout: 245 seconds)
2021-05-11 17:01:47 +0200stree(~stree@68.36.8.116)
2021-05-11 17:04:48 +0200electricityZZZZ(~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Remote host closed the connection)
2021-05-11 17:04:51 +0200jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-05-11 17:05:45 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9)
2021-05-11 17:06:32 +0200jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-05-11 17:07:11 +0200sphi(~sphi@unaffiliated/sphi) (Remote host closed the connection)
2021-05-11 17:07:59 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-11 17:08:23 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-11 17:10:44 +0200minoru_shiraeesh(~shiraeesh@109.166.58.80)
2021-05-11 17:11:04 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-05-11 17:11:51 +0200jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-05-11 17:13:25 +0200jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-05-11 17:14:15 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-05-11 17:15:01 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-11 17:15:03 +0200ukari(~ukari@unaffiliated/ukari)
2021-05-11 17:17:37 +0200mateusz(~mateusz@77-254-3-194.adsl.inetia.pl) (Remote host closed the connection)
2021-05-11 17:17:46 +0200noctux(~noctux@unaffiliated/noctux) (Read error: Connection reset by peer)
2021-05-11 17:18:02 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-05-11 17:19:55 +0200Ishutin(~ishutin@94-21-157-151.pool.digikabel.hu)
2021-05-11 17:20:32 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-05-11 17:22:32 +0200 <dminuoso> raehik: Also, you can set -O0, that can speed up compilation by quite a lot.
2021-05-11 17:22:47 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-05-11 17:22:48 +0200 <dminuoso> In addition, if you want to recompile just for type checking, you can disable code generation, speeding it up even further
2021-05-11 17:23:37 +0200 <raehik> dminuoso: Thanks. I like to jump into ghci regularly but there's 5 variant Alex parsers that build themselves and it takes Too Long
2021-05-11 17:23:38 +0200yogani(sid42623@gateway/web/irccloud.com/x-bnhacqijyxmiyyae) (Remote host closed the connection)
2021-05-11 17:23:38 +0200integral(sid296274@p3m/member/integral) (Remote host closed the connection)
2021-05-11 17:23:39 +0200howdoi(uid224@gateway/web/irccloud.com/x-sfhlcsgoerbublmd) (Remote host closed the connection)
2021-05-11 17:23:39 +0200hendi(sid489601@gateway/web/irccloud.com/x-tofwispyijhkkmkf) (Remote host closed the connection)
2021-05-11 17:23:39 +0200Adeon(sid418992@gateway/web/irccloud.com/x-gymdfseqxtsglqmg) (Remote host closed the connection)
2021-05-11 17:23:39 +0200teehemkay(sid14792@gateway/web/irccloud.com/x-xuibphqfjsbzklag) (Remote host closed the connection)
2021-05-11 17:23:39 +0200pent(sid313808@gateway/web/irccloud.com/x-cpxermbqpxsktgud) (Remote host closed the connection)
2021-05-11 17:23:39 +0200billstclair(sid77830@gateway/web/irccloud.com/x-olfxcxrqivvdbbbh) (Remote host closed the connection)
2021-05-11 17:23:39 +0200chessai(sid225296@gateway/web/irccloud.com/x-ldpypglktrbopvgw) (Remote host closed the connection)
2021-05-11 17:23:39 +0200sclv(sid39734@haskell/developer/sclv) (Remote host closed the connection)
2021-05-11 17:23:39 +0200kip(sid71464@gateway/web/irccloud.com/x-ejmdxvkprgoyfvds) (Remote host closed the connection)
2021-05-11 17:23:39 +0200NemesisD(sid24071@gateway/web/irccloud.com/x-dzmyzafvcbeydbqy) (Remote host closed the connection)
2021-05-11 17:23:39 +0200PotatoGim(sid99505@gateway/web/irccloud.com/x-stkdlziizvdtczpk) (Remote host closed the connection)
2021-05-11 17:23:48 +0200chessai(sid225296@gateway/web/irccloud.com/x-vvuucfyypayfysmg)
2021-05-11 17:23:48 +0200yogani(sid42623@gateway/web/irccloud.com/x-hizjjgvhcvqlyrba)
2021-05-11 17:23:49 +0200NemesisD(sid24071@gateway/web/irccloud.com/x-jqwffsdoepykblkn)
2021-05-11 17:23:49 +0200integral(sid296274@p3m/member/integral)
2021-05-11 17:23:50 +0200teehemkay(sid14792@gateway/web/irccloud.com/x-vulvlvrrnfdfvahd)
2021-05-11 17:23:50 +0200hendi(sid489601@gateway/web/irccloud.com/x-uqohcpzerdjcsbjn)
2021-05-11 17:23:51 +0200kip(sid71464@gateway/web/irccloud.com/x-mznormuiqdnkhwze)
2021-05-11 17:23:51 +0200billstclair(sid77830@gateway/web/irccloud.com/x-xwklscchjhngjwjd)
2021-05-11 17:23:51 +0200pent(sid313808@gateway/web/irccloud.com/x-gthllmzsbacdlose)
2021-05-11 17:23:57 +0200Adeon(sid418992@gateway/web/irccloud.com/x-tfbfzpiudsomqpvb)
2021-05-11 17:24:02 +0200PotatoGim(sid99505@gateway/web/irccloud.com/x-kguolsobtmitgwzj)
2021-05-11 17:24:04 +0200sclv(sid39734@haskell/developer/sclv)
2021-05-11 17:24:05 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-05-11 17:24:10 +0200howdoi(uid224@gateway/web/irccloud.com/x-skpmotuzajgkfppr)
2021-05-11 17:24:14 +0200 <raehik> I know to :r, but occasionally I can't (in this case I was building the test suite)
2021-05-11 17:24:15 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Client Quit)
2021-05-11 17:24:37 +0200jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-05-11 17:24:42 +0200bollu(~bollu@139.59.46.74)
2021-05-11 17:25:28 +0200bahamas(~lucian@unaffiliated/bahamas) (Quit: leaving)
2021-05-11 17:26:19 +0200 <catern> an offhand comment in an unrelated paper just pointed out that, by curry-howard, typeclass resolution is proof search, which blew my mind
2021-05-11 17:26:34 +0200 <catern> anyone know any papers on this?
2021-05-11 17:28:57 +0200carlomagno(~cararell@148.87.23.13)
2021-05-11 17:28:59 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 17:29:03 +0200jame_227(519fdca5@host81-159-220-165.range81-159.btcentralplus.com) (Ping timeout: 240 seconds)
2021-05-11 17:30:02 +0200vicfred(vicfred@gateway/vpn/mullvad/vicfred)
2021-05-11 17:30:45 +0200chele(~chele@78.128.94.174) (Remote host closed the connection)
2021-05-11 17:31:57 +0200ADG1089(~aditya@27.58.160.217)
2021-05-11 17:32:57 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-11 17:33:18 +0200Iceland_jack(~user@95.147.45.92)
2021-05-11 17:33:47 +0200ADG1089(~aditya@27.58.160.217) (Client Quit)
2021-05-11 17:33:59 +0200 <c_wraith> It's a very limited form of proof search.
2021-05-11 17:34:05 +0200 <c_wraith> It doesn't do any backtracking
2021-05-11 17:34:12 +0200a6a45081-2b83-4b(~aditya@27.58.160.217)
2021-05-11 17:34:27 +0200hackageZ-Botan 0.1.1.2 - Crypto for Haskell https://hackage.haskell.org/package/Z-Botan-0.1.1.2 (winterland)
2021-05-11 17:35:04 +0200noctux(~noctux@unaffiliated/noctux)
2021-05-11 17:36:49 +0200a6a45081-2b83-4b(~aditya@27.58.160.217) (Client Quit)
2021-05-11 17:37:10 +0200a6a45081-2b83-4b(~aditya@27.58.160.217)
2021-05-11 17:37:13 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2021-05-11 17:37:22 +0200 <a6a45081-2b83-4b> hi guys
2021-05-11 17:37:23 +0200oxide(~lambda@unaffiliated/mclaren)
2021-05-11 17:37:52 +0200a6a45081-2b83-4b(~aditya@27.58.160.217) (Client Quit)
2021-05-11 17:37:57 +0200hackagehspec-discover 2.8.0 - Automatically discover and run Hspec tests https://hackage.haskell.org/package/hspec-discover-2.8.0 (SimonHengel)
2021-05-11 17:38:03 +0200CrazyPython(~crazypyth@98.122.164.118)
2021-05-11 17:38:13 +0200a6a45081-2b83(~aditya@27.58.160.217)
2021-05-11 17:38:25 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90)
2021-05-11 17:38:27 +0200 <a6a45081-2b83> wasup
2021-05-11 17:39:11 +0200obfusk(~quassel@a82-161-150-56.adsl.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-11 17:40:55 +0200 <catern> c_wraith: sure, but it has some power in other ways, like with functional dependencies
2021-05-11 17:41:10 +0200obfusk(~quassel@a82-161-150-56.adsl.xs4all.nl)
2021-05-11 17:41:46 +0200 <catern> .oO(since typeclasses can be implemented with implicit parameters, and implicit parameters are just dynamically scoped variables, does this mean dynamic scope is a form of proof search?)
2021-05-11 17:41:47 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-11 17:42:16 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-05-11 17:44:02 +0200 <monochrom> IIRC type classes are not full-fledged dynamic scoping either.
2021-05-11 17:44:27 +0200 <monochrom> Or equivalently, implicit parameters are not full-fledged dynamic scoping.
2021-05-11 17:44:38 +0200vgtw(~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection)
2021-05-11 17:44:59 +0200vgtw(~vgtw@gateway/tor-sasl/vgtw)
2021-05-11 17:45:03 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-05-11 17:45:18 +0200 <monochrom> Some Oleg article shows what's missing, but I forgot the URL.
2021-05-11 17:45:24 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-05-11 17:45:25 +0200ubert(~Thunderbi@p200300ecdf005e5ce6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-05-11 17:45:25 +0200 <catern> http://okmij.org/ftp/Computation/dynamic-binding.html#implicit-parameter-neq-dynvar
2021-05-11 17:45:33 +0200 <monochrom> Yeah, that :)
2021-05-11 17:46:56 +0200berberman(~berberman@unaffiliated/berberman)
2021-05-11 17:47:28 +0200proofofkeags(~proofofke@205.209.28.54)
2021-05-11 17:47:35 +0200berberman_(~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2021-05-11 17:50:25 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Remote host closed the connection)
2021-05-11 17:50:26 +0200 <catern> funnily enough it was an Oleg paper that made this offhand "typeclass resolution is proof search" comment
2021-05-11 17:51:31 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-05-11 17:51:58 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-05-11 17:52:25 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-11 17:53:17 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-05-11 17:55:01 +0200a6a45081-2b83(~aditya@27.58.160.217) (Quit: Konversation terminated!)
2021-05-11 17:55:03 +0200xcmw(~textual@2603-6011-2200-f103-5955-2007-b8ef-9f55.res6.spectrum.com)
2021-05-11 17:55:08 +0200ubert(~Thunderbi@p200300ecdf005e5ce6b318fffe838f33.dip0.t-ipconnect.de)
2021-05-11 17:56:01 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com)
2021-05-11 17:56:14 +0200acidjnk_new2(~acidjnk@p200300d0c72b9550002dc6dbf76c6cb5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-05-11 17:57:05 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-05-11 18:00:40 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-11 18:01:13 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-11 18:01:18 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90)
2021-05-11 18:02:39 +0200xcmw(~textual@2603-6011-2200-f103-5955-2007-b8ef-9f55.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-11 18:03:19 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-11 18:04:10 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Client Quit)
2021-05-11 18:04:16 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-11 18:05:58 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 258 seconds)
2021-05-11 18:06:46 +0200malumore_(~malumore@151.62.117.210) (Ping timeout: 240 seconds)
2021-05-11 18:10:33 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-05-11 18:10:48 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-05-11 18:11:50 +0200pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-05-11 18:12:10 +0200justan0theruser(~justanoth@unaffiliated/justanotheruser)
2021-05-11 18:12:32 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-05-11 18:12:40 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-11 18:14:11 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 240 seconds)
2021-05-11 18:14:39 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2021-05-11 18:17:58 +0200cdsmith(~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net) (Read error: Connection reset by peer)
2021-05-11 18:18:17 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-pyxgzrqsorndsysw)
2021-05-11 18:20:40 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-11 18:23:49 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-11 18:26:44 +0200ddellac__(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-11 18:29:00 +0200Tops22(~Tobias@dyndsl-095-033-090-210.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-05-11 18:29:46 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-05-11 18:30:04 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection)
2021-05-11 18:34:42 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90)
2021-05-11 18:35:57 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Remote host closed the connection)
2021-05-11 18:36:50 +0200rond_(531aedb3@asz179.neoplus.adsl.tpnet.pl)
2021-05-11 18:37:15 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90)
2021-05-11 18:37:33 +0200aerona(~aerona@2600:6c54:4600:f300:a087:e5ac:bbaa:7d1c)
2021-05-11 18:41:43 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 260 seconds)
2021-05-11 18:42:28 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 276 seconds)
2021-05-11 18:47:13 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-05-11 18:48:54 +0200malumore_(~malumore@151.62.117.210)
2021-05-11 18:49:11 +0200m5gmhz
2021-05-11 18:50:37 +0200ddellac__(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-11 18:58:11 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 18:59:00 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90)
2021-05-11 19:02:21 +0200LKoen(~LKoen@156.168.9.109.rev.sfr.net) (Remote host closed the connection)
2021-05-11 19:03:38 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 246 seconds)
2021-05-11 19:05:33 +0200s00pcan(~chris@107.181.165.217)
2021-05-11 19:09:56 +0200stree(~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-05-11 19:12:07 +0200jonathanx_(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-05-11 19:12:29 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-11 19:14:41 +0200jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 240 seconds)
2021-05-11 19:15:23 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-05-11 19:15:43 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt)
2021-05-11 19:15:57 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds)
2021-05-11 19:16:00 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 19:17:46 +0200cyphase(~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds)
2021-05-11 19:17:51 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net)
2021-05-11 19:18:50 +0200cyphase(~cyphase@unaffiliated/cyphase)
2021-05-11 19:18:56 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-05-11 19:19:26 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-05-11 19:20:12 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-05-11 19:20:18 +0200ukari(~ukari@unaffiliated/ukari)
2021-05-11 19:23:02 +0200stree(~stree@68.36.8.116)
2021-05-11 19:25:21 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-11 19:29:21 +0200mhzaft
2021-05-11 19:29:46 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-11 19:31:07 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-11 19:31:28 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-11 19:31:58 +0200RusAlex(~Chel@unaffiliated/rusalex)
2021-05-11 19:32:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-05-11 19:34:07 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-05-11 19:34:40 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-11 19:36:51 +0200gawen_(~gawen@movzbl.root.sx)
2021-05-11 19:38:06 +0200aftAIM-9-SIDEWINDER
2021-05-11 19:38:13 +0200gawen(~gawen@movzbl.root.sx) (Ping timeout: 260 seconds)
2021-05-11 19:40:13 +0200_bin(~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (Ping timeout: 252 seconds)
2021-05-11 19:40:46 +0200LKoen(~LKoen@156.168.9.109.rev.sfr.net)
2021-05-11 19:41:28 +0200_bin(~bin@2600:1700:10a1:38d0:8cd7:7637:fad:1f0b)
2021-05-11 19:42:00 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-05-11 19:43:17 +0200kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-11 19:44:02 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds)
2021-05-11 19:44:12 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
2021-05-11 19:44:43 +0200justan0theruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2021-05-11 19:46:37 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-05-11 19:47:33 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-05-11 19:47:40 +0200ukari(~ukari@unaffiliated/ukari)
2021-05-11 19:47:47 +0200nineonin_(~nineonine@50.216.62.2)
2021-05-11 19:48:42 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 19:49:44 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-11 19:50:38 +0200aramend(~aramend@5.186.113.246.cgn.fibianet.dk)
2021-05-11 19:51:31 +0200nineonine(~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 250 seconds)
2021-05-11 19:51:33 +0200chris__(~chris@81.96.113.213) (Remote host closed the connection)
2021-05-11 19:52:37 +0200hypercube(~hypercube@137.112.239.172)
2021-05-11 19:52:40 +0200chris__(~chris@81.96.113.213)
2021-05-11 19:52:45 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-11 19:53:16 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-11 19:53:39 +0200Pickchea(~private@unaffiliated/pickchea)
2021-05-11 19:54:46 +0200dpl_(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-05-11 19:57:41 +0200Guest87676(~laudiacay@67.176.215.84)
2021-05-11 19:58:09 +0200AIM-9-SIDEWINDERmhz
2021-05-11 20:00:34 +0200kiltzman(~k1ltzman@195.189.99.96) (Ping timeout: 252 seconds)
2021-05-11 20:01:10 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-11 20:01:28 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-11 20:01:50 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-05-11 20:05:17 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-11 20:05:26 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-11 20:05:44 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-05-11 20:05:48 +0200kiltzman(~k1ltzman@195.189.99.96)
2021-05-11 20:08:56 +0200nolrai(4c1bcada@c-76-27-202-218.hsd1.or.comcast.net)
2021-05-11 20:13:13 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-05-11 20:14:11 +0200Khisanth(~Khisanth@255.sub-174-197-131.myvzw.com) (Ping timeout: 240 seconds)
2021-05-11 20:14:25 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2021-05-11 20:14:27 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:7fc3:e4ce:2a81:16be)
2021-05-11 20:14:54 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-05-11 20:15:18 +0200 <aramend> I'm trying to build a cabal project that uses gloss in build depends. To manage dependencies I'm doing all of this inside a flake.nix that calls cabal2nix. I'd like to add a flag for building the gloss dependency, +glfw, since I'm unable to build using the default glut choice. I can't find a way effect this at all, never mind inside my project setup. Any suggestions?
2021-05-11 20:19:57 +0200CuPenguin(~CuPenguin@207.38.239.235)
2021-05-11 20:20:15 +0200CuPenguin(~CuPenguin@207.38.239.235) ("WeeChat 3.1")
2021-05-11 20:20:29 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-05-11 20:24:13 +0200kupi(uid212005@gateway/web/irccloud.com/x-faqhkbxusvkvdgls)
2021-05-11 20:25:41 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-11 20:26:11 +0200 <xe4> how to use sortWith?
2021-05-11 20:26:23 +0200 <Rembane> :t sortWith
2021-05-11 20:26:25 +0200 <lambdabot> error:
2021-05-11 20:26:25 +0200 <lambdabot> • Variable not in scope: sortWith
2021-05-11 20:26:25 +0200 <lambdabot> • Perhaps you meant ‘NE.sortWith’ (imported from Data.List.NonEmpty)
2021-05-11 20:26:42 +0200 <nolrai> Odd.
2021-05-11 20:26:44 +0200notzmv(~zmv@unaffiliated/zmv)
2021-05-11 20:26:51 +0200 <nolrai> :t NE.sortWith
2021-05-11 20:26:52 +0200 <lambdabot> Ord o => (a -> o) -> NonEmpty a -> NonEmpty a
2021-05-11 20:27:43 +0200Khisanth(~Khisanth@255.sub-174-197-131.myvzw.com)
2021-05-11 20:28:33 +0200 <Rembane> xe4: Are you thinking about the NonEmpty sortWith?
2021-05-11 20:28:39 +0200 <xe4> yes
2021-05-11 20:30:27 +0200 <nolrai> > NE.sortWith (reverse . snd) [(1,"bob"), (2,"alice"), (3, "aardvark"), (4, "za"), (5, "az")]
2021-05-11 20:30:29 +0200 <lambdabot> error:
2021-05-11 20:30:29 +0200 <lambdabot> • Couldn't match expected type ‘NonEmpty (a, [a1])’
2021-05-11 20:30:29 +0200 <lambdabot> with actual type ‘[(a0, [Char])]’
2021-05-11 20:31:02 +0200kuribas(~user@ptr-25vy0i9ywxfym2so1gs.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-05-11 20:31:11 +0200 <xe4> biggest = head ((sortWith (compare `on` fst)))
2021-05-11 20:31:25 +0200 <Rembane> NE.sortWith id $ NE.fromList [4,3,2,1]
2021-05-11 20:31:27 +0200 <Rembane> > NE.sortWith id $ NE.fromList [4,3,2,1]
2021-05-11 20:31:29 +0200 <lambdabot> 1 :| [2,3,4]
2021-05-11 20:32:30 +0200 <monochrom> sortWith's type suggests it doesn't want a comparator, it wants to map your element type to an orderable type.
2021-05-11 20:32:39 +0200 <nolrai> NE.sortWith doesn't use compare, it already is applying "compare `on`" internally.
2021-05-11 20:32:45 +0200kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-11 20:33:07 +0200 <monochrom> The simplest case is "sortWith id" when my elements are already the orderable type I want.
2021-05-11 20:34:22 +0200 <nolrai> > NE.sortWith (reverse . snd) ((1,"bob") :| [(2,"alice"), (3, "aardvark"), (4, "za"), (5, "az")])
2021-05-11 20:34:24 +0200 <lambdabot> (4,"za") :| [(1,"bob"),(2,"alice"),(3,"aardvark"),(5,"az")]
2021-05-11 20:35:02 +0200 <nolrai> Err.. I shouldn't have used bob alice aardvark. >.<
2021-05-11 20:36:36 +0200CuPenguin(~CuPenguin@207.38.239.235)
2021-05-11 20:36:44 +0200 <nolrai> > NE.sortWith (reverse . snd) ((1,"aaa") :| [(2,"ba"), (3, "bz"), (4, "za"), (5, "az")])
2021-05-11 20:36:46 +0200 <lambdabot> (1,"aaa") :| [(2,"ba"),(4,"za"),(5,"az"),(3,"bz")]
2021-05-11 20:37:43 +0200rajivr(uid269651@gateway/web/irccloud.com/x-hrgaorfqejcowubk) (Quit: Connection closed for inactivity)
2021-05-11 20:41:21 +0200rond_(531aedb3@asz179.neoplus.adsl.tpnet.pl) (Quit: Connection closed)
2021-05-11 20:41:47 +0200 <tomsmeding> :t sortOn
2021-05-11 20:41:48 +0200 <lambdabot> Ord b => (a -> b) -> [a] -> [a]
2021-05-11 20:41:56 +0200 <tomsmeding> analogous function on normal lists
2021-05-11 20:42:32 +0200bitmagie(~Thunderbi@200116b806b92e00b8b7218edf9a11f7.dip.versatel-1u1.de)
2021-05-11 20:42:37 +0200 <nolrai> Should probably be changed to be consistent, but it would be a breaking change.
2021-05-11 20:42:49 +0200 <tomsmeding> though sortOn has a slight runtime performance difference: it computes the projected 'b' values _once_, remembers them, and then sorts using that cache
2021-05-11 20:43:10 +0200 <tomsmeding> whereas sortWith, and Data.List.sortBy, recompute the mapping/comparison function for each comparison to be made
2021-05-11 20:43:36 +0200 <nolrai> Hmm. That could make a big difference in some cases.
2021-05-11 20:44:01 +0200 <tomsmeding> if your projection function is cheap, 'sortBy (comparing f)' may be significantly better than 'sortOn f' :)
2021-05-11 20:44:22 +0200nolrai(4c1bcada@c-76-27-202-218.hsd1.or.comcast.net) (Quit: Connection closed)
2021-05-11 20:44:35 +0200nf(~n@monade.li) (Quit: Fairfarren.)
2021-05-11 20:44:56 +0200 <tomsmeding> I was really happy when I first discovered sortOn, then slightly confused and subsequently a bit disappointed upon learning this implementation difference :p
2021-05-11 20:45:01 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds)
2021-05-11 20:45:13 +0200 <tomsmeding> I seldomly sort with an expensive projection function, but maybe that's me
2021-05-11 20:45:34 +0200nf(~n@monade.li)
2021-05-11 20:45:39 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-11 20:45:44 +0200minoru_shiraeesh(~shiraeesh@109.166.58.80) (Remote host closed the connection)
2021-05-11 20:46:08 +0200minoru_shiraeesh(~shiraeesh@109.166.58.80)
2021-05-11 20:46:34 +0200 <monochrom> sortBy (comparing (\n -> ack n n))
2021-05-11 20:46:52 +0200 <xe4> can I get assistance with this basic quickcheck function?
2021-05-11 20:46:57 +0200 <xe4> https://gist.github.com/xe-4/ba47bc1ae4ff747e5bcef6eeb88888bb
2021-05-11 20:47:13 +0200CuPenguin(~CuPenguin@207.38.239.235) (Quit: WeeChat 3.1)
2021-05-11 20:47:30 +0200nolrai(4c1bcada@c-76-27-202-218.hsd1.or.comcast.net)
2021-05-11 20:47:49 +0200minoru_shiraeesh(~shiraeesh@109.166.58.80) (Remote host closed the connection)
2021-05-11 20:48:54 +0200minoru_shiraeesh(~shiraeesh@109.166.58.80)
2021-05-11 20:49:37 +0200 <lyxia> xe4: add an Arbitrary instance for NonEmpty
2021-05-11 20:49:47 +0200 <tomsmeding> xe4: instance Arbitrary a => Arbitrary (NE.NonEmpty a) where arbitrary = (:|) <$> arbitrary <*> arbitrary
2021-05-11 20:50:39 +0200notzmv(~zmv@unaffiliated/zmv)
2021-05-11 20:52:03 +0200dpl_(~dpl@77-121-78-163.chn.volia.net)
2021-05-11 20:53:00 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-05-11 20:53:09 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2021-05-11 20:53:15 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-11 20:56:29 +0200jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-05-11 20:56:53 +0200CuPenguin(~CuPenguin@207.38.239.235)
2021-05-11 20:58:26 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-05-11 21:04:48 +0200epicte7us(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-05-11 21:05:02 +0200CuPenguin(~CuPenguin@207.38.239.235) (Quit: WeeChat 3.1)
2021-05-11 21:05:34 +0200carlomagno(~cararell@148.87.23.13) (Remote host closed the connection)
2021-05-11 21:05:49 +0200carlomagno(~cararell@148.87.23.13)
2021-05-11 21:06:34 +0200CuPenguin(~CuPenguin@207.38.239.235)
2021-05-11 21:08:05 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 268 seconds)
2021-05-11 21:10:36 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2021-05-11 21:11:42 +0200hypercube(~hypercube@137.112.239.172) (Quit: WeeChat 3.1)
2021-05-11 21:12:15 +0200 <thblt> I'm reading /Thinking in Types/, and I'm learning a lot of *very* cool things, but it's kinda funny that the more advanced the book gets, the more it focuses on defeating what's usually marketed as the best features of Haskell.
2021-05-11 21:12:53 +0200CuPenguin(~CuPenguin@207.38.239.235) (Quit: WeeChat 3.1)
2021-05-11 21:13:00 +0200aerona_(~aerona@2600:6c54:4600:f300:a087:e5ac:bbaa:7d1c)
2021-05-11 21:13:01 +0200oxide(~lambda@unaffiliated/mclaren) (Ping timeout: 260 seconds)
2021-05-11 21:13:16 +0200 <thblt> “See, with this very advanced features you can have purely dynamic types that make your program explode at runtime if you make a single mistake.”
2021-05-11 21:15:43 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 21:15:55 +0200hypercube(~hypercube@137.112.239.172)
2021-05-11 21:16:10 +0200CuPenguin(~CuPenguin@207.38.239.235)
2021-05-11 21:16:16 +0200oxide(~lambda@unaffiliated/mclaren)
2021-05-11 21:16:31 +0200aerona(~aerona@2600:6c54:4600:f300:a087:e5ac:bbaa:7d1c) (Ping timeout: 276 seconds)
2021-05-11 21:17:10 +0200CuPenguin(~CuPenguin@207.38.239.235) (Client Quit)
2021-05-11 21:21:38 +0200aramend(~aramend@5.186.113.246.cgn.fibianet.dk) (Quit: Leaving)
2021-05-11 21:22:00 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-11 21:22:11 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 21:22:45 +0200 <ski> @type GHC.Exts.sortWith
2021-05-11 21:22:46 +0200 <lambdabot> Ord b => (a -> b) -> [a] -> [a]
2021-05-11 21:24:00 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-11 21:24:37 +0200 <tomsmeding> ah and that uses the sortBy implementation, cool
2021-05-11 21:25:52 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-11 21:26:29 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-11 21:26:47 +0200son0p(~ff@181.136.122.143) (Ping timeout: 246 seconds)
2021-05-11 21:27:52 +0200nolrai(4c1bcada@c-76-27-202-218.hsd1.or.comcast.net) (Quit: Connection closed)
2021-05-11 21:28:05 +0200Wizek(uid191769@gateway/web/irccloud.com/x-marzjbfjxkdjkaeq)
2021-05-11 21:28:48 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-11 21:28:58 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 21:30:15 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-05-11 21:31:09 +0200stree(~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-05-11 21:31:14 +0200 <ski> % :set -XTransformListComp
2021-05-11 21:31:14 +0200 <yahb> ski:
2021-05-11 21:31:35 +0200 <ski> % [w | w <- words "The quick brown fox jumps over the lazy dog",then GHC.Exts.sortWith by length w] -- iirc, it's in there, because of this
2021-05-11 21:31:35 +0200 <yahb> ski: ["The","fox","the","dog","over","lazy","quick","brown","jumps"]
2021-05-11 21:32:54 +0200jakalx(~jakalx@base.jakalx.net)
2021-05-11 21:33:10 +0200 <ski> % [w | w <- words "The quick brown fox jumps over the lazy dog",then group by length w using GHC.Exts.groupWith]
2021-05-11 21:33:10 +0200 <yahb> ski: [["The","fox","the","dog"],["over","lazy"],["quick","brown","jumps"]]
2021-05-11 21:33:26 +0200dpl_(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 260 seconds)
2021-05-11 21:33:36 +0200 <tomsmeding> ah you're right
2021-05-11 21:33:41 +0200 <tomsmeding> does anybody ever use that
2021-05-11 21:38:49 +0200 <ski> % [(GHC.Exts.the len,w) | w <- words "The quick brown fox jumps over the lazy dog",let len = length w,then group by len using GHC.Exts.groupWith]
2021-05-11 21:38:49 +0200 <yahb> ski: [(3,["The","fox","the","dog"]),(4,["over","lazy"]),(5,["quick","brown","jumps"])]
2021-05-11 21:39:01 +0200 <ski> not sure it's used that often
2021-05-11 21:40:46 +0200 <ski> <https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/generalised_list_comprehensio…>
2021-05-11 21:41:10 +0200safinaskar(~user@109-252-90-136.nat.spd-mgts.ru)
2021-05-11 21:41:14 +0200 <xerox_> that's beautiful
2021-05-11 21:43:26 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-11 21:44:11 +0200stree(~stree@68.36.8.116)
2021-05-11 21:44:31 +0200Rudd0^(~Rudd0@185.189.115.103)
2021-05-11 21:45:44 +0200 <safinaskar> is there parser libraries with unbiased choice? i. e. i want <|> to take both brances. And if final parse tree is ambiguous, I want parser library to tell me that. As opposed to Parsec (Parsec uses biased choice, and it will not detect ambiguities.) Package "Earley" uses unbiased choice and it detect ambiguities, but it has another problem: I want check for semantic errors (i. e. "undeclared
2021-05-11 21:45:50 +0200 <safinaskar> identifier" or "type mismatch") as a side effect of parsing. So, I need either function "get current position" (so I can check semantic error and save current position for error reporting) or function "fail with semantic error", which should save position and report error. "Earley" (as opposed to Parsec) does not have this functions. So, is there other solutions?
2021-05-11 21:46:33 +0200Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 240 seconds)
2021-05-11 21:48:03 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-11 21:49:11 +0200Rudd0^(~Rudd0@185.189.115.103) (Ping timeout: 260 seconds)
2021-05-11 21:49:51 +0200epicte7us(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Quit: Leaving)
2021-05-11 21:50:24 +0200 <monochrom> Text.ParserCombinators.ReadP has an unbiased choice. (It also has a biased choice.)
2021-05-11 21:50:42 +0200hololeap(hololeap@gateway/vpn/protonvpn/hololeap) (Quit: Bye)
2021-05-11 21:51:04 +0200 <monochrom> I forgot which one it chose for <|> but you can always use its +++ to be sure.
2021-05-11 21:51:24 +0200hexfive(~hexfive@50.35.83.177)
2021-05-11 21:51:45 +0200 <ski> maybe `parsek' ?
2021-05-11 21:52:21 +0200 <monochrom> ReadP is really designed and implemented with ambiguities in mind. "It parses all alternatives in parallel, so it never keeps hold of the beginning of the input string, a common source of space leaks with other parsers."
2021-05-11 21:52:36 +0200 <ski> seems it has <https://hackage.haskell.org/package/parsek-1.0.4.0/docs/Text-ParserCombinators-Parsek-Position.htm…>
2021-05-11 21:53:57 +0200 <monochrom> Ah, ReadP doesn't have getPosition.
2021-05-11 21:54:26 +0200 <geekosaur> or error reporting, really
2021-05-11 21:55:33 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 21:56:08 +0200neiluj(~jco@91-167-203-101.subs.proxad.net)
2021-05-11 21:56:09 +0200neiluj(~jco@91-167-203-101.subs.proxad.net) (Changing host)
2021-05-11 21:56:09 +0200neiluj(~jco@unaffiliated/neiluj)
2021-05-11 21:56:19 +0200 <ski> (the need for `the' with `group by .. using ..' annoys me, but i'm not sure how/if one could do better)
2021-05-11 21:56:57 +0200bitmagie(~Thunderbi@200116b806b92e00b8b7218edf9a11f7.dip.versatel-1u1.de) (Quit: bitmagie)
2021-05-11 21:57:26 +0200dpl_(~dpl@77-121-78-163.chn.volia.net)
2021-05-11 21:57:42 +0200m_shiraeeshi(~shiraeesh@109.166.59.168)
2021-05-11 21:58:15 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-05-11 21:58:40 +0200 <monochrom> "the" is a technicality function that got a wannabe-intuitive name
2021-05-11 21:59:09 +0200minoru_shiraeesh(~shiraeesh@109.166.58.80) (Ping timeout: 260 seconds)
2021-05-11 21:59:34 +0200 <safinaskar> ski: ok, i will try
2021-05-11 22:00:22 +0200 <monochrom> Overall TransformListComp found a way of covering all desired use cases by going overly general (because the use cases are too different, really), and so we need a few of these technicality bridging functions.
2021-05-11 22:00:51 +0200 <ski> it's possible to break what would be considered the obvious usage of `the', if you use a strange grouping function
2021-05-11 22:01:52 +0200 <ski> % [(len,w) | w <- words "The quick brown fox jumps over the lazy dog",let len = length w,then group by len using GHC.Exts.groupWith]
2021-05-11 22:01:52 +0200 <yahb> ski: [([3,3,3,3],["The","fox","the","dog"]),([4,4],["over","lazy"]),([5,5,5],["quick","brown","jumps"])]
2021-05-11 22:02:00 +0200 <ski> % [(len,w) | w <- words "The quick brown fox jumps over the lazy dog",let len = length w,then group by len using (transpose .) . GHC.Exts.groupWith]
2021-05-11 22:02:00 +0200 <yahb> ski: [([3,4,5],["The","over","quick"]),([3,4,5],["fox","lazy","brown"]),([3,5],["the","jumps"]),([3],["dog"])]
2021-05-11 22:02:00 +0200 <monochrom> https://mail.haskell.org/pipermail/haskell-cafe/2018-February/128607.html is what I managed to exploit the generality >:)
2021-05-11 22:02:05 +0200 <ski> % [(GHC.Exts.the len,w) | w <- words "The quick brown fox jumps over the lazy dog",let len = length w,then group by len using (transpose .) . GHC.Exts.groupWith]
2021-05-11 22:02:05 +0200 <yahb> ski: [(*** Exception: GHC.Exts.the: non-identical elements
2021-05-11 22:02:53 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-11 22:05:13 +0200petersen(~petersen@redhat/juhp) (Ping timeout: 260 seconds)
2021-05-11 22:05:15 +0200 <ski> (iow, attempting to automagically apply `the' is probably not a good idea)
2021-05-11 22:06:33 +0200 <ski> % [c | c <- "mississippi",then group using chunksOf 3]
2021-05-11 22:06:33 +0200 <yahb> ski: ["mis","sis","sip","pi"]
2021-05-11 22:07:06 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-11 22:07:15 +0200petersen(~petersen@redhat/juhp)
2021-05-11 22:09:41 +0200_bin(~bin@2600:1700:10a1:38d0:8cd7:7637:fad:1f0b) (*.net *.split)
2021-05-11 22:09:41 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-pyxgzrqsorndsysw) (*.net *.split)
2021-05-11 22:09:41 +0200berberman(~berberman@unaffiliated/berberman) (*.net *.split)
2021-05-11 22:09:41 +0200sclv(sid39734@haskell/developer/sclv) (*.net *.split)
2021-05-11 22:09:41 +0200howdoi(uid224@gateway/web/irccloud.com/x-skpmotuzajgkfppr) (*.net *.split)
2021-05-11 22:09:41 +0200hendi(sid489601@gateway/web/irccloud.com/x-uqohcpzerdjcsbjn) (*.net *.split)
2021-05-11 22:09:42 +0200pent(sid313808@gateway/web/irccloud.com/x-gthllmzsbacdlose) (*.net *.split)
2021-05-11 22:09:42 +0200lordyod(~lordyod@c-67-169-144-132.hsd1.ca.comcast.net) (*.net *.split)
2021-05-11 22:09:42 +0200mikeplus32(~mike@2406:d500:6:1:216:3cff:fe36:651) (*.net *.split)
2021-05-11 22:09:42 +0200sphalerite(~sphalerit@NixOS/user/lheckemann) (*.net *.split)
2021-05-11 22:09:42 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (*.net *.split)
2021-05-11 22:09:42 +0200rann(sid175221@gateway/web/irccloud.com/x-xgerfalphipfmdgv) (*.net *.split)
2021-05-11 22:09:42 +0200acertain(sid470584@gateway/web/irccloud.com/x-smitzrwlhgbnwuzb) (*.net *.split)
2021-05-11 22:09:42 +0200Tritlo(sid58727@gateway/web/irccloud.com/x-chylzklhzxffdqgz) (*.net *.split)
2021-05-11 22:09:42 +0200affinespaces(sid327561@gateway/web/irccloud.com/x-yipzwsjpntskowut) (*.net *.split)
2021-05-11 22:09:42 +0200jeanclaude[m](jeanclaude@gateway/shell/matrix.org/x-mmihezdzzruufkof) (*.net *.split)
2021-05-11 22:09:42 +0200NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur) (*.net *.split)
2021-05-11 22:09:42 +0200catern(~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (*.net *.split)
2021-05-11 22:09:42 +0200Raito_Bezarius(~Raito@unaffiliated/raito-bezarius/x-8764578) (*.net *.split)
2021-05-11 22:09:42 +0200ggVGc(~ggVGc@a.lowtech.earth) (*.net *.split)
2021-05-11 22:09:42 +0200miklcct(quasselcor@miklcct.com) (*.net *.split)
2021-05-11 22:09:42 +0200nlofaro(sid258233@gateway/web/irccloud.com/x-xhutvjiokxcusdlf) (*.net *.split)
2021-05-11 22:09:42 +0200Nascha(sid212230@gateway/web/irccloud.com/x-dqtvumpmtznmjvar) (*.net *.split)
2021-05-11 22:09:42 +0200aizen_s(sid462968@gateway/web/irccloud.com/x-wkgllnirjxztqgtb) (*.net *.split)
2021-05-11 22:09:42 +0200tapas(sid467876@gateway/web/irccloud.com/x-jnxdqaqlhfwdctoj) (*.net *.split)
2021-05-11 22:09:42 +0200ProofTechnique(sid79547@gateway/web/irccloud.com/x-hmamblixaqsfzazg) (*.net *.split)
2021-05-11 22:09:42 +0200cemerick(sid54985@gateway/web/irccloud.com/x-cgnqmpfzhzxaaydo) (*.net *.split)
2021-05-11 22:09:42 +0200koankeeper(sid216950@gateway/web/irccloud.com/x-utdpmlvofhbekyeu) (*.net *.split)
2021-05-11 22:09:42 +0200npgm(sid42623@gateway/web/irccloud.com/x-geajwhsmjoalbuuo) (*.net *.split)
2021-05-11 22:09:42 +0200luite(sid387799@gateway/web/irccloud.com/x-aaiogqabznlrzlnw) (*.net *.split)
2021-05-11 22:09:42 +0200vaibhavsagar(vaibhavsag@gateway/shell/matrix.org/x-yqaazxmokhytwobc) (*.net *.split)
2021-05-11 22:09:42 +0200sarahzrf(~sarahzrf_@2604:a880:400:d0::b4a:4001) (*.net *.split)
2021-05-11 22:09:42 +0200jchia[m](jchiamatri@gateway/shell/matrix.org/x-scatarnmpyydrxbt) (*.net *.split)
2021-05-11 22:09:42 +0200ServerStatsDisco(serverstat@gateway/shell/matrix.org/x-oxgvtvxuexgkqkan) (*.net *.split)
2021-05-11 22:09:42 +0200supersven[m](supersvenm@gateway/shell/matrix.org/x-yllxmwoozxynyliw) (*.net *.split)
2021-05-11 22:09:43 +0200dominicusin[m](dominicusi@gateway/shell/matrix.org/x-oatljpwlthdxnsxj) (*.net *.split)
2021-05-11 22:09:43 +0200themsay[m](themsaymat@gateway/shell/matrix.org/x-jxvnrdxzkiqyurdg) (*.net *.split)
2021-05-11 22:10:02 +0200tempate(~tempate@unaffiliated/tempate) ()
2021-05-11 22:10:44 +0200 <ski> % [(GHC.Exts.the c,length c) | c <- "mississippi",then group by c using GHC.Exts.groupWith]
2021-05-11 22:10:44 +0200 <yahb> ski: [('i',4),('m',1),('p',2),('s',4)]
2021-05-11 22:10:51 +0200 <ski> % [(GHC.Exts.the c,length c) | c <- "mississippi",then group by c using groupBy . equating]
2021-05-11 22:10:51 +0200 <yahb> ski: [('m',1),('i',1),('s',2),('i',1),('s',2),('i',1),('p',2),('i',1)]
2021-05-11 22:10:53 +0200Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-05-11 22:11:07 +0200 <shapr> I gave my talk! yay! https://github.com/shapr/graphreductionhardware
2021-05-11 22:11:35 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-11 22:12:05 +0200 <Rembane> \o/
2021-05-11 22:12:31 +0200 <ski> (using `group' directly doesn't work, since that requires `Eq' on the elements, which `then group using ..' and `then group by .. using ..' (as well as `then ..' and `then .. by ..') forbids)
2021-05-11 22:12:42 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
2021-05-11 22:12:52 +0200 <ski> shapr : yay ! :)
2021-05-11 22:12:57 +0200 <Rembane> shapr: I love the second slide!
2021-05-11 22:13:13 +0200 <shapr> heh, seemed like a good outline
2021-05-11 22:13:20 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 246 seconds)
2021-05-11 22:13:55 +0200ServerStatsDisco(serverstat@gateway/shell/matrix.org/session)
2021-05-11 22:13:55 +0200_bin(~bin@2600:1700:10a1:38d0:8cd7:7637:fad:1f0b)
2021-05-11 22:13:55 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-pyxgzrqsorndsysw)
2021-05-11 22:13:55 +0200berberman(~berberman@unaffiliated/berberman)
2021-05-11 22:13:55 +0200howdoi(uid224@gateway/web/irccloud.com/x-skpmotuzajgkfppr)
2021-05-11 22:13:55 +0200sclv(sid39734@haskell/developer/sclv)
2021-05-11 22:13:55 +0200pent(sid313808@gateway/web/irccloud.com/x-gthllmzsbacdlose)
2021-05-11 22:13:55 +0200hendi(sid489601@gateway/web/irccloud.com/x-uqohcpzerdjcsbjn)
2021-05-11 22:13:55 +0200lordyod(~lordyod@c-67-169-144-132.hsd1.ca.comcast.net)
2021-05-11 22:13:55 +0200mikeplus32(~mike@2406:d500:6:1:216:3cff:fe36:651)
2021-05-11 22:13:55 +0200sphalerite(~sphalerit@NixOS/user/lheckemann)
2021-05-11 22:13:55 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
2021-05-11 22:13:55 +0200rann(sid175221@gateway/web/irccloud.com/x-xgerfalphipfmdgv)
2021-05-11 22:13:55 +0200affinespaces(sid327561@gateway/web/irccloud.com/x-yipzwsjpntskowut)
2021-05-11 22:13:55 +0200Tritlo(sid58727@gateway/web/irccloud.com/x-chylzklhzxffdqgz)
2021-05-11 22:13:55 +0200acertain(sid470584@gateway/web/irccloud.com/x-smitzrwlhgbnwuzb)
2021-05-11 22:13:55 +0200jeanclaude[m](jeanclaude@gateway/shell/matrix.org/x-mmihezdzzruufkof)
2021-05-11 22:13:55 +0200NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur)
2021-05-11 22:13:55 +0200catern(~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407)
2021-05-11 22:13:55 +0200Raito_Bezarius(~Raito@unaffiliated/raito-bezarius/x-8764578)
2021-05-11 22:13:55 +0200ggVGc(~ggVGc@a.lowtech.earth)
2021-05-11 22:13:55 +0200miklcct(quasselcor@miklcct.com)
2021-05-11 22:13:55 +0200aizen_s(sid462968@gateway/web/irccloud.com/x-wkgllnirjxztqgtb)
2021-05-11 22:13:55 +0200Nascha(sid212230@gateway/web/irccloud.com/x-dqtvumpmtznmjvar)
2021-05-11 22:13:55 +0200nlofaro(sid258233@gateway/web/irccloud.com/x-xhutvjiokxcusdlf)
2021-05-11 22:13:55 +0200ProofTechnique(sid79547@gateway/web/irccloud.com/x-hmamblixaqsfzazg)
2021-05-11 22:13:55 +0200tapas(sid467876@gateway/web/irccloud.com/x-jnxdqaqlhfwdctoj)
2021-05-11 22:13:55 +0200cemerick(sid54985@gateway/web/irccloud.com/x-cgnqmpfzhzxaaydo)
2021-05-11 22:13:55 +0200koankeeper(sid216950@gateway/web/irccloud.com/x-utdpmlvofhbekyeu)
2021-05-11 22:13:55 +0200npgm(sid42623@gateway/web/irccloud.com/x-geajwhsmjoalbuuo)
2021-05-11 22:13:55 +0200luite(sid387799@gateway/web/irccloud.com/x-aaiogqabznlrzlnw)
2021-05-11 22:13:55 +0200vaibhavsagar(vaibhavsag@gateway/shell/matrix.org/x-yqaazxmokhytwobc)
2021-05-11 22:13:55 +0200sarahzrf(~sarahzrf_@2604:a880:400:d0::b4a:4001)
2021-05-11 22:13:55 +0200jchia[m](jchiamatri@gateway/shell/matrix.org/x-scatarnmpyydrxbt)
2021-05-11 22:13:55 +0200dominicusin[m](dominicusi@gateway/shell/matrix.org/x-oatljpwlthdxnsxj)
2021-05-11 22:13:55 +0200themsay[m](themsaymat@gateway/shell/matrix.org/x-jxvnrdxzkiqyurdg)
2021-05-11 22:13:55 +0200supersven[m](supersvenm@gateway/shell/matrix.org/x-yllxmwoozxynyliw)
2021-05-11 22:13:57 +0200sphalerite(~sphalerit@NixOS/user/lheckemann) (Max SendQ exceeded)
2021-05-11 22:13:57 +0200Raito_Bezarius(~Raito@unaffiliated/raito-bezarius/x-8764578) (Max SendQ exceeded)
2021-05-11 22:13:57 +0200_bin(~bin@2600:1700:10a1:38d0:8cd7:7637:fad:1f0b) (Max SendQ exceeded)
2021-05-11 22:13:57 +0200themsay[m](themsaymat@gateway/shell/matrix.org/x-jxvnrdxzkiqyurdg) (Max SendQ exceeded)
2021-05-11 22:13:57 +0200catern(~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (Max SendQ exceeded)
2021-05-11 22:13:57 +0200ServerStatsDisco(serverstat@gateway/shell/matrix.org/session) (Max SendQ exceeded)
2021-05-11 22:13:57 +0200rann(sid175221@gateway/web/irccloud.com/x-xgerfalphipfmdgv) (Max SendQ exceeded)
2021-05-11 22:14:20 +0200_bin(~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net)
2021-05-11 22:14:25 +0200rann(sid175221@gateway/web/irccloud.com/x-kiegtzmiullgvejq)
2021-05-11 22:14:31 +0200sphalerite(~sphalerit@NixOS/user/lheckemann)
2021-05-11 22:14:32 +0200Raito_Bezarius(~Raito@unaffiliated/raito-bezarius/x-8764578)
2021-05-11 22:14:52 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-11 22:15:25 +0200catern-(~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407)
2021-05-11 22:16:28 +0200madjestic[m](madjesticm@gateway/shell/matrix.org/x-bliesrnvyjhhztuj) (Ping timeout: 246 seconds)
2021-05-11 22:16:28 +0200alar[m](alarmxalat@gateway/shell/matrix.org/x-tumhmfppepawepdt) (Ping timeout: 246 seconds)
2021-05-11 22:16:28 +0200mith[m](mithmatrix@gateway/shell/matrix.org/x-ivwbchwbjlykkjix) (Ping timeout: 246 seconds)
2021-05-11 22:16:28 +0200unclechu(unclechuma@gateway/shell/matrix.org/x-hmyukeoalvxhtawb) (Ping timeout: 246 seconds)
2021-05-11 22:16:29 +0200fakubish[m](fakubishne@gateway/shell/matrix.org/x-jbcgigidgtkrgfve) (Ping timeout: 246 seconds)
2021-05-11 22:16:29 +0200jesser[m](jessermatr@gateway/shell/matrix.org/x-krbwrrrrfyjdhkbj) (Ping timeout: 246 seconds)
2021-05-11 22:16:29 +0200pqwy[m](pqwymatrix@gateway/shell/matrix.org/x-fpcbkdqevgiqsfht) (Ping timeout: 246 seconds)
2021-05-11 22:16:29 +0200DamienCassou(damiencass@gateway/shell/matrix.org/x-hyonoyihsjqrwcrp) (Ping timeout: 246 seconds)
2021-05-11 22:16:29 +0200mly(mlydisenco@gateway/shell/matrix.org/x-etvxmtqydpegtqau) (Ping timeout: 246 seconds)
2021-05-11 22:16:29 +0200JaakkoLuttinen[m(jluttinema@gateway/shell/matrix.org/x-voemsvmmhmegbjmj) (Ping timeout: 246 seconds)
2021-05-11 22:16:30 +0200Ericson2314(ericson231@gateway/shell/matrix.org/x-okvmajqpechljnhj) (Ping timeout: 246 seconds)
2021-05-11 22:16:30 +0200domenkozar[m](domenkozar@NixOS/user/domenkozar) (Ping timeout: 246 seconds)
2021-05-11 22:16:37 +0200lambdaclan(lambdaclan@gateway/shell/matrix.org/x-vcssvhrxheznsnah) (Ping timeout: 245 seconds)
2021-05-11 22:16:37 +0200srid(sridmatrix@gateway/shell/matrix.org/x-pldvflvxklvtooyv) (Ping timeout: 245 seconds)
2021-05-11 22:16:37 +0200maerwald[m](maerwaldma@gateway/shell/matrix.org/x-pyvdmcxssbqqflsf) (Ping timeout: 245 seconds)
2021-05-11 22:16:38 +0200l-as(lasmatrixo@gateway/shell/matrix.org/x-nzwzhdnldqukobbz) (Ping timeout: 245 seconds)
2021-05-11 22:16:38 +0200bitonic(bitonicmat@gateway/shell/matrix.org/x-kznirxeanjsjbohh) (Ping timeout: 245 seconds)
2021-05-11 22:16:38 +0200loyon(loyonmatri@gateway/shell/matrix.org/x-nvvwjgtnydlazhqq) (Ping timeout: 245 seconds)
2021-05-11 22:16:39 +0200lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-fvxopfvkrxwyhetn) (Ping timeout: 245 seconds)
2021-05-11 22:16:39 +0200mjlbach(atriusmatr@gateway/shell/matrix.org/x-bvtmjmmlgatiwtwy) (Ping timeout: 245 seconds)
2021-05-11 22:16:39 +0200CrabMan(phi-matrix@gateway/shell/matrix.org/x-ugqyawvncvacxvcr) (Ping timeout: 245 seconds)
2021-05-11 22:16:40 +0200M66bdd7f1f556[m](M66bdd7f1f@gateway/shell/matrix.org/x-oqbjqmoraaxfqpmo) (Ping timeout: 258 seconds)
2021-05-11 22:16:40 +0200asimons04[m](asimonsptz@gateway/shell/matrix.org/x-reabkokykcvrwzca) (Ping timeout: 258 seconds)
2021-05-11 22:16:41 +0200sm[m](simonmicma@gateway/shell/matrix.org/x-yogdjvkzyankbmtu) (Ping timeout: 258 seconds)
2021-05-11 22:16:41 +0200jtojnar(jtojnarmat@gateway/shell/matrix.org/x-hqewufefunqmyffr) (Ping timeout: 258 seconds)
2021-05-11 22:16:41 +0200Guillaum(guiboumatr@gateway/shell/matrix.org/x-fvjmbciiwqbgfexw) (Ping timeout: 258 seconds)
2021-05-11 22:16:48 +0200Joshua[m]1(eleos91mat@gateway/shell/matrix.org/x-upvbumeylpbdydvm) (Ping timeout: 246 seconds)
2021-05-11 22:16:49 +0200michaelpj(michaelpjm@gateway/shell/matrix.org/x-cegnevincdtrzzmv) (Ping timeout: 246 seconds)
2021-05-11 22:16:49 +0200rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-mdycfrjlahowxvor) (Ping timeout: 246 seconds)
2021-05-11 22:16:59 +0200dominicusin[m](dominicusi@gateway/shell/matrix.org/x-oatljpwlthdxnsxj) (Ping timeout: 276 seconds)
2021-05-11 22:17:02 +0200joe[m]4(joemonoida@gateway/shell/matrix.org/x-wamgtxwemulgqbqt) (Ping timeout: 245 seconds)
2021-05-11 22:17:02 +0200alexfmpe(alexfmpema@gateway/shell/matrix.org/x-cfbsuzgtowqlpdpa) (Ping timeout: 245 seconds)
2021-05-11 22:17:02 +0200heck-to-the-gnom(heck-to-th@gateway/shell/matrix.org/x-fqmzmgouaqnemhzv) (Ping timeout: 245 seconds)
2021-05-11 22:17:02 +0200Noughtmare[m](naughtmare@gateway/shell/matrix.org/x-ezpsgshfemjyczoj) (Ping timeout: 245 seconds)
2021-05-11 22:17:02 +0200jeffcasavant[m](jeffcasava@gateway/shell/matrix.org/x-zemrejlpxixrtjdp) (Ping timeout: 245 seconds)
2021-05-11 22:17:03 +0200speakerspivakeem(speakerdea@gateway/shell/matrix.org/x-xyepmqocrzayzhxl) (Ping timeout: 258 seconds)
2021-05-11 22:17:04 +0200adziahel[m](adziahelma@gateway/shell/matrix.org/x-wfunetkhbecnexqt) (Ping timeout: 245 seconds)
2021-05-11 22:17:04 +0200lowdude[m](lowdudemat@gateway/shell/matrix.org/x-tuvkranqrmxuckyh) (Ping timeout: 245 seconds)
2021-05-11 22:17:04 +0200jlv(jlvmatrixo@gateway/shell/matrix.org/x-aykzzgnedlsynqbm) (Ping timeout: 245 seconds)
2021-05-11 22:17:04 +0200mat[m]1(matmatrixo@gateway/shell/matrix.org/x-ncllcajhozvxpwhs) (Ping timeout: 245 seconds)
2021-05-11 22:17:04 +0200kiix(ashleyisnu@gateway/shell/matrix.org/x-hfrupjvxbcxrktzk) (Ping timeout: 245 seconds)
2021-05-11 22:17:04 +0200psydruid[m](psydruidma@gateway/shell/matrix.org/x-orfuwvwxmmdbmyxg) (Ping timeout: 245 seconds)
2021-05-11 22:17:04 +0200siraben(sirabenmat@gateway/shell/matrix.org/x-pzgsdxlvwtqwzhrz) (Ping timeout: 245 seconds)
2021-05-11 22:17:07 +0200fgaz(fgazmatrix@gateway/shell/matrix.org/x-jmtbhypkvdgrojab) (Ping timeout: 250 seconds)
2021-05-11 22:17:07 +0200johnnyboy[m](gifumatrix@gateway/shell/matrix.org/x-rksdwxlrklojjcvb) (Ping timeout: 250 seconds)
2021-05-11 22:17:07 +0200dyniec[m](dyniecmatr@gateway/shell/matrix.org/x-rqjbulqpqdoluiiq) (Ping timeout: 250 seconds)
2021-05-11 22:17:07 +0200toasty_avocado[m(toastyavoc@gateway/shell/matrix.org/x-blcnavbxkdcehbvk) (Ping timeout: 250 seconds)
2021-05-11 22:17:23 +0200maralorn(maralornma@gateway/shell/matrix.org/x-mkcwpfwlappvvein) (Ping timeout: 248 seconds)
2021-05-11 22:17:24 +0200july541[m](july541mat@gateway/shell/matrix.org/x-egxyzbtsesmpqvig) (Ping timeout: 248 seconds)
2021-05-11 22:17:24 +0200berberman__(berberma4@gateway/shell/matrix.org/x-eblzmaixoufeajtd) (Ping timeout: 248 seconds)
2021-05-11 22:17:26 +0200M9ndres[m](m9ndresmat@gateway/shell/matrix.org/x-pudfhcvtdpredvew) (Ping timeout: 258 seconds)
2021-05-11 22:17:26 +0200Lurkki[m](lurkkifene@gateway/shell/matrix.org/x-tcyfuqvmehhdcnup) (Ping timeout: 258 seconds)
2021-05-11 22:17:27 +0200my_name_is_not_j(mynameisno@gateway/shell/matrix.org/x-fhvkqskparpkjshv) (Ping timeout: 258 seconds)
2021-05-11 22:17:27 +0200beardhatcode(robbertbea@gateway/shell/matrix.org/x-iptukbxzkzyjgrds) (Ping timeout: 258 seconds)
2021-05-11 22:17:31 +0200EmanuelLoos[m](emanuel-lo@gateway/shell/matrix.org/x-ccfqmpexidbbdgfn) (Ping timeout: 246 seconds)
2021-05-11 22:17:31 +0200pnotequalnp[m](pnotequaln@gateway/shell/matrix.org/x-fqukrforkcqmjqmf) (Ping timeout: 246 seconds)
2021-05-11 22:17:31 +0200ThaEwat(thaewraptm@gateway/shell/matrix.org/x-edsytnplokpagwcn) (Ping timeout: 246 seconds)
2021-05-11 22:17:31 +0200hsiktas[m](hsiktasmat@gateway/shell/matrix.org/x-gugdidzornmsbqte) (Ping timeout: 246 seconds)
2021-05-11 22:17:31 +0200hegz(hegzmatrix@gateway/shell/matrix.org/x-lpejkdiwrnzfmzmr) (Ping timeout: 246 seconds)
2021-05-11 22:18:16 +0200jeanclaude[m](jeanclaude@gateway/shell/matrix.org/x-mmihezdzzruufkof) (Ping timeout: 276 seconds)
2021-05-11 22:18:17 +0200vaibhavsagar(vaibhavsag@gateway/shell/matrix.org/x-yqaazxmokhytwobc) (Ping timeout: 276 seconds)
2021-05-11 22:18:17 +0200jchia[m](jchiamatri@gateway/shell/matrix.org/x-scatarnmpyydrxbt) (Ping timeout: 276 seconds)
2021-05-11 22:18:17 +0200supersven[m](supersvenm@gateway/shell/matrix.org/x-yllxmwoozxynyliw) (Ping timeout: 276 seconds)
2021-05-11 22:18:22 +0200LKoen(~LKoen@156.168.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-05-11 22:18:33 +0200 <m_shiraeeshi> shapr: "Even then, all these cores still pretend to be one fast CPU! They have the same view of main memory! More cores means more overhead synchronizing the shared view of memory."
2021-05-11 22:18:43 +0200pavonia(~user@unaffiliated/siracusa)
2021-05-11 22:18:59 +0200 <m_shiraeeshi> what memory is it talking about?
2021-05-11 22:18:59 +0200Hanma[m](hanmamatri@gateway/shell/matrix.org/x-cdkqqwjlurvjchsb) (Ping timeout: 248 seconds)
2021-05-11 22:21:07 +0200VarikValefor[m](varikvalef@gateway/shell/matrix.org/x-tfacxcxzjhwwblul) (Ping timeout: 248 seconds)
2021-05-11 22:21:10 +0200 <m_shiraeeshi> so the idea is to have a lot of small cores, each core having its own memory?
2021-05-11 22:21:20 +0200hyiltiz(~quassel@unaffiliated/hyiltiz) (Ping timeout: 252 seconds)
2021-05-11 22:21:39 +0200Lurkki[m]1(lurkkipriv@gateway/shell/matrix.org/x-isyhslhcdxtqiqhe) (Ping timeout: 248 seconds)
2021-05-11 22:22:36 +0200Feuermagier(~Feuermagi@213.178.26.41)
2021-05-11 22:23:20 +0200 <shapr> m_shiraeeshi: that sounds good to me, but that has its own problems
2021-05-11 22:23:42 +0200 <shapr> m_shiraeeshi: another solution is to magically decrease the cycle count to main memory, and remove the caches
2021-05-11 22:24:00 +0200 <m_shiraeeshi> main memory is RAM?
2021-05-11 22:24:06 +0200shaprsprinkles unicorn dust
2021-05-11 22:24:09 +0200Tario(~Tario@201.192.165.173)
2021-05-11 22:24:23 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 22:25:13 +0200 <shapr> m_shiraeeshi: at the momemt, yes... the FPGA designs has on-die RAM that's much faster https://www-users.york.ac.uk/~mt540/graceful-ws/slides/Stewart.pdf
2021-05-11 22:25:34 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-11 22:26:57 +0200 <m_shiraeeshi> how about adding external "graph reduction card" like we add external graphics cards?
2021-05-11 22:27:31 +0200 <Rembane> shapr: I'm gonna be silly here, because tired. Does this parallel graph reduction idea mean that you implement Erlang on hardware?
2021-05-11 22:28:24 +0200 <shapr> Rembane: I don't know enough about erlang to be able to answer that
2021-05-11 22:28:59 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-05-11 22:29:17 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-11 22:29:41 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds)
2021-05-11 22:29:42 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-11 22:29:51 +0200 <shapr> m_shiraeeshi: good question, GPUs might be good at graph reduction? I couldn't find any research about doing graph reduction on GPUs
2021-05-11 22:30:12 +0200 <Rembane> shapr: That's a good answer. What I was intending to ask before Erlang got in there was: how are the cores going to communicate? Message passing?
2021-05-11 22:30:15 +0200 <shapr> m_shiraeeshi: the graphcore hardware I mentioned near the end might be a graph reduction coprocessor, I haven't dug into that
2021-05-11 22:30:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 22:31:37 +0200wonko7(~wonko7@62.115.229.50) (Ping timeout: 252 seconds)
2021-05-11 22:32:13 +0200 <shapr> Rembane: I don't know enough about that part, I assume there's a program root 'main' and if there's a place where work could be sent off to another core, that work gets marked as "needed by the main node" or maybe explicitly passed to a core?
2021-05-11 22:32:36 +0200 <shapr> I haven't read all of the reduceron papers yet
2021-05-11 22:33:43 +0200 <m_shiraeeshi> wait, what do those bitcoin farmers do with GPUs?
2021-05-11 22:33:53 +0200 <Rembane> shapr: That sounds good. Spontaneously, DMA and IRQs sounds not too bad. But maybe they are when things become too parallel.
2021-05-11 22:34:23 +0200 <Rembane> The Reduceron is such a fantastically cheesy name <3
2021-05-11 22:34:52 +0200 <shapr> I agree, I wish they had a logo
2021-05-11 22:34:56 +0200 <shapr> I'd buy the t-shirt
2021-05-11 22:35:16 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-11 22:35:32 +0200 <Rembane> Me too. And all the swag!
2021-05-11 22:35:33 +0200catern-catern
2021-05-11 22:35:42 +0200 <Rembane> Stickers, plushy, everything!
2021-05-11 22:35:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-05-11 22:36:07 +0200apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-05-11 22:36:16 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-11 22:37:53 +0200 <shapr> Rembane: we could make one and ask Runciman
2021-05-11 22:37:57 +0200 <shapr> or Naylor
2021-05-11 22:38:01 +0200caterncatern-
2021-05-11 22:38:06 +0200dominicusin[m](dominicusi@gateway/shell/matrix.org/x-gdindupjdyjnygcd)
2021-05-11 22:38:09 +0200Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-05-11 22:38:10 +0200cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1)
2021-05-11 22:38:13 +0200catern-catern
2021-05-11 22:38:20 +0200hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-05-11 22:38:31 +0200 <Rembane> shapr: That's a very cunning plan!
2021-05-11 22:38:34 +0200 <shapr> Rembane: I gave this talk at a "futures of programming" Recurse Center event, and I got several interesting questions
2021-05-11 22:38:47 +0200 <shapr> One was "does graph reduction work for non-FP languages?"
2021-05-11 22:39:07 +0200JaakkoLuttinen[m(jluttinema@gateway/shell/matrix.org/x-ysahyblxieeuvzlx)
2021-05-11 22:39:17 +0200 <shapr> and one I couldn't find the answer for: can you do graph reduction on a GPU?
2021-05-11 22:39:20 +0200mly(mlydisenco@gateway/shell/matrix.org/x-rpdrjxcbyachxvja)
2021-05-11 22:40:24 +0200acidjnk_new2(~acidjnk@p200300d0c72b9509002dc6dbf76c6cb5.dip0.t-ipconnect.de)
2021-05-11 22:40:41 +0200 <Taneb> shapr: Runciman's retired now I believe, sadly
2021-05-11 22:40:57 +0200ubert(~Thunderbi@p200300ecdf005e5ce6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-05-11 22:40:59 +0200Guest87676(~laudiacay@67.176.215.84) (Ping timeout: 246 seconds)
2021-05-11 22:41:11 +0200 <shapr> oh, didn't know that
2021-05-11 22:41:19 +0200jtojnar(jtojnarmat@gateway/shell/matrix.org/x-csatkhbdsihyljoz)
2021-05-11 22:41:23 +0200sm[m](simonmicma@gateway/shell/matrix.org/x-ohzxdfhmrklaasyg)
2021-05-11 22:41:31 +0200 <Rembane> My hunch is that GPUs are very bad at graph reductions, but I can't say why.
2021-05-11 22:41:48 +0200Ericson2314(ericson231@gateway/shell/matrix.org/x-lfojhdlxyjhgujwr)
2021-05-11 22:41:50 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-11 22:41:52 +0200 <Uniaika> Rembane: because they are hardware specialised in dealing with triangles :-P
2021-05-11 22:42:00 +0200CrabMan(phi-matrix@gateway/shell/matrix.org/x-nbtkwhyasulaaowv)
2021-05-11 22:42:02 +0200 <Rembane> Uniaika: Indeed, and triangles aren't graphs. :)
2021-05-11 22:42:15 +0200domenkozar[m](domenkozar@NixOS/user/domenkozar)
2021-05-11 22:42:18 +0200heck-to-the-gnom(heck-to-th@gateway/shell/matrix.org/x-fidipsyutsvkvjuh)
2021-05-11 22:42:23 +0200 <maerwald> can you make it a graph? You're an expert, right?
2021-05-11 22:42:28 +0200 <Rembane> Maybe immutable data is more important than the paradigm of the language?
2021-05-11 22:42:33 +0200 <Taneb> (just remembered I'm connecting to IRC from a server named for Colin Runciman. Feels significant)
2021-05-11 22:42:35 +0200 <maerwald> also make it perpendicular
2021-05-11 22:42:38 +0200Guillaum(guiboumatr@gateway/shell/matrix.org/x-hddjdnxujganspku)
2021-05-11 22:42:49 +0200 <Uniaika> heya Taneb and domenkozar[m] :)
2021-05-11 22:42:54 +0200 <Uniaika> welcome back Guillaum
2021-05-11 22:42:55 +0200 <shapr> Taneb: I met Runciman a few times at various ICFPs, enjoying talking to him
2021-05-11 22:42:58 +0200hyiltiz(~quassel@unaffiliated/hyiltiz) (Ping timeout: 276 seconds)
2021-05-11 22:43:02 +0200rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-ixpddsckemdoyohz)
2021-05-11 22:43:06 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-11 22:43:10 +0200 <Taneb> shapr: he was pretty cool, he supervised my master's thesis
2021-05-11 22:43:13 +0200lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-gjxdbkbobeywhhqj)
2021-05-11 22:43:14 +0200 <shapr> oh nice!
2021-05-11 22:43:18 +0200shaprlooks up that thesis
2021-05-11 22:43:28 +0200 <Taneb> (it was awful for me reasons, don't)
2021-05-11 22:43:36 +0200 <Uniaika> Rembane: immutable data, composition, recursion
2021-05-11 22:43:47 +0200 <shapr> Taneb: you wrote a thing! I bet it has value!
2021-05-11 22:43:57 +0200 <shapr> Taneb: also, if you can look back and wince, you know you've improved!
2021-05-11 22:44:10 +0200 <Taneb> I was looking at where I was and wincing at the time
2021-05-11 22:44:18 +0200 <shapr> I wrote fermat's last margin and it got me a Haskell job, two years later that code looks so nasty
2021-05-11 22:44:37 +0200fgaz(fgazmatrix@gateway/shell/matrix.org/x-ldjqbjnkddlzxldw)
2021-05-11 22:44:47 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-11 22:45:05 +0200beardhatcode(robbertbea@gateway/shell/matrix.org/x-cfdagqzyyobujzsa)
2021-05-11 22:45:08 +0200mjlbach(atriusmatr@gateway/shell/matrix.org/x-ckuqwldaelnnpcjm)
2021-05-11 22:45:10 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-05-11 22:45:19 +0200 <Rembane> Uniaika: Now when you say that, can we turn any program into a program that only consists of immutable data, composition and recursion?
2021-05-11 22:45:25 +0200unclechu(unclechuma@gateway/shell/matrix.org/x-uykkngjnnorqmldi)
2021-05-11 22:45:35 +0200jlv(jlvmatrixo@gateway/shell/matrix.org/x-zyjyjmkduzwviwai)
2021-05-11 22:45:40 +0200srid(sridmatrix@gateway/shell/matrix.org/x-qnewniuqanmbhoms)
2021-05-11 22:45:41 +0200 <shapr> Rembane: what about the SSA transform?
2021-05-11 22:45:49 +0200joe[m]4(joemonoida@gateway/shell/matrix.org/x-qjapyfooxpskbrvm)
2021-05-11 22:45:55 +0200bitonic(bitonicmat@gateway/shell/matrix.org/x-gzxyabnifphublbd)
2021-05-11 22:45:56 +0200lambdaclan(lambdaclan@gateway/shell/matrix.org/x-oiuqiomezalbjuiy)
2021-05-11 22:46:03 +0200 <shapr> I have the vague impression that SSA is one way to turn an imperative program into a functional-ish program
2021-05-11 22:46:34 +0200 <shapr> so I wonder if static single assignment would let you get the same benefits?
2021-05-11 22:46:49 +0200alexfmpe(alexfmpema@gateway/shell/matrix.org/x-xsmftrlsukuvngtm)
2021-05-11 22:46:55 +0200 <Rembane> shapr: Hm... yes! That's a good transform. Are there any of these machines around? I want to do experiments!
2021-05-11 22:47:00 +0200 <Uniaika> Rembane: truth be told, I'm more and more into making my programs interpreters for an eDSL
2021-05-11 22:47:04 +0200 <Uniaika> so that I can implement https://twitter.com/thingskatedid/status/1386077306381242371
2021-05-11 22:47:10 +0200 <Uniaika> this would be fucking rad
2021-05-11 22:47:12 +0200jeffcasavant[m](jeffcasava@gateway/shell/matrix.org/x-yddhjhigtppehlja)
2021-05-11 22:47:42 +0200loyon(loyonmatri@gateway/shell/matrix.org/x-pzuovwsjgvbvvmqy)
2021-05-11 22:47:55 +0200michaelpj(michaelpjm@gateway/shell/matrix.org/x-zqgjpvmridqqtfur)
2021-05-11 22:48:10 +0200M66bdd7f1f556[m](m66bdd7f1f@gateway/shell/matrix.org/x-xwowgliunifnmlvg)
2021-05-11 22:48:11 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-11 22:48:15 +0200hyiltiz(~quassel@31.220.5.250)
2021-05-11 22:48:15 +0200hyiltiz(~quassel@31.220.5.250) (Changing host)
2021-05-11 22:48:15 +0200hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-05-11 22:48:23 +0200 <Rembane> Uniaika: That's really nice! Okay, I want to do that too!
2021-05-11 22:48:26 +0200adziahel[m](adziahelma@gateway/shell/matrix.org/x-plxoyyxrzqszfvgd)
2021-05-11 22:48:58 +0200pqwy[m](pqwymatrix@gateway/shell/matrix.org/x-ewgzealndaxlvyvj)
2021-05-11 22:49:24 +0200 <Rembane> Uniaika: Have you seen this? https://sqlite.org/lang_select.html
2021-05-11 22:49:32 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-11 22:49:40 +0200johnnyboy[m](gifumatrix@gateway/shell/matrix.org/x-dscanpgwpdqbkzrq)
2021-05-11 22:49:43 +0200l-as(lasmatrixo@gateway/shell/matrix.org/x-sdabspjdnhualdwj)
2021-05-11 22:49:44 +0200maerwald[m](maerwaldma@gateway/shell/matrix.org/x-zfcnfqgtbaxfthif)
2021-05-11 22:49:46 +0200Noughtmare[m](naughtmare@gateway/shell/matrix.org/x-ovftnmmomlwhteoa)
2021-05-11 22:49:58 +0200 <shapr> How do we make that self-print thing? Is there a Diagrams typeclass we can use to dump everything to SVG?
2021-05-11 22:50:05 +0200 <shapr> Uniaika: that's a really cool thing
2021-05-11 22:50:13 +0200speakerspivakeem(speakerdea@gateway/shell/matrix.org/x-uixcdaxwngzxhkdm)
2021-05-11 22:50:19 +0200asimons04[m](asimonsptz@gateway/shell/matrix.org/x-ukmevzummcsgetgl)
2021-05-11 22:50:58 +0200mith[m](mithmatrix@gateway/shell/matrix.org/x-zijexjsgymwdouun)
2021-05-11 22:51:11 +0200 <m_shiraeeshi> I published an article today!
2021-05-11 22:51:18 +0200 <shapr> m_shiraeeshi: cool! where can I read it?
2021-05-11 22:51:50 +0200 <m_shiraeeshi> here it is: https://shiraeeshi.github.io/editable-list/article.html
2021-05-11 22:52:06 +0200 <m_shiraeeshi> it's about console strings list gui challenge
2021-05-11 22:52:06 +0200tomku(~tomku@unaffiliated/tomku) (Read error: Connection reset by peer)
2021-05-11 22:52:17 +0200 <m_shiraeeshi> btw, who wants to participate in the challenge?
2021-05-11 22:52:21 +0200toasty_avocado[m(toastyavoc@gateway/shell/matrix.org/x-rozmdkpuaepijwmo)
2021-05-11 22:52:21 +0200Lurkki[m](lurkkifene@gateway/shell/matrix.org/x-olwbzjfxhikjnqnf)
2021-05-11 22:52:28 +0200 <m_shiraeeshi> Here is a question: which options do we have for designing (an architecture of) an application which shows a list of strings in console gui, allows to edit strings in an edit field that appears next to a list, and shows logs, and which design would you choose?
2021-05-11 22:52:46 +0200tomku(~tomku@unaffiliated/tomku)
2021-05-11 22:52:58 +0200 <Uniaika> Rembane: yeah I remember reading that page some time ago
2021-05-11 22:53:20 +0200fakubish[m](fakubishne@gateway/shell/matrix.org/x-dxlieumyscgjdtnw)
2021-05-11 22:53:38 +0200 <Rembane> Uniaika: Sweet. Having that generated from the structure of the program would be excellent.
2021-05-11 22:54:09 +0200 <Uniaika> yup'
2021-05-11 22:54:14 +0200 <Uniaika> hmmmm
2021-05-11 22:54:14 +0200 <Uniaika> shit
2021-05-11 22:54:18 +0200 <Uniaika> I don't have anything to make
2021-05-11 22:54:22 +0200 <Uniaika> except deamons
2021-05-11 22:54:30 +0200 <Uniaika> but we have EKG for that
2021-05-11 22:54:55 +0200 <m_shiraeeshi> Uniaika: "so that I can implement https://twitter.com/thingskatedid/status/1386077306381242371"
2021-05-11 22:55:07 +0200 <m_shiraeeshi> the tweet doesn't load for some reason, what does it say?
2021-05-11 22:55:27 +0200 <Uniaika> m_shiraeeshi: if you hit "Refresh" enough times it'll appear :-P
2021-05-11 22:55:29 +0200Cajun(62a3d370@ip98-163-211-112.no.no.cox.net)
2021-05-11 22:55:33 +0200 <Uniaika> let me get you a screenshot
2021-05-11 22:55:44 +0200safinaskar(~user@109-252-90-136.nat.spd-mgts.ru) ()
2021-05-11 22:56:57 +0200son0p(~ff@181.136.122.143)
2021-05-11 22:57:02 +0200mith[m](mithmatrix@gateway/shell/matrix.org/x-zijexjsgymwdouun) (Ping timeout: 245 seconds)
2021-05-11 22:57:02 +0200mly(mlydisenco@gateway/shell/matrix.org/x-rpdrjxcbyachxvja) (Ping timeout: 245 seconds)
2021-05-11 22:57:02 +0200 <Uniaika> m_shiraeeshi: https://imgur.com/a/UIvsXLf
2021-05-11 22:57:11 +0200 <m_shiraeeshi> Uniaika: ok it loaded
2021-05-11 22:57:20 +0200 <Uniaika> cool
2021-05-11 22:57:25 +0200fgaz(fgazmatrix@gateway/shell/matrix.org/x-ldjqbjnkddlzxldw) (Ping timeout: 246 seconds)
2021-05-11 22:57:25 +0200rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-ixpddsckemdoyohz) (Ping timeout: 246 seconds)
2021-05-11 22:57:26 +0200jtojnar(jtojnarmat@gateway/shell/matrix.org/x-csatkhbdsihyljoz) (Ping timeout: 245 seconds)
2021-05-11 22:57:27 +0200maerwald[m](maerwaldma@gateway/shell/matrix.org/x-zfcnfqgtbaxfthif) (Ping timeout: 245 seconds)
2021-05-11 22:57:27 +0200M66bdd7f1f556[m](m66bdd7f1f@gateway/shell/matrix.org/x-xwowgliunifnmlvg) (Ping timeout: 245 seconds)
2021-05-11 22:57:57 +0200 <m_shiraeeshi> that reminds me of ghc-vis
2021-05-11 22:58:22 +0200 <Uniaika> I never heard of that! :O
2021-05-11 22:58:43 +0200 <geekosaur> hm, I know I've mentioned it at least once in here
2021-05-11 23:00:46 +0200xsperry(~as@unaffiliated/xsperry)
2021-05-11 23:01:47 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-11 23:02:40 +0200alexfmpe(alexfmpema@gateway/shell/matrix.org/x-xsmftrlsukuvngtm) (Ping timeout: 246 seconds)
2021-05-11 23:02:48 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-05-11 23:02:51 +0200Lurkki[m](lurkkifene@gateway/shell/matrix.org/x-olwbzjfxhikjnqnf) (Ping timeout: 245 seconds)
2021-05-11 23:02:51 +0200jeffcasavant[m](jeffcasava@gateway/shell/matrix.org/x-yddhjhigtppehlja) (Ping timeout: 245 seconds)
2021-05-11 23:02:51 +0200Guillaum(guiboumatr@gateway/shell/matrix.org/x-hddjdnxujganspku) (Ping timeout: 245 seconds)
2021-05-11 23:02:51 +0200CrabMan(phi-matrix@gateway/shell/matrix.org/x-nbtkwhyasulaaowv) (Ping timeout: 245 seconds)
2021-05-11 23:02:52 +0200speakerspivakeem(speakerdea@gateway/shell/matrix.org/x-uixcdaxwngzxhkdm) (Ping timeout: 245 seconds)
2021-05-11 23:02:52 +0200adziahel[m](adziahelma@gateway/shell/matrix.org/x-plxoyyxrzqszfvgd) (Ping timeout: 245 seconds)
2021-05-11 23:02:52 +0200srid(sridmatrix@gateway/shell/matrix.org/x-qnewniuqanmbhoms) (Ping timeout: 245 seconds)
2021-05-11 23:02:52 +0200Ericson2314(ericson231@gateway/shell/matrix.org/x-lfojhdlxyjhgujwr) (Ping timeout: 245 seconds)
2021-05-11 23:02:54 +0200asimons04[m](asimonsptz@gateway/shell/matrix.org/x-ukmevzummcsgetgl) (Ping timeout: 245 seconds)
2021-05-11 23:02:54 +0200l-as(lasmatrixo@gateway/shell/matrix.org/x-sdabspjdnhualdwj) (Ping timeout: 245 seconds)
2021-05-11 23:02:54 +0200bitonic(bitonicmat@gateway/shell/matrix.org/x-gzxyabnifphublbd) (Ping timeout: 245 seconds)
2021-05-11 23:02:54 +0200lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-gjxdbkbobeywhhqj) (Ping timeout: 245 seconds)
2021-05-11 23:02:54 +0200sm[m](simonmicma@gateway/shell/matrix.org/x-ohzxdfhmrklaasyg) (Ping timeout: 245 seconds)
2021-05-11 23:03:03 +0200fakubish[m](fakubishne@gateway/shell/matrix.org/x-dxlieumyscgjdtnw) (Ping timeout: 258 seconds)
2021-05-11 23:03:03 +0200Noughtmare[m](naughtmare@gateway/shell/matrix.org/x-ovftnmmomlwhteoa) (Ping timeout: 258 seconds)
2021-05-11 23:03:03 +0200pqwy[m](pqwymatrix@gateway/shell/matrix.org/x-ewgzealndaxlvyvj) (Ping timeout: 258 seconds)
2021-05-11 23:03:03 +0200joe[m]4(joemonoida@gateway/shell/matrix.org/x-qjapyfooxpskbrvm) (Ping timeout: 258 seconds)
2021-05-11 23:03:03 +0200lambdaclan(lambdaclan@gateway/shell/matrix.org/x-oiuqiomezalbjuiy) (Ping timeout: 258 seconds)
2021-05-11 23:03:03 +0200unclechu(unclechuma@gateway/shell/matrix.org/x-uykkngjnnorqmldi) (Ping timeout: 258 seconds)
2021-05-11 23:03:03 +0200beardhatcode(robbertbea@gateway/shell/matrix.org/x-cfdagqzyyobujzsa) (Ping timeout: 258 seconds)
2021-05-11 23:03:03 +0200heck-to-the-gnom(heck-to-th@gateway/shell/matrix.org/x-fidipsyutsvkvjuh) (Ping timeout: 258 seconds)
2021-05-11 23:03:03 +0200JaakkoLuttinen[m(jluttinema@gateway/shell/matrix.org/x-ysahyblxieeuvzlx) (Ping timeout: 258 seconds)
2021-05-11 23:03:46 +0200toasty_avocado[m(toastyavoc@gateway/shell/matrix.org/x-rozmdkpuaepijwmo) (Ping timeout: 276 seconds)
2021-05-11 23:03:47 +0200johnnyboy[m](gifumatrix@gateway/shell/matrix.org/x-dscanpgwpdqbkzrq) (Ping timeout: 276 seconds)
2021-05-11 23:03:47 +0200michaelpj(michaelpjm@gateway/shell/matrix.org/x-zqgjpvmridqqtfur) (Ping timeout: 276 seconds)
2021-05-11 23:03:47 +0200loyon(loyonmatri@gateway/shell/matrix.org/x-pzuovwsjgvbvvmqy) (Ping timeout: 276 seconds)
2021-05-11 23:03:47 +0200jlv(jlvmatrixo@gateway/shell/matrix.org/x-zyjyjmkduzwviwai) (Ping timeout: 276 seconds)
2021-05-11 23:03:47 +0200mjlbach(atriusmatr@gateway/shell/matrix.org/x-ckuqwldaelnnpcjm) (Ping timeout: 276 seconds)
2021-05-11 23:03:47 +0200dominicusin[m](dominicusi@gateway/shell/matrix.org/x-gdindupjdyjnygcd) (Ping timeout: 276 seconds)
2021-05-11 23:04:05 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2021-05-11 23:04:17 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-05-11 23:07:31 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 265 seconds)
2021-05-11 23:08:10 +0200lowdude[m](lowdudemat@gateway/shell/matrix.org/x-xnwsmmomyudcobam)
2021-05-11 23:08:11 +0200jesser[m](jessermatr@gateway/shell/matrix.org/x-xtvlwtxsimkzicmn)
2021-05-11 23:08:11 +0200my_name_is_not_j(mynameisno@gateway/shell/matrix.org/x-nfcroanejsuhbzqx)
2021-05-11 23:08:15 +0200hypercube(~hypercube@137.112.239.172) (Quit: WeeChat 3.1)
2021-05-11 23:08:24 +0200mat[m]1(matmatrixo@gateway/shell/matrix.org/x-cfukwdcbtlauxbsx)
2021-05-11 23:08:25 +0200M9ndres[m](m9ndresmat@gateway/shell/matrix.org/x-uatuolvhgiuajapn)
2021-05-11 23:08:26 +0200alar[m](alarmxalat@gateway/shell/matrix.org/x-hhjldftixcfxzhpi)
2021-05-11 23:08:27 +0200madjestic[m](madjesticm@gateway/shell/matrix.org/x-eyqfvievhcxnqgtl)
2021-05-11 23:08:27 +0200kiix(ashleyisnu@gateway/shell/matrix.org/x-hrqsmjvrcksahjyt)
2021-05-11 23:08:29 +0200dyniec[m](dyniecmatr@gateway/shell/matrix.org/x-upahawlsktdxgrvb)
2021-05-11 23:08:32 +0200Joshua[m]1(eleos91mat@gateway/shell/matrix.org/x-clqrxahjwxmjdtez)
2021-05-11 23:09:03 +0200Guest87676(~laudiacay@45.162.228.190)
2021-05-11 23:10:39 +0200berberman__(berberma4@gateway/shell/matrix.org/x-oqwwmsvupcxuxpnp)
2021-05-11 23:12:03 +0200DamienCassou(damiencass@gateway/shell/matrix.org/x-votlbxirlarwjjbo)
2021-05-11 23:13:05 +0200psydruid[m](psydruidma@gateway/shell/matrix.org/x-rgbznonnmocgijtt)
2021-05-11 23:13:09 +0200elfets_(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-11 23:13:10 +0200maralorn(maralornma@gateway/shell/matrix.org/x-vnybzrvhljcvwjeg)
2021-05-11 23:13:11 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-05-11 23:13:32 +0200Ernest(402ba442@64.43.164.66)
2021-05-11 23:13:33 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-05-11 23:13:33 +0200july541[m](july541mat@gateway/shell/matrix.org/x-sxshthlngmlrsmtb)
2021-05-11 23:14:24 +0200siraben(sirabenmat@gateway/shell/matrix.org/x-heuatjnwiiuzaciw)
2021-05-11 23:14:26 +0200Tario(~Tario@201.192.165.173)
2021-05-11 23:14:37 +0200 <Ernest> Hey, question on a thing that has been bugging: what is ((->) e)
2021-05-11 23:15:16 +0200 <monochrom> "X -> Y" is syntax sugar for "(->) X Y". Now do partial application and have just "(->) X".
2021-05-11 23:15:28 +0200 <monochrom> Similarly you can have "Either A".
2021-05-11 23:16:36 +0200vaibhavsagar(vaibhavsag@gateway/shell/matrix.org/x-fjuekmtrdjeshtoh)
2021-05-11 23:16:44 +0200 <Ernest> I see, I see, but what is "X -> Y" is it usable in real code? Why does it need a functor instance?
2021-05-11 23:17:13 +0200ThaEwat(thaewraptm@gateway/shell/matrix.org/x-wbxhiuywsqxchwea)
2021-05-11 23:17:14 +0200 <monochrom> All function types go like "X -> Y".
2021-05-11 23:17:31 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
2021-05-11 23:17:32 +0200pnotequalnp[m](pnotequaln@gateway/shell/matrix.org/x-ptcimncfzlfhmbvu)
2021-05-11 23:18:08 +0200 <geekosaur> what do you mean by "need" here?
2021-05-11 23:18:12 +0200 <geekosaur> it's useful
2021-05-11 23:18:33 +0200 <Uniaika> Ernest: did you study function applications in maths?
2021-05-11 23:18:35 +0200 <Uniaika> or just functions?
2021-05-11 23:18:45 +0200 <Ernest> Well I mean why is it useful? Where do you use it? Is it hidden away as a primitive in the compiler?:
2021-05-11 23:18:51 +0200hegz(hegzmatrix@gateway/shell/matrix.org/x-kmisrxzutlqfewfk)
2021-05-11 23:19:30 +0200supersven[m](supersvenm@gateway/shell/matrix.org/x-xrgsrmndhixlalsj)
2021-05-11 23:19:36 +0200 <Uniaika> it feels like there is some context missing, partial function application does not necessarily need a Functor instance, Ernest
2021-05-11 23:20:02 +0200 <carbolymer> ehlo
2021-05-11 23:20:05 +0200 <Uniaika> hey carbolymer
2021-05-11 23:20:06 +0200carbolymeris back with his memory issues
2021-05-11 23:20:13 +0200 <monochrom> My policy is I never answer need questions. They are overblown.
2021-05-11 23:20:32 +0200 <carbolymer> WHERE IS MY MEMORY!! https://gitlab.com/carbolymer/network-http-client-memory-leak
2021-05-11 23:20:37 +0200 <monochrom> And behind them are always the real, hidden question "do I really need to learn it?" and the answer is always "no".
2021-05-11 23:20:44 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-05-11 23:20:50 +0200jeanclaude[m](jeanclaude@gateway/shell/matrix.org/x-blnyazzuntvrqeyn)
2021-05-11 23:20:53 +0200 <carbolymer> damn heap profiler explains only 7% of mem usage
2021-05-11 23:20:53 +0200jchia[m](jchiamatri@gateway/shell/matrix.org/x-cnmbhrrzgpmynneo)
2021-05-11 23:21:08 +0200 <Ernest> Sorry, shoud've mentioned I'm following https://wiki.haskell.org/Typeclassopedia . In the excercises for functor it shows to implement it for the (->) e. And my mind is boggled with what even is it and why is it useful to have it, and where is it even used
2021-05-11 23:21:14 +0200olle(~olle@i5E8666E4.versanet.de)
2021-05-11 23:21:37 +0200 <ski> Ernest : are you asking about `Functor',`Applicative',`Monad' instances for `(rho ->)' ? maybe (`Semigroup' and) `Monoid' instances for `rho -> a' ? or possibly `Num' and `Fractional' instances ? something else ?
2021-05-11 23:21:55 +0200EmanuelLoos[m](emanuel-lo@gateway/shell/matrix.org/x-rzapdzrelnedlunu)
2021-05-11 23:22:02 +0200elfets_(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 245 seconds)
2021-05-11 23:22:12 +0200 <monochrom> The Monad instance is sometimes used. But then if it has a Monad instance then it has a Functor instance, even though its fmap is seldom used.
2021-05-11 23:22:30 +0200 <ski> Ernest : you know how `(T,T)' contains the same information as `Bool -> T' ?
2021-05-11 23:22:35 +0200themsay[m](themsaymat@gateway/shell/matrix.org/x-rdnmqsotqbtoxywr)
2021-05-11 23:22:40 +0200Hanma[m](hanmamatri@gateway/shell/matrix.org/x-vcnumnznwpfbnsoe)
2021-05-11 23:22:42 +0200hsiktas[m](hsiktasmat@gateway/shell/matrix.org/x-lxilvmapenritogw)
2021-05-11 23:22:51 +0200ServerStatsDisco(serverstat@gateway/shell/matrix.org/x-fmdpukzknleoofkk)
2021-05-11 23:22:51 +0200VarikValefor[m](varikvalef@gateway/shell/matrix.org/x-szbaxjpuhekzduzl)
2021-05-11 23:23:01 +0200Lurkki[m]1(lurkkipriv@gateway/shell/matrix.org/x-cpeitjulibvdczps)
2021-05-11 23:23:02 +0200 <monochrom> However, Typeclassopedia also serves the purpose of learning Monad. As part of the learning process, you must figure out (->)e too, whether you will use it or not.
2021-05-11 23:23:23 +0200M66bdd7f1f556[m](m66bdd7f1f@gateway/shell/matrix.org/x-gqntowfkeqyeeuza)
2021-05-11 23:23:24 +0200maerwald[m](maerwaldma@gateway/shell/matrix.org/x-fklrirjztisrhpuf)
2021-05-11 23:23:27 +0200mith[m](mithmatrix@gateway/shell/matrix.org/x-enrsmyespcxtywvd)
2021-05-11 23:23:29 +0200mly(mlydisenco@gateway/shell/matrix.org/x-yvtesoekbbptnprr)
2021-05-11 23:23:43 +0200rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-xpmdgbjyijdibdlg)
2021-05-11 23:23:48 +0200jtojnar(jtojnarmat@gateway/shell/matrix.org/x-knlddppgqgzfysyd)
2021-05-11 23:23:54 +0200fgaz(fgazmatrix@gateway/shell/matrix.org/x-arxspbowruxbgtky)
2021-05-11 23:24:08 +0200 <Ernest> ski Not really
2021-05-11 23:24:40 +0200 <Uniaika> carbolymer: what is "inv" ?
2021-05-11 23:24:57 +0200 <Ernest> monochrom So is it possible to use (->) in haskell code? Or is that reserved as a primitve for the compiler code?
2021-05-11 23:25:02 +0200 <carbolymer> Uniaika: http://www.pyinvoke.org/
2021-05-11 23:25:09 +0200 <Uniaika> ah, I understand your question Ernest
2021-05-11 23:25:13 +0200 <ski> > (zipWith (+) <$> tail <*> id) [2,3,5,7] -- using `Functor (rho ->)' and `Applicative (rho ->)'
2021-05-11 23:25:15 +0200 <lambdabot> [5,8,12]
2021-05-11 23:25:19 +0200 <carbolymer> Uniaika: I tried to like GNU Make, but... I can't :(
2021-05-11 23:25:24 +0200 <Uniaika> this is entirely a valid way to declare a typeclass instance over a type, Ernest
2021-05-11 23:25:28 +0200 <ski> @type not :: (->) Bool Bool
2021-05-11 23:25:29 +0200 <lambdabot> Bool -> Bool
2021-05-11 23:25:33 +0200 <monochrom> Yes to both.
2021-05-11 23:25:47 +0200 <Uniaika> carbolymer: GNU make is shit, BSD Make forever!! :<
2021-05-11 23:25:54 +0200 <carbolymer> potato potato
2021-05-11 23:26:26 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-11 23:26:49 +0200theDon(~td@muedsl-82-207-238-242.citykom.de) (Ping timeout: 252 seconds)
2021-05-11 23:27:03 +0200lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-mtetdbivgmiakwmu)
2021-05-11 23:27:21 +0200 <Uniaika> carbolymer: kartofle ziemniak
2021-05-11 23:27:26 +0200 <geekosaur> make is not liked, it is tolerated
2021-05-11 23:27:27 +0200 <Uniaika> see, a difference!
2021-05-11 23:27:29 +0200bitonic(bitonicmat@gateway/shell/matrix.org/x-gpebkzgqxwwxsfwe)
2021-05-11 23:27:32 +0200dominicusin[m](dominicusi@gateway/shell/matrix.org/x-pjkljbbzolpsvumj)
2021-05-11 23:27:42 +0200Ericson2314(ericson231@gateway/shell/matrix.org/x-thnnfgytredsniic)
2021-05-11 23:27:53 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-05-11 23:27:54 +0200l-as(lasmatrixo@gateway/shell/matrix.org/x-uqygpgsipnzcjvky)
2021-05-11 23:28:08 +0200Lurkki[m](lurkkifene@gateway/shell/matrix.org/x-lxsizptwwqniqqhf)
2021-05-11 23:28:08 +0200beardhatcode(robbertbea@gateway/shell/matrix.org/x-iworegheuvvhamrt)
2021-05-11 23:28:08 +0200srid(sridmatrix@gateway/shell/matrix.org/x-ywvzzfbfnsihtdgl)
2021-05-11 23:28:09 +0200alexfmpe(alexfmpema@gateway/shell/matrix.org/x-lgoifndlflbhoqks)
2021-05-11 23:28:10 +0200JaakkoLuttinen[m(jluttinema@gateway/shell/matrix.org/x-kwtghircdmpnsjld)
2021-05-11 23:28:11 +0200 <carbolymer> Uniaika: tak
2021-05-11 23:28:12 +0200lambdaclan(lambdaclan@gateway/shell/matrix.org/x-iwjfaqxdmtzvjimd)
2021-05-11 23:28:13 +0200michaelpj(michaelpjm@gateway/shell/matrix.org/x-upefgjbnrkofhzti)
2021-05-11 23:28:14 +0200speakerspivakeem(speakerdea@gateway/shell/matrix.org/x-phfwwidrwfyfbnxt)
2021-05-11 23:28:15 +0200heck-to-the-gnom(heck-to-th@gateway/shell/matrix.org/x-dkeyhpdeslcfjwpp)
2021-05-11 23:28:16 +0200Noughtmare[m](naughtmare@gateway/shell/matrix.org/x-eudjrzrcgrkbadyq)
2021-05-11 23:28:16 +0200fakubish[m](fakubishne@gateway/shell/matrix.org/x-cfxniegcgkagepkg)
2021-05-11 23:28:16 +0200unclechu(unclechuma@gateway/shell/matrix.org/x-qsajurmakwekccbf)
2021-05-11 23:28:16 +0200jlv(jlvmatrixo@gateway/shell/matrix.org/x-sroisxuebnkuymhj)
2021-05-11 23:28:17 +0200loyon(loyonmatri@gateway/shell/matrix.org/x-wfgvrkkcigndkuew)
2021-05-11 23:28:17 +0200pqwy[m](pqwymatrix@gateway/shell/matrix.org/x-nmncdudsgpkvcjbb)
2021-05-11 23:28:17 +0200joe[m]4(joemonoida@gateway/shell/matrix.org/x-ixdcppeznkmrpnze)
2021-05-11 23:28:17 +0200jeffcasavant[m](jeffcasava@gateway/shell/matrix.org/x-oykouxifvdgxkysk)
2021-05-11 23:28:18 +0200Guillaum(guiboumatr@gateway/shell/matrix.org/x-kducmudiskihbpyx)
2021-05-11 23:28:19 +0200adziahel[m](adziahelma@gateway/shell/matrix.org/x-pfcbeahxuiuqhmxn)
2021-05-11 23:28:19 +0200johnnyboy[m](gifumatrix@gateway/shell/matrix.org/x-ygcqfwwgjhaithrv)
2021-05-11 23:28:19 +0200toasty_avocado[m(toastyavoc@gateway/shell/matrix.org/x-fpzqttbvdljtkkux)
2021-05-11 23:28:20 +0200CrabMan(phi-matrix@gateway/shell/matrix.org/x-affpxuluiytbahpu)
2021-05-11 23:28:30 +0200 <Uniaika> :)
2021-05-11 23:28:31 +0200sm[m](simonmicma@gateway/shell/matrix.org/x-yjiisspildexrxnx)
2021-05-11 23:28:35 +0200 <Ernest> Uniaika I understand that it's a valid way to declare instances over types, but how is a type of (a -> b) constructed and how do you use the fmap instance for it?
2021-05-11 23:28:41 +0200theDon(~td@muedsl-82-207-238-126.citykom.de)
2021-05-11 23:28:45 +0200 <ski> > sortBy (comparing length <> compare) (words "The quick brown fox jumps over the lazy dog") -- using `Semigroup a => Semigroup (rho -> a)'
2021-05-11 23:28:46 +0200 <Ernest> fmap function*
2021-05-11 23:28:47 +0200 <lambdabot> ["The","dog","fox","the","lazy","over","brown","jumps","quick"]
2021-05-11 23:28:51 +0200 <ski> @where monoids
2021-05-11 23:28:51 +0200 <lambdabot> comment on "Monoids? In my programming language?" by Cale in 2008 (or 2009 ?) at <http://www.reddit.com/r/programming/comments/7cf4r/monoids_in_my_programming_language/c06adnx> about a use of `
2021-05-11 23:28:51 +0200 <lambdabot> instance Monoid a => Monoid (rho -> a)'
2021-05-11 23:29:21 +0200 <ski> Ernest : my example with `<$>' (which is an alias for `fmap') above shows one example of using it
2021-05-11 23:29:50 +0200fendor(~fendor@178.165.129.215.wireless.dyn.drei.com) (Quit: Leaving)
2021-05-11 23:29:54 +0200 <Uniaika> Ernest: (a -> b) is a function type
2021-05-11 23:30:10 +0200 <Uniaika> you construct this type by having a function with the type a -> b
2021-05-11 23:30:13 +0200 <Uniaika> input -> output
2021-05-11 23:30:29 +0200Chai-T-Rex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-05-11 23:30:35 +0200Guest63188(~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds)
2021-05-11 23:31:05 +0200 <Uniaika> Ernest: in the case of fmap :: (a -> b) -> f a -> f b
2021-05-11 23:31:08 +0200fendor(~fendor@178.165.129.215.wireless.dyn.drei.com)
2021-05-11 23:31:20 +0200 <Uniaika> it wants a function that operates on the value inside the functor
2021-05-11 23:31:25 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2021-05-11 23:31:29 +0200 <Uniaika> and you'll get a functor with the transformed value in it
2021-05-11 23:31:57 +0200ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds)
2021-05-11 23:32:04 +0200rj(~x@gateway/tor-sasl/rj)
2021-05-11 23:32:09 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-05-11 23:32:14 +0200 <ski> in case `f = (rho ->)', you get `fmap :: (a -> b) -> (rho -> a) -> (rho -> b)' (which is `(.)')
2021-05-11 23:32:28 +0200 <ski> so, if `g' is a function, then `fmap f g' is the same as `f . g'
2021-05-11 23:32:39 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-11 23:33:09 +0200 <ski> > (not . (> 3)) 10
2021-05-11 23:33:11 +0200 <lambdabot> False
2021-05-11 23:33:14 +0200 <ski> > fmap not (> 3) 10
2021-05-11 23:33:16 +0200 <lambdabot> False
2021-05-11 23:34:30 +0200 <Ernest> Ok this is now much clearer, thank you ski Uniaika monochrom Still need to chew on it a bit but the information is here
2021-05-11 23:35:07 +0200 <Uniaika> Ernest: if you can get "Get Haskell Programming" by Will Kurt, I think it will unlock many unknowns
2021-05-11 23:37:06 +0200 <Ernest> Hmm I'd say I'm able to program in haskell, but these small nitty gritty things I haven't ironed out yet, I'll have it as a reference thanks
2021-05-11 23:37:30 +0200 <ski> @let instance Num a => Num (rho -> a) where (f + g) r = f r + g r; (f - g) r = f r - g r; (f * g) r = f r * g r; negate f r = negate (f r); abs f r = abs (f r); signum f r = signum (f r); fromInteger n r = fromInteger n
2021-05-11 23:37:31 +0200 <lambdabot> Defined.
2021-05-11 23:37:45 +0200 <monochrom> I'm a bit in disbelief when you act like you have never seen "X -> Y" to be honest.
2021-05-11 23:38:17 +0200 <ski> @let instance Fractional a => Fractional (rho -> a) where (f / g) r = f r / g r; recip f r = recip (f r); fromRational q r = fromRational q
2021-05-11 23:38:18 +0200dpl__(~dpl@77-121-78-163.chn.volia.net)
2021-05-11 23:38:19 +0200 <lambdabot> Defined.
2021-05-11 23:38:20 +0200 <geekosaur> hasn't recognized it as something that can be used this way, perhaps
2021-05-11 23:38:42 +0200 <Ernest> I definitely understand what that is when I see it in the types and im writing the type signatures, but I always thought it was just a very barebones primitive that isn't accesable to the programmer
2021-05-11 23:38:42 +0200mounty(~mounty@236.216.214.218.sta.wbroadband.net.au)
2021-05-11 23:39:15 +0200 <ski> > map (id^2 + id + 1) [-3 .. 3] -- polynomial evaulation
2021-05-11 23:39:17 +0200 <lambdabot> [7,3,1,1,3,7,13]
2021-05-11 23:39:55 +0200asimons04[m](asimonsptz@gateway/shell/matrix.org/x-vwzhyungsgponujs)
2021-05-11 23:39:58 +0200mjlbach(atriusmatr@gateway/shell/matrix.org/x-lfekbmgcuardpmmm)
2021-05-11 23:40:09 +0200 <ski> > map (cos^2 + sin^2) [-pi,-pi/2,0,pi/2,pi]
2021-05-11 23:40:11 +0200 <lambdabot> [1.0,1.0,1.0,1.0,1.0]
2021-05-11 23:40:21 +0200 <Ernest> Creating a functor instance for the (->) type was just unthinkable cause it didnt' even seem like a data type
2021-05-11 23:40:48 +0200 <monochrom> If you delete "data" there, everything makes sense.
2021-05-11 23:41:12 +0200 <Cajun> im trying to build parconc-examples for the Parallel and Concurrent Programming in Haskell textbook, but it just will not ever build with stack (but it builds just fine with cabal alone). im deeply confused why it wouldnt work. heres the paste link thingy: https://paste.tomsmeding.com/glsJbPZe
2021-05-11 23:41:13 +0200dpl_(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-05-11 23:41:15 +0200 <ski> > [[(fst^2 + fst*snd + snd^2) (x,y) | y <- [-2 .. 2]] | x <- [-2 .. 2]] -- multivariate polynomial
2021-05-11 23:41:17 +0200 <lambdabot> [[12,7,4,3,4],[7,3,1,1,3],[4,1,0,1,4],[3,1,1,3,7],[4,3,4,7,12]]
2021-05-11 23:41:59 +0200 <Ernest> Can things that are not data types be in the type signatures? Is Integer not a data type?
2021-05-11 23:41:59 +0200 <monochrom> If you can have "f :: Either Int Bool" and "x :: Bool -> Int", then both "Either Int Bool" and "Bool -> Int" are types.
2021-05-11 23:42:39 +0200ski. o O ( `fmap x f' )
2021-05-11 23:42:43 +0200 <Ernest> Oh I would've considered "Either Int Bool" as data types
2021-05-11 23:42:50 +0200 <monochrom> And in "instance Functor (...)", the only requirements for the ... there are: it is a type, and the type's rank is * -> *
2021-05-11 23:42:56 +0200 <ski> types are not just data types
2021-05-11 23:43:10 +0200 <monochrom> There is for example no requirement about "it is a user-defined type".
2021-05-11 23:43:12 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-05-11 23:44:30 +0200 <monochrom> s/rank/kind/
2021-05-11 23:44:34 +0200jluttine(~jluttine@85-23-66-6.bb.dnainternet.fi) (Ping timeout: 252 seconds)
2021-05-11 23:44:34 +0200opqdonut(opqdonut@pseudo.fixme.fi) (Ping timeout: 252 seconds)
2021-05-11 23:45:05 +0200 <nineonin_> is there a right-biased Map.unions?
2021-05-11 23:45:09 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-11 23:45:09 +0200 <ski> `(->)' is a language primitive, just like `Char',`Int',`Integer',`Float',`Double',`Array',`IO',`Handle',`IORef',`IOArray',`ST',`STRef',`STArray',.. are -- but all these are still types
2021-05-11 23:45:16 +0200rzmt(~rzmt@87-92-180-112.rev.dnainternet.fi) (Ping timeout: 260 seconds)
2021-05-11 23:45:16 +0200Moyst(~moyst@212-149-213-144.bb.dnainternet.fi) (Ping timeout: 260 seconds)
2021-05-11 23:45:26 +0200 <nineonin_> or how can I make it right-biased
2021-05-11 23:46:33 +0200opqdonut(opqdonut@pseudo.fixme.fi)
2021-05-11 23:46:38 +0200 <Ernest> Is there any way to inspect say, ((->) Int) in ghci?
2021-05-11 23:47:04 +0200 <Ernest> like you can kinda do :t on a value or data constructor
2021-05-11 23:47:05 +0200Moyst(~moyst@212-149-213-144.bb.dnainternet.fi)
2021-05-11 23:47:09 +0200 <ski> Ernest : also, note that there is `instance Functor [] where ...', where the type `[T]' is syntactic sugar for the ordinary prefix application notation `[] T'
2021-05-11 23:47:12 +0200 <hpc> :k ((->) Int)
2021-05-11 23:47:13 +0200 <lambdabot> * -> *
2021-05-11 23:47:16 +0200 <hpc> Ernest: ^
2021-05-11 23:47:27 +0200 <ski> @kind (->) Int
2021-05-11 23:47:28 +0200 <lambdabot> * -> *
2021-05-11 23:47:32 +0200 <ski> @kind Either Int
2021-05-11 23:47:33 +0200 <lambdabot> * -> *
2021-05-11 23:47:34 +0200 <hpc> as :t is "what's the type of this value", :k is "what's the kind of this type"
2021-05-11 23:47:56 +0200 <Ernest> Ahhh cool
2021-05-11 23:47:57 +0200 <ski> @kind (->)
2021-05-11 23:47:58 +0200 <lambdabot> * -> * -> *
2021-05-11 23:49:07 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 245 seconds)
2021-05-11 23:50:53 +0200 <geekosaur> nineonin_, flip?
2021-05-11 23:50:56 +0200rzmt(~rzmt@87-92-180-112.rev.dnainternet.fi)
2021-05-11 23:51:38 +0200olle(~olle@i5E8666E4.versanet.de) ()
2021-05-11 23:51:56 +0200jluttine(~jluttine@85-23-66-6.bb.dnainternet.fi)
2021-05-11 23:52:07 +0200stree(~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-11 23:52:21 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-11 23:52:22 +0200 <Ernest> So is (->) a type constrcutor kind of like IO is a type constructor? Am I using the term type constructor correctly?
2021-05-11 23:52:25 +0200 <nineonin_> hmm
2021-05-11 23:52:35 +0200 <ski> Ernest : yes
2021-05-11 23:53:21 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9)
2021-05-11 23:53:26 +0200 <nineonin_> geekosaur, so how would it look like?
2021-05-11 23:54:43 +0200hypercube(~hypercube@75.186.121.128)
2021-05-11 23:55:23 +0200fendor(~fendor@178.165.129.215.wireless.dyn.drei.com) (Quit: Leaving)
2021-05-11 23:55:52 +0200 <geekosaur> (flip Map.unions) in place of Map.unions
2021-05-11 23:56:09 +0200 <geekosaur> you could even name it: unionr = flip Map.unions
2021-05-11 23:56:21 +0200 <geekosaur> then use unionr wherever you want the right-biased union
2021-05-11 23:56:31 +0200 <ski> Ernest : you have to apply `(->)' to two type expressions, just like you have to for `Either', in order to get a concrete type back (that can be the type of a value, that can be written to the right of `::')
2021-05-11 23:56:37 +0200 <nineonin_> unions :: (Foldable f, Ord k) => f (Map k a) -> Map k a
2021-05-11 23:57:12 +0200 <nineonin_> not sure what to flip here
2021-05-11 23:57:21 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-05-11 23:57:33 +0200 <geekosaur> oh, I'm thinking union. unions… would need to reverse the list
2021-05-11 23:57:39 +0200 <nineonin_> but maybe this will work with unionsWith (flip union)
2021-05-11 23:57:52 +0200 <nineonin_> flip is the way to go though
2021-05-11 23:57:53 +0200 <nineonin_> thanks!
2021-05-11 23:59:46 +0200 <Ernest> @ski Ah cool. Now my mind looping back to how can a type constructor that doesn't really hold data have an fmap instance, but I have taken note of what has been said earlier and will chew on it
2021-05-11 23:59:47 +0200 <lambdabot> Maybe you meant: wiki src ask
2021-05-11 23:59:56 +0200rj(~x@gateway/tor-sasl/rj)