2021/03/24

2021-03-24 00:02:32 +0100poljar1(~poljar@93-139-86-101.adsl.net.t-com.hr)
2021-03-24 00:03:48 +0100poljar(~poljar@93-139-86-101.adsl.net.t-com.hr) (Read error: Connection reset by peer)
2021-03-24 00:06:07 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-24 00:08:57 +0100wonko7(~wonko7@45.15.17.60) (Ping timeout: 264 seconds)
2021-03-24 00:10:10 +0100Raito_Bezarius(~Raito@unaffiliated/raito-bezarius/x-8764578)
2021-03-24 00:11:32 +0100 <Axman6> mo threads, less problems
2021-03-24 00:15:08 +0100Franciman(~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving)
2021-03-24 00:17:15 +0100 <hpc> what is the ideal ratio of threads to regexes?
2021-03-24 00:17:38 +0100 <Axman6> 1/0:0
2021-03-24 00:18:06 +0100 <hpc> surely that would just mean you have -1/12 problems
2021-03-24 00:18:33 +0100 <Axman6> depending on which mathematician you ask, yes
2021-03-24 00:18:44 +0100 <sclv> but a regex ain't one!
2021-03-24 00:19:21 +0100 <sclv> "if you're having Perl problems I feel bad for you son / I got -1/12 problems but a regex ain't one"
2021-03-24 00:20:06 +0100frankdmartinez(~frankdmar@62.182.99.65) (Quit: frankdmartinez)
2021-03-24 00:22:29 +0100frankdmartinez(~frankdmar@62.182.99.65)
2021-03-24 00:23:58 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-24 00:26:43 +0100frankdmartinez(~frankdmar@62.182.99.65) (Ping timeout: 245 seconds)
2021-03-24 00:27:15 +0100geowiesnot_bis(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds)
2021-03-24 00:27:49 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-03-24 00:28:09 +0100nf(~n@monade.li) (Quit: Fairfarren.)
2021-03-24 00:28:45 +0100nf(~n@monade.li)
2021-03-24 00:28:58 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 00:31:04 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 00:33:37 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 272 seconds)
2021-03-24 00:34:38 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 245 seconds)
2021-03-24 00:34:47 +0100Guest79447(~textual@zrcout.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-24 00:35:01 +0100xsperry(~as@unaffiliated/xsperry) ()
2021-03-24 00:37:32 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-24 00:40:40 +0100Ariakenom(~Ariakenom@2001:9b1:efb:fc00:44d0:48c2:7912:8b23) (Quit: Leaving)
2021-03-24 00:44:26 +0100thc202(~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds)
2021-03-24 00:51:45 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-24 00:51:58 +0100xsperry(~as@unaffiliated/xsperry)
2021-03-24 00:52:05 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 00:54:12 +0100sw1nn(~sw1nn@2a00:23c7:622f:2c00:b196:7c21:3dc:6adc) (Ping timeout: 244 seconds)
2021-03-24 00:56:43 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 245 seconds)
2021-03-24 00:59:21 +0100 <MarcelineVQ> good job today, you
2021-03-24 01:00:04 +0100Alleria(~textual@2603-7000-3040-0000-5092-5f75-2147-b80d.res6.spectrum.com)
2021-03-24 01:00:27 +0100AlleriaGuest36287
2021-03-24 01:02:18 +0100gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-03-24 01:02:26 +0100jespada(~jespada@90.254.243.187) (Ping timeout: 264 seconds)
2021-03-24 01:03:46 +0100jespada(~jespada@90.254.243.187)
2021-03-24 01:04:50 +0100Guest36287(~textual@2603-7000-3040-0000-5092-5f75-2147-b80d.res6.spectrum.com) (Ping timeout: 264 seconds)
2021-03-24 01:04:54 +0100wopas32(uid384704@gateway/web/irccloud.com/x-yqojhidlabqfaddk)
2021-03-24 01:05:17 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-24 01:06:00 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 01:06:29 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 01:06:32 +0100sw1nn(~sw1nn@2a00:23c7:622f:2c00:200f:4151:e888:f7e6)
2021-03-24 01:07:47 +0100codygman__(~user@47.186.207.161) (Read error: No route to host)
2021-03-24 01:07:55 +0100codygman`(~user@47.186.207.161)
2021-03-24 01:10:44 +0100rj(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-24 01:12:28 +0100rj(~x@gateway/tor-sasl/rj)
2021-03-24 01:12:29 +0100vgtw_(~vgtw@gateway/tor-sasl/vgtw)
2021-03-24 01:12:35 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds)
2021-03-24 01:13:44 +0100vgtw(~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection)
2021-03-24 01:13:45 +0100vgtw_vgtw
2021-03-24 01:15:46 +0100sm2n(~sm2n@bras-base-hmtnon143hw-grc-11-65-95-103-225.dsl.bell.ca) (Quit: Leaving)
2021-03-24 01:18:22 +0100sm2n(~sm2n@bras-base-hmtnon143hw-grc-11-65-95-103-225.dsl.bell.ca)
2021-03-24 01:21:29 +0100augnun(~augnun@2804:14c:658b:41bb:9d27:655f:eef9:d872)
2021-03-24 01:23:11 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-03-24 01:25:11 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 01:25:47 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 01:26:36 +0100vicfred(vicfred@gateway/vpn/mullvad/vicfred)
2021-03-24 01:26:47 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 01:27:25 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 01:28:14 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 264 seconds)
2021-03-24 01:31:24 +0100acidjnk_new(~acidjnk@p200300d0c72b958398d78e73e557de79.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2021-03-24 01:33:11 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 01:33:41 +0100mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-03-24 01:35:56 +0100epicte7us(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-24 01:36:31 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-24 01:37:28 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net)
2021-03-24 01:37:50 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 01:38:15 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-24 01:38:34 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 01:38:48 +0100ph88_(~ph88@2a02:8109:9e00:7e5c:4978:201f:ec35:67e9)
2021-03-24 01:39:19 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 01:39:32 +0100is_null(~jpic@pdpc/supporter/professional/is-null) (Read error: Connection reset by peer)
2021-03-24 01:39:33 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 264 seconds)
2021-03-24 01:40:47 +0100epicte7us(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Client Quit)
2021-03-24 01:42:25 +0100stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-03-24 01:42:59 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 01:43:14 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-03-24 01:43:32 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 01:43:36 +0100 <wroathe> So https://hackage.haskell.org/package/req-3.9.0/docs/Network-HTTP-Req.html#t:Req made the design decision to throw for a non-200 response status code instead of just returning normally. It's been a while since I've haskelled... Could someone remind me what the right way to go about getting this to just return a response normally for all status codes is?
2021-03-24 01:44:10 +0100forgottenone(~forgotten@176.42.23.95) (Quit: Konversation terminated!)
2021-03-24 01:44:12 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 01:44:45 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 01:45:26 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 01:46:35 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 01:47:17 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 01:47:20 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-24 01:48:04 +0100unyu(~pyon@unaffiliated/pyon)
2021-03-24 01:48:19 +0100ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 01:48:33 +0100ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-24 01:48:40 +0100usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-03-24 01:49:04 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-24 01:49:08 +0100ddellac__(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 01:50:00 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) (Remote host closed the connection)
2021-03-24 01:50:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9)
2021-03-24 01:50:28 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-24 01:51:03 +0100 <wroathe> Oh, found it.
2021-03-24 01:51:10 +0100 <wroathe> It's httpConfigCheckResponse
2021-03-24 01:51:23 +0100Guest_63(49f4b23e@c-73-244-178-62.hsd1.fl.comcast.net)
2021-03-24 01:51:32 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-24 01:51:44 +0100Guest_63(49f4b23e@c-73-244-178-62.hsd1.fl.comcast.net) (Client Quit)
2021-03-24 01:53:23 +0100ddellac__(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 245 seconds)
2021-03-24 01:55:06 +0100stree(~stree@68.36.8.116)
2021-03-24 01:55:12 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 260 seconds)
2021-03-24 01:55:26 +0100Tops2(~Tobias@dyndsl-095-033-016-025.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-03-24 01:56:29 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 01:57:09 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 01:58:07 +0100dhil(~dhil@80.208.56.181) (Ping timeout: 260 seconds)
2021-03-24 01:59:13 +0100is_null(~jpic@pdpc/supporter/professional/is-null)
2021-03-24 02:00:53 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection)
2021-03-24 02:01:07 +0100alphabeta1(~kilolympu@5.151.5.178)
2021-03-24 02:01:53 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-24 02:02:32 +0100kilolympus(~kilolympu@5.151.5.178) (Ping timeout: 240 seconds)
2021-03-24 02:05:03 +0100kilolympus(~kilolympu@5.151.5.181)
2021-03-24 02:07:23 +0100jacks2(~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Ping timeout))
2021-03-24 02:07:33 +0100alphabeta1(~kilolympu@5.151.5.178) (Ping timeout: 256 seconds)
2021-03-24 02:07:49 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-24 02:10:25 +0100Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-03-24 02:21:24 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) (Remote host closed the connection)
2021-03-24 02:23:19 +0100Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-24 02:23:49 +0100ph88_(~ph88@2a02:8109:9e00:7e5c:4978:201f:ec35:67e9) (Ping timeout: 272 seconds)
2021-03-24 02:25:35 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-24 02:25:41 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-sfwykfysiphrscur) (Quit: Connection closed for inactivity)
2021-03-24 02:25:54 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-24 02:27:52 +0100Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2021-03-24 02:28:17 +0100rajivr(uid269651@gateway/web/irccloud.com/x-yuttflczfhjstiup)
2021-03-24 02:29:01 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9)
2021-03-24 02:36:18 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-24 02:37:08 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 245 seconds)
2021-03-24 02:40:43 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-24 02:40:54 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Remote host closed the connection)
2021-03-24 02:41:30 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 02:42:29 +0100drbean(~drbean@TC210-63-209-208.static.apol.com.tw)
2021-03-24 02:43:24 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 246 seconds)
2021-03-24 02:43:27 +0100average(uid473595@gateway/web/irccloud.com/x-npstzxdmagpahzvl) (Quit: Connection closed for inactivity)
2021-03-24 02:44:57 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-03-24 02:45:17 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 244 seconds)
2021-03-24 02:45:28 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-03-24 02:46:14 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Ping timeout: 264 seconds)
2021-03-24 02:47:05 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 02:47:36 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 02:58:27 +0100mozzarella(~sam@unaffiliated/sam113101)
2021-03-24 02:58:47 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-03-24 03:01:37 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Client Quit)
2021-03-24 03:02:13 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2021-03-24 03:03:22 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 03:03:30 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-24 03:05:21 +0100CrazyPython(~crazypyth@98.122.164.118) (Ping timeout: 264 seconds)
2021-03-24 03:05:48 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 03:06:45 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:11:53 +0100urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-03-24 03:14:33 +0100wopas32(uid384704@gateway/web/irccloud.com/x-yqojhidlabqfaddk) (Quit: Connection closed for inactivity)
2021-03-24 03:17:42 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 03:19:08 +0100conal(~conal@64.71.133.70)
2021-03-24 03:19:17 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:19:35 +0100maroloccio(~marolocci@pousada3ja.mma.com.br)
2021-03-24 03:22:24 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 256 seconds)
2021-03-24 03:22:29 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 244 seconds)
2021-03-24 03:24:40 +0100solidus-river(~fuag1@174.127.249.180)
2021-03-24 03:25:10 +0100GZJ0X_(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-24 03:25:17 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 03:25:20 +0100 <solidus-river> hmm i have a [( a -> Bool) ], i want to write a function that takes an a and tests it against the list but earlies out if one is false (like &&)
2021-03-24 03:25:30 +0100GZJ0X_(~gzj@unaffiliated/gzj)
2021-03-24 03:25:35 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-24 03:25:53 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-24 03:26:13 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:26:30 +0100 <solidus-river> oh! maybe i can test this using bottom in ghci
2021-03-24 03:26:44 +0100 <solidus-river> couldn't think of a way to test if it was early-out ing or not
2021-03-24 03:26:53 +0100 <monochrom> :)
2021-03-24 03:27:48 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 03:29:10 +0100 <solidus-river> yep, playing around with that works :)
2021-03-24 03:29:48 +0100 <monochrom> Slick spoiler: f a list = all (\p -> p a) list
2021-03-24 03:30:07 +0100 <monochrom> "all" has early-out behaviour.
2021-03-24 03:30:34 +0100CrazyPython(~crazypyth@98.122.164.118)
2021-03-24 03:30:58 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:31:38 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-24 03:31:39 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds)
2021-03-24 03:34:17 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 03:34:52 +0100codygman`(~user@47.186.207.161) (Ping timeout: 256 seconds)
2021-03-24 03:35:07 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:35:43 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Remote host closed the connection)
2021-03-24 03:36:17 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 03:36:53 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 03:38:59 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 03:40:09 +0100juri_(~juri@178.63.35.222) (Ping timeout: 264 seconds)
2021-03-24 03:40:15 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Remote host closed the connection)
2021-03-24 03:40:50 +0100__minoru__shirae(~shiraeesh@46.34.207.185) (Ping timeout: 264 seconds)
2021-03-24 03:41:26 +0100xff0x(~xff0x@2001:1a81:5390:3000:a737:9764:8d39:b00d) (Ping timeout: 264 seconds)
2021-03-24 03:41:38 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 03:42:02 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:42:54 +0100xff0x(~xff0x@2001:1a81:53b3:e900:2f67:ad37:c4b:d353)
2021-03-24 03:43:45 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2021-03-24 03:45:16 +0100bobweb(ac3a116c@172.58.17.108)
2021-03-24 03:46:57 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 03:47:14 +0100 <solidus-river> oh
2021-03-24 03:47:35 +0100 <solidus-river> well, still fun to hack at :)
2021-03-24 03:47:46 +0100 <solidus-river> monochrom, thanks!
2021-03-24 03:47:49 +0100 <bobweb> Hi. I am this problem: https://paste.tomsmeding.com/1dcB2ieh Please help me to resolve the error and pass quickBatch Applicative. Thank you.
2021-03-24 03:47:53 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:48:02 +0100is_null(~jpic@pdpc/supporter/professional/is-null) (Read error: Connection reset by peer)
2021-03-24 03:48:04 +0100 <monochrom> Yeah it is valuable to both write your own recursion and try to reuse a library function.
2021-03-24 03:48:44 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 03:51:35 +0100is_null(~jpic@pdpc/supporter/professional/is-null)
2021-03-24 03:52:28 +0100 <monochrom> In "instance Semigroup a => Semigroup (ZipList' a) where", what is the benefit of "Semigroup a =>"? When do you ever need it? (This is a rhetorical guiding question.)
2021-03-24 03:55:05 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:55:47 +0100 <bobweb> Hi monochrom: Well, I thought it necessary for (<>) (ZipList' x) (ZipList' y) = ZipList' (x <> y). But apparently that is not true! Thank you, I will now meditate on why it's not needed.
2021-03-24 03:56:39 +0100 <bobweb> Specifically this part: ZipList' (x <> y)
2021-03-24 03:57:22 +0100frankdmartinez(~frankdmar@62.182.99.65)
2021-03-24 03:57:35 +0100 <monochrom> Suppose I'm doing [1,2]<>[3,4], and the intention is merely list concatenation. The answer is [1,2,3,4], not some kind of [1<>2, 3<>4]. Therefore, emphatically I am not doing <> on the elements.
2021-03-24 03:57:36 +0100frankdmartinez(~frankdmar@62.182.99.65) (Client Quit)
2021-03-24 03:57:45 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 03:58:09 +0100 <bobweb> You rock, monochrom:
2021-03-24 03:58:30 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:59:41 +0100 <monochrom> OTOH, if I'm asking about [1,2] == [3,4], then in the process I will be asking about 1==2, 3==4. Therefore, I am totally doing == on the elements. This is the only reason why "Eq [a]" requires "Eq a". This is not to be cargo-culted.
2021-03-24 03:59:59 +0100Alleria(~textual@2603-7000-3040-0000-5092-5f75-2147-b80d.res6.spectrum.com)
2021-03-24 04:00:22 +0100AlleriaGuest65589
2021-03-24 04:00:29 +0100bobweb(ac3a116c@172.58.17.108) (Quit: Connection closed)
2021-03-24 04:00:33 +0100is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 264 seconds)
2021-03-24 04:00:43 +0100bobweb(ac3a116c@172.58.17.108)
2021-03-24 04:00:52 +0100CrazyPython(~crazypyth@98.122.164.118) (Read error: Connection reset by peer)
2021-03-24 04:00:58 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 04:03:23 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 258 seconds)
2021-03-24 04:03:33 +0100stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-03-24 04:04:50 +0100Guest65589(~textual@2603-7000-3040-0000-5092-5f75-2147-b80d.res6.spectrum.com) (Ping timeout: 264 seconds)
2021-03-24 04:05:11 +0100 <bobweb> monochrom: Actually, I have a better answer to your "rhetorical" question. I thought that in order for ZipList' (x <> y) to work, both x and y needed to have instances of Semigroup. Otherwise, why do I bother including the a in instance Semigroup (ZipList' a)? Can you jog my thinking with another good question maybe?
2021-03-24 04:05:34 +0100drbean(~drbean@TC210-63-209-208.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-03-24 04:05:40 +0100 <monochrom> What is the type of x again?
2021-03-24 04:05:53 +0100Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 245 seconds)
2021-03-24 04:06:02 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-24 04:06:16 +0100Tario(~Tario@201.192.165.173)
2021-03-24 04:06:17 +0100 <bobweb> x is polymorphic; could be anything.
2021-03-24 04:06:24 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 04:06:28 +0100 <monochrom> half true half false
2021-03-24 04:06:48 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 04:06:54 +0100 <bobweb> LOL, now that is truly a Zen answer!
2021-03-24 04:07:23 +0100 <monochrom> Here is how you could have performed a simple experiment to refute your hypothesis.
2021-03-24 04:07:47 +0100 <monochrom> Is "ZipList' False" valid? Therefore, can x have type Bool?
2021-03-24 04:07:51 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 04:08:53 +0100 <bobweb> Oh, duh. That's right! It's a list. Yup, tunnel vision, LOL. Thank you, monochrom:
2021-03-24 04:09:19 +0100bitmagie(~Thunderbi@200116b806323f00a9345f0cd31bb1ac.dip.versatel-1u1.de)
2021-03-24 04:11:18 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds)
2021-03-24 04:13:08 +0100GZJ0X_(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-24 04:13:29 +0100GZJ0X_(~gzj@unaffiliated/gzj)
2021-03-24 04:13:55 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds)
2021-03-24 04:14:11 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net)
2021-03-24 04:14:22 +0100bobweb(ac3a116c@172.58.17.108) (Ping timeout: 240 seconds)
2021-03-24 04:14:53 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 04:16:13 +0100stree(~stree@68.36.8.116)
2021-03-24 04:16:29 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 04:16:53 +0100 <slack1256> Can someone help understand this issue in ghc? https://gitlab.haskell.org/ghc/ghc/-/issues/19534 , the commenter claims there are allocations on the first core output, but I see no `let` that does that.
2021-03-24 04:20:01 +0100 <slack1256> Nevermind, I understand now.
2021-03-24 04:23:13 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 04:23:44 +0100RusAlex(~Chel@unaffiliated/rusalex) (Read error: Connection reset by peer)
2021-03-24 04:24:08 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 04:24:40 +0100 <monochrom> This is why I add -ddump-prep in addition to -ddump-simpl. simpl is less clutter, but prep puts back all the let's that simpl doesn't care to spam you with.
2021-03-24 04:24:55 +0100RusAlex(~Chel@unaffiliated/rusalex)
2021-03-24 04:25:17 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 04:25:47 +0100slack1256saves that in his zettel
2021-03-24 04:26:07 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 04:28:18 +0100z0k(~user@115.186.169.1)
2021-03-24 04:31:52 +0100 <slack1256> Oh, that prints both, tidy-core and CorePrep !
2021-03-24 04:31:59 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 04:32:33 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-24 04:33:38 +0100toorevitimirp(~tooreviti@117.182.183.55)
2021-03-24 04:33:46 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 04:33:47 +0100 <monochrom> In extreme cases I have -ddump-simpl -ddump-prep -ddump-opt-cmm -ddump-asm in one go.
2021-03-24 04:34:26 +0100 <monochrom> And when you do want them all, it is better to request all in one go, so the randomized variable names line up.
2021-03-24 04:34:41 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 04:34:55 +0100 <monochrom> And -ddump-to-file so I am not spamming stdout/err
2021-03-24 04:34:56 +0100 <slack1256> plus -ddump-to-file, otherwise my tmux will swallow some lines.
2021-03-24 04:35:04 +0100 <monochrom> Yeah that :)
2021-03-24 04:35:08 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 04:35:12 +0100augnun(~augnun@2804:14c:658b:41bb:9d27:655f:eef9:d872) (Quit: WeeChat 3.1)
2021-03-24 04:36:27 +0100__minoru__shirae(~shiraeesh@46.34.207.185)
2021-03-24 04:40:11 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1)
2021-03-24 04:40:48 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection)
2021-03-24 04:40:51 +0100bitmagie(~Thunderbi@200116b806323f00a9345f0cd31bb1ac.dip.versatel-1u1.de) (Remote host closed the connection)
2021-03-24 04:41:01 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 04:41:20 +0100solidus-river(~fuag1@174.127.249.180) (Quit: Leaving)
2021-03-24 04:42:13 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 04:43:00 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 04:44:11 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 04:45:36 +0100theDon(~td@muedsl-82-207-238-243.citykom.de) (Ping timeout: 265 seconds)
2021-03-24 04:47:06 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Remote host closed the connection)
2021-03-24 04:47:08 +0100theDon(~td@94.134.91.247)
2021-03-24 04:48:00 +0100raym(~ray@115.187.32.14)
2021-03-24 04:48:21 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 04:50:06 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 04:52:10 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 04:52:21 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-24 04:53:15 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 04:53:25 +0100nfd(~nfd9001@2601:602:77f:1820:144a:da71:587f:e0c7) (Ping timeout: 244 seconds)
2021-03-24 04:54:46 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 04:56:10 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-24 04:56:23 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-24 04:57:12 +0100__minoru__shirae(~shiraeesh@46.34.207.185) (Ping timeout: 265 seconds)
2021-03-24 04:58:44 +0100FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-24 04:58:44 +0100finn_elijaGuest32817
2021-03-24 04:58:44 +0100FinnElijafinn_elija
2021-03-24 05:00:38 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-03-24 05:00:46 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 05:02:03 +0100finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-03-24 05:02:29 +0100FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-24 05:02:29 +0100FinnElijafinn_elija
2021-03-24 05:02:36 +0100Guest32817(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds)
2021-03-24 05:02:59 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 05:04:04 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 05:04:21 +0100Rudd0(~Rudd0@185.189.115.108)
2021-03-24 05:06:51 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 05:07:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-03-24 05:08:48 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 265 seconds)
2021-03-24 05:11:26 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.1)
2021-03-24 05:12:17 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-03-24 05:12:51 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 05:13:22 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 05:19:18 +0100alx741(~alx741@186.178.108.164) (Quit: alx741)
2021-03-24 05:19:26 +0100RusAlex(~Chel@unaffiliated/rusalex) (Ping timeout: 265 seconds)
2021-03-24 05:19:50 +0100_Alleria(~AllahuAkb@2603-7000-3040-0000-e868-95dd-6dea-dfa1.res6.spectrum.com) (Ping timeout: 264 seconds)
2021-03-24 05:20:28 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 05:20:34 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Remote host closed the connection)
2021-03-24 05:21:00 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 05:22:09 +0100Noldorin(~noldorin@unaffiliated/noldorin) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2021-03-24 05:22:29 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 05:22:36 +0100ezzieyguywuf(~Unknown@unaffiliated/ezzieyguywuf) (Ping timeout: 240 seconds)
2021-03-24 05:24:03 +0100darjeeling_(~darjeelin@122.245.208.187) (Ping timeout: 246 seconds)
2021-03-24 05:26:15 +0100 <zebrag> I want to get rid of "represented" in "the representable functor represented by X" while not resorting to notation. And preferably keeping the "first" "representable".
2021-03-24 05:26:54 +0100 <Axman6> "the representable functor X"?
2021-03-24 05:26:57 +0100toorevitimirp(~tooreviti@117.182.183.55) (Ping timeout: 260 seconds)
2021-03-24 05:28:10 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 05:28:14 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Ping timeout: 264 seconds)
2021-03-24 05:28:47 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 05:28:48 +0100 <zebrag> Not sure I, myself, would understand that, because X being an object... I would be confused for a while
2021-03-24 05:28:59 +0100geowiesnot_bis(~user@87-89-181-157.abo.bbox.fr)
2021-03-24 05:29:16 +0100 <Axman6> I don't understand the original sentense so that's the best I can do :)
2021-03-24 05:29:26 +0100azure1(~azure@103.154.230.130) (Ping timeout: 264 seconds)
2021-03-24 05:29:36 +0100 <zebrag> thanks
2021-03-24 05:29:53 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 05:29:56 +0100ezzieyguywuf(~Unknown@unaffiliated/ezzieyguywuf)
2021-03-24 05:30:26 +0100azure1(~azure@103.154.230.130)
2021-03-24 05:33:02 +0100aarvar(~foewfoiew@2601:602:a080:fa0:49ff:dc3d:e55f:8dd) (Ping timeout: 264 seconds)
2021-03-24 05:33:50 +0100__minoru__shirae(~shiraeesh@46.34.207.185)
2021-03-24 05:35:38 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 05:39:20 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 05:40:53 +0100Alleria_(~AllahuAkb@69.202.254.168)
2021-03-24 05:42:22 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 05:42:41 +0100RusAlex(~Chel@unaffiliated/rusalex)
2021-03-24 05:43:10 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 05:44:05 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-03-24 05:44:35 +0100__minoru__shirae(~shiraeesh@46.34.207.185) (Ping timeout: 256 seconds)
2021-03-24 05:46:20 +0100tpefreedom(~tsomers@184-157-240-110.dyn.centurytel.net)
2021-03-24 05:49:43 +0100haritz(~hrtz@unaffiliated/haritz) (Ping timeout: 260 seconds)
2021-03-24 05:50:05 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 05:50:25 +0100haritz(~hrtz@62.3.70.206)
2021-03-24 05:50:25 +0100haritz(~hrtz@62.3.70.206) (Changing host)
2021-03-24 05:50:25 +0100haritz(~hrtz@unaffiliated/haritz)
2021-03-24 05:52:52 +0100plutoniix(~q@node-uqb.pool-125-24.dynamic.totinternet.net)
2021-03-24 06:00:05 +0100Alleria(~textual@69.202.254.168)
2021-03-24 06:00:28 +0100AlleriaGuest65675
2021-03-24 06:01:27 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 06:02:08 +0100pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-03-24 06:02:44 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 06:03:26 +0100pfurla(~pfurla@216.151.180.226)
2021-03-24 06:03:37 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-24 06:03:41 +0100astroanax(astroanax@gateway/shell/ircnow/x-ugavefgpyfztxwoh) (Ping timeout: 244 seconds)
2021-03-24 06:04:59 +0100Guest65675(~textual@69.202.254.168) (Ping timeout: 256 seconds)
2021-03-24 06:05:27 +0100carlomagno(~cararell@148.87.23.5) (Quit: Leaving.)
2021-03-24 06:05:42 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 06:06:19 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds)
2021-03-24 06:07:37 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 06:11:26 +0100paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2021-03-24 06:13:26 +0100forgottenone(~forgotten@176.42.23.95)
2021-03-24 06:14:33 +0100fffff(7712037d@119-18-3-125.771203.syd.nbn.aussiebb.net)
2021-03-24 06:15:58 +0100MrMobius(~MrMobius@208.58.206.154) (Read error: No route to host)
2021-03-24 06:16:53 +0100frozenErebus(~frozenEre@94.128.81.87)
2021-03-24 06:17:08 +0100MrMobius(~MrMobius@208.58.206.154)
2021-03-24 06:19:09 +0100tpefreedom(~tsomers@184-157-240-110.dyn.centurytel.net) (Remote host closed the connection)
2021-03-24 06:19:34 +0100tpefreedom(~tsomers@184-157-240-110.dyn.centurytel.net)
2021-03-24 06:19:54 +0100forgottenone(~forgotten@176.42.23.95) (Read error: Connection reset by peer)
2021-03-24 06:20:03 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 06:20:19 +0100fffffdifficultfornore
2021-03-24 06:20:40 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 06:21:04 +0100tpefreedom(~tsomers@184-157-240-110.dyn.centurytel.net) (Client Quit)
2021-03-24 06:23:35 +0100Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-24 06:24:41 +0100stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-03-24 06:26:28 +0100astroanax(astroanax@gateway/shell/ircnow/x-ieczsueboltuwogn)
2021-03-24 06:27:10 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 06:28:11 +0100wrunt(~ajc@vmx14030.hosting24.com.au)
2021-03-24 06:28:16 +0100Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2021-03-24 06:36:46 +0100pfurla(~pfurla@216.151.180.226) (Ping timeout: 256 seconds)
2021-03-24 06:37:32 +0100stree(~stree@68.36.8.116)
2021-03-24 06:38:27 +0100pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-03-24 06:38:28 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 06:38:31 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 06:42:22 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 06:43:31 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-03-24 06:44:39 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 06:44:57 +0100average(uid473595@gateway/web/irccloud.com/x-ngtcmmwtbxjkvcum)
2021-03-24 06:45:53 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 06:46:45 +0100frozenErebus(~frozenEre@94.128.81.87) (Ping timeout: 264 seconds)
2021-03-24 06:53:23 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-03-24 06:55:00 +0100frozenErebus(~frozenEre@94.128.81.87)
2021-03-24 07:01:50 +0100solvr(57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-03-24 07:02:50 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 07:03:07 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-24 07:03:11 +0100Wuzzy(~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de) (Quit: Wuzzy)
2021-03-24 07:04:07 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 07:04:36 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 07:07:23 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 07:08:41 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 07:08:53 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 07:09:40 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 07:11:06 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 07:11:23 +0100ozataman(~ozataman@pool-151-202-25-12.nycmny.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-03-24 07:15:59 +0100malumore(~malumore@151.62.115.239)
2021-03-24 07:16:24 +0100v01d4lph4(~v01d4lph4@106.212.133.35)
2021-03-24 07:19:41 +0100maroloccio(~marolocci@pousada3ja.mma.com.br) (Read error: Connection reset by peer)
2021-03-24 07:22:21 +0100maroloccio_(~marolocci@pousada3ja.mma.com.br)
2021-03-24 07:24:17 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 07:25:01 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 07:25:56 +0100xff0x(~xff0x@2001:1a81:53b3:e900:2f67:ad37:c4b:d353) (Ping timeout: 240 seconds)
2021-03-24 07:27:03 +0100monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2021-03-24 07:28:29 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 07:30:19 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2021-03-24 07:31:13 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 07:33:23 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds)
2021-03-24 07:34:11 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 07:35:24 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-03-24 07:37:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-03-24 07:37:43 +0100Varis(~Tadas@unaffiliated/varis)
2021-03-24 07:39:37 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 07:39:51 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-03-24 07:42:57 +0100monochrom(trebla@216.138.220.146)
2021-03-24 07:43:10 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 07:44:26 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-03-24 07:47:58 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-24 07:49:33 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Remote host closed the connection)
2021-03-24 07:51:51 +0100_flow_(~none@salem.informatik.uni-erlangen.de)
2021-03-24 07:52:08 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds)
2021-03-24 07:52:51 +0100ryxai(~textual@pool-71-183-41-241.nycmny.fios.verizon.net)
2021-03-24 07:57:00 +0100plutoniix(~q@node-uqb.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
2021-03-24 07:58:17 +0100aqd(~aqd@84.20.147.33)
2021-03-24 07:58:47 +0100pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-03-24 07:59:45 +0100graf_blutwurst(~user@2001:171b:226e:adc0:102c:ecb5:8d03:4f2b)
2021-03-24 07:59:47 +0100z0k(~user@115.186.169.1) (Quit: WeeChat 3.0)
2021-03-24 08:01:32 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-03-24 08:02:16 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 08:03:15 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 08:04:15 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 08:05:06 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 08:06:07 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 08:06:40 +0100jlamothe(~jlamothe@198.251.55.207) (Ping timeout: 265 seconds)
2021-03-24 08:06:57 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 08:07:40 +0100ryxai(~textual@pool-71-183-41-241.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-24 08:07:48 +0100jlamothe(~jlamothe@198.251.55.207)
2021-03-24 08:07:55 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 08:09:20 +0100howdoi(uid224@gateway/web/irccloud.com/x-icyhhocxhhkwzcda) (Quit: Connection closed for inactivity)
2021-03-24 08:09:21 +0100Varis(~Tadas@unaffiliated/varis) (Read error: Connection reset by peer)
2021-03-24 08:10:45 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 08:12:27 +0100michalz(~user@185.246.204.51)
2021-03-24 08:12:47 +0100ryxai(~textual@pool-71-183-41-241.nycmny.fios.verizon.net)
2021-03-24 08:12:49 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-03-24 08:13:52 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-03-24 08:15:15 +0100Inoperable(~PLAYER_1@fancydata.science) (Quit: All your buffer are belong to us!)
2021-03-24 08:16:26 +0100roconnor(~roconnor@host-45-58-230-226.dyn.295.ca) (Ping timeout: 240 seconds)
2021-03-24 08:17:46 +0100ryxai(~textual@pool-71-183-41-241.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-24 08:17:47 +0100roconnor(~roconnor@host-45-58-230-226.dyn.295.ca)
2021-03-24 08:18:00 +0100obiiwahn(~obiwahn@pdpc/supporter/student/obiwahn)
2021-03-24 08:18:56 +0100michalz(~user@185.246.204.51) (Ping timeout: 240 seconds)
2021-03-24 08:19:54 +0100xff0x(~xff0x@dynamic-046-114-034-164.46.114.pool.telefonica.de)
2021-03-24 08:19:54 +0100hexfifty(~hexfive@50.35.83.177)
2021-03-24 08:20:13 +0100hexfive(~hexfive@50.35.83.177) (Ping timeout: 258 seconds)
2021-03-24 08:20:14 +0100obiwahn(~obiwahn@pdpc/supporter/student/obiwahn) (Ping timeout: 258 seconds)
2021-03-24 08:23:04 +0100_flow_(~none@salem.informatik.uni-erlangen.de) (Ping timeout: 240 seconds)
2021-03-24 08:23:56 +0100_flow_(~none@salem.informatik.uni-erlangen.de)
2021-03-24 08:24:03 +0100Forlorn(~Forlorn@unaffiliated/forlorn) (Quit: leaving)
2021-03-24 08:24:40 +0100zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-03-24 08:24:54 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 08:26:17 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 08:26:43 +0100zaquest(~notzaques@5.128.210.178)
2021-03-24 08:27:23 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-24 08:27:48 +0100xff0x(~xff0x@dynamic-046-114-034-164.46.114.pool.telefonica.de) (Ping timeout: 268 seconds)
2021-03-24 08:28:22 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 08:28:42 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-03-24 08:28:58 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 08:29:08 +0100xff0x(~xff0x@2001:1a81:53c9:9f00:9d06:569d:fae7:bd39)
2021-03-24 08:29:56 +0100cfricke(~cfricke@unaffiliated/cfricke) (Client Quit)
2021-03-24 08:30:00 +0100graf_blutwurst(~user@2001:171b:226e:adc0:102c:ecb5:8d03:4f2b) (Remote host closed the connection)
2021-03-24 08:30:56 +0100graf_blutwurst(~user@2001:171b:226e:adc0:102c:ecb5:8d03:4f2b)
2021-03-24 08:31:21 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 08:31:33 +0100ian_(~igloo@matrix.chaos.earth.li)
2021-03-24 08:31:40 +0100Inoperable(~PLAYER_1@fancydata.science)
2021-03-24 08:31:58 +0100Igloo(~igloo@matrix.chaos.earth.li) (Ping timeout: 240 seconds)
2021-03-24 08:31:58 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds)
2021-03-24 08:32:12 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 08:32:53 +0100cyphase(~cyphase@unaffiliated/cyphase) (Ping timeout: 256 seconds)
2021-03-24 08:33:20 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-03-24 08:33:28 +0100plutoniix(~q@ppp-27-55-82-213.revip3.asianet.co.th)
2021-03-24 08:33:31 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 08:34:10 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 08:34:19 +0100cyphase(~cyphase@unaffiliated/cyphase)
2021-03-24 08:35:51 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 08:38:31 +0100hacxman(~hexo@gateway/tor-sasl/hexo)
2021-03-24 08:38:32 +0100sorki(~sorki@gateway/tor-sasl/sorki)
2021-03-24 08:39:03 +0100hexo(~hexo@gateway/tor-sasl/hexo) (Ping timeout: 268 seconds)
2021-03-24 08:39:03 +0100srk(~sorki@gateway/tor-sasl/sorki) (Ping timeout: 268 seconds)
2021-03-24 08:39:04 +0100hacxmanhexo
2021-03-24 08:39:09 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-24 08:39:30 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 08:40:55 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-03-24 08:41:27 +0100sorkisrk
2021-03-24 08:44:44 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-03-24 08:45:40 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-03-24 08:45:51 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 08:45:55 +0100stree(~stree@68.36.8.116) (Ping timeout: 256 seconds)
2021-03-24 08:46:33 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 08:47:43 +0100dyeplexer(~lol@unaffiliated/terpin)
2021-03-24 08:50:44 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) (Remote host closed the connection)
2021-03-24 08:51:07 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 08:52:01 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 08:52:31 +0100RusAlex(~Chel@unaffiliated/rusalex) (Quit: WeeChat 3.0)
2021-03-24 08:53:17 +0100Yumasi(~guillaume@2a01:e0a:5cb:4430:ba39:67f5:3885:dbb6)
2021-03-24 08:54:23 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-24 08:58:53 +0100stree(~stree@68.36.8.116)
2021-03-24 08:59:04 +0100bahamas(~lucian@unaffiliated/bahamas)
2021-03-24 08:59:29 +0100coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
2021-03-24 08:59:59 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 09:00:06 +0100Alleria(~textual@69.202.254.168)
2021-03-24 09:00:29 +0100AlleriaGuest27044
2021-03-24 09:01:32 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 09:02:02 +0100vicfred(vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving)
2021-03-24 09:02:21 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-24 09:03:16 +0100RusAlex(~Chel@unaffiliated/rusalex)
2021-03-24 09:04:06 +0100 <bahamas> if I want to provide a consistent way to print the values of a certain type, how should I do it? I'm thinking it would make sense to implement a Show instance, but are there any libraries or best practices to have in mind?
2021-03-24 09:04:06 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 256 seconds)
2021-03-24 09:04:40 +0100Guest27044(~textual@69.202.254.168) (Ping timeout: 265 seconds)
2021-03-24 09:04:47 +0100 <bahamas> the type I have in mind is a record, but there could also be a tree, where indentation would be involved
2021-03-24 09:04:58 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de)
2021-03-24 09:05:05 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-03-24 09:06:51 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 09:08:03 +0100Varis(~Tadas@unaffiliated/varis)
2021-03-24 09:08:10 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 09:09:06 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 09:10:13 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 09:12:11 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-03-24 09:12:58 +0100fuzzypixelz(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-03-24 09:13:34 +0100dhil(~dhil@80.208.56.181)
2021-03-24 09:15:17 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-24 09:15:38 +0100 <bahamas> I see this in the documentation for Show "The result of show is a syntactically correct Haskell expression containing only constants". it sounds like I shouldn't use Show directly, if I want to ommit some of the fields of the record
2021-03-24 09:16:03 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 09:20:05 +0100 <sclv> correct. show is for things you can "read"
2021-03-24 09:21:03 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 256 seconds)
2021-03-24 09:24:50 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 09:25:00 +0100Sorna(~Sornaensi@79.142.232.102)
2021-03-24 09:26:02 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 09:27:04 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-03-24 09:27:31 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:83f1:3643:e78d:1fe7) (Ping timeout: 272 seconds)
2021-03-24 09:27:33 +0100maroloccio_(~marolocci@pousada3ja.mma.com.br) (Ping timeout: 245 seconds)
2021-03-24 09:28:09 +0100Sornaensis(~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 272 seconds)
2021-03-24 09:28:12 +0100 <ski> bahamas : `Show' and `Read' are not intended for custom pretty-printing / formatting, or the like
2021-03-24 09:29:03 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net)
2021-03-24 09:29:11 +0100 <ski> make your own function, or perhaps make a type class (or find some suitable one in a package, maybe)
2021-03-24 09:29:27 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 09:30:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-24 09:30:30 +0100 <bahamas> ski: any packages I could look at?
2021-03-24 09:30:53 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 09:31:20 +0100 <ski> i'm not aware of any particular ones (and it probably depends more on what exactly you have in mind, or what your requirements are, what you're trying to do)
2021-03-24 09:31:35 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 09:32:25 +0100 <ski> i think there's some packages for composably constructing indented pretty-printed things. those might serve as a starting point
2021-03-24 09:32:29 +0100 <ski> (can't recall names)
2021-03-24 09:32:37 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 09:33:43 +0100_flow_flow
2021-03-24 09:33:45 +0100 <ski> (i vaguely recall reading a paper (a functional pearl, i think), about the design of such a pretty-printing library, that involved vertical composition, horizontal composition, both having an empty document as neutral elements)
2021-03-24 09:34:49 +0100difficultfornoremice-user
2021-03-24 09:35:39 +0100dawiss(~dawiss@178.43.197.203.ipv4.supernova.orange.pl)
2021-03-24 09:36:30 +0100 <bahamas> well, I found a package that sounds simple enough for starters. https://hackage.haskell.org/package/pretty-display-0.1.10/docs/Text-Display.html
2021-03-24 09:36:55 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-03-24 09:37:16 +0100 <bahamas> the library you're talking about sounds familiar (although I don't remember the name). however, I fear it uses too many abstractions, which might not be necessary for what I'm trying to do
2021-03-24 09:38:19 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 09:38:20 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-24 09:38:28 +0100 <bahamas> I have another question. I see some warnings regarding automatic deriving "No deriving strategy specified. Did you want stock, newtype, or anyclass?
2021-03-24 09:38:59 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:a7dd:a3bb:c8b0:2d88)
2021-03-24 09:39:01 +0100 <bahamas> do I have to specify the strategy on each deriving declaration, or is there a different approach?
2021-03-24 09:39:07 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 09:39:51 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 09:40:14 +0100borne(~fritjof@200116b8644f8c00bc09546e2ac68572.dip.versatel-1u1.de)
2021-03-24 09:40:48 +0100Boomerang(~Boomerang@2a05:f6c7:2179:0:f97c:9426:ef00:f528)
2021-03-24 09:40:49 +0100 <ski> <https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/deriving_strategies.html>
2021-03-24 09:41:32 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 09:42:21 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 09:42:27 +0100ph88_(~ph88@2a02:8109:9e00:7e5c:4978:201f:ec35:67e9)
2021-03-24 09:43:39 +0100kuribas(~user@ptr-25vy0i8r3m7ulrlbw64.18120a2.ip6.access.telenet.be)
2021-03-24 09:44:02 +0100 <ski> i guess the laste paragraph on that page applies in your case, and you then have to explicitly specify the strategies in which there's an ambiguity reported
2021-03-24 09:45:38 +0100xourt(d4c620ea@212-198-32-234.rev.numericable.fr)
2021-03-24 09:47:07 +0100frozenErebus(~frozenEre@94.128.81.87) (Ping timeout: 256 seconds)
2021-03-24 09:47:10 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-03-24 09:47:25 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 09:48:30 +0100 <bahamas> ski: I'm deriving Show and Generic for a record and a sum type
2021-03-24 09:48:42 +0100maroloccio_(~marolocci@pousada3ja.mma.com.br)
2021-03-24 09:49:01 +0100 <bahamas> so none of them are a newtype. I'm assuming the warning shows up, because I have GeneralizedNewtypeDeriving enabled
2021-03-24 09:50:09 +0100 <bahamas> ok, this is just a warning, so I'll ignore it for now
2021-03-24 09:51:07 +0100 <ski> so the ambiguity is between `stock' and `anyclass', for `Show', i think
2021-03-24 09:51:09 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9)
2021-03-24 09:51:19 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 09:52:01 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 09:52:34 +0100 <ski> hm
2021-03-24 09:54:39 +0100 <bahamas> I have a question regarding records and json. I know that one pattern is to prefix each record field to prevent clashes. for example data User = { uName :: Text, uAge :: Int }. but the incoming json is usually { name: "foo", age: 26 }. is there a way to handle this automatically?
2021-03-24 09:55:50 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) (Ping timeout: 264 seconds)
2021-03-24 09:55:55 +0100kritzefitz(~kritzefit@p548c9398.dip0.t-ipconnect.de)
2021-03-24 09:56:01 +0100 <kuribas> bahamas: the duplicaterecordfields extension
2021-03-24 09:56:38 +0100 <kuribas> bahamas: And if you use that, the namedFieldPuns and recordWildCards extensions are very handy.
2021-03-24 09:56:48 +0100 <kuribas> Because it makes manipulating records much easier.
2021-03-24 09:56:50 +0100thc202(~thc202@unaffiliated/thc202)
2021-03-24 09:57:30 +0100ubert(~Thunderbi@p200300ecdf25d975e6b318fffe838f33.dip0.t-ipconnect.de)
2021-03-24 09:57:51 +0100frozenErebus(~frozenEre@94.128.81.87)
2021-03-24 09:58:12 +0100 <xsperry> IIRC json will handle it automatically if your field names start with data name. so data User = { userName :: Text, userAge :: Int }
2021-03-24 09:58:25 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 09:58:40 +0100 <kuribas> bahamas: or alternatively you can also use a conversion function in the genericToJSON
2021-03-24 09:58:53 +0100 <kuribas> xsperry: that's not automatic, you need to write it yourself.
2021-03-24 09:59:06 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 10:00:07 +0100MichaelHoffmannb(brisadmozi@gateway/shell/matrix.org/x-cvnnmjtfpdwpnugh) (Quit: Idle for 30+ days)
2021-03-24 10:00:28 +0100 <kuribas> bahamas: https://hackage.haskell.org/package/aeson-1.5.6.0/docs/Data-Aeson.html#v:fieldLabelModifier
2021-03-24 10:00:43 +0100 <bahamas> kuribas: yeah. that's my current solution
2021-03-24 10:01:02 +0100 <kuribas> bahamas: then what is the question?
2021-03-24 10:01:07 +0100 <bahamas> kuribas: that involves copying a JsonUtils file in all projects. I was wondering if someone abstracted this
2021-03-24 10:01:11 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 10:01:20 +0100 <kuribas> JsonUtils?
2021-03-24 10:01:24 +0100 <kuribas> it's part of Aeson
2021-03-24 10:01:33 +0100 <bahamas> kuribas: that's just how I named the file
2021-03-24 10:01:40 +0100 <kuribas> And how much more abstraction do you want then genericToJSON?
2021-03-24 10:02:06 +0100 <kuribas> you can always write, myCustomToJSON = genericToJSON optionOverrides
2021-03-24 10:02:09 +0100 <bahamas> kuribas: https://bpa.st/DLGA
2021-03-24 10:02:23 +0100 <bahamas> this is my current implementation
2021-03-24 10:03:00 +0100 <kuribas> bahamas: and?
2021-03-24 10:03:05 +0100 <kuribas> I don't see the problem
2021-03-24 10:03:11 +0100 <bahamas> hey, I was just wondering if anybody did this. maybe it's not general enough or maybe it's not worth making a library out of it
2021-03-24 10:03:21 +0100 <bahamas> it's ok if that's the case. I just thought I'd ask
2021-03-24 10:03:48 +0100Franciman(~francesco@host-79-53-62-46.retail.telecomitalia.it)
2021-03-24 10:05:01 +0100 <kuribas> that would be very useful IMO...
2021-03-24 10:05:06 +0100 <kuribas> wouldn't
2021-03-24 10:05:15 +0100 <kuribas> it's fairly easy to implement
2021-03-24 10:06:00 +0100wonko7(~wonko7@45.15.17.60)
2021-03-24 10:06:03 +0100 <bahamas> sure. at the same time, I think the pattern of prefixing labels with lowercase letters is widespread. so it could be an alternative option provided by aeson
2021-03-24 10:06:16 +0100 <bahamas> but I don't have strong feelings for this. it's just a thought
2021-03-24 10:07:02 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 10:07:40 +0100Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Ping timeout: 276 seconds)
2021-03-24 10:07:44 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net)
2021-03-24 10:08:57 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 10:09:46 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 10:09:55 +0100fuzzypixelz(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 265 seconds)
2021-03-24 10:13:34 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-24 10:14:21 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2021-03-24 10:20:37 +0100lupulin(~lupulo@163.117.64.56) (Remote host closed the connection)
2021-03-24 10:21:03 +0100hidedagger(~nate@unaffiliated/hidedagger)
2021-03-24 10:21:07 +0100__minoru__shirae(~shiraeesh@46.34.207.185)
2021-03-24 10:21:55 +0100darjeeling_(~darjeelin@122.245.208.187)
2021-03-24 10:22:44 +0100fuzzypixelz(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-03-24 10:22:52 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 10:24:21 +0100kiweun(~kiweun@2607:fea8:2a62:9600:d4ca:3dbb:1110:af82) (Remote host closed the connection)
2021-03-24 10:24:25 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 10:26:04 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 10:26:09 +0100arianvp(~weechat@arianvp.me) (Ping timeout: 244 seconds)
2021-03-24 10:27:01 +0100is_null(~jpic@pdpc/supporter/professional/is-null)
2021-03-24 10:28:15 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 10:28:21 +0100arianvp(~weechat@arianvp.me)
2021-03-24 10:29:45 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 10:30:24 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 10:31:00 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 10:31:39 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-24 10:31:53 +0100azure1(~azure@103.154.230.130) (Ping timeout: 256 seconds)
2021-03-24 10:32:55 +0100azure1(~azure@103.154.230.130)
2021-03-24 10:34:15 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 10:36:48 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-03-24 10:37:09 +0100kritzefitz(~kritzefit@p548c9398.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2021-03-24 10:37:28 +0100kritzefitz(~kritzefit@2003:5b:203b:200::10:49)
2021-03-24 10:39:46 +0100GZJ0X_(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-24 10:40:08 +0100son0p(~son0p@181.58.39.182)
2021-03-24 10:40:24 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 10:40:47 +0100 <Mrbuck> ??
2021-03-24 10:41:06 +0100 <Mrbuck> quit message
2021-03-24 10:41:21 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 10:42:51 +0100kuribas(~user@ptr-25vy0i8r3m7ulrlbw64.18120a2.ip6.access.telenet.be) (Read error: Connection reset by peer)
2021-03-24 10:43:04 +0100kuribas(~user@ptr-25vy0i8r3m7ulrlbw64.18120a2.ip6.access.telenet.be)
2021-03-24 10:43:21 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 10:43:53 +0100 <pjb> Mrbuck: :-)
2021-03-24 10:44:36 +0100average(uid473595@gateway/web/irccloud.com/x-ngtcmmwtbxjkvcum) (Quit: Connection closed for inactivity)
2021-03-24 10:45:46 +0100dddddd_(~dddddd@unaffiliated/dddddd)
2021-03-24 10:47:05 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2021-03-24 10:47:24 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2021-03-24 10:49:11 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 10:49:46 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 10:52:34 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9)
2021-03-24 10:55:44 +0100aarvar(~foewfoiew@2601:602:a080:fa0:49ff:dc3d:e55f:8dd)
2021-03-24 10:55:55 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net)
2021-03-24 10:56:16 +0100hidedagger(~nate@unaffiliated/hidedagger) (Quit: WeeChat 3.1)
2021-03-24 10:56:27 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 10:56:50 +0100juri_(~juri@212.86.35.86)
2021-03-24 10:56:56 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) (Ping timeout: 240 seconds)
2021-03-24 10:57:29 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 10:58:17 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 11:00:04 +0100ryxai(~textual@pool-71-183-41-241.nycmny.fios.verizon.net)
2021-03-24 11:00:18 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-03-24 11:04:59 +0100acidjnk_new(~acidjnk@p200300d0c72b958398d78e73e557de79.dip0.t-ipconnect.de)
2021-03-24 11:05:31 +0100maroloccio_(~marolocci@pousada3ja.mma.com.br) (Read error: Connection reset by peer)
2021-03-24 11:06:35 +0100stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-03-24 11:08:02 +0100maroloccio_(~marolocci@pousada3ja.mma.com.br)
2021-03-24 11:08:22 +0100Noldorin(~noldorin@unaffiliated/noldorin)
2021-03-24 11:09:27 +0100DavidEichmann(~david@47.27.93.209.dyn.plus.net)
2021-03-24 11:13:15 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 256 seconds)
2021-03-24 11:13:21 +0100waleee-cl(uid373333@gateway/web/irccloud.com/x-vadqztdqpenulmke) (Quit: Connection closed for inactivity)
2021-03-24 11:15:34 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-24 11:17:53 +0100Lycurgus(~niemand@98.4.116.165)
2021-03-24 11:19:42 +0100stree(~stree@68.36.8.116)
2021-03-24 11:19:49 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 11:20:39 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 11:21:31 +0100ukari(~ukari@unaffiliated/ukari) (Ping timeout: 272 seconds)
2021-03-24 11:22:48 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 11:22:52 +0100plutoniix(~q@ppp-27-55-82-213.revip3.asianet.co.th) (Quit: Leaving)
2021-03-24 11:23:40 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 11:24:39 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 11:25:25 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 11:26:50 +0100fendor(~fendor@91.141.1.53.wireless.dyn.drei.com)
2021-03-24 11:27:58 +0100malumore(~malumore@151.62.115.239) (Ping timeout: 245 seconds)
2021-03-24 11:34:35 +0100dandart(~Thunderbi@home.dandart.co.uk)
2021-03-24 11:35:36 +0100Noldorin(~noldorin@unaffiliated/noldorin) (Quit: Textual IRC Client: www.textualapp.com)
2021-03-24 11:39:27 +0100ryxai(~textual@pool-71-183-41-241.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-24 11:39:38 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 11:40:31 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 11:40:52 +0100HiRE(~HiRE@104.128.237.40) (Quit: Later)
2021-03-24 11:41:16 +0100HiRE(~HiRE@2602:ffc5:20::1:512e)
2021-03-24 11:43:07 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-24 11:43:14 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 11:43:28 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-03-24 11:44:07 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-24 11:44:28 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-03-24 11:47:58 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds)
2021-03-24 11:50:20 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 11:51:37 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8)
2021-03-24 11:53:29 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 11:53:32 +0100__minoru__shirae(~shiraeesh@46.34.207.185) (Ping timeout: 256 seconds)
2021-03-24 11:53:51 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9)
2021-03-24 11:54:16 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-03-24 11:54:48 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-03-24 11:54:52 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Ping timeout: 260 seconds)
2021-03-24 11:54:54 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-03-24 11:54:59 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-24 11:57:44 +0100is_null(~jpic@pdpc/supporter/professional/is-null) (Read error: Connection reset by peer)
2021-03-24 11:58:38 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-03-24 11:58:57 +0100Lycurgus(~niemand@98.4.116.165) (Quit: Exeunt)
2021-03-24 12:01:17 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) (Ping timeout: 260 seconds)
2021-03-24 12:02:27 +0100dddddd_(~dddddd@unaffiliated/dddddd) (Ping timeout: 260 seconds)
2021-03-24 12:05:09 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net)
2021-03-24 12:05:35 +0100fuzzypixelz(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Leaving.)
2021-03-24 12:05:43 +0100Nahra(~user@static.161.95.99.88.clients.your-server.de)
2021-03-24 12:05:52 +0100hacxman(~hexo@gateway/tor-sasl/hexo)
2021-03-24 12:05:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-24 12:06:12 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-24 12:06:15 +0100hexo(~hexo@gateway/tor-sasl/hexo) (Ping timeout: 268 seconds)
2021-03-24 12:06:15 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 268 seconds)
2021-03-24 12:06:16 +0100hacxmanhexo
2021-03-24 12:06:17 +0100xelxebar_(~xelxebar@gateway/tor-sasl/xelxebar)
2021-03-24 12:06:42 +0100xourt(d4c620ea@212-198-32-234.rev.numericable.fr) (Ping timeout: 240 seconds)
2021-03-24 12:07:37 +0100dandart(~Thunderbi@home.dandart.co.uk) (Quit: dandart)
2021-03-24 12:08:08 +0100dandart(~Thunderbi@home.dandart.co.uk)
2021-03-24 12:08:39 +0100geowiesnot_bis(~user@87-89-181-157.abo.bbox.fr) (Quit: geowiesnot_bis)
2021-03-24 12:09:04 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-03-24 12:11:15 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-24 12:11:30 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-24 12:12:30 +0100__minoru__shirae(~shiraeesh@46.34.207.185)
2021-03-24 12:13:30 +0100ph88_(~ph88@2a02:8109:9e00:7e5c:4978:201f:ec35:67e9) (Ping timeout: 268 seconds)
2021-03-24 12:15:13 +0100Nahra(~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection)
2021-03-24 12:15:20 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 12:16:04 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 12:16:21 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection)
2021-03-24 12:16:35 +0100__minoru__shirae(~shiraeesh@46.34.207.185) (Ping timeout: 240 seconds)
2021-03-24 12:17:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-03-24 12:17:12 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-24 12:17:26 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-03-24 12:18:57 +0100is_null(~jpic@pdpc/supporter/professional/is-null)
2021-03-24 12:20:00 +0100__minoru__shirae(~shiraeesh@46.34.207.185)
2021-03-24 12:20:39 +0100yaroot(~yaroot@138.102.13.160.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat)
2021-03-24 12:21:07 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection)
2021-03-24 12:21:26 +0100yaroot(~yaroot@138.102.13.160.dy.iij4u.or.jp)
2021-03-24 12:21:51 +0100Alleria(~textual@mskresolve-a.mskcc.org)
2021-03-24 12:22:00 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-03-24 12:22:14 +0100AlleriaGuest8601
2021-03-24 12:22:53 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 12:23:33 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 12:23:38 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-03-24 12:25:48 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection)
2021-03-24 12:26:45 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-03-24 12:27:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-03-24 12:28:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-24 12:28:08 +0100 <Uniaika> maralorn: hi! Could you update hlint in nixpkgs to provide v3.3 ?
2021-03-24 12:28:49 +0100is_null_(~jpic@pdpc/supporter/professional/is-null)
2021-03-24 12:29:08 +0100urodna(~urodna@unaffiliated/urodna)
2021-03-24 12:29:26 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-03-24 12:30:17 +0100 <maralorn> Uniaika: You have found the right person to blame. I am the one who pinned hlint to the older version, because it uses ghc-lib 9.0, but hls does not support that yet. You just want the plain hlint to be 3.3?
2021-03-24 12:30:48 +0100 <Uniaika> maralorn: ideally? I was mostly thinking of hlint, not haskellPackage.hlint
2021-03-24 12:31:07 +0100 <Uniaika> maralorn: and yes, https://search.nixos.org/packages has listed you as the maintainer :P
2021-03-24 12:31:11 +0100malumore(~malumore@151.62.115.239)
2021-03-24 12:31:24 +0100 <maralorn> Uniaika: Oh, I forgot.^^
2021-03-24 12:31:29 +0100 <Uniaika> :-D
2021-03-24 12:31:47 +0100 <maralorn> Uniaika: Yeah, okay, I can look into that until fridays merge.
2021-03-24 12:32:05 +0100 <Uniaika> <3
2021-03-24 12:32:15 +0100is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds)
2021-03-24 12:33:55 +0100Neuromancer(~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 276 seconds)
2021-03-24 12:35:07 +0100esp32_prog(esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127)
2021-03-24 12:36:59 +0100_Alleria(~AllahuAkb@2603-7000-3040-0000-b174-32cd-b29a-dcb9.res6.spectrum.com)
2021-03-24 12:38:19 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 268 seconds)
2021-03-24 12:38:47 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-03-24 12:39:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-24 12:39:38 +0100Alleria_(~AllahuAkb@69.202.254.168) (Ping timeout: 245 seconds)
2021-03-24 12:40:23 +0100hexfifty(~hexfive@50.35.83.177) (Quit: i must go. my people need me.)
2021-03-24 12:43:15 +0100jb55(~jb55@gateway/tor-sasl/jb55) (Ping timeout: 268 seconds)
2021-03-24 12:44:21 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 264 seconds)
2021-03-24 12:47:51 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net)
2021-03-24 12:50:25 +0100dftxbs3e(~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection)
2021-03-24 12:51:05 +0100jb55(~jb55@gateway/tor-sasl/jb55)
2021-03-24 12:52:26 +0100Amanda3(~Amanda@139.28.218.148) (Remote host closed the connection)
2021-03-24 12:55:09 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-03-24 12:58:31 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9)
2021-03-24 12:59:47 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds)
2021-03-24 12:59:54 +0100p8m(p8m@gateway/vpn/protonvpn/p8m) (Remote host closed the connection)
2021-03-24 13:00:23 +0100p8m(p8m@gateway/vpn/protonvpn/p8m)
2021-03-24 13:00:47 +0100bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2021-03-24 13:03:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) (Ping timeout: 264 seconds)
2021-03-24 13:08:57 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 13:09:11 +0100peanut_(~peanut_@2a02:8388:a101:2600:4b2:18d8:9396:5c4f)
2021-03-24 13:09:14 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-24 13:09:36 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 13:14:41 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-24 13:15:20 +0100codygman`(~user@47.186.207.161)
2021-03-24 13:18:02 +0100poscat(~poscat@2408:8207:4823:b150::1) (Ping timeout: 264 seconds)
2021-03-24 13:18:30 +0100Nahra(~Nahra@unaffiliated/nahra)
2021-03-24 13:20:53 +0100gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2021-03-24 13:22:42 +0100geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-03-24 13:25:50 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 13:26:53 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-24 13:27:24 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 13:28:01 +0100ph88_(~ph88@2a02:8109:9e00:7e5c:4978:201f:ec35:67e9)
2021-03-24 13:28:09 +0100stree(~stree@68.36.8.116) (Ping timeout: 264 seconds)
2021-03-24 13:28:45 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 264 seconds)
2021-03-24 13:30:33 +0100jneira(501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) (Ping timeout: 264 seconds)
2021-03-24 13:32:10 +0100bahamas(~lucian@unaffiliated/bahamas)
2021-03-24 13:32:21 +0100tinhatcat(~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net)
2021-03-24 13:34:26 +0100jb55(~jb55@gateway/tor-sasl/jb55) (Ping timeout: 268 seconds)
2021-03-24 13:34:41 +0100Tario(~Tario@201.192.165.173)
2021-03-24 13:35:02 +0100kuribas(~user@ptr-25vy0i8r3m7ulrlbw64.18120a2.ip6.access.telenet.be) (Read error: Connection reset by peer)
2021-03-24 13:36:05 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 13:37:02 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 13:37:30 +0100jb55(~jb55@gateway/tor-sasl/jb55)
2021-03-24 13:38:35 +0100son0p(~son0p@181.58.39.182) (Quit: Lost terminal)
2021-03-24 13:38:58 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-24 13:39:52 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net)
2021-03-24 13:40:01 +0100frozenErebus(~frozenEre@94.128.81.87) (Ping timeout: 256 seconds)
2021-03-24 13:40:59 +0100stree(~stree@68.36.8.116)
2021-03-24 13:41:03 +0100fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Ping timeout: 246 seconds)
2021-03-24 13:41:53 +0100tinhatcat(~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net) (Quit: Leaving)
2021-03-24 13:42:21 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net) (Remote host closed the connection)
2021-03-24 13:44:21 +0100maroloccio_(~marolocci@pousada3ja.mma.com.br) (Quit: WeeChat 2.3)
2021-03-24 13:44:36 +0100jacks2(~bc8134e3@217.29.117.252)
2021-03-24 13:44:38 +0100shaunm(~shaunm@185.204.1.185)
2021-03-24 13:45:18 +0100knupfer(~Thunderbi@i59F7FF52.versanet.de)
2021-03-24 13:48:26 +0100Yumasi(~guillaume@2a01:e0a:5cb:4430:ba39:67f5:3885:dbb6) (Ping timeout: 240 seconds)
2021-03-24 13:48:52 +0100Yumasi(~guillaume@static-176-175-104-214.ftth.abo.bbox.fr)
2021-03-24 13:49:28 +0100esp32_prog(esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) (Remote host closed the connection)
2021-03-24 13:49:59 +0100esp32_prog(esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127)
2021-03-24 13:51:45 +0100esp32_prog(esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) (Remote host closed the connection)
2021-03-24 13:52:29 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 13:53:11 +0100fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com)
2021-03-24 13:53:22 +0100is_null_(~jpic@pdpc/supporter/professional/is-null) (Read error: Connection reset by peer)
2021-03-24 13:53:28 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 13:53:57 +0100is_null(~jpic@pdpc/supporter/professional/is-null)
2021-03-24 13:54:23 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 13:54:42 +0100timCF(~i.tkachuk@200-149-20-81.sta.estpak.ee)
2021-03-24 13:56:52 +0100Nahra`(~user@static.161.95.99.88.clients.your-server.de)
2021-03-24 13:57:36 +0100 <timCF> Hello! Does anybody know, in case where package A has conditional compilation dependent on version of package B, and I'm using package A as dependency in my project, and I do override version of B in my stack.yaml file, will package A respect my overrided version of B, or it will use its own?
2021-03-24 13:58:00 +0100 <timCF> I'm talking about usage of CPP extension
2021-03-24 13:58:48 +0100Nahra(~Nahra@unaffiliated/nahra) (Quit: leaving)
2021-03-24 13:59:16 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9)
2021-03-24 13:59:19 +0100Nahra`(~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection)
2021-03-24 13:59:33 +0100 <timCF> Macro expression like if MIN_VERSION_A(X,Y,Z) ... else ... endif
2021-03-24 14:00:15 +0100 <edwardk> timCF: you'll get one copy of any individual lib in a normal build plan, so if you disable feature flags on it, it'll have those features off for all customers. you'll only see MIN_VERSION_foo macros for libs you directly depend on though
2021-03-24 14:00:20 +0100 <edwardk> so not sure if that's what you're asking
2021-03-24 14:00:59 +0100 <edwardk> if foo depends on bar, and bar has some flag enabled in your stack.yaml or cabal.project, and baz depends on foo then you'll get bar with the flag enabled.
2021-03-24 14:01:07 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds)
2021-03-24 14:01:14 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 14:01:29 +0100 <edwardk> but basically cabal internally doesn't have any way to specify this package depends on that package with a given flag set one way or another.
2021-03-24 14:01:39 +0100Nahra(~user@unaffiliated/nahra)
2021-03-24 14:01:40 +0100 <timCF> edwardk: that's what I was looking for, thanks!
2021-03-24 14:01:42 +0100 <edwardk> other than through the cabal.project or stack.yaml
2021-03-24 14:02:39 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 14:02:46 +0100 <edwardk> sometimes folks will ship packages with options to remove functionality that isn't commonly needed, e.g. -f-comonad or something, for customers that know they'll never use the comonad instances, but they are generally unsupported configurations
2021-03-24 14:02:53 +0100 <edwardk> at least that is my practice
2021-03-24 14:03:35 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) (Ping timeout: 240 seconds)
2021-03-24 14:04:38 +0100codygman`(~user@47.186.207.161) (Remote host closed the connection)
2021-03-24 14:05:22 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 14:06:10 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 14:06:24 +0100codygman__(~user@47.186.207.161)
2021-03-24 14:07:11 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-24 14:07:33 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-03-24 14:08:12 +0100codygman__(~user@47.186.207.161) (Remote host closed the connection)
2021-03-24 14:09:06 +0100alx741(~alx741@186.178.108.164)
2021-03-24 14:09:23 +0100codygman__(~user@47.186.207.161)
2021-03-24 14:09:51 +0100ddellac__(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 14:11:05 +0100codygman__(~user@47.186.207.161) (Remote host closed the connection)
2021-03-24 14:11:11 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-24 14:11:14 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-03-24 14:11:27 +0100is_null_(~jpic@pdpc/supporter/professional/is-null)
2021-03-24 14:11:28 +0100codygman__(~user@47.186.207.161)
2021-03-24 14:11:31 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-03-24 14:12:12 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-24 14:12:32 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-03-24 14:13:09 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Read error: Connection reset by peer)
2021-03-24 14:13:30 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-03-24 14:13:33 +0100dandart(~Thunderbi@home.dandart.co.uk) (Quit: dandart)
2021-03-24 14:13:39 +0100ubert(~Thunderbi@p200300ecdf25d975e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2021-03-24 14:13:52 +0100dandart(~Thunderbi@home.dandart.co.uk)
2021-03-24 14:14:02 +0100codygman__(~user@47.186.207.161) (Remote host closed the connection)
2021-03-24 14:14:24 +0100codygman__(~user@47.186.207.161)
2021-03-24 14:14:43 +0100timCF(~i.tkachuk@200-149-20-81.sta.estpak.ee) (Quit: leaving)
2021-03-24 14:14:58 +0100is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 265 seconds)
2021-03-24 14:15:03 +0100DavidEichmann(~david@47.27.93.209.dyn.plus.net) (Ping timeout: 272 seconds)
2021-03-24 14:15:12 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-24 14:15:26 +0100DavidEichmann(~david@47.27.93.209.dyn.plus.net)
2021-03-24 14:15:35 +0100__minoru__shirae(~shiraeesh@46.34.207.185) (Ping timeout: 240 seconds)
2021-03-24 14:15:35 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-03-24 14:17:11 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-24 14:17:34 +0100GZJ0X__(~gzj@unaffiliated/gzj)
2021-03-24 14:18:26 +0100ph88_(~ph88@2a02:8109:9e00:7e5c:4978:201f:ec35:67e9) (Ping timeout: 240 seconds)
2021-03-24 14:19:12 +0100Deide(~Deide@217.155.19.23)
2021-03-24 14:19:14 +0100GZJ0X__(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-24 14:19:26 +0100ddellac__(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-24 14:19:53 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 14:21:07 +0100frozenErebus(~frozenEre@94.128.81.87)
2021-03-24 14:22:38 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net)
2021-03-24 14:23:24 +0100codygman__(~user@47.186.207.161) (Remote host closed the connection)
2021-03-24 14:23:46 +0100codygman__(~user@47.186.207.161)
2021-03-24 14:25:15 +0100carlomagno(~cararell@148.87.23.9)
2021-03-24 14:25:53 +0100frozenErebus(~frozenEre@94.128.81.87) (Ping timeout: 244 seconds)
2021-03-24 14:26:14 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-24 14:26:33 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 14:27:16 +0100berberman(~berberman@unaffiliated/berberman)
2021-03-24 14:27:27 +0100epicte7us(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-24 14:27:56 +0100berberman_(~berberman@unaffiliated/berberman) (Ping timeout: 240 seconds)
2021-03-24 14:30:16 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds)
2021-03-24 14:30:37 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 260 seconds)
2021-03-24 14:31:06 +0100jacks2(~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/)
2021-03-24 14:35:26 +0100is_null_(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 264 seconds)
2021-03-24 14:35:57 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 272 seconds)
2021-03-24 14:37:03 +0100frozenErebus(~frozenEre@94.128.81.87)
2021-03-24 14:37:10 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net)
2021-03-24 14:41:50 +0100frozenErebus(~frozenEre@94.128.81.87) (Ping timeout: 256 seconds)
2021-03-24 14:42:47 +0100__minoru__shirae(~shiraeesh@46.34.207.185)
2021-03-24 14:44:16 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-24 14:45:17 +0100ddellac__(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 14:45:44 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-24 14:46:51 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net)
2021-03-24 14:47:00 +0100jespada(~jespada@90.254.243.187) (Ping timeout: 258 seconds)
2021-03-24 14:47:28 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-24 14:47:49 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 14:47:57 +0100__minoru__shirae(~shiraeesh@46.34.207.185) (Ping timeout: 264 seconds)
2021-03-24 14:47:58 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 245 seconds)
2021-03-24 14:49:24 +0100idhugo_(~idhugo@80-62-117-136-mobile.dk.customer.tdc.net)
2021-03-24 14:49:40 +0100jespada(~jespada@90.254.243.187)
2021-03-24 14:52:14 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 264 seconds)
2021-03-24 14:52:26 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-03-24 14:53:06 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl)
2021-03-24 14:53:06 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-03-24 14:53:06 +0100mouseghost(~draco@wikipedia/desperek)
2021-03-24 14:54:40 +0100xff0x(~xff0x@2001:1a81:53c9:9f00:9d06:569d:fae7:bd39) (Ping timeout: 258 seconds)
2021-03-24 14:55:23 +0100xff0x(~xff0x@2001:1a81:53c9:9f00:6a34:c608:ac81:347c)
2021-03-24 14:56:18 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-03-24 14:56:26 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-24 14:57:26 +0100o1lo01ol1o(~o1lo01ol1@bl7-88-181.dsl.telepac.pt)
2021-03-24 14:57:45 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 14:58:53 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-03-24 14:58:57 +0100Guest8601(~textual@mskresolve-a.mskcc.org) (Ping timeout: 244 seconds)
2021-03-24 14:59:14 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-03-24 15:00:01 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9)
2021-03-24 15:00:48 +0100Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-24 15:00:51 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-03-24 15:01:03 +0100emmanuel_erc(~user@cpe-74-71-106-64.nyc.res.rr.com) (Ping timeout: 256 seconds)
2021-03-24 15:01:16 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-03-24 15:01:22 +0100Alleria(~textual@zrcout.mskcc.org)
2021-03-24 15:01:33 +0100Kaeipi(~Kaiepi@47.54.252.148)
2021-03-24 15:01:47 +0100AlleriaGuest39025
2021-03-24 15:01:54 +0100Kaeipi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-24 15:02:14 +0100Kaeipi(~Kaiepi@47.54.252.148)
2021-03-24 15:02:57 +0100Lycurgus(~niemand@98.4.116.165)
2021-03-24 15:03:36 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-24 15:03:56 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 15:04:50 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) (Ping timeout: 264 seconds)
2021-03-24 15:06:22 +0100frozenErebus(~frozenEre@94.128.81.87)
2021-03-24 15:08:58 +0100 <gentauro> edwardk: they do that so you can have faster compile-times?
2021-03-24 15:12:29 +0100jb55(~jb55@gateway/tor-sasl/jb55) (Ping timeout: 268 seconds)
2021-03-24 15:13:36 +0100jumper149(~jumper149@130.75.103.190)
2021-03-24 15:13:44 +0100jumper149(~jumper149@130.75.103.190) (Client Quit)
2021-03-24 15:14:58 +0100jb55(~jb55@gateway/tor-sasl/jb55)
2021-03-24 15:16:00 +0100 <edwardk> gentauro: yeah
2021-03-24 15:16:40 +0100 <edwardk> gentauro: i'll generally take patches that let you conditionally compile without some subset of packages if it cleanly splits out of the api
2021-03-24 15:17:42 +0100 <edwardk> then folks who do sandbox builds (or now just cabal v2 builds) or stack builds can benefit by tuning down the sandbox or cabal.project or stack .yaml file to exclude what isn't needed for their application. can be quite useful on CI in particular.
2021-03-24 15:23:21 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2021-03-24 15:23:43 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 256 seconds)
2021-03-24 15:24:08 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2021-03-24 15:24:34 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-03-24 15:24:53 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-03-24 15:25:33 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 15:25:37 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-24 15:25:45 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 15:25:55 +0100ddellac__(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-24 15:25:56 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-24 15:26:23 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 15:27:36 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 15:27:41 +0100dawiss(~dawiss@178.43.197.203.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds)
2021-03-24 15:28:11 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-ebwsglbljqlehoxu)
2021-03-24 15:29:16 +0100dawiss(~dawiss@185-119-185-201.actus-info.pl)
2021-03-24 15:29:26 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net)
2021-03-24 15:30:59 +0100Lycurgus(~niemand@98.4.116.165) (Quit: Exeunt)
2021-03-24 15:31:08 +0100epicte7us(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 256 seconds)
2021-03-24 15:31:56 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-24 15:32:15 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 15:33:15 +0100kuribas(~user@ptr-25vy0i8r3m7ulrlbw64.18120a2.ip6.access.telenet.be)
2021-03-24 15:33:18 +0100emmanuel_erc(~user@2603-7000-9600-01c9-04c4-76ab-ac37-8670.res6.spectrum.com)
2021-03-24 15:35:00 +0100pavonia(~user@unaffiliated/siracusa)
2021-03-24 15:35:57 +0100marinelli(~marinelli@gateway/tor-sasl/marinelli)
2021-03-24 15:36:42 +0100malumore_(~malumore@151.62.115.239)
2021-03-24 15:37:16 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt)
2021-03-24 15:37:26 +0100 <romesrf> hello
2021-03-24 15:38:26 +0100 <romesrf> can someone explain/point me to where i can read about what the things in between {} means? newtype Church = Church { unChurch :: ChurchNum }
2021-03-24 15:39:55 +0100malumore(~malumore@151.62.115.239) (Ping timeout: 272 seconds)
2021-03-24 15:40:28 +0100juri_(~juri@212.86.35.86) (Read error: Connection reset by peer)
2021-03-24 15:40:58 +0100 <sclv> romesrf: that's knows as "record syntax" and its in all the standard tutorials and documentation
2021-03-24 15:41:00 +0100juri_(~juri@212.86.35.86)
2021-03-24 15:44:04 +0100epicte7us(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-24 15:45:13 +0100 <romesrf> sclv: perfect! record syntax - that was exactly it, i've found nice docs :)
2021-03-24 15:48:01 +0100samthecoy[m]1(samthecoym@gateway/shell/matrix.org/x-dyjfykhwbtubhalr)
2021-03-24 15:49:13 +0100stree(~stree@68.36.8.116) (Ping timeout: 256 seconds)
2021-03-24 15:50:10 +0100jlamothe(~jlamothe@198.251.55.207) (Quit: leaving)
2021-03-24 15:51:09 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 265 seconds)
2021-03-24 15:53:54 +0100malumore_malumore
2021-03-24 15:54:45 +0100dawiss(~dawiss@185-119-185-201.actus-info.pl) (Ping timeout: 244 seconds)
2021-03-24 15:56:22 +0100dawiss(~dawiss@178.43.197.203.ipv4.supernova.orange.pl)
2021-03-24 16:00:14 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net) (Remote host closed the connection)
2021-03-24 16:00:51 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9)
2021-03-24 16:01:28 +0100ubert(~Thunderbi@p200300ecdf25d975e6b318fffe838f33.dip0.t-ipconnect.de)
2021-03-24 16:02:22 +0100stree(~stree@68.36.8.116)
2021-03-24 16:02:54 +0100aqd(~aqd@84.20.147.33) (Quit: Textual IRC Client: www.textualapp.com)
2021-03-24 16:04:38 +0100Synthetica(uid199651@gateway/web/irccloud.com/x-pidwjwkshsuukvyi)
2021-03-24 16:05:26 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) (Ping timeout: 264 seconds)
2021-03-24 16:06:35 +0100waleee-cl(uid373333@gateway/web/irccloud.com/x-uhyhmepkjdyoglfc)
2021-03-24 16:06:49 +0100seanparsons(~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Quit: ZNC 1.8.1 - https://znc.in)
2021-03-24 16:07:05 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 16:07:09 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-24 16:07:22 +0100ukari(~ukari@unaffiliated/ukari)
2021-03-24 16:07:28 +0100seanparsons(~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net)
2021-03-24 16:07:33 +0100ozataman(~ozataman@pool-151-202-25-12.nycmny.fios.verizon.net)
2021-03-24 16:10:35 +0100jlamothe(~jlamothe@198.251.55.207)
2021-03-24 16:12:27 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-03-24 16:15:11 +0100vicfred(~vicfred@unaffiliated/vicfred)
2021-03-24 16:17:48 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 16:19:12 +0100epicte7us(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Remote host closed the connection)
2021-03-24 16:19:28 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-03-24 16:19:31 +0100epicte7us(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-24 16:19:45 +0100urodna(~urodna@unaffiliated/urodna) (Read error: Connection reset by peer)
2021-03-24 16:19:45 +0100emmanuel_erc(~user@2603-7000-9600-01c9-04c4-76ab-ac37-8670.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 16:19:54 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 16:19:55 +0100hexagoxel(~hexagoxel@2a01:4f8:c0c:e::2) (Ping timeout: 240 seconds)
2021-03-24 16:19:55 +0100yushyin(Q5ik5TuR5I@karif.server-speed.net) (Ping timeout: 240 seconds)
2021-03-24 16:20:15 +0100yushyin(lkZmV9yVXV@karif.server-speed.net)
2021-03-24 16:20:23 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-03-24 16:20:33 +0100urodna(~urodna@unaffiliated/urodna)
2021-03-24 16:20:38 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-24 16:20:57 +0100hexagoxel(~hexagoxel@hexagoxel.de)
2021-03-24 16:21:33 +0100raym(~ray@115.187.32.14) (Quit: leaving)
2021-03-24 16:22:33 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds)
2021-03-24 16:23:22 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net)
2021-03-24 16:25:06 +0100xff0x(~xff0x@2001:1a81:53c9:9f00:6a34:c608:ac81:347c) (Ping timeout: 268 seconds)
2021-03-24 16:25:36 +0100xff0x(~xff0x@2001:1a81:53c9:9f00:27ac:86d9:28a4:2240)
2021-03-24 16:25:36 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-24 16:25:50 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-03-24 16:25:57 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-24 16:27:01 +0100is_null(~jpic@pdpc/supporter/professional/is-null)
2021-03-24 16:29:39 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-24 16:30:23 +0100Waifod(~Waifod@91.106.123.186)
2021-03-24 16:31:20 +0100s00pcan(~chris@075-133-056-178.res.spectrum.com)
2021-03-24 16:31:43 +0100thc202(~thc202@unaffiliated/thc202) (Read error: Connection reset by peer)
2021-03-24 16:32:54 +0100idhugo_(~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) (Ping timeout: 256 seconds)
2021-03-24 16:33:35 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-24 16:34:23 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-24 16:35:50 +0100 <romesrf> and what's the "$" called?
2021-03-24 16:36:43 +0100 <peanut_> application
2021-03-24 16:37:22 +0100 <monochrom> root of all evil :)
2021-03-24 16:37:33 +0100s00pcan(~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 272 seconds)
2021-03-24 16:37:35 +0100jb55(~jb55@gateway/tor-sasl/jb55) (Ping timeout: 268 seconds)
2021-03-24 16:37:52 +0100 <romesrf> monochrom: T_T
2021-03-24 16:37:55 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds)
2021-03-24 16:37:58 +0100 <romesrf> ahahaha
2021-03-24 16:38:08 +0100s00pcan(~chris@107.181.165.217)
2021-03-24 16:38:09 +0100 <romesrf> peanut_: ty
2021-03-24 16:43:37 +0100thc202(~thc202@unaffiliated/thc202)
2021-03-24 16:44:34 +0100jb55(~jb55@gateway/tor-sasl/jb55)
2021-03-24 16:44:49 +0100 <marinelli> hi everyone
2021-03-24 16:45:27 +0100 <marinelli> some of you has some experience with TextShow?
2021-03-24 16:49:29 +0100 <tomsmeding> romesrf: https://hackage.haskell.org/package/base-4.14.0.0/docs/Prelude.html#v:-36-
2021-03-24 16:50:10 +0100geekosaur(ac3a8f06@172.58.143.6)
2021-03-24 16:53:45 +0100Mzg(Mzg@s1.ct8.pl)
2021-03-24 16:54:19 +0100 <ij> I would like to have a "data Foo" data type that could have two different inside of it which should be statically typed. i.e. not either
2021-03-24 16:54:30 +0100jb55(~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2021-03-24 16:54:58 +0100 <merijn> ij: What's the problem?
2021-03-24 16:55:01 +0100 <ij> writing now
2021-03-24 16:55:13 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9)
2021-03-24 16:55:23 +0100 <ij> It's going to be a Map Int (Set a) vor a Map Int Int. At one point, I'll go over to Map Int (Set a), because I'll need more information later, but at the beginning I don't need it.
2021-03-24 16:55:57 +0100 <ij> the Int in values is going to be the Set size. First I'll just +1 or join (sum) them, later I'll insert elements or join sets
2021-03-24 16:56:29 +0100 <tomsmeding> data Foo a where FooCount :: Map Int Int -> Foo Int ; FooSet :: Map Int (Set a) -> Foo (Set a)
2021-03-24 16:56:39 +0100 <tomsmeding> or, just, use Map Int Int and Map Int (Set a) directly?
2021-03-24 16:57:17 +0100 <tomsmeding> or is the point that you want to write functions that work on both representations?
2021-03-24 16:57:33 +0100 <ij> you can have a data with where?
2021-03-24 16:57:40 +0100 <tomsmeding> make both types an instance of a typeclass that implements the required functionality?
2021-03-24 16:57:44 +0100 <tomsmeding> ij: that Foo I wrote is a GADT
2021-03-24 16:57:57 +0100 <tomsmeding> 'data Foo where' is GADT syntax
2021-03-24 16:58:09 +0100 <ij> ok, I'd never seen that
2021-03-24 16:58:27 +0100 <ij> I'd only seen "data Foo = A | B" without any where clause
2021-03-24 16:58:44 +0100 <tomsmeding> it allows you to let the constructor restrict the type parameters
2021-03-24 16:58:46 +0100 <tomsmeding> like here
2021-03-24 16:58:54 +0100 <peanut_> data Foo a = A | B always create a "Foo a"
2021-03-24 17:00:17 +0100 <tomsmeding> ij: I'm not convinced a type class can't solve your problems :)
2021-03-24 17:00:17 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 17:00:29 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 17:00:32 +0100Sorny(~Sornaensi@077213203030.dynamic.telenor.dk)
2021-03-24 17:00:44 +0100 <ij> I was thinking that there's going to be a typeclass
2021-03-24 17:00:57 +0100 <romesrf> tomsmeding: nice! ty
2021-03-24 17:01:20 +0100 <ij> I was trying to program in my head while daydreaming and I was convinced I was missing something
2021-03-24 17:02:04 +0100Sornaensis(~Sornaensi@79.142.232.102.static.router4.bolignet.dk)
2021-03-24 17:03:07 +0100 <ij> tomsmeding, could you whip that up in lambdabot?
2021-03-24 17:03:20 +0100 <tomsmeding> the type class thing?
2021-03-24 17:03:23 +0100 <ij> aha
2021-03-24 17:03:32 +0100 <tomsmeding> well the contents of the type class would kind of depend on what you're doing with those types :p
2021-03-24 17:03:59 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-03-24 17:04:22 +0100 <tomsmeding> % class IJthing a where onlySmallOnes :: a -> a
2021-03-24 17:04:23 +0100 <yahb> tomsmeding:
2021-03-24 17:04:37 +0100Sorna(~Sornaensi@79.142.232.102) (Ping timeout: 258 seconds)
2021-03-24 17:04:56 +0100 <tomsmeding> % instance IJthing (Map Int Int) where onlySmallOnes = M.filter (< 10)
2021-03-24 17:04:56 +0100 <yahb> tomsmeding: ; <interactive>:66:19: error:; Not in scope: type constructor or class `Map'; Perhaps you meant `M.Map' (imported from Data.Map)
2021-03-24 17:05:03 +0100 <tomsmeding> % instance IJthing (M.Map Int Int) where onlySmallOnes = M.filter (< 10)
2021-03-24 17:05:03 +0100 <yahb> tomsmeding:
2021-03-24 17:05:12 +0100Sorny(~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 260 seconds)
2021-03-24 17:05:16 +0100 <tomsmeding> % instance IJthing (M.Map Int (Set a)) where onlySmallOnes = M.filter ((< 10) . Set.size)
2021-03-24 17:05:16 +0100 <yahb> tomsmeding: ; <interactive>:68:30: error:; Not in scope: type constructor or class `Set'; Perhaps you meant one of these: `S.Set' (imported from Data.Set), `Seq.Seq' (imported from Data.Sequence); <interactive>:68:79: error:; Not in scope: `Set.size'; Perhaps you meant `S.size' (imported from Data.Set); No module named `Set' is imported.
2021-03-24 17:05:20 +0100 <tomsmeding> % instance IJthing (M.Map Int (Set a)) where onlySmallOnes = M.filter ((< 10) . S.size)
2021-03-24 17:05:20 +0100 <yahb> tomsmeding: ; <interactive>:69:30: error:; Not in scope: type constructor or class `Set'; Perhaps you meant one of these: `S.Set' (imported from Data.Set), `Seq.Seq' (imported from Data.Sequence)
2021-03-24 17:05:24 +0100 <tomsmeding> % instance IJthing (M.Map Int (S.Set a)) where onlySmallOnes = M.filter ((< 10) . S.size)
2021-03-24 17:05:24 +0100 <yahb> tomsmeding:
2021-03-24 17:05:40 +0100 <tomsmeding> % onlySmallOnes (M.fromList [(1,1), (2,10), (3,5)])
2021-03-24 17:05:40 +0100 <yahb> tomsmeding: ; <interactive>:71:1: error:; * No instance for (IJthing (M.Map Integer Integer)) arising from a use of `it'; * In the first argument of `print', namely `it'; In a stmt of an interactive GHCi command: print it
2021-03-24 17:05:50 +0100 <tomsmeding> % onlySmallOnes (M.fromList [(1,1), (2,10), (3,5)] :: M.Map Int Int)
2021-03-24 17:05:50 +0100 <yahb> tomsmeding: fromList [(1,1),(3,5)]
2021-03-24 17:06:16 +0100 <tomsmeding> % onlySmallOnes (M.fromList [(1,S.fromList [1]), (2,S.fromList [1..10]), (3,S.fromList [1..5])] :: M.Map Int (Set Int))
2021-03-24 17:06:16 +0100 <yahb> tomsmeding: ; <interactive>:73:109: error:; Not in scope: type constructor or class `Set'; Perhaps you meant one of these: `S.Set' (imported from Data.Set), `Seq.Seq' (imported from Data.Sequence)
2021-03-24 17:06:21 +0100 <tomsmeding> % onlySmallOnes (M.fromList [(1,S.fromList [1]), (2,S.fromList [1..10]), (3,S.fromList [1..5])] :: M.Map Int (S.Set Int))
2021-03-24 17:06:21 +0100 <yahb> tomsmeding: fromList [(1,fromList [1]),(3,fromList [1,2,3,4,5])]
2021-03-24 17:06:30 +0100fendor_(~fendor@91.141.1.9.wireless.dyn.drei.com)
2021-03-24 17:06:31 +0100 <tomsmeding> ij: okay so ignoring all the errors, something like this :)
2021-03-24 17:06:58 +0100 <tomsmeding> where onlySmallOnes is one of the things you want to work for both types
2021-03-24 17:07:25 +0100Kaeipi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-24 17:07:39 +0100 <tomsmeding> it would be nice if most of your functionality that you want to share over both types can be expressed in terms of a few, smallish base functions that you can put in the typeclass
2021-03-24 17:07:41 +0100 <ski> perhaps MPTC (with FD) or associated types could be an alternative
2021-03-24 17:07:57 +0100Kaeipi(~Kaiepi@47.54.252.148)
2021-03-24 17:08:11 +0100tomsmedingis somewhat confused
2021-03-24 17:08:25 +0100 <tomsmeding> what associated type are you thinking about?
2021-03-24 17:08:48 +0100fendor(~fendor@91.141.1.53.wireless.dyn.drei.com) (Ping timeout: 245 seconds)
2021-03-24 17:08:58 +0100 <ski> associating `Int' with `Map Int Int' and `Set a' with `Map Int (Set a)'
2021-03-24 17:09:00 +0100average(uid473595@gateway/web/irccloud.com/x-mlwtnyrsvtyoarjl)
2021-03-24 17:09:12 +0100Kaeipi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-24 17:09:25 +0100 <ski> (iow, not having a single type that have both maps as alternatives)
2021-03-24 17:09:41 +0100Kaeipi(~Kaiepi@47.54.252.148)
2021-03-24 17:09:45 +0100 <tomsmeding> or even a type family
2021-03-24 17:09:55 +0100 <tomsmeding> I guess the usefulness of that depends on what exactly ij wants to do
2021-03-24 17:09:59 +0100 <ski> yea
2021-03-24 17:10:50 +0100 <ij> !unabbr FD
2021-03-24 17:11:09 +0100 <geekosaur> functional dependency
2021-03-24 17:11:16 +0100 <tomsmeding> MPTC = multi-parameter type classes
2021-03-24 17:11:24 +0100 <ij> the other one is googleable
2021-03-24 17:11:32 +0100 <tomsmeding> fair
2021-03-24 17:12:51 +0100 <ij> I think a typeclass should be enough
2021-03-24 17:13:31 +0100 <ij> however, if I want to put my "two datas with their instances of a typeclass", i.e. IJThing a => a inside a "data Progress", then I need existential types?
2021-03-24 17:13:59 +0100 <ski> do you ?
2021-03-24 17:14:26 +0100bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 240 seconds)
2021-03-24 17:14:31 +0100 <ij> I thought I did
2021-03-24 17:14:37 +0100 <ski> (also, it would be `IJThing a *> a', since `IJThing a => a' is not that useful)
2021-03-24 17:14:48 +0100 <ski> i dunno. i don't know your requirements, what you have in mind
2021-03-24 17:14:58 +0100 <tomsmeding> ij: would that 'a' type variable also be a type parameter of 'Progress'?
2021-03-24 17:15:15 +0100 <tomsmeding> as in: data Progress a = Progress Something (IJThing a) SomethingElse
2021-03-24 17:15:19 +0100 <ski> presumably not (in case it's going to encode an existential)
2021-03-24 17:15:42 +0100 <ij> I realized I probably don't need that, I just need the typeclass functions
2021-03-24 17:16:18 +0100vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-03-24 17:16:28 +0100 <tomsmeding> ski: where is (*>) from?
2021-03-24 17:16:35 +0100 <ij> I was also wondering
2021-03-24 17:16:45 +0100 <ski> do you (a) ever need to be able to accept both alternatives in the same place, and determine which of the alternatives that you got; (b) perhaps only need to accept both in the same place, without needing to do a case distinction ?
2021-03-24 17:16:49 +0100 <ski> tomsmeding : no
2021-03-24 17:17:14 +0100 <geekosaur> @index (*>)
2021-03-24 17:17:15 +0100 <lambdabot> Control.Applicative, Prelude
2021-03-24 17:17:18 +0100 <ski> `*>' is to `=>' as `(,)' is to `(->)' as `exists' is to `forall'
2021-03-24 17:17:28 +0100 <geekosaur> oh, ski'sspecial syntax again
2021-03-24 17:17:53 +0100 <tomsmeding> can you even define that type operator? :p
2021-03-24 17:17:57 +0100 <ski> `*>' is pseudo-Haskell syntax that i'm using, usually together with `exists', in order to more efficiently communicate and elucidate about such matters
2021-03-24 17:18:00 +0100 <ski> ues
2021-03-24 17:18:02 +0100 <ski> yes
2021-03-24 17:18:13 +0100 <tomsmeding> with that semantic meaning
2021-03-24 17:18:15 +0100 <ski> data cxt *> a = cxt => Wrap a
2021-03-24 17:18:33 +0100 <tomsmeding> wait does that work?
2021-03-24 17:18:33 +0100 <ski> data cxt *> a where Wrap :: cxt => a -> (cxt *> a)
2021-03-24 17:18:50 +0100 <tomsmeding> that's cool
2021-03-24 17:18:51 +0100 <ij> ski, (a) no, only one. don't care which, as long as typeclass functions are there (b) don't need cases
2021-03-24 17:18:54 +0100 <ski> however, the way i'm using it, informally, it's without an explicit wrapping data constructor
2021-03-24 17:18:56 +0100vicfred(~vicfred@unaffiliated/vicfred)
2021-03-24 17:19:26 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal)
2021-03-24 17:19:27 +0100 <tomsmeding> I see
2021-03-24 17:19:43 +0100 <ski> `T -> (forall a. C a => F a)' is equivalent to `forall a. C a => (T -> F a)'
2021-03-24 17:19:48 +0100tomsmedingalways used existentials directly
2021-03-24 17:19:59 +0100 <ski> `(exists a. C a *> F a) -> T' is equivalent to `forall a. C a => (F a -> T)'
2021-03-24 17:20:20 +0100 <ski> existentials don't exist in Haskell (with extensions), directly
2021-03-24 17:20:20 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 17:20:33 +0100 <ski> you have to encode them (using one of two encodings, typically)
2021-03-24 17:20:35 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 17:20:37 +0100 <tomsmeding> data Progress = forall a. IJThing a => Progress Something (IJThing a) SomethingElse
2021-03-24 17:20:40 +0100 <tomsmeding> is what I was thinking about
2021-03-24 17:20:44 +0100 <ski> (sometimes you can use a recursive type, instead)
2021-03-24 17:20:52 +0100 <tomsmeding> you do have to wrap them
2021-03-24 17:20:53 +0100 <ij> tomsmeding, right
2021-03-24 17:20:58 +0100 <ski> that's the "existential data constructor" encoding
2021-03-24 17:21:07 +0100 <tomsmeding> ski: the other being CPS?
2021-03-24 17:21:12 +0100 <ski> yea, Church
2021-03-24 17:21:17 +0100 <tomsmeding> yeah I see
2021-03-24 17:21:33 +0100 <ski> however, note that `exists s. (s,s -> F s)' is `nu s. F s'
2021-03-24 17:22:01 +0100 <ski> (just like `forall o. (F o -> o) -> o' is `mu o. F o')
2021-03-24 17:22:37 +0100tomsmedingknows nu and mu are greek letters
2021-03-24 17:22:42 +0100 <ij> (I think I'll be able to write it on the weekend now)
2021-03-24 17:22:54 +0100 <ij> tomsmeding, ski is light years ahead of me
2021-03-24 17:23:22 +0100 <ski> ij : ok, so it sounds like you don't need GADTs, then. try with type classes (probably with FD, if you need to go MPTC. or alternatively with AT. or maybe you could use a type family instead)
2021-03-24 17:23:54 +0100idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-24 17:24:04 +0100 <ski> tomsmeding : `mu' is least fixed-point, `nu' is greatest. `List a = mu r. 1 + a * r'. `Stream a = nu s. a * s'
2021-03-24 17:24:09 +0100 <ij> AT being?
2021-03-24 17:24:14 +0100conal(~conal@64.71.133.70)
2021-03-24 17:24:16 +0100 <tomsmeding> associated types
2021-03-24 17:24:18 +0100 <ski> Associated Types
2021-03-24 17:24:26 +0100 <ij> 🧐
2021-03-24 17:24:33 +0100 <tomsmeding> modulo capitalisation
2021-03-24 17:24:50 +0100 <ski> Haskell blurs the distinction, by allowing infinite values everywhere. (e.g. `List a')
2021-03-24 17:25:39 +0100 <ski> tomsmeding : `cata :: Functor f => (f o -> o) -> (Mu f -> o)' and `ana :: Functor f => (s -> f s) -> (s -> Nu f)'
2021-03-24 17:25:40 +0100 <tomsmeding> what whould `nu r. 1 + a * r' be?
2021-03-24 17:25:55 +0100 <ski> type of potentially finite streams
2021-03-24 17:26:06 +0100 <ski> (iow, not necessarily infinite)
2021-03-24 17:26:26 +0100Neuromancer(~Neuromanc@unaffiliated/neuromancer)
2021-03-24 17:26:52 +0100howdoi(uid224@gateway/web/irccloud.com/x-uvokrbifiycmuqdg)
2021-03-24 17:26:55 +0100 <tomsmeding> right, so mu and nu are respectively the smallest and largest types such that the given algebraic equality holds?
2021-03-24 17:26:56 +0100 <ski> the idea is that with `mu', we're expecting "finite depth" (if we're talking trees, we could still e.g. have infinite width, infinite branching, but each branch would be of finite depth)
2021-03-24 17:26:58 +0100 <tomsmeding> sort-of
2021-03-24 17:27:08 +0100 <ski> yea
2021-03-24 17:27:25 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-24 17:28:10 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net)
2021-03-24 17:28:30 +0100 <ski> e.g. `length' only terminates, for finite lists. so it's a partial function, if we're considering the type also including the infinite ones. but if we're only considering the subtype with the finite ones (which is not expressible in Haskell, so it has to be in our heads, and perhaps on paper proofs, &c.), then it's total
2021-03-24 17:28:48 +0100tomsmedingnods
2021-03-24 17:29:02 +0100 <tomsmeding> I don't completely follow your exists<->nu and forall<->mu equivalences though
2021-03-24 17:29:14 +0100 <ski> @type unfoldr
2021-03-24 17:29:16 +0100 <lambdabot> (b -> Maybe (a, b)) -> b -> [a]
2021-03-24 17:29:19 +0100 <maralorn> Uniaika: Bumping hlint was only a minor headache (ghc-lib-parser compiles quite slow), but it is updated now and will be merged into master on friday.
2021-03-24 17:29:50 +0100 <ski> this is `(s -> Maybe (a,s)) -> (s -> nu s. Maybe (a,s))' -- generating a possibly-finite stream
2021-03-24 17:30:02 +0100 <ij> ski, what kind of mathematics is this?
2021-03-24 17:30:59 +0100 <ski> by recursively expanding each "seed"/"state" `s' (starting with the initially given one), we can eliminate all of them, getting a (possibly) infinite-depth result, a (co)recursive, coinductive data type
2021-03-24 17:31:15 +0100 <tomsmeding> right
2021-03-24 17:31:37 +0100 <tomsmeding> would 'mu r. a * r = nu r. a * r' ?
2021-03-24 17:31:39 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-03-24 17:32:04 +0100 <ski> s >---> F s >---> F (F s) >---> F (F (F s)) >---> ... >-> F (F (F (F (...))) = nu s. F s
2021-03-24 17:32:19 +0100 <ij> corecursion sounds like parsing
2021-03-24 17:33:13 +0100 <ski> mu r. F r = F (F (F (F (...))) >---> ... >---> F (F (F r)) >---> F (F r) >---> F r >---> r
2021-03-24 17:33:26 +0100 <ski> that's what `ana' and `cata' does
2021-03-24 17:33:43 +0100 <peanut_> 🤔
2021-03-24 17:34:00 +0100 <ski> tomsmeding : no. `mu r. a * r' would be `0'
2021-03-24 17:34:01 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 17:34:12 +0100 <tomsmeding> lol
2021-03-24 17:34:13 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 17:34:19 +0100 <tomsmeding> I guess it satisfies the relation indeed
2021-03-24 17:34:20 +0100 <ski> with no starting points to generate from, you can't get off the ground
2021-03-24 17:34:48 +0100 <ski> ij : algebra / coalgebra
2021-03-24 17:35:16 +0100 <siraben> I wish Algebra of Programming went into coalgebras more
2021-03-24 17:35:23 +0100 <siraben> they only talked about least fixed points of functors which is Mu
2021-03-24 17:36:18 +0100son0p(~son0p@181.136.122.143)
2021-03-24 17:36:46 +0100 <siraben> IIRC there was some comprehensive overview bringing algebras, coalgebras and program calculation together
2021-03-24 17:36:54 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-24 17:36:55 +0100 <siraben> Ah yes, https://www.springer.com/gp/book/9783540436133
2021-03-24 17:37:23 +0100 <siraben> ski: if Hask is not a category, what should one use to analyze Haskell programs? Does CCC suffice?
2021-03-24 17:38:05 +0100 <sclv> one uses Hask
2021-03-24 17:38:10 +0100kritzefitz(~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
2021-03-24 17:38:18 +0100 <sclv> actual haskell doesn't correspond quite to Hask, but the total fragment does
2021-03-24 17:38:20 +0100ski. o O ( "A Tutorial on (Co)Algebras and (Co)Induction" by Bart Jacobs,Jan Rutten in 1997 at <https://www.cs.ru.nl/B.Jacobs/PAPERS/JR.pdf> )
2021-03-24 17:38:59 +0100 <sclv> so people do proofs in the total fragment and then make ad hoc arguments about how they extend to the language with partiality
2021-03-24 17:39:02 +0100 <siraben> ski: thanks for the reference.
2021-03-24 17:39:06 +0100heatsink_(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2021-03-24 17:39:08 +0100 <siraben> Coalgebras should be given just as much weight!
2021-03-24 17:39:14 +0100 <ski> yes
2021-03-24 17:39:33 +0100 <tomsmeding> ski: I think I get the feeling, but I need to digest a bit more. Thanks for the intro :)
2021-03-24 17:39:34 +0100 <ski> coalgebras are related to state machines, dynamical systems, objects (in the sense of object-orientation)
2021-03-24 17:39:43 +0100 <siraben> sclv: something like "Fast and Loose Reasoning is Morally Correct" https://www.cs.ox.ac.uk/jeremy.gibbons/publications/fast+loose.pdf ?
2021-03-24 17:39:54 +0100 <sclv> people have speculated about a sort of enriched notion of a category where you might do everything directly (with partiality baked into the arrows) but its never been adequately worked out
2021-03-24 17:40:01 +0100 <sclv> siraben: yeah, basically
2021-03-24 17:40:02 +0100 <siraben> ski: how does bisimulation fit into the picture?
2021-03-24 17:40:12 +0100 <ski> (it's no coincidence that existentials often comes up when people are doing some kind of OO-like stuff)
2021-03-24 17:40:36 +0100 <sclv> bisimulation is an equality relation one can use for coinductive stuff, which can be used in some proofs
2021-03-24 17:40:36 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 17:40:47 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 17:40:53 +0100 <ski> siraben : behavioural equivalence of objects or processes. related to coinduction in some not totally obvious way
2021-03-24 17:40:59 +0100 <sclv> the other thing i'm fond of is clocked/guarded recursive type theory
2021-03-24 17:41:15 +0100 <siraben> I see.
2021-03-24 17:41:22 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds)
2021-03-24 17:41:26 +0100 <sclv> so one can work in a language with richer typing (a guarded delay modality) and project the proofs down to a system lacking them
2021-03-24 17:41:26 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) (Ping timeout: 264 seconds)
2021-03-24 17:41:32 +0100 <siraben> btw sclvare you a researcher?
2021-03-24 17:41:53 +0100 <sclv> sporadically, i'm really more in industry, but i try to keep up
2021-03-24 17:41:55 +0100 <ski> anyway, above, each `F' could be thought of as a "layer" in a data structure. with `ana', you're building up layers. with `cata', you're tearing them down
2021-03-24 17:42:05 +0100 <siraben> oh, very nice.
2021-03-24 17:42:39 +0100Merfont(~Kaiepi@47.54.252.148)
2021-03-24 17:43:17 +0100 <ski> for termination, `cata' assumes that all paths/branches are finite (but they be of unbounded depth, e.g. in the infinitely-wide tree case). while `ana' assumes that you'll only ever inspect a path to finite depth (or else you'd not get progress)
2021-03-24 17:43:41 +0100 <ski> (s/they be/they could be/)
2021-03-24 17:43:56 +0100ozataman(~ozataman@pool-151-202-25-12.nycmny.fios.verizon.net) (Ping timeout: 240 seconds)
2021-03-24 17:44:37 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net)
2021-03-24 17:44:39 +0100 <ski> inductive data types are associated with termination, and coinductive are associated with progress. as in a server eventually making progress, not getting stuck, while still potentially never terminating
2021-03-24 17:44:50 +0100 <tomsmeding> cool!
2021-03-24 17:45:25 +0100 <ski> (in general, in total programming, one would commonly use "termination" (or "termination and progress") as an umbrella term for both)
2021-03-24 17:45:33 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 17:45:55 +0100 <ski> if you have a `Stream a' (infinite depth), you can inspect it with a `Nat' (finite depth), and you'll terminate
2021-03-24 17:46:15 +0100 <ski> if you attempted to inspect it with an "infinite natural" (`inf = Succ inf'), you'd not terminate
2021-03-24 17:46:43 +0100Kaeipi(~Kaiepi@47.54.252.148) (Ping timeout: 245 seconds)
2021-03-24 17:46:45 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 264 seconds)
2021-03-24 17:47:12 +0100beardhatcode(robbertbea@gateway/shell/matrix.org/x-czxkutvkgyyqphjm) (Ping timeout: 260 seconds)
2021-03-24 17:47:44 +0100mrus[m](mrusmatrix@gateway/shell/matrix.org/x-nyxisannhqxusqip) (Ping timeout: 268 seconds)
2021-03-24 17:47:44 +0100unclechu(unclechuma@gateway/shell/matrix.org/x-wfyfrzflxiiafrog) (Ping timeout: 268 seconds)
2021-03-24 17:48:21 +0100invent[m](inventmatr@gateway/shell/matrix.org/x-vetnnuxstyqknlip) (Ping timeout: 268 seconds)
2021-03-24 17:48:21 +0100jkaye[m](jkayematri@gateway/shell/matrix.org/x-qbldkaokruodskkg) (Ping timeout: 268 seconds)
2021-03-24 17:48:58 +0100arcontethegreat[(arcontethe@gateway/shell/matrix.org/x-godgukqzijrupgty) (Ping timeout: 268 seconds)
2021-03-24 17:48:58 +0100plumenator[m](plumenator@gateway/shell/matrix.org/x-ljfdmyhcpdaqbemc) (Ping timeout: 268 seconds)
2021-03-24 17:49:45 +0100 <siraben> How would you ensure a long lived process such as a server doesn't get stuck?
2021-03-24 17:50:21 +0100idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 264 seconds)
2021-03-24 17:50:49 +0100 <monochrom> That sounds very broad. But most causes of deadlocks are well known, so "just don't do that".
2021-03-24 17:50:57 +0100 <ski> there are also coalgebras in (non-CS related) math. e.g. "comonoids in a monoidal category" (confusingly, usually (it seems) called just "coalgebras", <https://en.wikipedia.org/wiki/Coalgebra>, specifically in the monoidal category of vector spaces, with tensor multiplication)
2021-03-24 17:51:53 +0100 <davean> siraben: my question is "How could it possibly get stuck?"
2021-03-24 17:53:15 +0100 <ski> (dolio recently linked to the talk "Coalgebra in Continuous Mathematics" by Larry Moss in 2020 at <https://youtu.be/XqywV-wkKSE?t=2486>)
2021-03-24 17:53:47 +0100 <siraben> I mean, would that entail modeling the server as a stream that is always productive?
2021-03-24 17:54:16 +0100 <ski> siraben : ensure that all subdivisions of its evolution, that involves at least one interaction with the environment, terminates ?
2021-03-24 17:54:34 +0100 <ski> yes
2021-03-24 17:54:55 +0100 <ski> (or perhaps in some other way, that implies such a modelling would be possible)
2021-03-24 17:56:42 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-03-24 17:57:08 +0100geekosaur(ac3a8f06@172.58.143.6) (Quit: Connection closed)
2021-03-24 17:57:30 +0100heatsink_(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-03-24 17:57:53 +0100ski. o O ( "Hask is not a category" by Andrej Bauer in 2016-08-06 at <http://math.andrej.com/2016/08/06/hask-is-not-a-category/> )
2021-03-24 17:58:22 +0100andreas31(~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 268 seconds)
2021-03-24 17:59:00 +0100jaroslawj(~jaroslawj@185.234.208.208.r.toneticgroup.pl)
2021-03-24 17:59:01 +0100 <Uniaika> maralorn: great, thanks :)
2021-03-24 17:59:34 +0100andreas31(~andreas@gateway/tor-sasl/andreas303)
2021-03-24 18:01:10 +0100jaroslawj(~jaroslawj@185.234.208.208.r.toneticgroup.pl) (Client Quit)
2021-03-24 18:01:34 +0100Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com)
2021-03-24 18:02:26 +0100beardhatcode(robbertbea@gateway/shell/matrix.org/x-wsgksmmgbbxtiufa)
2021-03-24 18:02:33 +0100unclechu(unclechuma@gateway/shell/matrix.org/x-rroohkjsifdpbejc)
2021-03-24 18:02:59 +0100mrus[m](mrusmatrix@gateway/shell/matrix.org/x-yhszxvhsbugdebak)
2021-03-24 18:03:09 +0100xff0x(~xff0x@2001:1a81:53c9:9f00:27ac:86d9:28a4:2240) (Ping timeout: 268 seconds)
2021-03-24 18:03:48 +0100xff0x(~xff0x@2001:1a81:53c9:9f00:1ee:8e19:4d6b:903d)
2021-03-24 18:04:45 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.1)
2021-03-24 18:05:09 +0100ph88(~ph88@ip5f5af71a.dynamic.kabel-deutschland.de)
2021-03-24 18:06:21 +0100jkaye[m](jkayematri@gateway/shell/matrix.org/x-oneawtzvjyybiofe)
2021-03-24 18:06:35 +0100invent[m](inventmatr@gateway/shell/matrix.org/x-atepmcggudcmcggg)
2021-03-24 18:07:56 +0100plumenator[m](plumenator@gateway/shell/matrix.org/x-qptmeamoejhofhvo)
2021-03-24 18:08:03 +0100arcontethegreat[(arcontethe@gateway/shell/matrix.org/x-yotrsdwouhpxhcjs)
2021-03-24 18:10:19 +0100stree(~stree@68.36.8.116) (Ping timeout: 256 seconds)
2021-03-24 18:10:33 +0100bitmagie(~Thunderbi@200116b8066df900d5323f70f4278fa3.dip.versatel-1u1.de)
2021-03-24 18:11:08 +0100acidjnk_new(~acidjnk@p200300d0c72b958398d78e73e557de79.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-03-24 18:11:19 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-03-24 18:16:21 +0100bitmagie(~Thunderbi@200116b8066df900d5323f70f4278fa3.dip.versatel-1u1.de) (Quit: bitmagie)
2021-03-24 18:16:38 +0100bitmagie(~Thunderbi@200116b8066df900d5323f70f4278fa3.dip.versatel-1u1.de)
2021-03-24 18:17:12 +0100bitmagie(~Thunderbi@200116b8066df900d5323f70f4278fa3.dip.versatel-1u1.de) (Client Quit)
2021-03-24 18:17:44 +0100 <hololeap> class Divisible f => Decidable f where ; lose :: (a -> Void) -> f a ; choose :: (a -> Either b c) -> f b -> f c -> f a
2021-03-24 18:18:01 +0100 <hololeap> the intuition for choose is pretty obvious, but i don't understand the intuition for lose
2021-03-24 18:20:23 +0100 <hololeap> "give me a function that takes 'a' and returns Void, and i'll give you 'a -> ByteString'" (for instance)
2021-03-24 18:20:59 +0100hexfive(~hexfive@50.35.83.177)
2021-03-24 18:21:00 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 18:21:23 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 18:21:30 +0100 <ski> iirc, when you find yourself in an impossible case, in your divide-and-conquer
2021-03-24 18:21:30 +0100 <Franciman> (a -> Void) means like, give me something false
2021-03-24 18:21:35 +0100 <Franciman> and I will assert that it is false
2021-03-24 18:21:36 +0100 <Franciman> ?
2021-03-24 18:21:36 +0100 <Franciman> lol
2021-03-24 18:22:26 +0100 <monochrom> Looks to me f is a contravariant functor.
2021-03-24 18:22:40 +0100 <ski> yes
2021-03-24 18:23:20 +0100 <monochrom> (a->Void) -> (a->ByteString) isn't that far-fetched
2021-03-24 18:23:32 +0100 <Franciman> it would be
2021-03-24 18:23:35 +0100 <Franciman> f :: a -> Void
2021-03-24 18:23:38 +0100stree(~stree@68.36.8.116)
2021-03-24 18:23:39 +0100 <Franciman> efq :: Void -> b
2021-03-24 18:23:45 +0100 <Franciman> efq . f :: a -> b
2021-03-24 18:23:46 +0100 <ski> <https://hackage.haskell.org/package/contravariant-1.5.3/docs/Data-Functor-Contravariant-Divisible.…>
2021-03-24 18:23:54 +0100 <hololeap> efq?
2021-03-24 18:24:01 +0100 <hololeap> i thought that function was called absurd
2021-03-24 18:25:21 +0100 <hololeap> anyway, i suppose it makes sense in a bizarre way. there's no way to construct 'f', thus nothing that can be passed into 'lose'
2021-03-24 18:25:22 +0100juri_(~juri@212.86.35.86) (Read error: Connection reset by peer)
2021-03-24 18:25:30 +0100Franciman(~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving)
2021-03-24 18:25:32 +0100Merfont(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-24 18:25:36 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-24 18:25:38 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-03-24 18:25:43 +0100Merfont(~Kaiepi@47.54.252.148)
2021-03-24 18:25:53 +0100neiluj(~jco@91-167-203-101.subs.proxad.net)
2021-03-24 18:25:54 +0100 <hololeap> or i suppose 'f' could be 'const undefined'
2021-03-24 18:25:57 +0100 <monochrom> "you have nothing to lose"
2021-03-24 18:25:58 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-24 18:25:59 +0100neiluj(~jco@91-167-203-101.subs.proxad.net) (Changing host)
2021-03-24 18:25:59 +0100neiluj(~jco@unaffiliated/neiluj)
2021-03-24 18:26:05 +0100graf_blutwurst(~user@2001:171b:226e:adc0:102c:ecb5:8d03:4f2b) (Remote host closed the connection)
2021-03-24 18:26:19 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-24 18:26:21 +0100 <monochrom> Ah but a=Void is possible
2021-03-24 18:26:46 +0100 <monochrom> lose (id :: Void -> Void) is possible.
2021-03-24 18:27:59 +0100 <ski> you might have a case-splitting where you'll later discover that one of the cases is impossible. i'm guessing that would be one main use of `lose'
2021-03-24 18:28:01 +0100 <monochrom> I think you keep forgetting that f is a contravariant functor. "sx :: f a" does not mean that sx produces an 'a' value or else bottoms out.
2021-03-24 18:28:23 +0100Kaeipi(~Kaiepi@47.54.252.148)
2021-03-24 18:28:28 +0100Merfont(~Kaiepi@47.54.252.148) (Read error: Connection reset by peer)
2021-03-24 18:29:58 +0100bahamas(~lucian@188.27.48.99)
2021-03-24 18:29:58 +0100bahamas(~lucian@188.27.48.99) (Changing host)
2021-03-24 18:29:58 +0100bahamas(~lucian@unaffiliated/bahamas)
2021-03-24 18:30:10 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds)
2021-03-24 18:30:19 +0100 <hololeap> regardless of it being a contravariant functor, it seems to me the only possibilities for 'f' would be 'const undefined' or 'id'
2021-03-24 18:30:22 +0100Boomerang(~Boomerang@2a05:f6c7:2179:0:f97c:9426:ef00:f528) (Quit: Leaving)
2021-03-24 18:30:50 +0100 <monochrom> Is "const" a term? a type?
2021-03-24 18:31:18 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-24 18:31:39 +0100 <peanut_> :t const
2021-03-24 18:31:41 +0100 <lambdabot> a -> b -> a
2021-03-24 18:31:46 +0100 <shapr> :t Const
2021-03-24 18:31:48 +0100 <lambdabot> forall k a (b :: k). a -> Const a b
2021-03-24 18:31:50 +0100Garbanzo(~Garbanzo@2602:304:6eac:dc10::2e) (Ping timeout: 264 seconds)
2021-03-24 18:32:09 +0100 <hololeap> i'm talking about 'const :: a -> b -> a' from Prelude
2021-03-24 18:32:16 +0100 <monochrom> So, term.
2021-03-24 18:32:21 +0100 <hololeap> :t const undefined
2021-03-24 18:32:22 +0100 <lambdabot> b -> a
2021-03-24 18:32:22 +0100 <monochrom> Is f a term? a type?
2021-03-24 18:32:51 +0100 <hololeap> 'f' is a term, the function that you pass into 'lose' from Data.Functor.Contravariant.Divisible
2021-03-24 18:33:28 +0100 <monochrom> If f is a term, what does "(a -> Either b c) -> f b -> f c -> f a" mean?
2021-03-24 18:33:35 +0100s00pcan(~chris@107.181.165.217) (Ping timeout: 240 seconds)
2021-03-24 18:33:51 +0100 <hololeap> i'm not talking about that 'f'. different 'f'
2021-03-24 18:33:52 +0100 <ski> hololeap : `void :: forall a. Void -> a; void v = case v of {}' would fit the bill, no ? (no `undefined' in sight !)
2021-03-24 18:34:25 +0100augnun(~augnun@2804:14c:658b:41bb:9d27:655f:eef9:d872)
2021-03-24 18:34:25 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 18:34:58 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 18:34:59 +0100 <ski> @kind Const
2021-03-24 18:35:00 +0100 <lambdabot> * -> k -> *
2021-03-24 18:35:25 +0100 <hololeap> lose :: (a -> Void) -> f a ; lose f = ...
2021-03-24 18:36:08 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 18:36:29 +0100 <monochrom> Do you mind not using the same name "f" for two different things?
2021-03-24 18:37:16 +0100 <hololeap> ok. this is just how the documentation names things, and also how Franciman named it when i first asked
2021-03-24 18:37:34 +0100 <monochrom> Fine.
2021-03-24 18:38:24 +0100 <ski> so `lose' will only be called with an `f' like `id' or `void', assuming no bottoms. so in that case `a' must be something like `Void'. possibly `Int :~: Bool' or some other vacuous of of a GADT
2021-03-24 18:38:44 +0100 <monochrom> "lose" is a class method. You're now talking implementing it. So you are talking writing "instance Decidable AnActualType where ...". What do you propose for AnActualType? Or would you want me to propose one?
2021-03-24 18:38:58 +0100 <ski> so, when `lose' is called, you know that there are no (total) elements of `a', which you can then use to successfully build an `f a' for your `f'
2021-03-24 18:39:41 +0100kuribas(~user@ptr-25vy0i8r3m7ulrlbw64.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-03-24 18:39:49 +0100viluon(uid453725@gateway/web/irccloud.com/x-tsrnritnmsiiiwsr)
2021-03-24 18:40:11 +0100 <ski> (perhaps `f a' does contain some other useful information, apart from a component that takes in an `a', that will be trivial in this case, calling `f' (and then `void'/`absurd', possibly)
2021-03-24 18:40:15 +0100 <ski> )
2021-03-24 18:40:21 +0100rajivr(uid269651@gateway/web/irccloud.com/x-yuttflczfhjstiup) (Quit: Connection closed for inactivity)
2021-03-24 18:40:37 +0100 <hololeap> monochrom: in the documentation, it uses 'newtype Serializer a = Serializer { runSerializer :: a -> ByteString }'. this is the instance of Decidable i was using conceptually
2021-03-24 18:41:48 +0100 <monochrom> So lose :: (a->Void) -> Serializer a. Morally, (a->Void)->(a->Bytestring). I think you know the answer now.
2021-03-24 18:41:50 +0100son0p(~son0p@181.136.122.143) (Quit: Lost terminal)
2021-03-24 18:42:02 +0100borne(~fritjof@200116b8644f8c00bc09546e2ac68572.dip.versatel-1u1.de) (Ping timeout: 264 seconds)
2021-03-24 18:43:43 +0100 <hololeap> i wasn't looking for an "answer", i was looking for help developing an intuition as to when 'lose' would be used and why it's included in the class.
2021-03-24 18:44:09 +0100hololeapwill ponder what ski said
2021-03-24 18:44:19 +0100 <c_wraith> you'd use it to erase a case that can't happen
2021-03-24 18:44:48 +0100 <c_wraith> that's what acting as an identity to choose implies
2021-03-24 18:45:11 +0100 <ski> @type either absurd
2021-03-24 18:45:13 +0100 <lambdabot> (b -> c) -> Either Void b -> c
2021-03-24 18:45:18 +0100 <ski> @type either absurd id
2021-03-24 18:45:20 +0100 <lambdabot> Either Void c -> c
2021-03-24 18:46:04 +0100 <hololeap> thanks everyone. i need some time to let this sink in
2021-03-24 18:46:18 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 245 seconds)
2021-03-24 18:46:48 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-24 18:48:26 +0100s00pcan(~chris@075-133-056-178.res.spectrum.com)
2021-03-24 18:49:26 +0100ski. o O ( `onlyFromRight :: Either Void a -> a; onlyFromRight = either void id' )
2021-03-24 18:49:29 +0100 <ski> @type fromRight
2021-03-24 18:49:31 +0100 <lambdabot> b -> Either a b -> b
2021-03-24 18:50:04 +0100ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 18:50:49 +0100peanut_(~peanut_@2a02:8388:a101:2600:4b2:18d8:9396:5c4f) (Quit: Leaving)
2021-03-24 18:52:31 +0100s00pcan(~chris@075-133-056-178.res.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 18:53:10 +0100ski. o O ( `onlySnd :: ((),a) -> a; onlySnd ((),a) = a' )
2021-03-24 18:54:33 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2021-03-24 18:54:38 +0100cyphase(~cyphase@unaffiliated/cyphase) (Ping timeout: 258 seconds)
2021-03-24 18:54:38 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 18:55:04 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 18:57:11 +0100cyphase(~cyphase@unaffiliated/cyphase)
2021-03-24 18:59:12 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01) (Ping timeout: 244 seconds)
2021-03-24 18:59:38 +0100jespada(~jespada@90.254.243.187) (Ping timeout: 245 seconds)
2021-03-24 18:59:44 +0100borne(~fritjof@200116b8644f8c00bc09546e2ac68572.dip.versatel-1u1.de)
2021-03-24 19:01:40 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-24 19:02:15 +0100ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-24 19:03:06 +0100jespada(~jespada@90.254.243.187)
2021-03-24 19:06:18 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net) (Quit: WeeChat 3.0.1)
2021-03-24 19:07:00 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01)
2021-03-24 19:07:00 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01) (Max SendQ exceeded)
2021-03-24 19:07:10 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01)
2021-03-24 19:07:11 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01) (Max SendQ exceeded)
2021-03-24 19:07:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-03-24 19:07:22 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01)
2021-03-24 19:07:22 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01) (Max SendQ exceeded)
2021-03-24 19:07:23 +0100 <hololeap> ski: "... you know that there are no (total) elements of `a' ..." what do you mean by total elements?
2021-03-24 19:07:33 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01)
2021-03-24 19:07:34 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01) (Max SendQ exceeded)
2021-03-24 19:07:39 +0100__monty__(~toonn@unaffiliated/toonn)
2021-03-24 19:07:43 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01)
2021-03-24 19:07:44 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01) (Max SendQ exceeded)
2021-03-24 19:07:55 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01)
2021-03-24 19:07:55 +0100wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01) (Max SendQ exceeded)
2021-03-24 19:09:47 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-03-24 19:10:28 +0100malumore(~malumore@151.62.115.239) (Ping timeout: 245 seconds)
2021-03-24 19:10:39 +0100dandart(~Thunderbi@home.dandart.co.uk) (Quit: dandart)
2021-03-24 19:15:04 +0100 <hololeap> is this part of the idea that Hask has an extra 'bottom' element for every type?
2021-03-24 19:15:09 +0100juri_(~juri@212.86.35.86)
2021-03-24 19:15:26 +0100 <hololeap> so Void isn't quite devoid of elements?
2021-03-24 19:17:00 +0100dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-03-24 19:17:47 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 19:18:00 +0100juri_(~juri@212.86.35.86) (Read error: Connection reset by peer)
2021-03-24 19:20:13 +0100juri_(~juri@212.86.35.86)
2021-03-24 19:22:17 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 256 seconds)
2021-03-24 19:22:38 +0100 <maerwald> how do you convert ByteArray# to a ByteString?
2021-03-24 19:23:05 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 19:23:38 +0100Tops2(~Tobias@dyndsl-095-033-092-175.ewe-ip-backbone.de)
2021-03-24 19:25:35 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-24 19:25:54 +0100juuandyy(~juuandyy@90.106.228.121)
2021-03-24 19:25:57 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-24 19:28:03 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net)
2021-03-24 19:28:27 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-24 19:28:27 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 19:28:31 +0100 <ski> hololeap : `undefined'/`_|_' and `2 : undefined'/`2 : _|_' being partial (not total) elements of `[Integer]'
2021-03-24 19:28:33 +0100borne(~fritjof@200116b8644f8c00bc09546e2ac68572.dip.versatel-1u1.de) (Ping timeout: 272 seconds)
2021-03-24 19:28:40 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 19:28:46 +0100 <ski> hololeap : yes
2021-03-24 19:28:47 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 19:29:25 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 19:33:37 +0100geekosaur(42d52137@66.213.33.55)
2021-03-24 19:33:57 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-03-24 19:34:34 +0100s00pcan(~chris@075-133-056-178.res.spectrum.com)
2021-03-24 19:34:58 +0100kmein(~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao)
2021-03-24 19:35:15 +0100kmein(~weechat@static.173.83.99.88.clients.your-server.de)
2021-03-24 19:36:03 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 19:36:52 +0100 <monochrom> maerwald: Looks like copying is unavoidable because ByteString uses ForeignPtr Word8.
2021-03-24 19:37:27 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 260 seconds)
2021-03-24 19:37:50 +0100 <monochrom> And possibly manual coding up that copying, at that.
2021-03-24 19:40:23 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-24 19:40:54 +0100juuandyy(~juuandyy@90.106.228.121) (Quit: Konversation terminated!)
2021-03-24 19:42:05 +0100juuandyy(~juuandyy@90.106.228.121)
2021-03-24 19:42:05 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 19:42:23 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 19:48:40 +0100malumore(~malumore@151.62.115.239)
2021-03-24 19:48:41 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 19:48:59 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 19:49:45 +0100frozenErebus(~frozenEre@94.128.81.87) (Ping timeout: 264 seconds)
2021-03-24 19:49:59 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-24 19:50:26 +0100Kaeipi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-24 19:50:42 +0100Kaeipi(~Kaiepi@47.54.252.148)
2021-03-24 19:53:11 +0100frozenErebus(~frozenEre@94.128.81.87)
2021-03-24 19:53:59 +0100todda7(~torstein@2a02:587:1b19:7e00:c6c7:4f08:2883:aa95) (Ping timeout: 265 seconds)
2021-03-24 19:54:38 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-03-24 19:56:09 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Remote host closed the connection)
2021-03-24 19:56:45 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 20:00:21 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-24 20:00:41 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 20:01:20 +0100todda7(~torstein@2a02:587:1b17:de00:b1fa:5a99:4acf:bd72)
2021-03-24 20:02:14 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-24 20:02:35 +0100xelxebar_(~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2021-03-24 20:03:00 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-03-24 20:03:15 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 240 seconds)
2021-03-24 20:03:24 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Ping timeout: 268 seconds)
2021-03-24 20:03:29 +0100berberman_(~berberman@unaffiliated/berberman)
2021-03-24 20:03:36 +0100nuncanada(~dude@179.235.160.168)
2021-03-24 20:05:17 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2021-03-24 20:05:20 +0100 <maerwald> monochrom: https://hackage.haskell.org/package/bytestring-0.11.1.0/docs/Data-ByteString-Short.html#t:ShortByt…
2021-03-24 20:05:22 +0100 <maerwald> ah...
2021-03-24 20:05:32 +0100juuandyy(~juuandyy@90.106.228.121) (Quit: Konversation terminated!)
2021-03-24 20:06:22 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 244 seconds)
2021-03-24 20:06:57 +0100 <maerwald> SBS... that was easy
2021-03-24 20:07:06 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 268 seconds)
2021-03-24 20:07:19 +0100 <monochrom> heh
2021-03-24 20:08:27 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2021-03-24 20:08:47 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-03-24 20:08:47 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 20:09:05 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 20:10:42 +0100geekosaur(42d52137@66.213.33.55) (Ping timeout: 240 seconds)
2021-03-24 20:10:45 +0100Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 264 seconds)
2021-03-24 20:10:55 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2021-03-24 20:11:28 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-03-24 20:12:07 +0100hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-03-24 20:13:19 +0100 <maerwald> except there's no conversion from ShortByteString to Text
2021-03-24 20:14:30 +0100geekosaur(42d52137@66.213.33.55)
2021-03-24 20:18:24 +0100isovector(~isovector@172.103.216.166.cable.tpia.cipherkey.com)
2021-03-24 20:18:37 +0100isovector(~isovector@172.103.216.166.cable.tpia.cipherkey.com) ("WeeChat 3.1")
2021-03-24 20:19:18 +0100hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer)
2021-03-24 20:20:09 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 20:21:38 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2021-03-24 20:21:42 +0100 <maerwald> so from ByteArray to String would be copying twice afais
2021-03-24 20:22:06 +0100Lycurgus(~niemand@98.4.119.196)
2021-03-24 20:22:09 +0100dolio(~dolio@haskell/developer/dolio) (Ping timeout: 246 seconds)
2021-03-24 20:22:09 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 20:22:40 +0100dawiss(~dawiss@178.43.197.203.ipv4.supernova.orange.pl) (Remote host closed the connection)
2021-03-24 20:22:41 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 20:24:38 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Ping timeout: 264 seconds)
2021-03-24 20:24:58 +0100todda7(~torstein@2a02:587:1b17:de00:b1fa:5a99:4acf:bd72) (Quit: Konversation terminated!)
2021-03-24 20:25:31 +0100 <codygman__> This is interesting. A custom quasi quoter using TH.dataToExpQ crashes haskell-language server with `m32_allocator_init: Failed to map` on8.10.4: https://github.com/haskell/haskell-language-server/issues/1497#issuecomment-806070162
2021-03-24 20:25:35 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-24 20:25:57 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-24 20:26:36 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-24 20:26:51 +0100 <tomsmeding> maerwald: what's your final goal? ByteArray# to Text where each byte is interpreted as Latin-1? Or the whole thing interpreted as UTF-? ?
2021-03-24 20:27:11 +0100dolio(~dolio@haskell/developer/dolio)
2021-03-24 20:27:15 +0100 <maerwald> tomsmeding: ByteArray# to String, decoded as Utf16LE
2021-03-24 20:27:26 +0100 <maerwald> which is two copies
2021-03-24 20:28:00 +0100 <maerwald> `T.pack . E.decodeUtf16LE . B.fromShort . B.SBS`
2021-03-24 20:28:13 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-24 20:28:15 +0100 <maerwald> I'm not satisfied
2021-03-24 20:28:21 +0100 <tomsmeding> T.unpack?
2021-03-24 20:29:04 +0100 <maerwald> what?
2021-03-24 20:29:05 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 20:29:15 +0100 <geekosaur> your T.pack seems wrong
2021-03-24 20:29:16 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 20:29:26 +0100 <maerwald> yeah
2021-03-24 20:29:33 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net)
2021-03-24 20:29:38 +0100 <geekosaur> it's already packed after E.decode16LE
2021-03-24 20:29:39 +0100augnun(~augnun@2804:14c:658b:41bb:9d27:655f:eef9:d872) (Quit: WeeChat 3.1)
2021-03-24 20:31:04 +0100 <maerwald> yes, T.unpack is O(n) :)
2021-03-24 20:31:17 +0100 <tomsmeding> maerwald: if you're feeling adventurous, this function (which is the backend of E.decodeUtf16LE) looks readily convertible to something that uses SBS.index and (:) https://hackage.haskell.org/package/text-1.2.4.1/docs/src/Data.Text.Internal.Encoding.Fusion.html#…
2021-03-24 20:31:46 +0100stree(~stree@68.36.8.116) (Ping timeout: 268 seconds)
2021-03-24 20:33:17 +0100 <monochrom> If you can find a utf16 decoder that goes from ByteString to String, you will save one level of marshalling.
2021-03-24 20:33:56 +0100 <tomsmeding> replace 'Yield c i' with 'c : next i', replace 'Done' with '[]', remove the 'Stream next 0' prefix, replace 'B.unsafeIndex' with 'SBS.index'
2021-03-24 20:34:01 +0100 <monochrom> Currently you are unhappy with T.unpack because the decoder emits Text.
2021-03-24 20:34:36 +0100 <tomsmeding> the result would be a thing that goes directly from SBS to String, and SBS from ByteArray# is a no-op
2021-03-24 20:35:00 +0100 <monochrom> However, I wouldn't worry about it for now. There is some chance fusion eliminates one level of marshalling and you need do nothing.
2021-03-24 20:35:40 +0100Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-24 20:35:40 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 20:35:52 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 20:37:33 +0100codygman`(~user@209.251.131.98)
2021-03-24 20:38:16 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds)
2021-03-24 20:38:21 +0100 <monochrom> More specifically, stream fusion, which means GHC may do for you what tomsmeding just said.
2021-03-24 20:38:21 +0100Kaeipi(~Kaiepi@47.54.252.148) (Read error: No route to host)
2021-03-24 20:38:21 +0100Kaiepi(~Kaiepi@47.54.252.148)
2021-03-24 20:38:32 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 20:38:39 +0100Lord_of_Life_Lord_of_Life
2021-03-24 20:39:33 +0100codygman__(~user@47.186.207.161) (Ping timeout: 264 seconds)
2021-03-24 20:39:49 +0100 <tomsmeding> yay fusion
2021-03-24 20:40:01 +0100 <monochrom> "Conditions apply."
2021-03-24 20:41:05 +0100 <tomsmeding> :(
2021-03-24 20:41:20 +0100 <monochrom> :)
2021-03-24 20:42:16 +0100 <maerwald> haskell performance: let's hope it's ok
2021-03-24 20:42:48 +0100 <monochrom> That holds for all code optimizations by all compilers of all languages.
2021-03-24 20:42:49 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 20:42:58 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 20:43:13 +0100 <monochrom> all to the same extent
2021-03-24 20:43:22 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Ping timeout: 260 seconds)
2021-03-24 20:43:46 +0100 <maerwald> I'd argue rust is easier :)
2021-03-24 20:44:17 +0100yoctocell(~user@h87-96-130-155.cust.a3fiber.se)
2021-03-24 20:44:17 +0100stree(~stree@68.36.8.116)
2021-03-24 20:44:22 +0100 <maerwald> but then you have to deal with the verbosity all the time
2021-03-24 20:44:24 +0100yoctocell(~user@h87-96-130-155.cust.a3fiber.se) ("ERC (IRC client for Emacs 28.0.50)")
2021-03-24 20:46:23 +0100 <monochrom> For example, in gcc and clang, myvar % 37 is optimized, myvar % anothervar is not, except when constant propagation discovers that anothervar was set to 37 and never changed so it's myvar % 37 again, except when something else confuses constant propagation so it gives up, except when something yet else enables conditional constant propagation so it's all good again, except ... etc etc infinite series of excepts and counterexcepts.
2021-03-24 20:47:03 +0100 <monochrom> Heuristics. All is heuristics for code optimization. You can hope or you can rabbit hole.
2021-03-24 20:48:14 +0100Franciman(~francesco@host-79-53-62-46.retail.telecomitalia.it)
2021-03-24 20:52:10 +0100 <monochrom> What you can bet on is that idiomatic code gets a lot of attention from authors of code optimizations. In the case of Haskell, one such idiom is transducer pipelines like "f . g . h" where the intermediate data structures are lists and arrays.
2021-03-24 20:55:03 +0100 <monochrom> Alternatively, if you're cynical (I am on prime-numbered days): Bet on academic-publishable code optimizations such as list fusion and stream fusion (Vector, Text, ByteString... so arrays).
2021-03-24 20:55:36 +0100 <monochrom> This cynical theory explains why GHC doesn't optimize myvar % 37. >:)
2021-03-24 20:56:21 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds)
2021-03-24 20:56:47 +0100geekosaurfingers fromInteger there, and notes that there is active work to improve that so it might eventually happen
2021-03-24 20:57:03 +0100xourt(d4c620ea@212-198-32-234.rev.numericable.fr)
2021-03-24 20:57:34 +0100 <geekosaur> "might"
2021-03-24 20:57:35 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 20:58:07 +0100 <monochrom> Less cynically, the stream fusion paper and idea are really clever, I recommend that you read it. Part of it is leverage how GHC already knows to simplify "case x of C1 -> case x of C1 -> ..." because obviously the second check-for-C1 is unnecessary.
2021-03-24 20:59:09 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-24 20:59:32 +0100 <monochrom> I have forgotten further details, so don't quote it on me. :)
2021-03-24 20:59:39 +0100irc_user(uid423822@gateway/web/irccloud.com/x-unailobkgqldbboi)
2021-03-24 20:59:54 +0100 <monochrom> But the trick is really clever and beautiful.
2021-03-24 21:01:20 +0100 <L29Ah> https://hackage.haskell.org/package/bytestring-0.11.0.0/docs/Data-ByteString-Internal.html#v:fromF…
2021-03-24 21:01:21 +0100 <L29Ah> is the data referred by the pointer going to be free()d during the GC of the ByteString?
2021-03-24 21:02:03 +0100Sorna(~Sornaensi@077213203030.dynamic.telenor.dk)
2021-03-24 21:02:33 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-24 21:02:33 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 21:02:40 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 21:03:03 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 21:03:30 +0100 <monochrom> The input foreign pointer is supposed to come with its own finalizer installed before you give it to fromForeignPtr.
2021-03-24 21:03:42 +0100 <L29Ah> thanks!
2021-03-24 21:03:48 +0100mp___(mp@hell.cx) (Ping timeout: 246 seconds)
2021-03-24 21:03:53 +0100L29Ahfeels he found a big chunk of memory leaks on Hackage
2021-03-24 21:04:02 +0100 <maerwald> tomsmeding: so you think the decoder won't break fusion?
2021-03-24 21:05:32 +0100petersen(~petersen@redhat/juhp) (Ping timeout: 260 seconds)
2021-03-24 21:05:57 +0100Sornaensis(~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 264 seconds)
2021-03-24 21:06:00 +0100 <Uniaika> L29Ah: nice
2021-03-24 21:06:17 +0100Yumasi(~guillaume@static-176-175-104-214.ftth.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-03-24 21:08:23 +0100petersen(~petersen@redhat/juhp)
2021-03-24 21:08:25 +0100 <tomsmeding> maerwald: which decoder? my ad-hoc modified version of streamUtf16LE?
2021-03-24 21:08:31 +0100 <tomsmeding> I have no idea :)
2021-03-24 21:08:55 +0100 <tomsmeding> monochrom seems to believe fusion has a high chance of working on your seemingly-inefficient pipeline
2021-03-24 21:08:58 +0100vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-03-24 21:09:17 +0100 <tomsmeding> I'm ¯\_(ツ)_/¯
2021-03-24 21:09:17 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 21:09:39 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 21:09:55 +0100Benzi-Junior(~BenziJuni@dsl-149-67-143.hive.is) (Ping timeout: 244 seconds)
2021-03-24 21:11:43 +0100knupfer(~Thunderbi@i59F7FF52.versanet.de) (Ping timeout: 245 seconds)
2021-03-24 21:14:44 +0100v01d4lph4(~v01d4lph4@106.212.133.35) (Remote host closed the connection)
2021-03-24 21:15:04 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-24 21:18:37 +0100geekosaur(42d52137@66.213.33.55) (Quit: Connection closed)
2021-03-24 21:19:14 +0100nuncanada(~dude@179.235.160.168) (Read error: Connection reset by peer)
2021-03-24 21:22:21 +0100kiweun(~kiweun@2607:fea8:2a62:9600:dd2c:1d97:d88b:9897)
2021-03-24 21:24:02 +0100xourt(d4c620ea@212-198-32-234.rev.numericable.fr) (Ping timeout: 240 seconds)
2021-03-24 21:25:12 +0100unlink2(~unlink2@p200300ebcf254d00a495fbc96206c979.dip0.t-ipconnect.de)
2021-03-24 21:26:32 +0100unlink_(~unlink2@p200300ebcf13b600588c7881abb1ea42.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-03-24 21:30:55 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net) (Remote host closed the connection)
2021-03-24 21:30:59 +0100kiweun(~kiweun@2607:fea8:2a62:9600:dd2c:1d97:d88b:9897) (Read error: Connection reset by peer)
2021-03-24 21:31:35 +0100kiweun(~kiweun@2607:fea8:2a62:9600:dd2c:1d97:d88b:9897)
2021-03-24 21:33:11 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net)
2021-03-24 21:33:26 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:a7dd:a3bb:c8b0:2d88) (Ping timeout: 240 seconds)
2021-03-24 21:34:22 +0100tato(~tato@201.209.92.147)
2021-03-24 21:36:09 +0100tatoscaryGarry
2021-03-24 21:36:09 +0100 <L29Ah> https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4585 do i get it right that this changeset doesn't demand all the libs to be rebuilt to take the advantage of PINNED profiling?
2021-03-24 21:36:54 +0100L29Ahgets insanely small numbers in his profiles that don't reflect the amount of memory consumed
2021-03-24 21:37:05 +0100 <L29Ah> maybe because i applied it on top of 9.0.1, dunno
2021-03-24 21:37:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-03-24 21:37:59 +0100kini(~kini@unaffiliated/kini) (Quit: bye)
2021-03-24 21:38:37 +0100 <scaryGarry> any literature suggestion for books on monad transformers or an introduction to parallelism in haskell?
2021-03-24 21:39:38 +0100flowFlow
2021-03-24 21:40:11 +0100Flowflow
2021-03-24 21:41:19 +0100 <ski> @where PCPH
2021-03-24 21:41:20 +0100 <lambdabot> "Parallel and Concurrent Programming in Haskell" by Simon Marlow in 2013 at <http://community.haskell.org/~simonmar/pcph/>,<http://chimera.labs.oreilly.com/books/1230000000929/>,<https://web.archive.
2021-03-24 21:41:20 +0100 <lambdabot> org/web/20180117194842/http://chimera.labs.oreilly.com/books/1230000000929>,<https://www.oreilly.com/library/view/parallel-and-concurrent/9781449335939/>
2021-03-24 21:41:37 +0100 <ski> @where AAM
2021-03-24 21:41:37 +0100 <lambdabot> http://www.haskell.org/haskellwiki/All_About_Monads
2021-03-24 21:41:40 +0100solidus-river(~mike@174.127.249.180)
2021-03-24 21:42:07 +0100 <ski> @where Typeclassopedia
2021-03-24 21:42:08 +0100 <lambdabot> http://www.haskell.org/haskellwiki/Typeclassopedia
2021-03-24 21:42:33 +0100kini(~kini@unaffiliated/kini)
2021-03-24 21:42:59 +0100landonf(landonf@mac68k.info) (Excess Flood)
2021-03-24 21:42:59 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 21:43:16 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 21:43:39 +0100jneira(501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182)
2021-03-24 21:44:51 +0100landonf(landonf@mac68k.info)
2021-03-24 21:46:04 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:bf91:2d52:7724:8d37)
2021-03-24 21:46:50 +0100bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds)
2021-03-24 21:49:26 +0100mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-03-24 21:51:01 +0100L29Ahgently pokes bgamari
2021-03-24 21:51:08 +0100 <bgamari> L29Ah, pong
2021-03-24 21:51:50 +0100 <L29Ah> bgamari: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4585 do i get it right that this changeset doesn't demand all the libs to be rebuilt to take the advantage of PINNED profiling, and can work on top of 9.0.1?
2021-03-24 21:52:29 +0100bgamaritries to page this back in
2021-03-24 21:52:45 +0100__minoru__shirae(~shiraeesh@46.34.207.1)
2021-03-24 21:53:22 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 260 seconds)
2021-03-24 21:53:30 +0100 <ephemient> L29Ah: aren't all libraries to be rebuilt to for each GHC version anyway?
2021-03-24 21:54:40 +0100 <L29Ah> ephemient: i'm on the same 9.0.1, except that changeset :)
2021-03-24 21:55:10 +0100srk(~sorki@gateway/tor-sasl/sorki) (Ping timeout: 268 seconds)
2021-03-24 21:55:30 +0100 <ephemient> ah, and it's an RTS-only change so you're hoping you can "just" re-link to make use of it?
2021-03-24 21:55:41 +0100 <L29Ah> yes
2021-03-24 21:57:12 +0100 <L29Ah> and now i don't see the huge PINNED thing at all, but the data is messed up (the profile entries are misordered, sometimes carry negative time, and after cleaning-up they report much lower memory consumption than my program had when it got terminated with +RTS -M
2021-03-24 21:57:27 +0100srk(~sorki@gateway/tor-sasl/sorki)
2021-03-24 21:57:38 +0100L29Ahnow rebuilds vanilla ghc to check with vanilla rts
2021-03-24 21:57:45 +0100son0p(~son0p@181.136.122.143)
2021-03-24 21:59:21 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-03-24 22:02:05 +0100apeyroux(~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 256 seconds)
2021-03-24 22:03:04 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-24 22:04:25 +0100 <bgamari> L29Ah, I am having a look
2021-03-24 22:04:55 +0100__minoru__shirae(~shiraeesh@46.34.207.1) (Ping timeout: 256 seconds)
2021-03-24 22:07:50 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-03-24 22:10:06 +0100Kaiepi(~Kaiepi@47.54.252.148) (Read error: Connection reset by peer)
2021-03-24 22:10:06 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 22:10:20 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 22:10:44 +0100coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-24 22:10:50 +0100solvr(57e3c46d@87.227.196.109)
2021-03-24 22:11:38 +0100Kaeipi(~Kaiepi@47.54.252.148)
2021-03-24 22:17:29 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-03-24 22:17:36 +0100aarvar1(~foewfoiew@2601:602:a080:fa0:8d5e:8b07:4f7a:6938)
2021-03-24 22:17:54 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-24 22:17:56 +0100aarvar(~foewfoiew@2601:602:a080:fa0:49ff:dc3d:e55f:8dd) (Ping timeout: 240 seconds)
2021-03-24 22:18:01 +0100aarvar1(~foewfoiew@2601:602:a080:fa0:8d5e:8b07:4f7a:6938) (Client Quit)
2021-03-24 22:18:41 +0100average(uid473595@gateway/web/irccloud.com/x-mlwtnyrsvtyoarjl) (Quit: Connection closed for inactivity)
2021-03-24 22:21:32 +0100frozenErebus(~frozenEre@94.128.81.87) (Ping timeout: 268 seconds)
2021-03-24 22:22:54 +0100hyiltiz(~quassel@unaffiliated/hyiltiz) (Ping timeout: 246 seconds)
2021-03-24 22:23:06 +0100conal(~conal@64.71.133.70)
2021-03-24 22:24:10 +0100scaryGarry(~tato@201.209.92.147) (Quit: leaving)
2021-03-24 22:24:10 +0100 <bgamari> L29Ah, I'm about to post a test which you can use to validate your patch
2021-03-24 22:24:14 +0100 <bgamari> it works for me on master
2021-03-24 22:24:17 +0100cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds)
2021-03-24 22:24:56 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-24 22:25:35 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-24 22:25:58 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-24 22:28:13 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-03-24 22:30:36 +0100average(uid473595@gateway/web/irccloud.com/x-jidrtzqhvfslyggr)
2021-03-24 22:30:37 +0100fendor_(~fendor@91.141.1.9.wireless.dyn.drei.com) (Remote host closed the connection)
2021-03-24 22:32:02 +0100fendor(~fendor@91.141.1.9.wireless.dyn.drei.com)
2021-03-24 22:33:03 +0100 <bgamari> L29Ah, https://gitlab.haskell.org/ghc/ghc/-/merge_requests/5361
2021-03-24 22:33:03 +0100conal(~conal@64.71.133.70) (Read error: Connection reset by peer)
2021-03-24 22:33:23 +0100 <bgamari> L29Ah, try compiling T7275.hs with
2021-03-24 22:33:38 +0100 <bgamari> ghc testsuite/tests/profiling/should_run/T7275.hs -prof -rtsopts
2021-03-24 22:33:54 +0100 <bgamari> and then running the executable with `+RTS -hc -i0`
2021-03-24 22:33:59 +0100 <bgamari> and examine the .hp file
2021-03-24 22:34:07 +0100 <bgamari> you should see counts from suzanne
2021-03-24 22:35:36 +0100 <bgamari> they should constitute the majority of the heap
2021-03-24 22:37:50 +0100conal(~conal@64.71.133.70)
2021-03-24 22:38:11 +0100son0p(~son0p@181.136.122.143) (Quit: leaving)
2021-03-24 22:39:20 +0100 <L29Ah> yeah it works, thanks
2021-03-24 22:39:51 +0100 <L29Ah> shows PINNED w/ vanilla /usr/lib64/ghc-9.0.1/rts and suzanne/robert w/ patched
2021-03-24 22:39:55 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 22:41:31 +0100 <L29Ah> apparently profiling is broken in 9.0.1 or smth
2021-03-24 22:41:31 +0100conal(~conal@64.71.133.70) (Read error: Connection reset by peer)
2021-03-24 22:42:38 +0100conal(~conal@64.71.133.70)
2021-03-24 22:42:54 +0100hyiltiz(~quassel@31.220.5.250)
2021-03-24 22:42:54 +0100hyiltiz(~quassel@31.220.5.250) (Changing host)
2021-03-24 22:42:54 +0100hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-03-24 22:44:03 +0100 <L29Ah> http://0x0.st/-qVm.hp typical result, with non-monotonic time
2021-03-24 22:44:21 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Ping timeout: 268 seconds)
2021-03-24 22:45:43 +0100 <L29Ah> at least the PINNED section is sensible
2021-03-24 22:45:51 +0100wonko7(~wonko7@45.15.17.60) (Ping timeout: 265 seconds)
2021-03-24 22:46:04 +0100 <solidus-river> hmm, im in waters i'm not used to and having trouble finding good resources on. I need to specifically pack a Int value as a UInt64 in network byte order into a Bytestring
2021-03-24 22:46:38 +0100 <L29Ah> solidus-river: Data.Binary?
2021-03-24 22:47:02 +0100 <L29Ah> UInt64 is called "Word64"
2021-03-24 22:47:37 +0100hyiltiz(~quassel@unaffiliated/hyiltiz) (Ping timeout: 260 seconds)
2021-03-24 22:48:13 +0100 <monochrom> Data.Binary.Put has putWord64be and putInt64be
2021-03-24 22:48:23 +0100 <L29Ah> ok apparently the negative samples appear somewhat at the end of the profiling process: http://0x0.st/-qVa.hp
2021-03-24 22:48:28 +0100Kaeipi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-24 22:48:36 +0100hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-03-24 22:49:13 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-24 22:49:35 +0100 <L29Ah> and some of positive ones become garbled
2021-03-24 22:49:47 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-03-24 22:49:56 +0100 <solidus-river> flush . putWord64be !
2021-03-24 22:50:03 +0100Kaiepi(~Kaiepi@47.54.252.148)
2021-03-24 22:50:04 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-24 22:50:05 +0100 <L29Ah> https://tinystash.undef.im/il/49NPXJTB4GNbAse1cNm4KKMgCVEhnFyKzXuJTDUFyP6KUYpA2omL6fYMKftSDupRhFBu…
2021-03-24 22:50:09 +0100 <solidus-river> but all the docs for Int are signed representations
2021-03-24 22:51:09 +0100 <solidus-river> oh, a word is a uint
2021-03-24 22:51:13 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2021-03-24 22:51:13 +0100 <solidus-river> huh?
2021-03-24 22:51:32 +0100 <solidus-river> thats a wierd naming, i associate word's with raw meaningless chunks of memory
2021-03-24 22:52:45 +0100stree(~stree@68.36.8.116) (Ping timeout: 264 seconds)
2021-03-24 22:53:08 +0100 <solidus-river> oh, sorry L29Ah i missed your second message :[
2021-03-24 22:53:59 +0100v01d4lph4(~v01d4lph4@106.212.133.35)
2021-03-24 22:55:18 +0100madjestic(~Android@86-88-72-244.fixed.kpn.net)
2021-03-24 22:55:50 +0100Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
2021-03-24 22:56:36 +0100Tops21(~Tobias@dyndsl-095-033-092-175.ewe-ip-backbone.de)
2021-03-24 22:56:56 +0100Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-03-24 22:57:40 +0100alx741(~alx741@186.178.108.164) (Ping timeout: 256 seconds)
2021-03-24 22:57:46 +0100 <monochrom> I am surprised that DeriveFunctor works fine with "newtype M a = M (forall m. m -> (a->m) -> m)"
2021-03-24 22:58:45 +0100v01d4lph4(~v01d4lph4@106.212.133.35) (Ping timeout: 256 seconds)
2021-03-24 23:00:19 +0100 <hololeap> ski, after letting it sink in, i think i understand now
2021-03-24 23:00:27 +0100 <hololeap> lose :: Decidable f => (a -> Void) -> f a ; lose toVoid = ...
2021-03-24 23:00:33 +0100Tops2(~Tobias@dyndsl-095-033-092-175.ewe-ip-backbone.de) (Ping timeout: 264 seconds)
2021-03-24 23:00:37 +0100 <hololeap> toVoid is proof that 'a' has no elements. that is, it is proof that it is isomorphic to Void.
2021-03-24 23:00:48 +0100 <hololeap> 'Either Void a -> r' and 'Either a Void -> r' are isomporphic to 'a -> r', which makes 'Op r Void' the identity to 'choose @(Op r)'
2021-03-24 23:01:03 +0100 <hololeap> ... or something like that. it's a bit hard to explain, but i think i get it :)
2021-03-24 23:01:38 +0100ubert(~Thunderbi@p200300ecdf25d975e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-03-24 23:01:48 +0100hyiltiz(~quassel@unaffiliated/hyiltiz) (Ping timeout: 265 seconds)
2021-03-24 23:02:11 +0100 <L29Ah> ok, +RTS -N breaks profiling
2021-03-24 23:02:28 +0100hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-03-24 23:02:31 +0100Rudd0(~Rudd0@185.189.115.103)
2021-03-24 23:03:50 +0100borne(~fritjof@200116b8644f8c00bc09546e2ac68572.dip.versatel-1u1.de)
2021-03-24 23:05:22 +0100knupfer(~Thunderbi@i59F7FF52.versanet.de)
2021-03-24 23:05:34 +0100stree(~stree@68.36.8.116)
2021-03-24 23:06:28 +0100tempate(~tempate@unaffiliated/tempate) ()
2021-03-24 23:07:15 +0100 <bgamari> L29Ah, sorry, had to run out or a moment
2021-03-24 23:07:16 +0100 <bgamari> L29Ah, oh?
2021-03-24 23:07:47 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 268 seconds)
2021-03-24 23:07:52 +0100 <bgamari> L29Ah, sorry, had to run out or a moment
2021-03-24 23:07:54 +0100 <bgamari> L29Ah, oh?
2021-03-24 23:07:56 +0100 <bgamari> L29Ah, I'm a tad surprised to hear that
2021-03-24 23:08:18 +0100 <L29Ah> bgamari: has nothing to do with the patchset tho
2021-03-24 23:08:31 +0100L29Ahfills a bug report
2021-03-24 23:08:38 +0100 <bgamari> right, I would have been surprised if it had
2021-03-24 23:08:40 +0100 <bgamari> L29Ah, thanks!
2021-03-24 23:08:48 +0100codygman`(~user@209.251.131.98) (Ping timeout: 245 seconds)
2021-03-24 23:08:57 +0100apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 256 seconds)
2021-03-24 23:10:01 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-03-24 23:10:27 +0100 <solidus-river> do i have to use Put with binary? i'm trying to use Builders but i'm getting type errors everywhere
2021-03-24 23:11:21 +0100 <Uniaika> I should explore other ways to serialise to binary without a type-class
2021-03-24 23:12:02 +0100Lycurgusconcludes, hastily perhaps there is no usable topoi hs thing yet
2021-03-24 23:12:08 +0100alx741(~alx741@186.178.108.68)
2021-03-24 23:12:23 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-24 23:12:24 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-24 23:12:54 +0100 <bgamari> solidus-river, I'm not entirely sure what you
2021-03-24 23:13:00 +0100 <monochrom> Data.Binary.Builder also has putWord64be and putInt64be for Builder.
2021-03-24 23:13:02 +0100 <bgamari> solidus-river, IIRC Builder is a synonym for Put
2021-03-24 23:13:04 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-24 23:13:19 +0100 <bgamari> or rather, the other way around
2021-03-24 23:13:40 +0100 <solidus-river> this doesn't type check and I'm wifing on why, still playing around in ghci
2021-03-24 23:13:42 +0100 <monochrom> Neither.
2021-03-24 23:13:53 +0100 <solidus-river> toLazyByteString . putWord64be . fromIntegral
2021-03-24 23:14:08 +0100 <solidus-river> i think that should be Num a => a => ByteString
2021-03-24 23:14:13 +0100malumore(~malumore@151.62.115.239) (Ping timeout: 245 seconds)
2021-03-24 23:14:39 +0100 <solidus-river> erm: Num a => a -> ByteString
2021-03-24 23:14:46 +0100shaunm(~shaunm@185.204.1.185) (Remote host closed the connection)
2021-03-24 23:15:24 +0100 <hololeap> solidus-river: did you mean toInteger instead of fromIntegral?
2021-03-24 23:15:46 +0100son0p(~son0p@181.136.122.143)
2021-03-24 23:15:59 +0100 <solidus-river> :t toInteger
2021-03-24 23:16:00 +0100 <lambdabot> Integral a => a -> Integer
2021-03-24 23:16:05 +0100 <solidus-river> :t fromIntegral
2021-03-24 23:16:06 +0100 <lambdabot> (Integral a, Num b) => a -> b
2021-03-24 23:16:28 +0100conal(~conal@64.71.133.70)
2021-03-24 23:17:40 +0100Lycurgus(~niemand@98.4.119.196) (Quit: Exeunt)
2021-03-24 23:17:40 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 23:17:56 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 23:18:34 +0100usr25(~usr25@unaffiliated/usr25)
2021-03-24 23:19:16 +0100 <hololeap> ignore that last statement of mine, but it would be: Integral a => a -> ByteString
2021-03-24 23:19:45 +0100is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 264 seconds)
2021-03-24 23:19:54 +0100kini(~kini@unaffiliated/kini) (Remote host closed the connection)
2021-03-24 23:21:11 +0100kini(~kini@unaffiliated/kini)
2021-03-24 23:21:49 +0100son0p(~son0p@181.136.122.143) (Quit: leaving)
2021-03-24 23:22:02 +0100dhil(~dhil@80.208.56.181) (Ping timeout: 256 seconds)
2021-03-24 23:23:08 +0100 <bgamari> monochrom, huh, so you are right
2021-03-24 23:23:57 +0100 <monochrom> :)
2021-03-24 23:24:19 +0100 <monochrom> YEAH DOCS
2021-03-24 23:24:19 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 23:24:31 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 23:24:42 +0100 <solidus-river> toInteger didn't help but I'm getting closer... does ghci bot have these things imported?
2021-03-24 23:25:07 +0100 <solidus-river> :t toLazyByteString . putWord64be . fromIntegral
2021-03-24 23:25:09 +0100 <lambdabot> error:
2021-03-24 23:25:09 +0100 <lambdabot> Variable not in scope: toLazyByteString :: b0 -> c
2021-03-24 23:25:16 +0100usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-03-24 23:25:16 +0100 <solidus-river> neope :P
2021-03-24 23:25:36 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-24 23:25:45 +0100 <solidus-river> somethings messed up with my packages. Its claiming Data.ByteString has no toStrict
2021-03-24 23:25:53 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-24 23:25:57 +0100zebrag(~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-24 23:26:01 +0100Franciman(~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving)
2021-03-24 23:26:44 +0100 <monochrom> toStrict belongs to Data.ByteString.Lazy
2021-03-24 23:26:57 +0100 <monochrom> Do you have access to Hoogle? Docs?
2021-03-24 23:27:29 +0100tempate(~tempate@unaffiliated/tempate)
2021-03-24 23:27:42 +0100mice-user(7712037d@119-18-3-125.771203.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds)
2021-03-24 23:28:05 +0100 <tempate> Can anyone recommend a good set of coding problems specifically meant to be solved in Haskell?
2021-03-24 23:28:49 +0100 <hololeap> it looks like PutM is basically the same as `Writer ByteString` (strict Writer), and `type Put = PutM ()`
2021-03-24 23:29:01 +0100 <maerwald> tempate: write a compiler
2021-03-24 23:30:00 +0100 <Axman6> tempate: https://wiki.haskell.org/H-99:_Ninety-Nine_Haskell_Problems https://blog.tmorris.net/posts/20-intermediate-haskell-exercises/
2021-03-24 23:30:53 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds)
2021-03-24 23:30:53 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 23:30:58 +0100 <tempate> Thank you very much, Axman6
2021-03-24 23:30:58 +0100 <Axman6> the latter is excellent, I won't say much more about it because it's intentionally a set of problems designed to make you let the types guide you
2021-03-24 23:31:07 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 23:31:19 +0100 <Axman6> Use the types Luke
2021-03-24 23:32:30 +0100 <solidus-river> monochrom: i'm using hackage docs but i'm not very good at navigating them i guess
2021-03-24 23:32:48 +0100 <solidus-river> toString is mentioned in the module documentation for Data.ByteString so i assumed it would be in there
2021-03-24 23:33:14 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-24 23:33:25 +0100 <tempate> Axman6: the second one does seem quite interesting. If you don't mind I'll get back at you once I've given it a try.
2021-03-24 23:34:02 +0100 <Axman6> yeah feel free to ask lots of questions here, it's likely you'll need some hints
2021-03-24 23:35:30 +0100 <tempate> Well, to be honest I didn't even know there were classes in Haskell
2021-03-24 23:35:49 +0100 <Axman6> you have much to learn then :)
2021-03-24 23:35:53 +0100 <tempate> tfw you learn from the question itself
2021-03-24 23:36:15 +0100Waifod(~Waifod@91.106.123.186) (Ping timeout: 240 seconds)
2021-03-24 23:36:26 +0100 <Axman6> if you haven't seen classes before, they're somewhat analogous to interfaces in, say, Java
2021-03-24 23:36:38 +0100 <Axman6> % :i Num
2021-03-24 23:36:38 +0100 <yahb> Axman6: type Num :: * -> Constraint; class Num a where; (+) :: a -> a -> a; (-) :: a -> a -> a; (*) :: a -> a -> a; negate :: a -> a; abs :: a -> a; signum :: a -> a; fromInteger :: Integer -> a; {-# MINIMAL (+), (*), abs, signum, fromInteger, (negate | (-)) #-}; -- Defined in `GHC.Num'; instance forall a. Integral a => Num (Ratio a) -- Defined in `GHC.Real'; instance Num Int8 -- Defined in `GHC.In
2021-03-24 23:36:43 +0100 <monochrom> solidus-river: Then consider version mismatch. bytestring-0.10.12.0 (from GHC 8.10.4) doesn't have toStrict in Data.ByteString. bytestring-0.11.* has it. Clearly, hackage always displays a version newer than what you actually use.
2021-03-24 23:36:54 +0100 <Axman6> hmm, that's a big class
2021-03-24 23:37:22 +0100 <monochrom> And Google, always 5 versions behind.
2021-03-24 23:37:41 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Read error: Connection reset by peer)
2021-03-24 23:37:42 +0100 <tempate> oh, right, I think a friend mentioned them once
2021-03-24 23:37:49 +0100 <monochrom> This is why I don't understand why serious developers don't build and read local docs. Internet docs are always the wrong version.
2021-03-24 23:38:02 +0100 <tempate> My only Haskell experience are days 1, 2 and 3 of Advent of Code 2020
2021-03-24 23:38:56 +0100 <Axman6> right, maybe you will find other resources a better place to start.
2021-03-24 23:39:49 +0100 <Axman6> monochrom: I think in the haskell worls a lot of that comes from not having good integration with tools like IDEs, but that's changing with HLS, I find myself using the docs on hover a lot
2021-03-24 23:40:07 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-03-24 23:40:58 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-03-24 23:41:06 +0100is_null(~jpic@pdpc/supporter/professional/is-null)
2021-03-24 23:42:50 +0100 <solidus-river> monochrom: good tip, running a haddock build now :) this is my first real big haskell project so I'm still getting the ropes of the dev workflow
2021-03-24 23:43:31 +0100 <Axman6> tempate: not sure how useful it is for learning initially, but keep this handy, it's something that I've learned new things from again and again over the years: http://dev.stephendiehl.com/hask/
2021-03-24 23:43:34 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 23:43:55 +0100 <monochrom> http://www.vex.net/~trebla/tmp/hasdoc is my shell script that guesses local doc location and pops it up in your web browser by an xdg-open call.
2021-03-24 23:44:28 +0100 <tempate> Axman6: well, I usually learn best by just diving right into problems and not going through endless books
2021-03-24 23:44:28 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 23:44:42 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 23:44:48 +0100 <tempate> (funnily enough this only happens to me with coding; I love reading)
2021-03-24 23:46:02 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-24 23:46:03 +0100 <Axman6> Many people get tripped up by doing that with Haskell, as it;s quite fundamentally different to what they already know - having taught Haskell at university, I often find people who haven't done any programming before find it easier to pick up as they don't have bad habbits ingrained already
2021-03-24 23:46:04 +0100jul1u5(~julius@85.206.103.207)
2021-03-24 23:46:31 +0100 <monochrom> RIght, dive-in works iff there is little surprise.
2021-03-24 23:46:58 +0100 <monochrom> The old age of "easy to pick up another language because just syntax change" ended 20 years ago.
2021-03-24 23:47:07 +0100 <solidus-river> tempate: welcome :) Haskells heavy on the learning up-front but I just started 2 weeks ago and have a non-trivial 7 socketed threaded zeromq server that deals with shared state etc in ~ 300 lines of pretty darn readable code
2021-03-24 23:47:44 +0100 <tempate> solidus-river: nice!
2021-03-24 23:48:12 +0100ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-03-24 23:48:23 +0100 <solidus-river> i'm still cleaning up my do notation and drying things up, it'll likely be sub 200 after drying up and switching over to the monad that zmq4 provides
2021-03-24 23:48:40 +0100 <solidus-river> i'm not including utility functions or imports in that count though
2021-03-24 23:49:52 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 23:49:57 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Remote host closed the connection)
2021-03-24 23:51:05 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 23:51:05 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 23:51:18 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 23:52:10 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-03-24 23:52:48 +0100mith[m](mithmatrix@gateway/shell/matrix.org/x-faoektnrbchujzvl)
2021-03-24 23:55:15 +0100 <solidus-river> and started working on the project 2 weeks ago, i've been hanging out in here and messing with haskell off and on for years now :X don't want to mis-represent things. I've just never tried to use it for anything "real world" till these last couple weeks
2021-03-24 23:55:46 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-24 23:56:27 +0100molehillish(~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Ping timeout: 272 seconds)
2021-03-24 23:57:08 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-24 23:57:48 +0100 <tempate> I have yet to write anything "real world", in any language
2021-03-24 23:57:48 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 23:57:52 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-03-24 23:57:59 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-24 23:58:23 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 23:58:25 +0100fendor(~fendor@91.141.1.9.wireless.dyn.drei.com) (Remote host closed the connection)
2021-03-24 23:59:00 +0100Guest84272(~marienz@217.146.82.202)
2021-03-24 23:59:05 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-03-24 23:59:38 +0100knupfer(~Thunderbi@i59F7FF52.versanet.de) (Ping timeout: 245 seconds)