IRCBrowse

2021/03/07

2021-03-07 00:00:05 +0100minoru_shiraeesh(~shiraeesh@109.166.57.19)
2021-03-07 00:00:09 +0100ADG1089__(~aditya@171.79.107.148) (Remote host closed the connection)
2021-03-07 00:01:12 +0100fendor_(~fendor@77.119.129.125.wireless.dyn.drei.com) (Remote host closed the connection)
2021-03-07 00:01:52 +0100ADG1089_(~adg1089@171.76.153.167)
2021-03-07 00:02:29 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2021-03-07 00:02:29 +0100ADG1089_(~adg1089@171.76.153.167) (Read error: Connection reset by peer)
2021-03-07 00:02:30 +0100bigbosskor(~Android@182.232.52.52) (Read error: Connection reset by peer)
2021-03-07 00:02:30 +0100__minoru__shirae(~shiraeesh@109.166.56.93) (Ping timeout: 265 seconds)
2021-03-07 00:02:42 +0100ADG1089_(~adg1089@171.79.107.148)
2021-03-07 00:03:16 +0100average(uid473595@gateway/web/irccloud.com/x-mxuhxqmtecrtlnul)
2021-03-07 00:04:02 +0100bigbosskor(~Android@182.232.52.52)
2021-03-07 00:04:24 +0100dunj3(~dunj3@2001:16b8:30df:bf00:1021:5127:4488:fa37) (Remote host closed the connection)
2021-03-07 00:05:59 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds)
2021-03-07 00:09:38 +0100maier(~maier@i59F67B82.versanet.de)
2021-03-07 00:10:34 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-07 00:10:47 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-07 00:13:00 +0100maier(~maier@i59F67B82.versanet.de) (Client Quit)
2021-03-07 00:13:43 +0100luite(sid387799@gateway/web/irccloud.com/x-ohgaypzpftwfeuju) (Ping timeout: 258 seconds)
2021-03-07 00:14:18 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-07 00:14:23 +0100AndreasK(sid320732@gateway/web/irccloud.com/x-dkyhwfkqsbmunfbl) (Ping timeout: 272 seconds)
2021-03-07 00:14:48 +0100ReinH__(sid179972@gateway/web/irccloud.com/x-meqpexydldcilwkm) (Ping timeout: 265 seconds)
2021-03-07 00:14:55 +0100luite(sid387799@gateway/web/irccloud.com/x-becizjrtxujowngt)
2021-03-07 00:15:01 +0100joshmeredith(sid387798@gateway/web/irccloud.com/x-dezbyhmunjmqgqyo) (Ping timeout: 272 seconds)
2021-03-07 00:15:26 +0100SrPx(sid108780@gateway/web/irccloud.com/x-cigqtgbnlsjmzvjr) (Ping timeout: 240 seconds)
2021-03-07 00:15:27 +0100AndreasK(sid320732@gateway/web/irccloud.com/x-laayufbotskvbggw)
2021-03-07 00:15:38 +0100ryjm(sid383513@gateway/web/irccloud.com/x-alpbngknwzxmptcz) (Ping timeout: 264 seconds)
2021-03-07 00:15:53 +0100ebutleriv(sid217783@gateway/web/irccloud.com/x-mippiqwsoolalnxn) (Ping timeout: 268 seconds)
2021-03-07 00:15:54 +0100joshmeredith(sid387798@gateway/web/irccloud.com/x-mazkbakqjtzyatwb)
2021-03-07 00:16:23 +0100ebutleriv(sid217783@gateway/web/irccloud.com/x-qoyqmjfetwxbyhys)
2021-03-07 00:16:31 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 276 seconds)
2021-03-07 00:16:38 +0100vicfred(vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving)
2021-03-07 00:16:47 +0100ryjm(sid383513@gateway/web/irccloud.com/x-hchpkccerminfqhh)
2021-03-07 00:17:05 +0100ReinH__(sid179972@gateway/web/irccloud.com/x-hfoejwfalpquomyg)
2021-03-07 00:17:24 +0100SrPx(sid108780@gateway/web/irccloud.com/x-hpatbjrmfkghbtmc)
2021-03-07 00:18:38 +0100 <heck-to-the-gnom> Yeah, nix is nice
2021-03-07 00:18:49 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-03-07 00:20:30 +0100 <MarcelineVQ> Mountains're nice.
2021-03-07 00:20:38 +0100 <olligobber> I don't like nix
2021-03-07 00:20:46 +0100 <slack1256> SPJ is nice.
2021-03-07 00:20:58 +0100 <heck-to-the-gnom> Why's that olligobber?
2021-03-07 00:21:06 +0100kiweun(~kiweun@2607:fea8:2a62:9600:f9cd:3683:49d6:918b) (Remote host closed the connection)
2021-03-07 00:21:22 +0100ech(~user@gateway/tor-sasl/ech) (Remote host closed the connection)
2021-03-07 00:21:24 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-03-07 00:21:27 +0100ech_(~user@gateway/tor-sasl/ech)
2021-03-07 00:22:23 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-07 00:22:44 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr)
2021-03-07 00:23:59 +0100 <olligobber> I guess I just had trouble learning how to write packages for it
2021-03-07 00:24:27 +0100xsperry(~as@unaffiliated/xsperry) (Remote host closed the connection)
2021-03-07 00:25:59 +0100conal(~conal@64.71.133.70)
2021-03-07 00:26:10 +0100 <systemfault> This's the life.
2021-03-07 00:26:58 +0100 <MarcelineVQ> ;>
2021-03-07 00:27:12 +0100shatriff(~vitaliish@protective.remission.volia.net) (Remote host closed the connection)
2021-03-07 00:27:24 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 00:27:26 +0100shatriff(~vitaliish@protective.remission.volia.net)
2021-03-07 00:27:50 +0100whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-03-07 00:28:07 +0100hiroaki2(~hiroaki@ip4d167578.dynamic.kabel-deutschland.de)
2021-03-07 00:28:21 +0100hiroaki__(~hiroaki@2a02:8108:8c40:2bb8:9be:b8bd:4533:1aff)
2021-03-07 00:28:56 +0100 <sm[m]> ADG1089__: it's perfectly fine to use a cabal file originally generated by hpack - it's just a cabal file
2021-03-07 00:28:56 +0100whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-03-07 00:29:34 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-07 00:29:37 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection)
2021-03-07 00:29:41 +0100 <sm[m]> but for small programs, have you considered a stack or cabal script
2021-03-07 00:30:18 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 00:30:29 +0100 <sm[m]> a "one file project"
2021-03-07 00:31:04 +0100hiroaki1(~hiroaki@ip4d176126.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2021-03-07 00:31:34 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 00:31:43 +0100bigbosskor(~Android@182.232.52.52) (Read error: Connection reset by peer)
2021-03-07 00:32:07 +0100hiroaki_(~hiroaki@ip4d176126.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2021-03-07 00:32:31 +0100 <sm[m]> but if I missed some context, disregard
2021-03-07 00:32:50 +0100 <hpc> olligobber: yeah, i think the issue there is nix is untyped
2021-03-07 00:33:20 +0100 <hpc> i had the same issue with nixos, it's just incredibly hard to write something correctly when you don't know if you're even calling functions correctly
2021-03-07 00:34:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-07 00:35:08 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 260 seconds)
2021-03-07 00:35:55 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds)
2021-03-07 00:36:18 +0100hiroaki__(~hiroaki@2a02:8108:8c40:2bb8:9be:b8bd:4533:1aff) (Ping timeout: 260 seconds)
2021-03-07 00:37:29 +0100pera(~pera@unaffiliated/pera) (Quit: leaving)
2021-03-07 00:37:33 +0100xsperry(~as@unaffiliated/xsperry)
2021-03-07 00:37:58 +0100minoru_shiraeesh(~shiraeesh@109.166.57.19) (Ping timeout: 260 seconds)
2021-03-07 00:38:13 +0100kadoban_kadobanana
2021-03-07 00:38:35 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 256 seconds)
2021-03-07 00:38:48 +0100kadobananakadoban_
2021-03-07 00:39:40 +0100frankdmartinez(~frankdmar@217.138.198.212) (Quit: frankdmartinez)
2021-03-07 00:40:06 +0100kunsttyv(~kunsttyv@195.93.234.11)
2021-03-07 00:41:15 +0100hiroaki3(~hiroaki@2a02:8108:8c40:2bb8:74cb:792a:2348:aae5)
2021-03-07 00:42:09 +0100hiroaki2(~hiroaki@ip4d167578.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2021-03-07 00:42:34 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-07 00:43:37 +0100kunsttyv(~kunsttyv@195.93.234.11) (Read error: Connection reset by peer)
2021-03-07 00:44:26 +0100\2E0KNO(~retlo@172.245.134.89) (Quit: WeeChat 2.8)
2021-03-07 00:44:40 +0100frankdmartinez(~frankdmar@c-69-249-128-78.hsd1.pa.comcast.net)
2021-03-07 00:45:05 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no)
2021-03-07 00:46:00 +0100hiroaki__(~hiroaki@2a02:8108:8c40:2bb8:42d0:d7b1:d12b:42d8)
2021-03-07 00:46:19 +0100bigbosskor(~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf)
2021-03-07 00:47:57 +0100stree(~stree@68.36.8.116) (Ping timeout: 264 seconds)
2021-03-07 00:48:06 +0100frankdmartinez(~frankdmar@c-69-249-128-78.hsd1.pa.comcast.net) (Client Quit)
2021-03-07 00:49:47 +0100Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-03-07 00:50:35 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-07 00:50:58 +0100frankdmartinez(~frankdmar@217.138.198.212)
2021-03-07 00:51:03 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-mfzveezqaqjgvokp) (Quit: Connection closed for inactivity)
2021-03-07 00:51:12 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 00:51:44 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-07 00:52:48 +0100usr25(~J@63.red-83-58-206.dynamicip.rima-tde.net) (Quit: Bye)
2021-03-07 00:52:54 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 260 seconds)
2021-03-07 00:54:35 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no)
2021-03-07 00:54:38 +0100vicfred(vicfred@gateway/vpn/mullvad/vicfred)
2021-03-07 00:54:59 +0100jle`(~mstksg@unaffiliated/mstksg) (Quit: WeeChat 2.7)
2021-03-07 00:55:55 +0100 <juri_> how do i define a type with two either members, where if the first one is Left, the second one must be Left, otherwise they are both Right?
2021-03-07 00:56:57 +0100 <hpc> so kind of like Either (a, a) (b, b)?
2021-03-07 00:57:13 +0100 <juri_> sure.
2021-03-07 00:57:55 +0100qih(~pi@210-54-120-166.adsl.xtra.co.nz)
2021-03-07 00:58:03 +0100 <hpc> @src Either
2021-03-07 00:58:03 +0100 <lambdabot> Source not found. My mind is going. I can feel it.
2021-03-07 00:58:05 +0100 <hpc> bleh
2021-03-07 00:58:24 +0100 <swarmcollective> :t Either
2021-03-07 00:58:25 +0100 <lambdabot> error:
2021-03-07 00:58:25 +0100 <lambdabot> • Data constructor not in scope: Either
2021-03-07 00:58:25 +0100 <lambdabot> • Perhaps you meant variable ‘either’ (imported from Data.Either)
2021-03-07 00:58:35 +0100 <hpc> data Either a b = Left a | Right b -- i would just make Left/Right take two values of the same type
2021-03-07 00:58:35 +0100 <swarmcollective> Hmmm
2021-03-07 00:58:54 +0100gitgoood(~gitgood@82-132-218-66.dab.02.net)
2021-03-07 00:59:33 +0100kiweun(~kiweun@2607:fea8:2a62:9600:dc26:f80d:3471:4080)
2021-03-07 01:00:11 +0100 <hpc> the key point is you don't really have two independent Either values at all, you have some other type that has the correlation built in
2021-03-07 01:01:13 +0100stree(~stree@68.36.8.116)
2021-03-07 01:01:45 +0100gitgood(~gitgood@82-132-217-64.dab.02.net) (Read error: Connection reset by peer)
2021-03-07 01:04:45 +0100ADG1089_(~adg1089@171.79.107.148) (Ping timeout: 264 seconds)
2021-03-07 01:05:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-07 01:05:51 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 01:07:33 +0100bigbosskor(~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer)
2021-03-07 01:10:12 +0100 <jumper149> :k Either
2021-03-07 01:10:14 +0100 <lambdabot> * -> * -> *
2021-03-07 01:12:22 +0100todda7(~torstein@2a02:587:1b14:d00:5ec3:abec:812c:b3e2) (Quit: Konversation terminated!)
2021-03-07 01:12:35 +0100todda7(~torstein@athedsl-258913.home.otenet.gr)
2021-03-07 01:13:08 +0100bigbosskor(~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf)
2021-03-07 01:13:25 +0100bigbosskor(~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer)
2021-03-07 01:14:03 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-03-07 01:14:16 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-03-07 01:14:21 +0100Guest78(b986aa8d@gateway/web/cgi-irc/kiwiirc.com/ip.185.134.170.141) (Ping timeout: 264 seconds)
2021-03-07 01:14:27 +0100mananamenos(~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 246 seconds)
2021-03-07 01:14:31 +0100purpleLizard(~rcg@bras-base-london1483w-grc-21-76-67-124-27.dsl.bell.ca)
2021-03-07 01:17:07 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-07 01:19:31 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-07 01:21:15 +0100bigbosskor(~Android@182.232.52.52)
2021-03-07 01:21:19 +0100curiousgay(~gay@178.217.208.8) (Remote host closed the connection)
2021-03-07 01:21:33 +0100jumper149(~jumper149@ip185225.wh.uni-hannover.de) (Ping timeout: 264 seconds)
2021-03-07 01:22:09 +0100curiousgay(~gay@178.217.208.8)
2021-03-07 01:22:16 +0100bigbosskor(~Android@182.232.52.52) (Read error: Connection reset by peer)
2021-03-07 01:23:23 +0100jumper149(~jumper149@ip185225.wh.uni-hannover.de)
2021-03-07 01:24:41 +0100rom1504(rom1504@rom1504.fr) (Ping timeout: 272 seconds)
2021-03-07 01:25:54 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 245 seconds)
2021-03-07 01:27:04 +0100rom1504(rom1504@rom1504.fr)
2021-03-07 01:28:48 +0100todda7(~torstein@athedsl-258913.home.otenet.gr) (Ping timeout: 246 seconds)
2021-03-07 01:29:20 +0100purpleLizard(~rcg@bras-base-london1483w-grc-21-76-67-124-27.dsl.bell.ca) ("Konversation terminated!")
2021-03-07 01:30:17 +0100bigbosskor(~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf)
2021-03-07 01:31:51 +0100bigbosskor(~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer)
2021-03-07 01:32:08 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 245 seconds)
2021-03-07 01:32:53 +0100bennofs_(~quassel@dslb-188-106-254-021.188.106.pools.vodafone-ip.de)
2021-03-07 01:32:55 +0100hiroaki__(~hiroaki@2a02:8108:8c40:2bb8:42d0:d7b1:d12b:42d8) (Ping timeout: 272 seconds)
2021-03-07 01:33:33 +0100mirrorbird(~dwsjeid91@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Remote host closed the connection)
2021-03-07 01:33:38 +0100shatriff(~vitaliish@protective.remission.volia.net) (Remote host closed the connection)
2021-03-07 01:33:58 +0100mirrorbird(~dwsjeid91@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519)
2021-03-07 01:34:13 +0100shatriff(~vitaliish@protective.remission.volia.net)
2021-03-07 01:35:18 +0100hiptobecubic(~john@unaffiliated/hiptobecubic)
2021-03-07 01:37:01 +0100bennofs__(~quassel@dslb-188-103-040-158.188.103.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2021-03-07 01:38:09 +0100bigbosskor(~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf)
2021-03-07 01:38:11 +0100bigbosskor(~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer)
2021-03-07 01:38:21 +0100hololeap(~hololeap@unaffiliated/hololeap) (Ping timeout: 264 seconds)
2021-03-07 01:39:14 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-07 01:40:42 +0100Benzi-Junior(~BenziJuni@dsl-149-67-143.hive.is)
2021-03-07 01:43:21 +0100hololeap(~hololeap@unaffiliated/hololeap)
2021-03-07 01:45:35 +0100frankdmartinez(~frankdmar@217.138.198.212) (Quit: frankdmartinez)
2021-03-07 01:46:13 +0100Neuromancer(~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 276 seconds)
2021-03-07 01:49:10 +0100todda7(~torstein@athedsl-258913.home.otenet.gr)
2021-03-07 01:51:12 +0100bigbosskor(~Android@182.232.52.52)
2021-03-07 01:52:15 +0100rajivr(uid269651@gateway/web/irccloud.com/x-jozbabmrjtaqnwec)
2021-03-07 01:52:33 +0100mirrorbird(~dwsjeid91@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Ping timeout: 272 seconds)
2021-03-07 02:00:49 +0100redmp(~redmp@172.58.35.234)
2021-03-07 02:03:36 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-07 02:19:31 +0100fissureman(~quassel@c-73-201-159-163.hsd1.dc.comcast.net) (Ping timeout: 256 seconds)
2021-03-07 02:25:04 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-07 02:29:35 +0100bigbosskor(~Android@182.232.52.52) (Read error: Connection reset by peer)
2021-03-07 02:29:52 +0100carthia(~carthia@gateway/tor-sasl/carthia) (Ping timeout: 268 seconds)
2021-03-07 02:30:39 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 260 seconds)
2021-03-07 02:31:29 +0100carthia(~carthia@gateway/tor-sasl/carthia)
2021-03-07 02:33:33 +0100Jd007(~Jd007@162.156.11.151)
2021-03-07 02:33:48 +0100qih(~pi@210-54-120-166.adsl.xtra.co.nz) (Quit: Lost terminal)
2021-03-07 02:34:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Remote host closed the connection)
2021-03-07 02:35:49 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-07 02:36:34 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 02:36:35 +0100Reiser(~0a2a0001@static.210.242.216.95.clients.your-server.de) (Changing host)
2021-03-07 02:36:35 +0100Reiser(~0a2a0001@unaffiliated/reisen)
2021-03-07 02:38:27 +0100 <heck-to-the-gnom> @hoogle a -> ((a))
2021-03-07 02:38:29 +0100 <lambdabot> Prelude id :: a -> a
2021-03-07 02:38:29 +0100 <lambdabot> Data.Function id :: a -> a
2021-03-07 02:38:29 +0100 <lambdabot> GHC.Base breakpoint :: a -> a
2021-03-07 02:39:23 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c)
2021-03-07 02:39:45 +0100bigbosskor(~Android@182.232.52.52)
2021-03-07 02:40:28 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 245 seconds)
2021-03-07 02:41:11 +0100bigbosskor(~Android@182.232.52.52) (Read error: Connection reset by peer)
2021-03-07 02:46:28 +0100conal_(~conal@192.145.118.143)
2021-03-07 02:46:41 +0100carthia(~carthia@gateway/tor-sasl/carthia) (Quit: carthia)
2021-03-07 02:47:15 +0100bigbosskor(~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf)
2021-03-07 02:48:01 +0100bigbosskor(~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer)
2021-03-07 02:49:30 +0100Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-03-07 02:49:51 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-03-07 02:52:22 +0100Ariakenom(~Ariakenom@2001:9b1:efb:fc00:3d75:10f9:beff:a2fa) (Read error: Connection reset by peer)
2021-03-07 03:00:11 +0100_Alleria(~AllahuAkb@2603-7000-3040-0000-84d6-f6e9-5a5d-a878.res6.spectrum.com)
2021-03-07 03:03:15 +0100Alleria_(~AllahuAkb@2603-7000-3040-0000-e0ce-a923-ba93-469f.res6.spectrum.com) (Ping timeout: 240 seconds)
2021-03-07 03:04:58 +0100kiweun(~kiweun@2607:fea8:2a62:9600:dc26:f80d:3471:4080) (Remote host closed the connection)
2021-03-07 03:05:09 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-07 03:07:55 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection)
2021-03-07 03:08:53 +0100 <heck-to-the-gnom> Given the way that Haskell's structured, I thought to myself (while reading a gentle introduction to Haskell, which tbh, is long overdue for me), if `1:2:3:[]` is synonymous to `[1,2,3]`, then is `(,)` a prelude-defined thing? like `(:)`? Sure enough it is... which leads me to my next question, after Hoogling `(,)`, I see that in prelude there's all the way up to
2021-03-07 03:08:53 +0100 <heck-to-the-gnom> `(,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,)` Is that the maximum length of a tuple? Or is this just all that they bothered indexing?
2021-03-07 03:09:33 +0100stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-03-07 03:10:18 +0100Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 246 seconds)
2021-03-07 03:10:20 +0100 <mniip> heck-to-the-gnom, the compiler has certain limitations
2021-03-07 03:11:25 +0100 <c_wraith> I think 63 elements is all that's required by the spec, but it also allows for instances to stop significantly lower
2021-03-07 03:11:25 +0100gentauro(~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-03-07 03:12:17 +0100gentauro(~gentauro@unaffiliated/gentauro)
2021-03-07 03:12:46 +0100bigbosskor(~Android@182.232.52.52)
2021-03-07 03:13:11 +0100kiweun(~kiweun@2607:fea8:2a62:9600:c5e6:2aef:3cd6:33c8)
2021-03-07 03:13:23 +0100 <heck-to-the-gnom> 62, in ghci, just figured that out. Does this mean that there's a certain limit to how many functions can be chained together? Or does that get canceled out somehow? (obv it'd place limits on function parameters, but... due to currying, I'm not 100% certain on that)
2021-03-07 03:13:31 +0100bigbosskor(~Android@182.232.52.52) (Read error: Connection reset by peer)
2021-03-07 03:14:03 +0100 <heck-to-the-gnom> Oh, GHC said that nesting tuples is allowed, nvm, currying fixes that
2021-03-07 03:14:06 +0100 <heck-to-the-gnom> brilliant
2021-03-07 03:14:13 +0100 <c_wraith> Nah, the limit is just on elements in a single tuple
2021-03-07 03:14:22 +0100 <c_wraith> And you can have more elements in your own data type.
2021-03-07 03:14:43 +0100 <c_wraith> There are good arguments to be made that once you're past about 4, you should be using a custom type anyway
2021-03-07 03:14:48 +0100 <heck-to-the-gnom> Hm, well, that's certainly interesting.
2021-03-07 03:14:56 +0100 <heck-to-the-gnom> Or at least an array for heavens sake
2021-03-07 03:18:02 +0100conal_(~conal@192.145.118.143) (Quit: Computer has gone to sleep.)
2021-03-07 03:18:18 +0100 <heck-to-the-gnom> How would I use the @hoogle function from within ghci? e.g find functions of a certain type:
2021-03-07 03:18:24 +0100 <heck-to-the-gnom> @hoogle [a] -> a
2021-03-07 03:18:24 +0100 <lambdabot> Prelude head :: [a] -> a
2021-03-07 03:18:25 +0100 <lambdabot> Prelude last :: [a] -> a
2021-03-07 03:18:25 +0100 <lambdabot> Data.List head :: [a] -> a
2021-03-07 03:18:35 +0100conal(~conal@192.145.118.143)
2021-03-07 03:18:43 +0100 <c_wraith> I don't think any of the projects that used to do that have been maintained.
2021-03-07 03:19:15 +0100 <c_wraith> You can set up a local hoogle and search it via command line, though. and I suppose you can get ghci to shell for a single command
2021-03-07 03:19:58 +0100 <heck-to-the-gnom> Regardless, it's still useful, I was looking for `last`, under the name `foot` given that `head` could also be called `first`
2021-03-07 03:20:21 +0100 <c_wraith> ghci also has :browse to show you the contents of modules. can be worth knowing about
2021-03-07 03:20:28 +0100 <heck-to-the-gnom> I'd like to know how to do that without pinging external sources, I may just end up getting local hoogle though, good point
2021-03-07 03:20:47 +0100 <heck-to-the-gnom> Yeah, I found that, but it's not quite what I'm looking for, still useful though
2021-03-07 03:20:56 +0100 <c_wraith> yeah, it's definitely a different thing.
2021-03-07 03:21:37 +0100 <heck-to-the-gnom> I mean, if I know it's in prelude, I could probably set up a shell script to grep for it in :browse 's output...
2021-03-07 03:21:53 +0100 <heck-to-the-gnom> think*
2021-03-07 03:22:20 +0100stree(~stree@68.36.8.116)
2021-03-07 03:23:09 +0100conal(~conal@192.145.118.143) (Ping timeout: 260 seconds)
2021-03-07 03:23:39 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-03-07 03:24:07 +0100 <olligobber> @hoogle Foldable t => t a -> a
2021-03-07 03:24:08 +0100 <lambdabot> Test.Extrapolate.TypeBinding argTy1of1 :: con a -> a
2021-03-07 03:24:08 +0100 <lambdabot> Prelude maximum :: forall a . (Foldable t, Ord a) => t a -> a
2021-03-07 03:24:09 +0100 <lambdabot> Prelude minimum :: forall a . (Foldable t, Ord a) => t a -> a
2021-03-07 03:24:16 +0100 <c_wraith> :t fold
2021-03-07 03:24:17 +0100 <lambdabot> (Foldable t, Monoid m) => t m -> m
2021-03-07 03:24:18 +0100 <olligobber> not what I wanted
2021-03-07 03:24:23 +0100 <c_wraith> is that the one you wanted?
2021-03-07 03:24:30 +0100 <olligobber> nah
2021-03-07 03:24:47 +0100 <c_wraith> so what were you looking for?
2021-03-07 03:24:54 +0100 <olligobber> head/last
2021-03-07 03:25:13 +0100 <olligobber> :t head . toList
2021-03-07 03:25:15 +0100 <lambdabot> error:
2021-03-07 03:25:15 +0100 <lambdabot> Ambiguous occurrence ‘toList’
2021-03-07 03:25:15 +0100 <lambdabot> It could refer to
2021-03-07 03:25:24 +0100 <olligobber> hmm
2021-03-07 03:25:55 +0100 <c_wraith> :t foldr const (error "the world lied to me")
2021-03-07 03:25:56 +0100 <lambdabot> Foldable t => t b -> b
2021-03-07 03:26:26 +0100 <c_wraith> or, I suppose...
2021-03-07 03:26:30 +0100 <c_wraith> :t foldr1 const
2021-03-07 03:26:31 +0100 <lambdabot> Foldable t => t b -> b
2021-03-07 03:26:49 +0100 <olligobber> :t getFirst . foldMap (First . Just)
2021-03-07 03:26:51 +0100 <lambdabot> Foldable t => t a -> Maybe a
2021-03-07 03:27:53 +0100 <olligobber> heck-to-the-gnom, I would just open a browser, type hoogle and press tab to search
2021-03-07 03:28:22 +0100 <c_wraith> I can understand wanting to be able to search without an internet connection
2021-03-07 03:28:39 +0100bigbosskor(~Android@182.232.52.52)
2021-03-07 03:28:43 +0100 <heck-to-the-gnom> I have an xmonad binding to search hoogle `M-s h`
2021-03-07 03:29:18 +0100 <heck-to-the-gnom> Works with xmonad's prompt system, works for me, but then again, offline is really the goal here, as well as faster response times anyway
2021-03-07 03:29:37 +0100gitgoood(~gitgood@82-132-218-66.dab.02.net) (Read error: Connection reset by peer)
2021-03-07 03:29:45 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-qdyadkvccmgruvao)
2021-03-07 03:30:06 +0100ADG1089_(~adg1089@171.76.153.167)
2021-03-07 03:30:06 +0100bigbosskor(~Android@182.232.52.52) (Read error: Connection reset by peer)
2021-03-07 03:30:34 +0100 <heck-to-the-gnom> I haven't been able to deduce wtf `(.)` does exactly, and its documentation isn't exactly clear... What does it do? I've seen it in place of `$` a few times, but all the times I've tried to use it a wall of errors chases me down the hallway.
2021-03-07 03:31:28 +0100 <c_wraith> Both of them are uniquely specified by their types
2021-03-07 03:31:29 +0100ADG1089_(~adg1089@171.76.153.167) (Read error: Connection reset by peer)
2021-03-07 03:31:35 +0100 <c_wraith> :t ($)
2021-03-07 03:31:36 +0100 <lambdabot> (a -> b) -> a -> b
2021-03-07 03:31:40 +0100ADG1089_(~adg1089@122.163.167.99)
2021-03-07 03:32:09 +0100 <c_wraith> first argument is a function. Second argument is a value of the function's argument type. Returns the result of applying the function to the value
2021-03-07 03:32:33 +0100 <c_wraith> > show $ 3
2021-03-07 03:32:35 +0100 <lambdabot> "3"
2021-03-07 03:32:58 +0100 <c_wraith> Might seem boring, but it's conveniently the lowest possible precedence operator, so you can do things like...
2021-03-07 03:33:03 +0100 <c_wraith> > show $ 1 + 2
2021-03-07 03:33:05 +0100 <lambdabot> "3"
2021-03-07 03:34:48 +0100 <c_wraith> (.) is slightly more complicated, but *really* useful.
2021-03-07 03:35:34 +0100 <olligobber> @src (.)
2021-03-07 03:35:34 +0100 <lambdabot> (f . g) x = f (g x)
2021-03-07 03:35:39 +0100 <olligobber> @src ($)
2021-03-07 03:35:39 +0100 <lambdabot> f $ x = f x
2021-03-07 03:35:41 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-07 03:35:54 +0100 <olligobber> so f . g $ x == f $ g $ x
2021-03-07 03:36:27 +0100 <olligobber> $ is useful for avoiding brackets
2021-03-07 03:37:34 +0100b_ee(~b@static-87-75-97-107.vodafonexdsl.co.uk)
2021-03-07 03:37:55 +0100 <c_wraith> (.) is mostly about not bothering to name arguments.
2021-03-07 03:38:15 +0100bigbosskor(~Android@182.232.52.52)
2021-03-07 03:38:17 +0100bigbosskor(~Android@182.232.52.52) (Read error: Connection reset by peer)
2021-03-07 03:38:34 +0100 <c_wraith> You can obviously go too far in trying to do that. But a lot of things form simple pipelines where naming an argument would just be extra noise
2021-03-07 03:38:39 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-07 03:39:14 +0100 <monochrom> That's not how I use (.). I use it to express a pipeline. I usually still have an argument. (h . g . f) x
2021-03-07 03:40:02 +0100 <monochrom> And when I don't have a simple pipeline, I don't shoehorn things into (.)
2021-03-07 03:41:43 +0100 <monochrom> pointfree would be the one about not bothering to name arguments. But pointfree is way more overboard than just using (.)
2021-03-07 03:42:22 +0100 <c_wraith> Do you go out of your way to write things like (\x -> (First . just) x) instead of (First . Just)?
2021-03-07 03:42:26 +0100 <monochrom> If you have (f x, g x), pointfree has a combinator for that. If you have (f x, f y), pointfree has a combinator for that. Etc etc
2021-03-07 03:42:34 +0100 <monochrom> No.
2021-03-07 03:43:36 +0100Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-07 03:43:57 +0100 <monochrom> I write main = interact (unlines . map read . lines)
2021-03-07 03:44:15 +0100 <monochrom> But I also write f x = (arctan . sin) x + sqrt x
2021-03-07 03:44:58 +0100 <monochrom> I don't go out of my way to be pointfree or pointful. That's my point.
2021-03-07 03:45:07 +0100 <MarcelineVQ> -2
2021-03-07 03:45:10 +0100slack1256got the pun
2021-03-07 03:45:13 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 03:45:34 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds)
2021-03-07 03:45:35 +0100Lord_of_Life_Lord_of_Life
2021-03-07 03:45:50 +0100 <MarcelineVQ> monochrom: that's the modern monochrom-- fwiw
2021-03-07 03:46:14 +0100 <MarcelineVQ> fwiw fyi bbq
2021-03-07 03:48:04 +0100thrig1(~thrig@178.239.168.171) (Remote host closed the connection)
2021-03-07 03:48:07 +0100Tario(~Tario@201.192.165.173)
2021-03-07 03:48:38 +0100doyougnu(~user@c-67-168-253-231.hsd1.or.comcast.net)
2021-03-07 03:49:26 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 240 seconds)
2021-03-07 03:52:55 +0100xff0x(~xff0x@2001:1a81:52b1:4b00:9db1:154e:449f:cfec) (Ping timeout: 240 seconds)
2021-03-07 03:55:09 +0100xff0x(~xff0x@2001:1a81:52eb:4100:b845:cdb8:60dd:fe93)
2021-03-07 03:55:28 +0100redmp(~redmp@172.58.35.234) (Ping timeout: 245 seconds)
2021-03-07 03:59:57 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-07 04:00:08 +0100Tario(~Tario@201.192.165.173)
2021-03-07 04:05:54 +0100kiweun(~kiweun@2607:fea8:2a62:9600:c5e6:2aef:3cd6:33c8) (Remote host closed the connection)
2021-03-07 04:06:08 +0100Jd007(~Jd007@162.156.11.151)
2021-03-07 04:07:55 +0100kiweun(~kiweun@2607:fea8:2a62:9600:c9:290:3666:3492)
2021-03-07 04:10:00 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-03-07 04:12:47 +0100FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-07 04:12:48 +0100finn_elijaGuest6304
2021-03-07 04:12:48 +0100FinnElijafinn_elija
2021-03-07 04:16:32 +0100Guest6304(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds)
2021-03-07 04:17:14 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-07 04:23:40 +0100alx741(~alx741@186.178.108.142) (Quit: alx741)
2021-03-07 04:24:12 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-07 04:24:28 +0100ADG1089_(~adg1089@122.163.167.99) (Ping timeout: 265 seconds)
2021-03-07 04:26:53 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-07 04:29:36 +0100polyrain(~polyrain@2001:8003:e4d8:4101:41f1:ac6f:e52e:998c)
2021-03-07 04:29:38 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-07 04:30:53 +0100jumper149(~jumper149@ip185225.wh.uni-hannover.de) (Quit: WeeChat 3.0.1)
2021-03-07 04:31:24 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-03-07 04:31:38 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c)
2021-03-07 04:33:16 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-iccmdkrlldkpmdkm)
2021-03-07 04:36:15 +0100growpotkin(~growpotki@130-45-30-154.dyn.grandenetworks.net)
2021-03-07 04:37:05 +0100theDon_(~td@94.134.91.77)
2021-03-07 04:37:42 +0100 <growpotkin> Hey it's been a while since I've written Haskell, but I used to all the time. There used to be a module/tool where you could give it a function definition, and it would rewrite/simplify it. I cannot remember the name of it for the life of me. It was really nice because it would tell you the fancy operator to replace a lot of `do' expressions with.
2021-03-07 04:38:24 +0100pincel(~pyon@unaffiliated/pyon) (Quit: brb)
2021-03-07 04:38:25 +0100 <c_wraith> hlint?
2021-03-07 04:39:00 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 04:40:03 +0100theDon(~td@94.134.91.205) (Ping timeout: 256 seconds)
2021-03-07 04:40:09 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-07 04:40:20 +0100 <growpotkin> No it's on the tip of my tongue though. It was like "hcompose" or something. I'm going to see if it's anywhere in my old dot files. It's driving me nuts I can't remember haha
2021-03-07 04:40:20 +0100bigbosskor(~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf)
2021-03-07 04:40:24 +0100 <hiptobecubic> djinn
2021-03-07 04:40:26 +0100 <hiptobecubic> ?
2021-03-07 04:41:02 +0100 <hiptobecubic> there's djinn and some other thing that rewrites as pointfree
2021-03-07 04:41:12 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection)
2021-03-07 04:41:13 +0100 <hiptobecubic> whether that's "simplifying" it is another story
2021-03-07 04:41:20 +0100 <growpotkin> pointfree !
2021-03-07 04:41:23 +0100 <growpotkin> yes thank you
2021-03-07 04:41:30 +0100 <growpotkin> my savior
2021-03-07 04:42:27 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 04:42:39 +0100bigbosskor(~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer)
2021-03-07 04:45:48 +0100polyrain(~polyrain@2001:8003:e4d8:4101:41f1:ac6f:e52e:998c) (Quit: Textual IRC Client: www.textualapp.com)
2021-03-07 04:46:33 +0100ADG1089_(~adg1089@122.163.167.99)
2021-03-07 04:46:35 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 240 seconds)
2021-03-07 04:48:08 +0100bigbosskor(~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf)
2021-03-07 04:48:09 +0100ADG1089_(~adg1089@122.163.167.99) (Read error: Connection reset by peer)
2021-03-07 04:48:32 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-03-07 04:49:50 +0100bigbosskor(~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer)
2021-03-07 04:50:10 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds)
2021-03-07 04:56:41 +0100dmwit(~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (Quit: leaving)
2021-03-07 04:58:18 +0100bigbosskor(~Android@182.232.52.52)
2021-03-07 04:58:18 +0100bigbosskor(~Android@182.232.52.52) (Read error: Connection reset by peer)
2021-03-07 04:59:23 +0100bigbosskor(~Android@182.232.52.52)
2021-03-07 04:59:26 +0100bigbosskor(~Android@182.232.52.52) (Read error: Connection reset by peer)
2021-03-07 05:00:07 +0100zone117x1(~zone117x@178.239.168.171)
2021-03-07 05:00:27 +0100Rudd0(~Rudd0@185.189.115.103)
2021-03-07 05:02:13 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1)
2021-03-07 05:05:17 +0100zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-03-07 05:06:05 +0100polyrain(~polyrain@2001:8003:e4d8:4101:40f8:9e5c:2d80:8515)
2021-03-07 05:06:43 +0100zaquest(~notzaques@5.128.210.178)
2021-03-07 05:09:18 +0100thevishy(~Nishant@103.210.43.206)
2021-03-07 05:09:39 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-07 05:15:38 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 05:16:49 +0100thevishy(~Nishant@103.210.43.206) (Ping timeout: 276 seconds)
2021-03-07 05:17:40 +0100Jd007(~Jd007@162.156.11.151)
2021-03-07 05:20:07 +0100Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-03-07 05:20:44 +0100Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com)
2021-03-07 05:21:33 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 246 seconds)
2021-03-07 05:21:38 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 264 seconds)
2021-03-07 05:22:20 +0100pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-03-07 05:24:14 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-03-07 05:26:52 +0100 <heck-to-the-gnom> Ooh, I'll have to look into pointfree
2021-03-07 05:29:06 +0100bigbosskor(~Android@182.232.52.52)
2021-03-07 05:30:25 +0100 <swarmcollective> @pl (h . g . f) x
2021-03-07 05:30:25 +0100 <lambdabot> h (g (f x))
2021-03-07 05:30:33 +0100stree(~stree@68.36.8.116) (Ping timeout: 264 seconds)
2021-03-07 05:30:57 +0100 <swarmcollective> @pointful h (g (f x))
2021-03-07 05:30:57 +0100 <lambdabot> h (g (f x))
2021-03-07 05:31:17 +0100 <swarmcollective> @unpl h (g (f x))
2021-03-07 05:31:17 +0100 <lambdabot> h (g (f x))
2021-03-07 05:31:39 +0100 <swarmcollective> @unpf h (g (f x))
2021-03-07 05:31:39 +0100 <lambdabot> h (g (f x))
2021-03-07 05:31:44 +0100 <swarmcollective> Hrmpf
2021-03-07 05:40:31 +0100 <heck-to-the-gnom> Sorry, just returned, so... you just use '.' in place of '$' but if you're chaining a lot together, then you better use '$' at the end at least? Am I getting this right?
2021-03-07 05:41:42 +0100 <dolio> You don't have to use $ at the end, but you can.
2021-03-07 05:41:46 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-07 05:42:43 +0100 <swarmcollective> I think of it like this: (f1 . f2) a = f1 (f2 a)
2021-03-07 05:43:22 +0100bigbosskor(~Android@182.232.52.52) (Read error: Connection reset by peer)
2021-03-07 05:43:27 +0100 <swarmcollective> or: (f3 . f2 . f1) a = f3 (f2 (f1 a)) = f3 $ f2 $ f1 a
2021-03-07 05:43:35 +0100stree(~stree@68.36.8.116)
2021-03-07 05:43:52 +0100 <swarmcollective> Three styles that accomplish the same thing "basically".
2021-03-07 05:45:04 +0100ADG1089_(~adg1089@122.163.167.99)
2021-03-07 05:45:53 +0100 <swarmcollective> The first, though, decouples the function (f3 . f2 . f1) from the parameter "a" such that you could pass (f3 . f2 . f1) as a parameter where (a -> a) is expected.
2021-03-07 05:46:17 +0100 <heck-to-the-gnom> OK, take this as an example I just tried to work with: `scon arr = last arr : ( reverse $ tail (reverse arr) )`, replacing `$` with `.` doesn't work, why's that? Is it because `.` only works with one argument, and... Well, no... If that was the case, then it'd do nothing 😳
2021-03-07 05:46:43 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 245 seconds)
2021-03-07 05:46:45 +0100 <swarmcollective> Errr: (a -> ?) is expected, since this example doesn't really show the type of the result.
2021-03-07 05:46:47 +0100 <dolio> ($) and (.) aren't the same function.
2021-03-07 05:46:55 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-07 05:47:42 +0100 <heck-to-the-gnom> Of course not, but to me they seem approximately the same, and I'm just trying to understand how to use it. I just simplified a thing I was working on with `flip` and it felt so rewarding
2021-03-07 05:48:02 +0100DataComputist(~lumeng@50.43.26.251) (Remote host closed the connection)
2021-03-07 05:48:13 +0100 <heck-to-the-gnom> or at least, the same outcome, of course, not the same inner workings, otherwise one would've been abandoned at its inception...
2021-03-07 05:48:14 +0100 <swarmcollective> ( (reverse . tail) (reverse arr) )
2021-03-07 05:48:18 +0100hive-mind(~hivemind@rrcs-67-53-148-69.west.biz.rr.com) (Ping timeout: 260 seconds)
2021-03-07 05:48:19 +0100 <dolio> Well, if you have `reverse $ tail (reverse arr)` and you just replace `$` with `.`, they would have to be the same function, because they're getting the same arguments.
2021-03-07 05:48:34 +0100bigbosskor(~Android@182.232.52.52)
2021-03-07 05:48:37 +0100bigbosskor(~Android@182.232.52.52) (Read error: Connection reset by peer)
2021-03-07 05:49:23 +0100 <dolio> The only reason you can replace a $ with a . with multiple chained $ is that it parses differently, but without multiple operataors it won't.
2021-03-07 05:49:24 +0100 <swarmcollective> ( (reverse . tail . reverse) arr )
2021-03-07 05:49:41 +0100 <swarmcollective> Which is just: init arr
2021-03-07 05:52:09 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 264 seconds)
2021-03-07 05:53:42 +0100 <swarmcollective> so, `scon arr = last arr : init arr` right?
2021-03-07 05:53:48 +0100 <heck-to-the-gnom> yes
2021-03-07 05:54:09 +0100 <swarmcollective> Whew, I think that means I'm learning. :)
2021-03-07 05:54:13 +0100 <heck-to-the-gnom> So... `a . b c d . e f g` == `a (b c d) (e f g)`? Whereas `a $ b c d $ e f g` == `a ( b c d (e f g) )`? If... I'm getting this right
2021-03-07 05:54:21 +0100 <heck-to-the-gnom> Me too ;)
2021-03-07 05:55:07 +0100 <heck-to-the-gnom> Since `$` right-associates
2021-03-07 05:55:08 +0100carlomagno(~cararell@148.87.23.12) (Quit: Leaving.)
2021-03-07 05:55:29 +0100Tario(~Tario@201.192.165.173)
2021-03-07 05:56:29 +0100bigbosskor(~Android@182.232.52.52)
2021-03-07 05:56:56 +0100 <swarmcollective> When I first started learning Haskell, which was on-stream (Twitch), I had one or two people saying "you should use point-free" and another one or two saying "you should use parenthesis, like f (g (h a))" and someone else saying, "you should use $". Arrgghhh! I didn't even know what (f . g) a meant, let alone how to convert it to f (g a) or f $ ga.
2021-03-07 05:57:17 +0100 <swarmcollective> (err pointful)
2021-03-07 05:57:37 +0100bigbosskor(~Android@182.232.52.52) (Read error: Connection reset by peer)
2021-03-07 05:57:37 +0100 <d34df00d> Can I somehow derive Data.Data for a type like this: https://bpa.st/5I4A ?
2021-03-07 05:57:42 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-07 05:57:45 +0100 <heck-to-the-gnom> Parenthesis, when reasonably avioded, are dumb imo
2021-03-07 05:58:10 +0100 <justsomeguy> That sounds frustrating, swarmcollective
2021-03-07 05:58:51 +0100 <swarmcollective> I very much appreciate the people trying to help, but one concept at a time would have been easier.
2021-03-07 05:59:03 +0100bigbosskor(~Android@182.232.52.52)
2021-03-07 05:59:30 +0100 <justsomeguy> That's probably hard to coordinate on a platform like twitch.
2021-03-07 05:59:35 +0100 <MarcelineVQ> but what if you need two concepts at once for either to work?
2021-03-07 05:59:53 +0100 <swarmcollective> It was when I started working on Haskell in "private" that I finally got the hang of it. I hope it makes sense and you find it useful. heck-to-the-gnom
2021-03-07 06:00:24 +0100 <swarmcollective> MarcelineVQ: Do you have an example?
2021-03-07 06:00:37 +0100 <swarmcollective> d34df00d: I'll take a look.
2021-03-07 06:00:40 +0100 <heck-to-the-gnom> Yeah, I'm just trying to grapple with more concepts, I've successfully made a few things work on my own now.
2021-03-07 06:01:17 +0100 <justsomeguy> Do you find streaming while you learn stuff helpful, in general? I've never tried that, and now I'm curious.
2021-03-07 06:01:58 +0100justsomeguyis also a haskell noob -- about halfway through haskellbook.com with the help of someone here on irc.
2021-03-07 06:02:10 +0100 <MarcelineVQ> swarmcollective: none that are serious
2021-03-07 06:02:57 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 264 seconds)
2021-03-07 06:03:10 +0100 <justsomeguy> I think maybe I'd like to try teaching the book at a meetup or through videos once I've finished it.
2021-03-07 06:03:30 +0100 <justsomeguy> Then again, I still really suck at programming/haskell.
2021-03-07 06:03:41 +0100 <swarmcollective> justsomeguy: It depends. I find that streaming can be helpful in that often people will try to help... and by help, I mean give you lots of things to look at (aka distractions). :D But I learn a lot of things that I would never have thought to learn otherwise.
2021-03-07 06:04:00 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9)
2021-03-07 06:05:09 +0100 <justsomeguy> Yes, that seems like it could be distracting, but also fun. I imagine that the enthusasim from other peoplse comments may be helpful to stay motivated.
2021-03-07 06:05:10 +0100 <swarmcollective> No one should stream with the expectation that it will help you focus. It is nearly impossible to stream and stay focused, unless you ignore the conversation entirely.
2021-03-07 06:06:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-07 06:06:17 +0100 <swarmcollective> However, I might not have "found" Haskell if it weren't for people on Twitch recommending I check it out.
2021-03-07 06:06:48 +0100dmwit(~dmwit@pool-173-66-86-32.washdc.fios.verizon.net)
2021-03-07 06:06:53 +0100 <justsomeguy> What do you think of Haskell so far?
2021-03-07 06:06:54 +0100redmp(~redmp@172.58.38.218)
2021-03-07 06:07:04 +0100DataComputist(~lumeng@50.43.26.251)
2021-03-07 06:07:13 +0100kiweun(~kiweun@2607:fea8:2a62:9600:c9:290:3666:3492) (Remote host closed the connection)
2021-03-07 06:07:34 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-07 06:07:36 +0100 <heck-to-the-gnom> Programmers on twitch, how interesting. I've really only seen gaming, reactions, or youtube-challenge-type content on twitch before.
2021-03-07 06:08:10 +0100 <swarmcollective> I really enjoy writing Haskell. I mean, once I understood enough syntax and could (sort of) read error messages, I started to appreciate how helpful the compiler + type system is.
2021-03-07 06:08:25 +0100`slikts(~nelabs@wikipedia/reinis) (Ping timeout: 272 seconds)
2021-03-07 06:08:28 +0100 <heck-to-the-gnom> +1
2021-03-07 06:09:07 +0100justsomeguy's reactions while learning have spanned a range from "why am I learning this uselsess academic language" to "haskell is super great at making things composible, imperative languages are crazy in comparison" and even "this will be a competitve advantage".
2021-03-07 06:09:14 +0100 <swarmcollective> heck-to-the-gnom: there are quite a few programming streams on Twitch in the Science and Technology category. The problem is that Science and Technology is a broad category.
2021-03-07 06:10:14 +0100hive-mind(~hivemind@rrcs-67-53-148-69.west.biz.rr.com)
2021-03-07 06:10:24 +0100Wuzzy(~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-03-07 06:10:45 +0100ezrakilty(~ezrakilty@97-113-55-149.tukw.qwest.net) (Remote host closed the connection)
2021-03-07 06:11:34 +0100 <heck-to-the-gnom> I started learning it 'cause some Linux youtuber made a video (8 of them now, I think) on how great and customizable XMonad is. That's still the hobby project I've been working on, for ~6 months, on & off now. I think I'm getting close to finishing, I might make a cipher or encryption algorithm for my next project, just to learn.
2021-03-07 06:11:39 +0100`slikts(~nelabs@wikipedia/reinis)
2021-03-07 06:12:09 +0100Techcable(~Techcable@168.235.93.147)
2021-03-07 06:12:11 +0100 <swarmcollective> Considering my background, where I started with line-number BASIC and x86 Assembly, moving to a pure-functional language like Haskell, at least at first, felt limiting. That quickly faded when I realized how the type-system was keeping me from doing something that was obviously silly, and the pure-functions kept me from mistakenly overwriting "variables", then I really began to enjoy it.
2021-03-07 06:12:52 +0100 <justsomeguy> Cool :^). I've found ciphers are good learning projects, generally.
2021-03-07 06:13:40 +0100 <justsomeguy> Yeah, I really like the idea of non-reassignable name bindings. It makes it easier to track what a vlue will be within a particular scope.
2021-03-07 06:13:46 +0100 <swarmcollective> d34df00d: That code sample is beyond my knowledge. I am sorry I can't help.
2021-03-07 06:14:44 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-03-07 06:15:21 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-07 06:15:38 +0100 <swarmcollective> When devs ask me to explain pure functional programming, I typically say "write all `variables` as const or final and you can't use for-loops and while-loops". The typical response is "uhhh... how would that even work." LOL
2021-03-07 06:15:59 +0100 <monochrom> I started with BASIC too. But I found BASIC the limiting one.
2021-03-07 06:16:16 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-03-07 06:16:24 +0100 <heck-to-the-gnom> Uh, I'm newer to this, I started as a soy-dev
2021-03-07 06:16:30 +0100 <heck-to-the-gnom> JS plebian, I once was
2021-03-07 06:17:38 +0100 <swarmcollective> True, monochrom ... but at the time it was all I had. Well, until the parent of a friend gave me "Turbo Pascal". Then I learned RPG II and OCL. Those were the days. LOL
2021-03-07 06:18:09 +0100 <monochrom> Even in my BASIC days, I felt mutable variables overrated. They are much needed in BASIC because it lacks mechanisms that make more sense. If you can't even pass parameters when you GOSUB, of course your last resort is mutable variables, and global ones at that.
2021-03-07 06:19:03 +0100 <swarmcollective> I did very much enjoy writing interrupt handlers in Assembly though. Well, and rewriting the boot sector. ;)
2021-03-07 06:19:51 +0100 <justsomeguy> Heh, I wonder what that was like. It sounds so different. I only started programming two or three years ago, in Python, which I learned in CS101. Everything has been super high-level. Only now am I starting to learn how to talk to hardware and work with sockets/etc.
2021-03-07 06:20:16 +0100 <swarmcollective> Imagine what the web would look like today if javascript had been written as a pure-functional language (I mean, as pure-functional as Haskell is).
2021-03-07 06:20:59 +0100geyaeb(~geyaeb@gateway/tor-sasl/geyaeb) (Remote host closed the connection)
2021-03-07 06:21:06 +0100 <monochrom> Very early on I realized that if I'm allowed recursion then I no longer need mutable variables. At least for small types like Int.
2021-03-07 06:21:18 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-03-07 06:21:31 +0100 <swarmcollective> monochrom: How long have you worked with Haskell?
2021-03-07 06:21:49 +0100 <monochrom> Pretty long? I ran into it circa year 2000.
2021-03-07 06:22:08 +0100 <swarmcollective> Oh, lucky you!
2021-03-07 06:22:13 +0100 <monochrom> But my thoughts I'm describing now were from my BASIC and Pascal days.
2021-03-07 06:22:52 +0100 <Cale> Imagine what the web would look like today if Javascript was something that was more of a reasonable target language for compilers, like LLVM.
2021-03-07 06:22:52 +0100 <heck-to-the-gnom> swarmcollective: Then no one would hate the modern web as us technologically informed people do
2021-03-07 06:22:59 +0100 <swarmcollective> I understand. I did not have that revelation, regarding mutable variables and recursion.
2021-03-07 06:23:12 +0100Saukk(~Saukk@83-148-239-3.dynamic.lounea.fi)
2021-03-07 06:23:46 +0100 <monochrom> CS courses I took presented both a loop algorithm and a recursive algorithm, both in Pascal, for linked list operations. I immediately felt in love with the recursive ones.
2021-03-07 06:25:11 +0100 <heck-to-the-gnom> Recursion is definitely really cool. My mind was blown when I first came across it. Apparently there's some malware going around that is 100% recursive in nature, security researchers had a really hard time understanding it.
2021-03-07 06:25:13 +0100 <MarcelineVQ> I still get tickled that you can, in a sense, make use of a value before it exists with recursion.
2021-03-07 06:25:49 +0100 <monochrom> If you look at everything in the world recursively, suddenly "how is it possible to compute anything without state" sounds silly.
2021-03-07 06:26:16 +0100 <swarmcollective> Only formal programming training for me was BASIC and RPG II in high-school. I believe I would have really enjoyed college / university level programming courses.
2021-03-07 06:26:20 +0100 <MarcelineVQ> span being my go to example for that https://hackage.haskell.org/package/base-4.14.1.0/docs/src/GHC.List.html#span
2021-03-07 06:26:39 +0100ech_(~user@gateway/tor-sasl/ech) (Ping timeout: 268 seconds)
2021-03-07 06:26:46 +0100 <dolio> Web stuff would probably still be pretty bad even if JS were good.
2021-03-07 06:27:12 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-07 06:27:45 +0100 <monochrom> To be sure, if you don't have mutable arrays, you do lose a few important efficient algorithms. But no one here is saying you never need them. I for one am just saying mutable variables are overrated for the rest.
2021-03-07 06:28:03 +0100 <monochrom> And it's only because BASIC makes recursion useless.
2021-03-07 06:28:09 +0100 <d34df00d> swarmcollective: no worries, thanks for taking a look!
2021-03-07 06:28:39 +0100 <heck-to-the-gnom> dolio: Likely, but JS is the biggest issue. Meaning that things like gopher or gemeni thrive because they don't do any of the BS thrills that normies are used to
2021-03-07 06:28:59 +0100 <heck-to-the-gnom> Gemini*
2021-03-07 06:29:31 +0100 <swarmcollective> Ahhh, `span` is like `partition` except for "front, back". Nice.
2021-03-07 06:30:08 +0100 <heck-to-the-gnom> @hoogle [a] -> a -> a
2021-03-07 06:30:10 +0100 <lambdabot> Util seqList :: [a] -> b -> b
2021-03-07 06:30:10 +0100 <lambdabot> MathObj.Permutation.CycleList cycleAction :: Eq i => [i] -> i -> i
2021-03-07 06:30:10 +0100 <lambdabot> MathObj.PowerSeries.Core evaluate :: C a => [a] -> a -> a
2021-03-07 06:30:19 +0100 <Cale> span and break are more closely related than span and partition
2021-03-07 06:30:49 +0100 <Cale> partition splits the list into all the elements that satisfy the predicate and all those which don't
2021-03-07 06:30:55 +0100 <swarmcollective> True, good point Cale
2021-03-07 06:31:23 +0100 <Cale> span splits the list into the longest initial segment which satisfies the predicate, and the rest
2021-03-07 06:31:33 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-03-07 06:31:39 +0100 <heck-to-the-gnom> Hmm, is there a `:`, but instead of a prepending, appending? e.g `[a] ^: b` == `[a,b]`
2021-03-07 06:31:57 +0100 <swarmcollective> I suspect that I've been abusing partition where I should be using a map.
2021-03-07 06:32:43 +0100 <monochrom> span/break are related to takeWhile and dropWhile. filter is related to partition.
2021-03-07 06:32:48 +0100 <Cale> heck-to-the-gnom: Nope, you can use xs ++ [x], but it's a fundamentally expensive operation. If you have to do it a lot, then it might be more correct to store your list in the opposite order, or use a different sort of data structure.
2021-03-07 06:32:54 +0100 <swarmcollective> heck-to-the-gnom: snoc (and it's cousin cons), but it is in "extra", not prelude or base.
2021-03-07 06:34:40 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-03-07 06:35:56 +0100 <heck-to-the-gnom> No, I was just wondering if I could simplify my self-defined (because I don't feel like installing Extra right now) cons & snoc
2021-03-07 06:36:14 +0100 <Cale> The reason it's expensive is that by contrast with (x:xs) which allocates a small structure that has pointers to x and xs in it, it has to reconstruct the entire list -- it can't just point at something which already exists in memory since the result in general won't have any tail in common with the original list.
2021-03-07 06:36:24 +0100 <Cale> (except the [] at the end of course)
2021-03-07 06:37:04 +0100 <heck-to-the-gnom> Curious: why ever use a list, when arrays are more performant?
2021-03-07 06:37:19 +0100sheepfleece(~sheep@46.53.248.142)
2021-03-07 06:37:57 +0100 <Cale> They're not
2021-03-07 06:38:25 +0100 <Cale> If you want to add an element to an array anywhere, you end up allocating an entirely new array and copying everything into it
2021-03-07 06:39:26 +0100 <heck-to-the-gnom> Fair point
2021-03-07 06:39:42 +0100 <Cale> There's also a sense in which a lazy list is essentially a loop which hasn't happened yet
2021-03-07 06:40:08 +0100sheepfleece(~sheep@46.53.248.142) (Client Quit)
2021-03-07 06:40:09 +0100 <Cale> A loop might have no iterations (because its precondition isn't met, for example), or it might consist of an iteration followed by another loop
2021-03-07 06:40:30 +0100 <Cale> A list might have no elements (because it's the empty list), or it might consist of a single element followed by another list
2021-03-07 06:40:54 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-07 06:40:56 +0100 <Cale> Putting stuff in a list is a way of expressing "I want to iterate over these things in this order"
2021-03-07 06:41:48 +0100 <Cale> In a lazy setting, that connection is more satisfying, since you might only allocate one element of the list at a time, and it may be infinitely long
2021-03-07 06:42:37 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net) (Ping timeout: 276 seconds)
2021-03-07 06:42:37 +0100 <swarmcollective> Cale, is that, at least in part, why String is so popular when Text and ByteString, if I understand correctly, are more memory efficient? Text and ByteString using arrays under the hood?
2021-03-07 06:43:02 +0100 <monochrom> String is more popular just because it's older.
2021-03-07 06:43:26 +0100 <Cale> Yeah, String has just been around longer... iterating over characters one by one is not all that great a lot of the time.
2021-03-07 06:43:44 +0100 <heck-to-the-gnom> OK, third random question within the last 10 minutes:
2021-03-07 06:44:20 +0100 <heck-to-the-gnom> Am I using a list comprehension guard correctly? `[x | x <- u, ifFloat'' x]`, where `ifFloat''` takes one argument
2021-03-07 06:44:22 +0100 <swarmcollective> heck-to-the-gnom: First two are free, the third costs 100 push-ups.
2021-03-07 06:44:33 +0100 <heck-to-the-gnom> ;)
2021-03-07 06:44:59 +0100 <Cale> heck-to-the-gnom: There's nothing obviously wrong with that. u should be a list of potential arguments to ifFloat'' and the result of ifFloat'' should be Bool
2021-03-07 06:45:13 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-03-07 06:46:26 +0100 <heck-to-the-gnom> Ah, I see, I was returning bool, but since I hadn't explicitly declared it the compiler got confused due to my particular usage
2021-03-07 06:47:10 +0100 <heck-to-the-gnom> One more reason for me to start typing my things, before GHC changes something under the hood and all of a sudden all my programs don't compile
2021-03-07 06:49:20 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-07 06:49:46 +0100 <swarmcollective> Is there a constraint similar to Num or Integral that can be used for "String-like" which will allow a function to take String, Text, or ByteString given the implementation is compatible? My assumption is, No, but if there is it might be handy.
2021-03-07 06:49:56 +0100 <Cale> heck-to-the-gnom: Type inference is usually pretty consistent, but you'll get better error messages if you give types to things.
2021-03-07 06:50:34 +0100 <Cale> swarmcollective: There could be, but it's hard to agree on exactly what operations it should contain
2021-03-07 06:51:15 +0100swarmcollectivenods
2021-03-07 06:51:34 +0100 <Cale> If all you want is concatenation and an empty element, you could use Monoid.
2021-03-07 06:52:55 +0100 <heck-to-the-gnom> Couldn't match expected type `a` with actual type `Maybe k0` `a` is a rigid type variable bound by the type signature for: ifFloat'' :: forall a. a -> Bool
2021-03-07 06:52:55 +0100 <heck-to-the-gnom> where I'm using `let blah = blah in case blah of Just x | blah x -> True; _ -> False`
2021-03-07 06:53:07 +0100 <heck-to-the-gnom> What am I doing wrong there?
2021-03-07 06:53:21 +0100 <dmwit> swarmcollective: You might like the mono-traversable package.
2021-03-07 06:53:25 +0100drbean(~drbean@TC210-63-209-198.static.apol.com.tw)
2021-03-07 06:53:31 +0100 <swarmcollective> It seems, naively, that cons, snoc, (++ & append & concat), null or pattern Empty would all be useful.
2021-03-07 06:53:39 +0100 <dmwit> It provides MonoTraversable instances for String, Text, and ByteString.
2021-03-07 06:53:46 +0100 <heck-to-the-gnom> Should I do `Maybe False`?
2021-03-07 06:53:59 +0100 <swarmcollective> Hmmm. Thanks dmwit ! I'll have a look.
2021-03-07 06:54:14 +0100 <dmwit> heck-to-the-gnom: insufficient data for meaningful answer
2021-03-07 06:54:27 +0100 <heck-to-the-gnom> hm... OK, paste comin' up
2021-03-07 06:54:36 +0100 <dmwit> heck-to-the-gnom: Make a minimal reproducible example and put it up on a pastebin somewhere (e.g. gist.github.com).
2021-03-07 06:54:56 +0100 <swarmcollective> heck-to-the-gnom: definitely use "false-ish" (just kidding)
2021-03-07 06:56:16 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-07 06:59:18 +0100 <Cale> heck-to-the-gnom: Well, the first sketchy thing is that blah = blah will be an infinite loop
2021-03-07 06:59:28 +0100 <heck-to-the-gnom> lol
2021-03-07 06:59:33 +0100 <heck-to-the-gnom> dmwit: https://p.bsd-unix.net/view/fecb5f33
2021-03-07 06:59:50 +0100 <Cale> heck-to-the-gnom: and then you're pattern matching on blah as something of type Maybe t (for some t we can't discern)
2021-03-07 06:59:58 +0100 <Cale> but you're also using blah as a function
2021-03-07 07:00:05 +0100 <Cale> applying it to a value of type t
2021-03-07 07:00:16 +0100 <dmwit> Well, your `ifFloat''` *definitely* doesn't have type `a -> Bool`.
2021-03-07 07:00:17 +0100 <Cale> blah can't be both a function and a value of type Maybe t at the same time
2021-03-07 07:00:28 +0100 <heck-to-the-gnom> it doesn't!?
2021-03-07 07:00:59 +0100 <Cale> Yeah, wind is definitely a Maybe something
2021-03-07 07:01:06 +0100 <dmwit> The type `a -> Bool` says that I, the caller, may choose any type I like, say, Dmwit'sRadThingThatHeckToTheGnomeNeverHeardOf, and you'll give me back a Bool from one of those.
2021-03-07 07:01:37 +0100 <dmwit> Next up: `gets windowset` is almost certainly an action in the `X` monad, so `M.member w` ain't gonna work.
2021-03-07 07:01:50 +0100 <dmwit> Sorry, I mean `W.floating ws` ain't gonna work.
2021-03-07 07:02:22 +0100 <dmwit> I think you're going to have to run `gets windowset` in `oi` first, and pass the result in as an argument to `ifFloat''`.
2021-03-07 07:02:46 +0100jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-03-07 07:03:54 +0100 <heck-to-the-gnom> OK, sorry to cut things short, but I've to be elsewhere asap, but, I'll investigate the things you've pointed out tomorrow. Also, I realized that `ifFloat''` at the least is of type `Maybe a -> Bool`
2021-03-07 07:04:13 +0100doyougnu(~user@c-67-168-253-231.hsd1.or.comcast.net) (Ping timeout: 245 seconds)
2021-03-07 07:04:42 +0100 <heck-to-the-gnom> Oh, Cale said that before...
2021-03-07 07:07:08 +0100polyrain(~polyrain@2001:8003:e4d8:4101:40f8:9e5c:2d80:8515) (Ping timeout: 260 seconds)
2021-03-07 07:07:18 +0100polyrain_(~polyrain@124.177.21.171)
2021-03-07 07:07:33 +0100 <swarmcollective> I suppose I'll have to do that sleep thing AGAIN. *sigh* However, thank you all for your assistance! It is greatly appreciated!
2021-03-07 07:08:44 +0100Saukk(~Saukk@83-148-239-3.dynamic.lounea.fi) (Quit: Leaving)
2021-03-07 07:11:20 +0100ADG1089_(~adg1089@122.163.167.99) (Ping timeout: 256 seconds)
2021-03-07 07:12:32 +0100DataComputist(~lumeng@50.43.26.251) (Quit: Leaving...)
2021-03-07 07:13:06 +0100jakalx(~jakalx@base.jakalx.net)
2021-03-07 07:18:18 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 07:19:24 +0100DrowsySaturn(~DrowsySat@71.71.194.219) (Ping timeout: 260 seconds)
2021-03-07 07:19:59 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 260 seconds)
2021-03-07 07:21:00 +0100jophish_(~jophish@li1766-207.members.linode.com)
2021-03-07 07:22:48 +0100jophish_jophish
2021-03-07 07:24:03 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 260 seconds)
2021-03-07 07:28:14 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-07 07:30:16 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-07 07:32:34 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 245 seconds)
2021-03-07 07:36:19 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c)
2021-03-07 07:41:00 +0100pounce(~pounce@ns379743.ip-5-196-70.eu)
2021-03-07 07:42:12 +0100Varis(~Tadas@unaffiliated/varis)
2021-03-07 07:46:49 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 260 seconds)
2021-03-07 07:48:40 +0100forgottenone(~forgotten@176.42.24.161)
2021-03-07 07:50:09 +0100urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-03-07 07:51:49 +0100stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-03-07 07:54:40 +0100howdoi(uid224@gateway/web/irccloud.com/x-raygqnszljvtjgib)
2021-03-07 07:55:09 +0100gentauro(~gentauro@unaffiliated/gentauro) (Ping timeout: 264 seconds)
2021-03-07 07:55:59 +0100gentauro(~gentauro@unaffiliated/gentauro)
2021-03-07 07:56:43 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 276 seconds)
2021-03-07 07:59:40 +0100dora(~irfan@117.222.64.102)
2021-03-07 07:59:50 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-03-07 08:03:04 +0100 <ski> MarcelineVQ : hm, how's `span' an example of that ?
2021-03-07 08:04:45 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 264 seconds)
2021-03-07 08:04:57 +0100stree(~stree@68.36.8.116)
2021-03-07 08:09:52 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-03-07 08:09:56 +0100kiweun(~kiweun@2607:fea8:2a62:9600:84f0:5314:77f6:f6af)
2021-03-07 08:11:10 +0100 <MarcelineVQ> https://hackage.haskell.org/package/base-4.14.1.0/docs/src/GHC.List.html#span with let (ys,zs) = span p xs' in (x:ys,zs) our use of ys and zs after the 'in' are values we're using to complete our definition that won't exist until span has completed, we're borrowing a future answer to a question we have right now, and in fact creating that answer while we do so.
2021-03-07 08:11:20 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-03-07 08:11:29 +0100thevishy(~Nishant@103.210.43.206)
2021-03-07 08:11:42 +0100dora(~irfan@117.222.64.102) (Quit: leaving)
2021-03-07 08:11:54 +0100 <MarcelineVQ> I'm sure I've put that better at some point though
2021-03-07 08:12:19 +0100 <koz_> MarcelineVQ: 'We use time travel magic.'
2021-03-07 08:12:41 +0100 <MarcelineVQ> "I need something that gives me X, first I'll assume I have an X..."
2021-03-07 08:14:22 +0100 <ski> MarcelineVQ : well, that definition of `span' would also work in a strict language (albeit obviously not for infinite lists)
2021-03-07 08:15:12 +0100 <ski> "make use of a value before it exists with recursion" to me sounds more like it'd properly describe a `repMin'-like tying-the-knot or something
2021-03-07 08:16:04 +0100dora(~irfan@117.222.64.102)
2021-03-07 08:17:32 +0100 <ski> (so, i'm not really seeing how "we're borrowing a future answer to a question we have right now, and in fact creating that answer while we do so" is appropriately describing what's happening in this case, nor how they're "values we're using to complete our definition that won't exist until span has completed")
2021-03-07 08:19:22 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-qdyadkvccmgruvao) (Quit: Connection closed for inactivity)
2021-03-07 08:19:35 +0100waleee-cl(uid373333@gateway/web/irccloud.com/x-syqdljbssvqrztqf) (Quit: Connection closed for inactivity)
2021-03-07 08:24:07 +0100ornxka(~ornxka@unaffiliated/ornx) (Read error: Connection reset by peer)
2021-03-07 08:24:14 +0100tomjaguarpaw(~tom@li367-225.members.linode.com) (Ping timeout: 245 seconds)
2021-03-07 08:24:21 +0100tomjaguarpaw(~tom@li367-225.members.linode.com)
2021-03-07 08:25:16 +0100ornxka(~ornxka@unaffiliated/ornx)
2021-03-07 08:27:32 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-07 08:27:52 +0100 <MarcelineVQ> Not my clearest description of anything, "values we're..." is particularly vague and unlikely to line up to actual language semantics, but I do think of span as borrowing a future answer to a question we have right now. I have x:xs, what's the easiest way to complete my definition of span? Assume span already has the answer for xs, and tack my x onto the first tuple component of that answer.
2021-03-07 08:31:57 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-03-07 08:32:32 +0100dyeplexer(~lol@unaffiliated/terpin)
2021-03-07 08:35:06 +0100polyrain_(~polyrain@124.177.21.171) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-07 08:36:55 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-07 08:39:06 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-03-07 08:39:20 +0100kiweun(~kiweun@2607:fea8:2a62:9600:84f0:5314:77f6:f6af) (Remote host closed the connection)
2021-03-07 08:43:11 +0100HarveyPwca(~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Quit: Leaving)
2021-03-07 08:45:33 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 08:46:39 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-07 08:47:19 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection)
2021-03-07 08:49:27 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 08:53:53 +0100ADG1089__(~aditya@122.163.167.99)
2021-03-07 08:54:05 +0100ADG1089__ADG1089
2021-03-07 08:55:28 +0100 <ADG1089> ghc with packages without cabal/stack on arch (not nix)?
2021-03-07 08:55:34 +0100 <ADG1089> any documentation
2021-03-07 08:58:02 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-07 08:58:10 +0100average(uid473595@gateway/web/irccloud.com/x-mxuhxqmtecrtlnul) (Quit: Connection closed for inactivity)
2021-03-07 08:59:34 +0100JokerAscensionEx(~egp_@2.95.74.168) (Read error: Connection reset by peer)
2021-03-07 09:03:25 +0100growpotkin(~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-07 09:04:46 +0100redmp(~redmp@172.58.38.218) (Ping timeout: 260 seconds)
2021-03-07 09:07:09 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-03-07 09:09:29 +0100dora(~irfan@117.222.64.102) (Quit: leaving)
2021-03-07 09:09:54 +0100JokerAscensionEx(~egp_@2.95.74.168)
2021-03-07 09:11:28 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds)
2021-03-07 09:12:46 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-03-07 09:22:49 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-07 09:26:41 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-03-07 09:28:00 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-03-07 09:34:09 +0100hiptobecubic(~john@unaffiliated/hiptobecubic) (Ping timeout: 264 seconds)
2021-03-07 09:34:21 +0100berberman_(~berberman@unaffiliated/berberman)
2021-03-07 09:34:48 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection)
2021-03-07 09:34:53 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds)
2021-03-07 09:35:11 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
2021-03-07 09:35:16 +0100berberman_(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2021-03-07 09:35:30 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2021-03-07 09:35:44 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 09:35:47 +0100berberman(~berberman@unaffiliated/berberman)
2021-03-07 09:36:27 +0100zone117x1(~zone117x@178.239.168.171) (Remote host closed the connection)
2021-03-07 09:37:31 +0100hiptobecubic(~john@unaffiliated/hiptobecubic)
2021-03-07 09:37:38 +0100kiweun(~kiweun@2607:fea8:2a62:9600:6ca2:b5f:b108:d6ce)
2021-03-07 09:37:55 +0100LittleFox(~littlefox@rondra.lf-net.org) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2021-03-07 09:38:05 +0100LittleFox(~littlefox@rondra.lf-net.org)
2021-03-07 09:38:08 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-03-07 09:38:35 +0100LittleFox(~littlefox@rondra.lf-net.org) (Client Quit)
2021-03-07 09:38:45 +0100LittleFox(~littlefox@rondra.lf-net.org)
2021-03-07 09:39:55 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 240 seconds)
2021-03-07 09:41:32 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 265 seconds)
2021-03-07 09:43:13 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-07 09:43:18 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-03-07 09:47:09 +0100mananamenos(~mananamen@193.red-88-11-66.dynamicip.rima-tde.net)
2021-03-07 09:47:42 +0100Waifod(Waifod@gateway/vpn/protonvpn/waifod) (Ping timeout: 260 seconds)
2021-03-07 09:48:00 +0100kuribas(~user@ptr-25vy0i8agngd0s4hmr1.18120a2.ip6.access.telenet.be)
2021-03-07 09:48:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-07 09:49:42 +0100Waifod(~Waifod@91.106.123.186)
2021-03-07 09:53:24 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 256 seconds)
2021-03-07 09:57:41 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Remote host closed the connection)
2021-03-07 09:58:14 +0100ericsagnes(~ericsagne@2405:6580:0:5100:3d97:f475:94df:3731) (Ping timeout: 264 seconds)
2021-03-07 10:04:14 +0100jespada(~jespada@90.254.243.187) (Ping timeout: 245 seconds)
2021-03-07 10:05:49 +0100fendor(~fendor@77.119.129.125.wireless.dyn.drei.com)
2021-03-07 10:06:29 +0100jespada(~jespada@90.254.243.187)
2021-03-07 10:07:01 +0100kiweun(~kiweun@2607:fea8:2a62:9600:6ca2:b5f:b108:d6ce) (Remote host closed the connection)
2021-03-07 10:07:29 +0100Kater(~Kater@178.239.168.171)
2021-03-07 10:08:01 +0100 <arahael> Why not use cabal?
2021-03-07 10:09:09 +0100hiptobecubic(~john@unaffiliated/hiptobecubic) (Ping timeout: 260 seconds)
2021-03-07 10:09:46 +0100ericsagnes(~ericsagne@2405:6580:0:5100:6d03:d77e:f4e7:30fb)
2021-03-07 10:10:21 +0100drbean(~drbean@TC210-63-209-198.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-03-07 10:12:39 +0100 <arahael> ADG1089: Also, ghc itself seems quite well documented, even if it's just 'man ghc', though there's more info online.
2021-03-07 10:13:13 +0100stree(~stree@68.36.8.116) (Ping timeout: 276 seconds)
2021-03-07 10:13:44 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 10:15:02 +0100 <ADG1089> arahael: I'm using this makefile: https://paste.tomsmeding.com/gxe9PieS. src/problems has ~206 files, each to be compiled as an executable
2021-03-07 10:15:32 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection)
2021-03-07 10:16:06 +0100 <arahael> ADG1089: That wasn't quite what I asked, but if you want to do your own build, go for it.
2021-03-07 10:16:12 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 10:18:20 +0100ezrakilty(~ezrakilty@97-113-55-149.tukw.qwest.net)
2021-03-07 10:20:32 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 258 seconds)
2021-03-07 10:20:48 +0100shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:44c1:48d2:bcfb:ac55) (Ping timeout: 260 seconds)
2021-03-07 10:22:49 +0100ezrakilty(~ezrakilty@97-113-55-149.tukw.qwest.net) (Ping timeout: 256 seconds)
2021-03-07 10:23:18 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-03-07 10:23:32 +0100Guest78(b986aa8d@gateway/web/cgi-irc/kiwiirc.com/ip.185.134.170.141)
2021-03-07 10:26:16 +0100stree(~stree@68.36.8.116)
2021-03-07 10:33:48 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it)
2021-03-07 10:34:25 +0100dftxbs3e(~dftxbs3e@unaffiliated/dftxbs3e) (Ping timeout: 272 seconds)
2021-03-07 10:35:35 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-07 10:35:59 +0100shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:1409:1dc2:df9b:e790)
2021-03-07 10:38:35 +0100vicfred(vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving)
2021-03-07 10:39:21 +0100malumore(~malumore@151.62.117.238)
2021-03-07 10:40:30 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-03-07 10:53:28 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 10:56:17 +0100bigbosskor(~Android@182.232.52.52) (Read error: Connection reset by peer)
2021-03-07 10:56:51 +0100howdoi(uid224@gateway/web/irccloud.com/x-raygqnszljvtjgib) (Quit: Connection closed for inactivity)
2021-03-07 10:59:18 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 260 seconds)
2021-03-07 11:00:27 +0100CMCDragonkai1(~Thunderbi@60-242-118-130.tpgi.com.au)
2021-03-07 11:02:04 +0100bigbosskor(~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf)
2021-03-07 11:02:23 +0100kritzefitz(~kritzefit@212.86.56.80)
2021-03-07 11:02:55 +0100bigbosskor(~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer)
2021-03-07 11:04:54 +0100Pickchea(~private@unaffiliated/pickchea)
2021-03-07 11:05:07 +0100Neuromancer(~Neuromanc@unaffiliated/neuromancer)
2021-03-07 11:06:01 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0) (Ping timeout: 268 seconds)
2021-03-07 11:06:21 +0100puke(~vroom@217.138.252.212)
2021-03-07 11:06:23 +0100gazelle(~irfan@117.222.64.102)
2021-03-07 11:07:09 +0100malumore(~malumore@151.62.117.238) (Ping timeout: 245 seconds)
2021-03-07 11:07:09 +0100gazelle(~irfan@117.222.64.102) (Quit: leaving)
2021-03-07 11:07:12 +0100bigbosskor(~Android@182.232.52.52)
2021-03-07 11:07:15 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds)
2021-03-07 11:07:50 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0)
2021-03-07 11:08:27 +0100bigbosskor(~Android@182.232.52.52) (Read error: Connection reset by peer)
2021-03-07 11:09:19 +0100bigbosskor(~Android@223.204.217.185)
2021-03-07 11:11:04 +0100bigbosskor(~Android@223.204.217.185) (Read error: Connection reset by peer)
2021-03-07 11:11:32 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-03-07 11:12:18 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-07 11:12:48 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-iccmdkrlldkpmdkm) (Quit: Connection closed for inactivity)
2021-03-07 11:15:48 +0100Tops2(~Tobias@dyndsl-095-033-094-199.ewe-ip-backbone.de)
2021-03-07 11:20:59 +0100forgottenone(~forgotten@176.42.24.161) (Remote host closed the connection)
2021-03-07 11:21:58 +0100B-J(~BenziJuni@dsl-149-64-40.hive.is)
2021-03-07 11:23:31 +0100Benzi-Junior(~BenziJuni@dsl-149-67-143.hive.is) (Ping timeout: 265 seconds)
2021-03-07 11:24:32 +0100ClaudiusMaximus(~claude@191.123.199.146.dyn.plus.net)
2021-03-07 11:24:37 +0100ClaudiusMaximus(~claude@191.123.199.146.dyn.plus.net) (Changing host)
2021-03-07 11:24:37 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2021-03-07 11:27:35 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-07 11:28:23 +0100forgottenone(~forgotten@176.42.24.161)
2021-03-07 11:29:16 +0100bigbosskor(~Android@223.204.217.185)
2021-03-07 11:29:19 +0100bigbosskor(~Android@223.204.217.185) (Read error: Connection reset by peer)
2021-03-07 11:29:48 +0100dnlkrgr(~dnlkrgr@ip-109-42-0-192.web.vodafone.de)
2021-03-07 11:30:42 +0100 <dnlkrgr> with `optparse-generic`, how to an option with type isomorphic to `Either`?
2021-03-07 11:32:31 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 276 seconds)
2021-03-07 11:33:09 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds)
2021-03-07 11:35:02 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-03-07 11:37:13 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-07 11:37:14 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 260 seconds)
2021-03-07 11:40:38 +0100mayleesia(590cf471@dynamic-089-012-244-113.89.12.pool.telefonica.de)
2021-03-07 11:42:16 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds)
2021-03-07 11:42:29 +0100son0p(~son0p@181.58.39.182)
2021-03-07 11:43:34 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-07 11:44:07 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-07 11:45:30 +0100johannes_(~johannes@i59F67BC5.versanet.de)
2021-03-07 11:45:45 +0100 <juri_> hpc: belated thanks.
2021-03-07 11:46:43 +0100Ishutin(~ishutin@91-83-11-236.pool.digikabel.hu)
2021-03-07 11:46:52 +0100johannes_kenran
2021-03-07 11:50:03 +0100Ishutin_(~ishutin@80-95-70-202.pool.digikabel.hu) (Ping timeout: 245 seconds)
2021-03-07 11:53:48 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 245 seconds)
2021-03-07 11:54:51 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 11:55:04 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-07 11:59:26 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 264 seconds)
2021-03-07 12:00:29 +0100minoru_shiraeesh(~shiraeesh@109.166.57.19)
2021-03-07 12:01:29 +0100bigbosskor(~Android@223.204.217.185)
2021-03-07 12:01:34 +0100bigbosskor(~Android@223.204.217.185) (Read error: Connection reset by peer)
2021-03-07 12:04:54 +0100Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 260 seconds)
2021-03-07 12:05:34 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 265 seconds)
2021-03-07 12:09:30 +0100sablib(~sablib@59.173.152.83)
2021-03-07 12:09:53 +0100xff0x(~xff0x@2001:1a81:52eb:4100:b845:cdb8:60dd:fe93) (Ping timeout: 260 seconds)
2021-03-07 12:10:21 +0100xff0x(~xff0x@2001:1a81:52eb:4100:4f42:fd5d:8725:87c7)
2021-03-07 12:11:45 +0100 <ADG1089> does cabal build --enable-executable-profiling <executable> && cabal run <executable> -- +RTS -p not work?
2021-03-07 12:11:56 +0100 <ADG1089> do i have to modify the flags in cabal file?
2021-03-07 12:12:46 +0100mouseghost(~draco@wikipedia/desperek)
2021-03-07 12:13:29 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-07 12:15:09 +0100kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 260 seconds)
2021-03-07 12:16:31 +0100dnlkrgr(~dnlkrgr@ip-109-42-0-192.web.vodafone.de) (Quit: WeeChat 2.9)
2021-03-07 12:16:41 +0100minoru_shiraeesh(~shiraeesh@109.166.57.19) (Ping timeout: 265 seconds)
2021-03-07 12:18:04 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-03-07 12:18:29 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-03-07 12:18:38 +0100ADG1089(~aditya@122.163.167.99) (Remote host closed the connection)
2021-03-07 12:19:56 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-03-07 12:22:57 +0100kenran(~johannes@i59F67BC5.versanet.de) (Ping timeout: 256 seconds)
2021-03-07 12:23:45 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-07 12:25:21 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-07 12:26:39 +0100polyrain(~polyrain@2001:8003:e4d8:4101:3884:5f02:2ae9:677b)
2021-03-07 12:27:01 +0100Pickchea(~private@unaffiliated/pickchea)
2021-03-07 12:31:25 +0100polyrain(~polyrain@2001:8003:e4d8:4101:3884:5f02:2ae9:677b) (Client Quit)
2021-03-07 12:34:45 +0100stree(~stree@68.36.8.116) (Ping timeout: 264 seconds)
2021-03-07 12:36:10 +0100kritzefitz(~kritzefit@212.86.56.80)
2021-03-07 12:38:49 +0100dyeplexer(~lol@unaffiliated/terpin) (Ping timeout: 276 seconds)
2021-03-07 12:40:58 +0100finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds)
2021-03-07 12:42:02 +0100finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-07 12:42:29 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 12:45:04 +0100sablib(~sablib@59.173.152.83) (Read error: Connection reset by peer)
2021-03-07 12:45:41 +0100 <maerwald> cabal run --enable-executable-profiling?
2021-03-07 12:46:54 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-07 12:46:55 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds)
2021-03-07 12:47:31 +0100stree(~stree@68.36.8.116)
2021-03-07 12:50:21 +0100__monty__(~toonn@unaffiliated/toonn)
2021-03-07 12:54:15 +0100xff0x(~xff0x@2001:1a81:52eb:4100:4f42:fd5d:8725:87c7) (Ping timeout: 240 seconds)
2021-03-07 12:54:35 +0100xff0x(xff0x@gateway/vpn/mullvad/xff0x)
2021-03-07 12:58:05 +0100bigbosskor(~Android@223.204.217.185)
2021-03-07 12:59:59 +0100bigbosskor(~Android@223.204.217.185) (Read error: Connection reset by peer)
2021-03-07 13:00:12 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-07 13:00:19 +0100Deide(~Deide@217.155.19.23)
2021-03-07 13:03:19 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 13:05:24 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2021-03-07 13:08:26 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 264 seconds)
2021-03-07 13:10:04 +0100Logio(em@kapsi.fi) (Quit: Reconnecting)
2021-03-07 13:10:11 +0100Logio(em@kapsi.fi)
2021-03-07 13:14:11 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 13:14:38 +0100xff0x(xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 245 seconds)
2021-03-07 13:14:50 +0100pincel(~pyon@unaffiliated/pyon)
2021-03-07 13:15:31 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection)
2021-03-07 13:16:22 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 13:16:31 +0100Logio(em@kapsi.fi) (Quit: Reconnecting)
2021-03-07 13:16:37 +0100Logio(em@kapsi.fi)
2021-03-07 13:16:48 +0100xff0x(~xff0x@2001:1a81:52eb:4100:4f42:fd5d:8725:87c7)
2021-03-07 13:18:53 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-07 13:19:14 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-07 13:20:28 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-07 13:21:03 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 260 seconds)
2021-03-07 13:23:26 +0100aarvar(~foewfoiew@2601:602:a080:fa0:2097:5e27:e1ef:c7cb) (Ping timeout: 264 seconds)
2021-03-07 13:24:16 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 13:24:33 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2021-03-07 13:26:49 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-07 13:28:35 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds)
2021-03-07 13:29:25 +0100CMCDragonkai1(~Thunderbi@60-242-118-130.tpgi.com.au) (Quit: CMCDragonkai1)
2021-03-07 13:30:42 +0100drbean(~drbean@TC210-63-209-46.static.apol.com.tw)
2021-03-07 13:35:01 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr)
2021-03-07 13:40:40 +0100Guest67848(~textual@2603-7000-3040-0000-2dfd-bc54-7da7-bdb8.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-07 13:41:02 +0100dyeplexer(~lol@unaffiliated/terpin)
2021-03-07 13:44:12 +0100shad0w_(a0ca251e@160.202.37.30)
2021-03-07 13:45:05 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 13:47:46 +0100 <maralorn> I have now understood how on a finite list foldl' is better than foldr (and foldl obviously). Now I wonder what about Set, Map and friends is it obvious for all of them, that foldl' beats foldr. I am not even sure I understand what "from left" and "from right" mean for them.
2021-03-07 13:48:01 +0100 <maralorn> There belonged a question mark somewher in there …
2021-03-07 13:48:56 +0100Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-03-07 13:49:15 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds)
2021-03-07 13:51:17 +0100ubert1(~Thunderbi@p200300ecdf25d91ce6b318fffe838f33.dip0.t-ipconnect.de)
2021-03-07 13:52:07 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 13:52:38 +0100 <tromp> i have a locally modified version of a hackage library. how do i make cabal aware of it (it alrd has the original version installed) ?
2021-03-07 13:52:42 +0100shatriff(~vitaliish@protective.remission.volia.net) (Remote host closed the connection)
2021-03-07 13:52:55 +0100shatriff(~vitaliish@protective.remission.volia.net)
2021-03-07 13:57:01 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-07 13:57:22 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-07 13:58:15 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 240 seconds)
2021-03-07 14:00:01 +0100Alleria(~textual@2603-7000-3040-0000-2dfd-bc54-7da7-bdb8.res6.spectrum.com)
2021-03-07 14:00:25 +0100AlleriaGuest77922
2021-03-07 14:03:51 +0100 <__monty__> tromp: I think the proper way is specifying a source-repository-package in cabal.project, https://cabal.readthedocs.io/en/3.4/cabal-project.html?highlight=source-repository-package#specify…
2021-03-07 14:03:54 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-07 14:04:48 +0100Guest77922(~textual@2603-7000-3040-0000-2dfd-bc54-7da7-bdb8.res6.spectrum.com) (Ping timeout: 260 seconds)
2021-03-07 14:05:30 +0100sayola(~vekto@dslb-088-078-152-179.088.078.pools.vodafone-ip.de)
2021-03-07 14:05:45 +0100 <tromp> thank, __monty__
2021-03-07 14:05:57 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 14:06:15 +0100Guest43863(31242568@49.36.37.104)
2021-03-07 14:07:24 +0100son0p(~son0p@181.58.39.182) (Quit: Lost terminal)
2021-03-07 14:08:59 +0100Guest43863(31242568@49.36.37.104) (Quit: Connection closed)
2021-03-07 14:09:35 +0100acidjnk_new(~acidjnk@p200300d0c72b9567190c92979cea572a.dip0.t-ipconnect.de)
2021-03-07 14:10:15 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds)
2021-03-07 14:11:26 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-07 14:15:16 +0100hiroaki__(~hiroaki@2a02:8108:8c40:2bb8:b02c:4a8c:880:30fa)
2021-03-07 14:15:24 +0100kiweun(~kiweun@2607:fea8:2a62:9600:74fd:e866:9de5:532e)
2021-03-07 14:15:39 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds)
2021-03-07 14:19:41 +0100Feuermagier(~Feuermagi@213.178.26.41) (Remote host closed the connection)
2021-03-07 14:21:05 +0100johannes_(~johannes@i59F67BC5.versanet.de)
2021-03-07 14:21:05 +0100johannes_kenran
2021-03-07 14:26:44 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 14:29:14 +0100gitgood(~gitgood@82-132-217-191.dab.02.net)
2021-03-07 14:30:55 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds)
2021-03-07 14:33:06 +0100caubert(~caubert@136.244.111.235) (Quit: WeeChat 3.0)
2021-03-07 14:34:58 +0100caubert(~caubert@136.244.111.235)
2021-03-07 14:35:01 +0100mels(~mels@49.82.5.96)
2021-03-07 14:35:01 +0100mels(~mels@49.82.5.96) (Client Quit)
2021-03-07 14:36:12 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-07 14:36:34 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-07 14:41:11 +0100drbean(~drbean@TC210-63-209-46.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-03-07 14:41:12 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-03-07 14:44:42 +0100kiweun(~kiweun@2607:fea8:2a62:9600:74fd:e866:9de5:532e) (Remote host closed the connection)
2021-03-07 14:47:35 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 14:52:19 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 258 seconds)
2021-03-07 14:54:48 +0100sablib(~sablib@59.173.152.160)
2021-03-07 14:55:28 +0100stree(~stree@68.36.8.116) (Ping timeout: 245 seconds)
2021-03-07 14:56:27 +0100bigbosskor(~Android@223.204.217.185)
2021-03-07 14:58:09 +0100mrchampion(~mrchampio@38.18.109.23) (Ping timeout: 264 seconds)
2021-03-07 14:58:12 +0100bigbosskor(~Android@223.204.217.185) (Read error: Connection reset by peer)
2021-03-07 14:58:27 +0100vjacob(~vjacob@217.71.0.65)
2021-03-07 15:00:09 +0100Varis(~Tadas@unaffiliated/varis)
2021-03-07 15:07:56 +0100stree(~stree@68.36.8.116)
2021-03-07 15:08:14 +0100hendi(uid489601@gateway/web/irccloud.com/x-ftqhmsnmlpiygdyy) (Quit: Connection closed for inactivity)
2021-03-07 15:08:24 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-zoarwbqxbjmuxhqo)
2021-03-07 15:08:27 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 15:08:36 +0100ADG1089__(~aditya@122.163.167.99)
2021-03-07 15:11:34 +0100supercoven(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi)
2021-03-07 15:11:37 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c)
2021-03-07 15:12:35 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds)
2021-03-07 15:14:36 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no)
2021-03-07 15:19:45 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 264 seconds)
2021-03-07 15:21:06 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-07 15:23:29 +0100shad0w_(a0ca251e@160.202.37.30) ()
2021-03-07 15:29:12 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 15:29:45 +0100usr25(~usr25@unaffiliated/usr25)
2021-03-07 15:31:35 +0100ephemera_(~E@122.34.1.187)
2021-03-07 15:33:15 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds)
2021-03-07 15:33:20 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-07 15:34:05 +0100pavonia(~user@unaffiliated/siracusa)
2021-03-07 15:34:32 +0100eoyath(uid489605@gateway/web/irccloud.com/x-jbebfqsuczylpppq) (Quit: Connection closed for inactivity)
2021-03-07 15:35:27 +0100dragestil(~quassel@fsf/member/dragestil) (Ping timeout: 246 seconds)
2021-03-07 15:37:26 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-07 15:39:53 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-03-07 15:41:51 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 256 seconds)
2021-03-07 15:44:05 +0100dragestil(~quassel@fsf/member/dragestil)
2021-03-07 15:44:49 +0100geekosaur(ae68c070@cpe-174-104-192-112.neo.res.rr.com)
2021-03-07 15:46:06 +0100rond_(594020c5@89-64-32-197.dynamic.chello.pl)
2021-03-07 15:47:46 +0100 <rond_> HI! I've got a basic question about this code snippet:
2021-03-07 15:47:46 +0100 <rond_> `
2021-03-07 15:47:47 +0100 <rond_> bmiTell :: (RealFloat a) => a -> a -> String
2021-03-07 15:47:47 +0100 <rond_> bmiTell weight height
2021-03-07 15:47:48 +0100 <rond_>     | weight / height ^ 2 <= 18.5 = "You're underweight, you emo, you!"
2021-03-07 15:47:48 +0100 <rond_>     | weight / height ^ 2 <= 25.0 = "You're supposedly normal. Pffft, I bet you're ugly!"
2021-03-07 15:47:49 +0100 <rond_>     | weight / height ^ 2 <= 30.0 = "You're fat! Lose some weight, fatty!"
2021-03-07 15:47:49 +0100 <rond_>     | otherwise                 = "You're a whale, congratulations!"
2021-03-07 15:47:50 +0100 <rond_> `
2021-03-07 15:47:50 +0100 <rond_> How to refactor it so the computation of bmi ( `weight / height ^ 2` ) is present just once? In Ocaml it'd be something like:
2021-03-07 15:47:51 +0100 <rond_> `
2021-03-07 15:47:51 +0100 <rond_> let bmiTell weight height =
2021-03-07 15:47:52 +0100 <rond_> let bmi = weight / height ^ 2 in
2021-03-07 15:47:52 +0100 <rond_> match bmi with
2021-03-07 15:47:52 +0100rond_(594020c5@89-64-32-197.dynamic.chello.pl) (Killed (Sigyn (Spam is off topic on freenode.)))
2021-03-07 15:47:59 +0100 <jess> huff.
2021-03-07 15:48:15 +0100 <ADG1089__> body shaming
2021-03-07 15:48:55 +0100rond_(594020c5@89-64-32-197.dynamic.chello.pl)
2021-03-07 15:48:59 +0100 <jess> hi rond_
2021-03-07 15:49:07 +0100Alleria(~textual@zrcout.mskcc.org)
2021-03-07 15:49:11 +0100 <jess> please don't paste lots of lines straight in to irc
2021-03-07 15:49:17 +0100 <jess> put it on a pastebin and link to that :)
2021-03-07 15:49:22 +0100 <rond_> Right, sorry
2021-03-07 15:49:30 +0100 <geekosaur> I'd use a where clause. but it's painful to show that when you've pasted toirc like that
2021-03-07 15:49:30 +0100AlleriaGuest95072
2021-03-07 15:49:31 +0100 <jess> no problem, happens to lots of people
2021-03-07 15:49:34 +0100 <int-e> rond_: use a pastebin next time. you can use a `where` clause to define values that you want to use in guards
2021-03-07 15:49:38 +0100 <geekosaur> @where paste
2021-03-07 15:49:38 +0100 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2021-03-07 15:49:58 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 15:49:58 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-07 15:50:31 +0100 <int-e> > let foo x | a < 10 = "smaller" | otherwise = "not smaller" where a = x^2 in (foo 3, foo 4)
2021-03-07 15:50:33 +0100 <lambdabot> ("smaller","not smaller")
2021-03-07 15:51:54 +0100 <rond_> Perfect, thanks! Sidenote: seems a bit counter-intuitive that `where` clause is at the very bottom; I'd rather see it on the very top. :) Anyway, thanks!
2021-03-07 15:52:31 +0100 <int-e> other possibilities inlcude... let a = x^2; result | a < 10 = "smaller" | otherwise = "not smaller" in result...
2021-03-07 15:52:39 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-07 15:53:29 +0100 <int-e> or some silly let a = x^2 in case () of _ | a < 10 -> "smaller" | otherwise -> "not smaller" -- but that seems ugly to me
2021-03-07 15:53:46 +0100urodna(~urodna@unaffiliated/urodna)
2021-03-07 15:54:04 +0100 <rond_> Well, I'm just learning Haskell, so I'll stick with `where` for now as it seems to be the default solution
2021-03-07 15:54:15 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds)
2021-03-07 15:54:56 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-07 15:55:07 +0100albert_99(~Albert@2a02:8108:1100:16d8:3d62:b7ae:fd76:eaae)
2021-03-07 15:55:41 +0100albert_99(~Albert@2a02:8108:1100:16d8:3d62:b7ae:fd76:eaae) (Client Quit)
2021-03-07 15:57:48 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-07 15:59:15 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 246 seconds)
2021-03-07 15:59:57 +0100DrowsySaturn(~DrowsySat@71.71.194.219)
2021-03-07 16:00:25 +0100son0p(~son0p@181.136.122.143)
2021-03-07 16:00:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-07 16:02:26 +0100obiwahn(~obiwahn@pdpc/supporter/student/obiwahn) (Quit: WeeChat 3.0-dev)
2021-03-07 16:04:29 +0100ech(~user@gateway/tor-sasl/ech)
2021-03-07 16:04:37 +0100mrchampion(~mrchampio@38.18.109.23)
2021-03-07 16:05:11 +0100 <ADG1089__> i want to check if cabal build is inlining a function or not, how can i do so?
2021-03-07 16:05:52 +0100 <ADG1089__> performing a deterministic dfs on a reversed list is 50-60x faster for me
2021-03-07 16:06:42 +0100 <ADG1089__> I guess reversing is resulting in less thunks created / less recursion depth initially
2021-03-07 16:10:38 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 16:11:09 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-07 16:11:23 +0100rond_(594020c5@89-64-32-197.dynamic.chello.pl) (Ping timeout: 240 seconds)
2021-03-07 16:12:01 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-07 16:12:42 +0100Guest78(b986aa8d@gateway/web/cgi-irc/kiwiirc.com/ip.185.134.170.141) (Ping timeout: 260 seconds)
2021-03-07 16:13:09 +0100kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 260 seconds)
2021-03-07 16:14:55 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds)
2021-03-07 16:15:55 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 256 seconds)
2021-03-07 16:16:38 +0100CodeAlways(uid272474@gateway/web/irccloud.com/x-vhqlkrddncgghkcs)
2021-03-07 16:17:40 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving)
2021-03-07 16:25:21 +0100DrowsySaturn(~DrowsySat@71.71.194.219) (Quit: Leaving)
2021-03-07 16:25:58 +0100ubert1(~Thunderbi@p200300ecdf25d91ce6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-03-07 16:28:43 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-07 16:31:26 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 16:31:39 +0100alx741(~alx741@186.178.108.142)
2021-03-07 16:33:52 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com)
2021-03-07 16:34:15 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-07 16:36:02 +0100kenran(~johannes@i59F67BC5.versanet.de) (Ping timeout: 260 seconds)
2021-03-07 16:36:28 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 260 seconds)
2021-03-07 16:40:08 +0100gitgood(~gitgood@82-132-217-191.dab.02.net) (Read error: Connection reset by peer)
2021-03-07 16:41:57 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 264 seconds)
2021-03-07 16:43:00 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-07 16:46:31 +0100Wuzzy(~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de)
2021-03-07 16:47:09 +0100johannes_(~johannes@i59F67BC5.versanet.de)
2021-03-07 16:47:09 +0100johannes_kenran
2021-03-07 16:50:50 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-07 16:54:00 +0100jneira(5127aded@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.237) (Quit: Ping timeout (120 seconds))
2021-03-07 16:54:33 +0100plutoniix(~q@node-ufr.pool-125-24.dynamic.totinternet.net)
2021-03-07 16:55:08 +0100xintron(~xintron@unaffiliated/xintron) (Quit: aoeu)
2021-03-07 16:55:29 +0100bigbosskor(~Android@223.204.217.185)
2021-03-07 16:55:43 +0100acidjnk_new(~acidjnk@p200300d0c72b9567190c92979cea572a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-03-07 16:56:05 +0100dddddd(~dddddd@unaffiliated/dddddd) (Ping timeout: 256 seconds)
2021-03-07 16:56:29 +0100bigbosskor(~Android@223.204.217.185) (Read error: Connection reset by peer)
2021-03-07 16:56:36 +0100jess(jess@freenode/staff/jess) (Quit: brb)
2021-03-07 16:56:55 +0100xintron(~xintron@unaffiliated/xintron)
2021-03-07 16:57:14 +0100average(uid473595@gateway/web/irccloud.com/x-fdaougdbywaskcjc)
2021-03-07 16:57:35 +0100kritzefitz(~kritzefit@212.86.56.80)
2021-03-07 16:58:47 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt)
2021-03-07 17:00:05 +0100j(jess@freenode/staff/jess)
2021-03-07 17:06:16 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-03-07 17:06:41 +0100ADG1089__(~aditya@122.163.167.99) (Quit: Konversation terminated!)
2021-03-07 17:07:28 +0100bigbosskor(~Android@223.204.217.185)
2021-03-07 17:07:59 +0100hololeap(~hololeap@unaffiliated/hololeap) (Ping timeout: 245 seconds)
2021-03-07 17:08:50 +0100bigboss5(~Android@mx-ll-223.204.217-185.dynamic.3bb.co.th)
2021-03-07 17:09:03 +0100dddddd(~dddddd@unaffiliated/dddddd)
2021-03-07 17:09:12 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-07 17:10:05 +0100xintron(~xintron@unaffiliated/xintron) (Quit: aoeu)
2021-03-07 17:10:35 +0100bigboss5(~Android@mx-ll-223.204.217-185.dynamic.3bb.co.th) (Read error: Connection reset by peer)
2021-03-07 17:10:38 +0100xintron(~xintron@unaffiliated/xintron)
2021-03-07 17:11:57 +0100bigbosskor(~Android@223.204.217.185) (Ping timeout: 264 seconds)
2021-03-07 17:13:11 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 17:13:30 +0100locrian9(~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) (Quit: leaving)
2021-03-07 17:16:09 +0100stree(~stree@68.36.8.116) (Ping timeout: 264 seconds)
2021-03-07 17:16:30 +0100mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-03-07 17:16:42 +0100hidedagger(~nate@unaffiliated/hidedagger)
2021-03-07 17:17:08 +0100ADG1089__(~aditya@122.163.167.99)
2021-03-07 17:17:12 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-07 17:17:18 +0100shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:1409:1dc2:df9b:e790) (Ping timeout: 260 seconds)
2021-03-07 17:17:32 +0100 <ADG1089__> @pl \sm x -> sm + go xss (x * prod)
2021-03-07 17:17:33 +0100 <lambdabot> (. (go xss . (prod *))) . (+)
2021-03-07 17:17:35 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds)
2021-03-07 17:18:06 +0100bigbosskor(~Android@223.204.217.185)
2021-03-07 17:20:13 +0100Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
2021-03-07 17:20:38 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Quit: mikoto-chan)
2021-03-07 17:21:22 +0100Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-03-07 17:22:09 +0100kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 256 seconds)
2021-03-07 17:22:35 +0100Jd007(~Jd007@162.156.11.151)
2021-03-07 17:22:40 +0100Bergle_2(~Bergle_4@101.165.90.119)
2021-03-07 17:23:10 +0100Bergle_1(~Bergle_4@101.165.90.119) (Ping timeout: 260 seconds)
2021-03-07 17:23:31 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 276 seconds)
2021-03-07 17:24:26 +0100son0p(~son0p@181.136.122.143) (Quit: leaving)
2021-03-07 17:28:00 +0100kenran(~johannes@i59F67BC5.versanet.de) (Quit: leaving)
2021-03-07 17:29:18 +0100stree(~stree@68.36.8.116)
2021-03-07 17:30:40 +0100plutoniix(~q@node-ufr.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
2021-03-07 17:30:57 +0100shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:1409:1dc2:df9b:e790)
2021-03-07 17:31:20 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-07 17:32:40 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 268 seconds)
2021-03-07 17:39:14 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2021-03-07 17:40:58 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-07 17:41:19 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-07 17:41:41 +0100 <ADG1089__> Hi guys, I am trying to improve the performance of a program, do you see anything wrong or should I use a better algorithm: https://paste.tomsmeding.com/PW7jUT10 I already did time profiling and almost 100% time was spent in go function and heap profiling and it uses constant memory after using bang patterns and foldl' Also ~90% was productive time while checking for GC. I have seen multiple implementations of the same algorithm in python in 6-8sec for
2021-03-07 17:41:42 +0100 <ADG1089__> 10^18 but mine take 4-5 sec just for 10^12
2021-03-07 17:42:56 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-07 17:43:22 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-03-07 17:44:21 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 264 seconds)
2021-03-07 17:45:03 +0100fendor(~fendor@77.119.129.125.wireless.dyn.drei.com) (Remote host closed the connection)
2021-03-07 17:45:48 +0100 <mikoto-chan> Any good explanation on ADTs? I want to make a function that returns the data constructor of a variable but I only found `typeOf` in `Data.Typeable` that returns the type constructor
2021-03-07 17:45:53 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 245 seconds)
2021-03-07 17:46:02 +0100kini(~kini@unaffiliated/kini) (Quit: bye)
2021-03-07 17:48:32 +0100waleee-cl(uid373333@gateway/web/irccloud.com/x-yydugvioyzrsvmqc)
2021-03-07 17:48:46 +0100 <geekosaur> you can do it with Data.Data but I'd question why. also be aware that you can't handle something like Maybe that way since the data constructors have different types
2021-03-07 17:49:34 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-03-07 17:50:08 +0100kini(~kini@unaffiliated/kini)
2021-03-07 17:50:12 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2021-03-07 17:51:04 +0100kiweun(~kiweun@2607:fea8:2a62:9600:e5b6:4037:8443:cad1)
2021-03-07 17:51:17 +0100 <mikoto-chan> geekosaur: I can add `deriving (Show)` and try with >>=
2021-03-07 17:53:53 +0100Guest95072(~textual@zrcout.mskcc.org) (Ping timeout: 256 seconds)
2021-03-07 17:55:29 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 17:56:50 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection)
2021-03-07 17:56:52 +0100hiptobecubic(~john@unaffiliated/hiptobecubic)
2021-03-07 17:57:46 +0100 <mikoto-chan> So I was trying to check the data constructor of my ADT `data Vehicle = Car Manufacturer Price deriving (Eq, Show)` to build a function called isCar, I ended up with `isCar x = (head . words $ show x) == "Car"` but I was wondering if a poiny-free function was possible as well
2021-03-07 17:57:50 +0100nineonine(~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2)
2021-03-07 17:58:01 +0100 <ADG1089__> I was able to reduce runtime which felt like exponential by manually unrolling 1 level of recursion probably which short-circuited lot of branches
2021-03-07 17:58:25 +0100 <geekosaur> possible but probably ugly
2021-03-07 17:58:51 +0100 <mikoto-chan> geekosaur: I'm curious :)
2021-03-07 17:59:01 +0100 <geekosaur> @pl \x -> (head . words $ show x) == "Car"
2021-03-07 17:59:01 +0100 <lambdabot> ("Car" ==) . head . words . show
2021-03-07 17:59:02 +0100 <kuribas> ADG1089__: lists are slow, if you want speed, use unboxed vectors instead.
2021-03-07 17:59:09 +0100 <geekosaur> huh, not too terrible
2021-03-07 18:00:18 +0100 <carbolymer> if my application will be run on a single core - does it make sense to remove -threaded and -with-rtsopts=-N from ghc options?
2021-03-07 18:00:44 +0100 <mikoto-chan> geekosaur: What's @? (sorry I don't know what Monads are yet)
2021-03-07 18:01:00 +0100 <ADG1089__> I was able to reach from >10m to 3.19 sec by this unroll thing. does INLINE pragma do same thing for recursive function. Can I specify unrolling depth. Maybe this causes firing map, fold, etc. rules
2021-03-07 18:01:05 +0100 <geekosaur> there are still some advantages to using the threaded runtime, so -threaded -N1 may make sense
2021-03-07 18:01:27 +0100 <geekosaur> mikoto-chan, @pl is a bot command
2021-03-07 18:01:41 +0100 <geekosaur> the bot replied with the point-free version of the lambda
2021-03-07 18:01:42 +0100 <mikoto-chan> Oh nvm in that case I understand what you wrote thx :)
2021-03-07 18:01:50 +0100 <mikoto-chan> That's cool!
2021-03-07 18:01:54 +0100bigbosskor(~Android@223.204.217.185) (Read error: Connection reset by peer)
2021-03-07 18:01:55 +0100nineonine(~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) (Ping timeout: 240 seconds)
2021-03-07 18:01:56 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-03-07 18:02:35 +0100ystael(~ystael@209.6.50.55) (Read error: Connection reset by peer)
2021-03-07 18:03:44 +0100 <carbolymer> geekosaur: is using threaded runtime causing any runtime overhead?
2021-03-07 18:04:34 +0100NieDzejkob(~quassel@195.149.98.3) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-03-07 18:05:13 +0100ystael(~ystael@209.6.50.55)
2021-03-07 18:05:41 +0100bigbosskor(~Android@223.204.217.185)
2021-03-07 18:07:00 +0100cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de)
2021-03-07 18:07:49 +0100 <geekosaur> the default threaded gc may, so try -qg as a runtime option
2021-03-07 18:07:58 +0100NieDzejkob(~quassel@195.149.98.3)
2021-03-07 18:08:08 +0100 <geekosaur> otherwise, the threaded runtime is generally lower overhead iirc
2021-03-07 18:08:35 +0100 <carbolymer> ok, thx
2021-03-07 18:09:28 +0100Alleria(~textual@2603-7000-3040-0000-1db4-c99c-5289-cfbe.res6.spectrum.com)
2021-03-07 18:09:29 +0100curiousgay(~gay@178.217.208.8) (Remote host closed the connection)
2021-03-07 18:09:52 +0100AlleriaGuest78778
2021-03-07 18:13:05 +0100 <infinisil> mikoto-chan: Do you have any other data constructors than Car?
2021-03-07 18:13:07 +0100minoru_shiraeesh(~shiraeesh@109.166.57.19)
2021-03-07 18:13:26 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-03-07 18:13:31 +0100curiousgay(~gay@178.217.208.8)
2021-03-07 18:14:20 +0100 <infinisil> I mean, how about just `isCar (Car {}) = True`
2021-03-07 18:14:31 +0100 <infinisil> (parens not needed actually)
2021-03-07 18:15:15 +0100Schrostfutz(~Schrostfu@p2e585ac0.dip0.t-ipconnect.de)
2021-03-07 18:15:57 +0100 <mikoto-chan> infinisil: What's {} in an ADT?
2021-03-07 18:16:04 +0100 <mikoto-chan> I got a solution don't worry
2021-03-07 18:16:13 +0100 <geekosaur> right, there are easier ways to do what you asked but it depends on how far you';re going with it
2021-03-07 18:16:28 +0100 <geekosaur> it's part of a pattern match
2021-03-07 18:16:29 +0100 <infinisil> mikoto-chan: That's just `isCar (Car _ _)`
2021-03-07 18:16:36 +0100 <infinisil> {} can be used instead
2021-03-07 18:16:50 +0100 <infinisil> mikoto-chan: Well, the above Show solution is pretty awful
2021-03-07 18:17:04 +0100 <geekosaur> you're matching it as a record but not inspecting any fields from it, which is valid even if it's not declared as a record
2021-03-07 18:17:42 +0100Guest78778(~textual@2603-7000-3040-0000-1db4-c99c-5289-cfbe.res6.spectrum.com) (*.net *.split)
2021-03-07 18:17:42 +0100ReinH__(sid179972@gateway/web/irccloud.com/x-hfoejwfalpquomyg) (*.net *.split)
2021-03-07 18:17:42 +0100AndreasK(sid320732@gateway/web/irccloud.com/x-laayufbotskvbggw) (*.net *.split)
2021-03-07 18:17:42 +0100alunduil(alunduil@gateway/web/irccloud.com/x-plfpkpelheyvdkct) (*.net *.split)
2021-03-07 18:17:42 +0100dexterlb(~dexterlb@2a01:9e40:2:2::2) (*.net *.split)
2021-03-07 18:17:42 +0100astroanax(astroanax@gateway/shell/ircnow/x-tmpmjymczmbdbrbq) (*.net *.split)
2021-03-07 18:17:42 +0100PoliticsII______(sid193551@gateway/web/irccloud.com/x-yldlxzypsmfoijoc) (*.net *.split)
2021-03-07 18:17:42 +0100loyon(loyonmatri@gateway/shell/matrix.org/x-pibcmanmmawjsdlg) (*.net *.split)
2021-03-07 18:17:42 +0100bwe_(~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split)
2021-03-07 18:17:42 +0100PyroLagus(PyroLagus@i.have.ipv6.on.coding4coffee.org) (*.net *.split)
2021-03-07 18:17:42 +0100shadowdaemon(~user@unaffiliated/shadowdaemon) (*.net *.split)
2021-03-07 18:17:43 +0100vqrs_(~vqrs@learnprogramming/regular/vqrs) (*.net *.split)
2021-03-07 18:17:43 +0100SegFaultAX(SegFaultAX@unaffiliated/segfaultax) (*.net *.split)
2021-03-07 18:17:43 +0100suzu(~scaleuser@2001:bc8:1824:43f::1) (*.net *.split)
2021-03-07 18:17:43 +0100mursu_(~ngWalrus@2a03:b0c0:3:d0::5ebd:2001) (*.net *.split)
2021-03-07 18:17:43 +0100ViCi(daniel@10PLM.ro) (*.net *.split)
2021-03-07 18:17:43 +0100Bigcheese(~quassel@unaffiliated/bigcheese) (*.net *.split)
2021-03-07 18:17:43 +0100idupree(~quassel@2604:a880:400:d0::9bb:2001) (*.net *.split)
2021-03-07 18:17:43 +0100recon_-(~quassel@2602:febc:0:b6::6ca2) (*.net *.split)
2021-03-07 18:17:43 +0100DigitalKiwi(~kiwi@unaffiliated/digitalkiwi) (*.net *.split)
2021-03-07 18:17:43 +0100rizary(sid220347@gateway/web/irccloud.com/x-dnbpomskxmxznero) (*.net *.split)
2021-03-07 18:17:43 +0100Jon(jon@dow.land) (*.net *.split)
2021-03-07 18:17:43 +0100zgrep(~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) (*.net *.split)
2021-03-07 18:17:43 +0100drdo(~drdo@overlord0.drdo.eu) (*.net *.split)
2021-03-07 18:17:43 +0100enikar(~enikar@2001:41d0:2:8673::42) (*.net *.split)
2021-03-07 18:17:43 +0100lpsmith(~lpsmith@unaffiliated/lpsmith) (*.net *.split)
2021-03-07 18:17:43 +0100oats(~hurr@durr/im/a/sheep) (*.net *.split)
2021-03-07 18:17:43 +0100johs(sid246410@gateway/web/irccloud.com/x-acsueohqkhvorgaz) (*.net *.split)
2021-03-07 18:17:43 +0100Zialus(~RMF@2001:818:de63:c300:211:32ff:fe8d:ad29) (*.net *.split)
2021-03-07 18:17:43 +0100bspar(~bspar@2604:a880:0:1010::776:e001) (*.net *.split)
2021-03-07 18:17:43 +0100Firedancer(sid336191@gateway/web/irccloud.com/x-eykckjivzotazeph) (*.net *.split)
2021-03-07 18:17:43 +0100dumptruckman(dumptruckm@2600:3c02::f03c:91ff:fe6e:2cfd) (*.net *.split)
2021-03-07 18:17:43 +0100Orbstheorem(~roosember@hellendaal.orbstheorem.ch) (*.net *.split)
2021-03-07 18:17:43 +0100hongminhee(hongminhee@gateway/web/irccloud.com/x-mtlcwvdsuqyxumrm) (*.net *.split)
2021-03-07 18:17:43 +0100gluegadget(sid22336@gateway/web/irccloud.com/x-aztbcwiepgvjkpoz) (*.net *.split)
2021-03-07 18:17:43 +0100edwinb(sid69486@gateway/web/irccloud.com/x-qvjalasgpdxobhmu) (*.net *.split)
2021-03-07 18:17:43 +0100adius(sid321344@gateway/web/irccloud.com/x-zbzvezfksextairk) (*.net *.split)
2021-03-07 18:17:43 +0100lexi-lambda(sid92601@gateway/web/irccloud.com/x-ricmwvpaftynkwyw) (*.net *.split)
2021-03-07 18:17:43 +0100jackdk(sid373013@gateway/web/irccloud.com/x-xchalanqtvxxyxtk) (*.net *.split)
2021-03-07 18:17:43 +0100ghuntley(sid16877@gateway/web/irccloud.com/x-nfchurevxdfsquhn) (*.net *.split)
2021-03-07 18:17:43 +0100srhb(sid400352@NixOS/user/srhb) (*.net *.split)
2021-03-07 18:17:43 +0100dani-(sid341953@gateway/web/irccloud.com/x-oxdrwcxmvvwbwbls) (*.net *.split)
2021-03-07 18:17:43 +0100hazard-pointer_(sid331723@gateway/web/irccloud.com/x-gnedozzvydjopbjw) (*.net *.split)
2021-03-07 18:17:43 +0100taktoa[c](sid282096@gateway/web/irccloud.com/x-zyzffnttjvrtjmgf) (*.net *.split)
2021-03-07 18:17:43 +0100milessabin(sid86799@gateway/web/irccloud.com/x-lbjrkurwvvdrwvdy) (*.net *.split)
2021-03-07 18:17:43 +0100kyagrd__(sid102627@gateway/web/irccloud.com/x-szfupawrcsntctxo) (*.net *.split)
2021-03-07 18:17:43 +0100benwr____(sid372383@gateway/web/irccloud.com/x-wbetztxmwtfyzapm) (*.net *.split)
2021-03-07 18:17:43 +0100lally(sid388228@gateway/web/irccloud.com/x-wbgxlvraedqmtqcc) (*.net *.split)
2021-03-07 18:17:43 +0100d0liver(sid363046@gateway/web/irccloud.com/x-tsgihvrszvfqyrqz) (*.net *.split)
2021-03-07 18:17:43 +0100Jonno_FTW(~come@api.carswap.me) (*.net *.split)
2021-03-07 18:17:43 +0100enemeth79(sid309041@gateway/web/irccloud.com/x-wdqlaorsnilmpjvl) (*.net *.split)
2021-03-07 18:17:43 +0100hyperfekt(end@bnc.hyperfekt.net) (*.net *.split)
2021-03-07 18:17:43 +0100gambpang(~gambpang@unaffiliated/gambpang) (*.net *.split)
2021-03-07 18:17:43 +0100johnstein(~johnstein@192.73.239.18) (*.net *.split)
2021-03-07 18:17:43 +0100cbarrett(sid192934@adium/cbarrett) (*.net *.split)
2021-03-07 18:17:43 +0100angerman(sid209936@gateway/web/irccloud.com/x-wvkrbxykpvpaaqqm) (*.net *.split)
2021-03-07 18:17:43 +0100pepeiborra(sid443799@gateway/web/irccloud.com/x-eyrsigbympnxvzxs) (*.net *.split)
2021-03-07 18:17:43 +0100chessai(sid225296@gateway/web/irccloud.com/x-prshhrgmnmliipyi) (*.net *.split)
2021-03-07 18:17:43 +0100liszt(sid336875@gateway/web/irccloud.com/x-ugpsqqzweugxuueq) (*.net *.split)
2021-03-07 18:17:43 +0100Boarders(sid425905@gateway/web/irccloud.com/x-xghubvmqogkphmzb) (*.net *.split)
2021-03-07 18:17:43 +0100aizen_s(sid462968@gateway/web/irccloud.com/x-ksujsljymlfsgsth) (*.net *.split)
2021-03-07 18:17:43 +0100^[(sid43445@ircpuzzles/2015/april-fools/sixth/zgrep) (*.net *.split)
2021-03-07 18:17:43 +0100PotatoGim(sid99505@gateway/web/irccloud.com/x-exyoujkxfurlbech) (*.net *.split)
2021-03-07 18:17:43 +0100dsal(sid13060@gateway/web/irccloud.com/x-fvzqyjxeqbvmdwed) (*.net *.split)
2021-03-07 18:17:43 +0100ephemient(uid407513@gateway/web/irccloud.com/x-rkibxdhaswnldyxg) (*.net *.split)
2021-03-07 18:17:43 +0100thi(sid97277@gateway/web/irccloud.com/x-jlyasmchsgnfhamt) (*.net *.split)
2021-03-07 18:17:43 +0100trevorriles(sid469656@gateway/web/irccloud.com/x-fnutwnfoeulyrlup) (*.net *.split)
2021-03-07 18:17:43 +0100ent(entgod@kapsi.fi) (*.net *.split)
2021-03-07 18:17:43 +0100zzz(~zzz@2a03:b0c0:3:d0::3095:3001) (*.net *.split)
2021-03-07 18:17:43 +0100nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split)
2021-03-07 18:17:43 +0100yorick(~yorick@oftn/oswg-member/yorick) (*.net *.split)
2021-03-07 18:17:43 +0100twk-(~thewormki@unaffiliated/twk-) (*.net *.split)
2021-03-07 18:17:51 +0100mursu(~ngWalrus@46.101.150.54)
2021-03-07 18:17:52 +0100hyperfekt(end@bnc.hyperfekt.net)
2021-03-07 18:17:52 +0100ViCi^(daniel@10PLM.ro)
2021-03-07 18:17:56 +0100oats(~hurr@durr/im/a/sheep)
2021-03-07 18:18:02 +0100DigitalKiwi(~kiwi@unaffiliated/digitalkiwi)
2021-03-07 18:18:03 +0100Zialus(~RMF@199.125.37.188.rev.vodafone.pt)
2021-03-07 18:18:12 +0100twk-(~thewormki@unaffiliated/twk-)
2021-03-07 18:18:12 +0100dexterlb_(~dexterlb@2a01:9e40:2:2::2)
2021-03-07 18:18:12 +0100zzz(~zzz@2a03:b0c0:3:d0::3095:3001)
2021-03-07 18:18:13 +0100angerman(sid209936@gateway/web/irccloud.com/x-bmtsinwmsbezunei)
2021-03-07 18:18:13 +0100yorick1(~yorick@oftn/oswg-member/yorick)
2021-03-07 18:18:15 +0100jackdk(sid373013@gateway/web/irccloud.com/x-lqgqplxheakucczf)
2021-03-07 18:18:18 +0100benwr____(sid372383@gateway/web/irccloud.com/x-ydzvnixgvudwaexe)
2021-03-07 18:18:18 +0100trevorriles(sid469656@gateway/web/irccloud.com/x-iraxayojydafpucy)
2021-03-07 18:18:18 +0100liszt(sid336875@gateway/web/irccloud.com/x-tbitrqypjfjdqdkr)
2021-03-07 18:18:18 +0100kyagrd__(sid102627@gateway/web/irccloud.com/x-yhojjneatqeoigbv)
2021-03-07 18:18:19 +0100hazard-pointer_(sid331723@gateway/web/irccloud.com/x-rscrbhaeowmswqqn)
2021-03-07 18:18:19 +0100taktoa[c](sid282096@gateway/web/irccloud.com/x-uwapfgfwuhshyodw)
2021-03-07 18:18:20 +0100gluegadget(sid22336@gateway/web/irccloud.com/x-dtatiwzsqisljser)
2021-03-07 18:18:20 +0100adius(sid321344@gateway/web/irccloud.com/x-vhpznmpfkxhgmtem)
2021-03-07 18:18:20 +0100lally(sid388228@gateway/web/irccloud.com/x-vzsmgszhndktgzzl)
2021-03-07 18:18:20 +0100AndreasK(sid320732@gateway/web/irccloud.com/x-kryttqynuvubroiv)
2021-03-07 18:18:20 +0100chessai(sid225296@gateway/web/irccloud.com/x-kgdcbeebmlvhypup)
2021-03-07 18:18:20 +0100enikar(~enikar@2001:41d0:2:8673::42)
2021-03-07 18:18:21 +0100srhb(sid400352@NixOS/user/srhb)
2021-03-07 18:18:21 +0100edwinb(sid69486@gateway/web/irccloud.com/x-xwzhiaxkveuuhegz)
2021-03-07 18:18:21 +0100Firedancer(sid336191@gateway/web/irccloud.com/x-pmgurxulpawugffa)
2021-03-07 18:18:21 +0100thi(sid97277@gateway/web/irccloud.com/x-puyzpxdnricowtul)
2021-03-07 18:18:22 +0100hongminhee(hongminhee@gateway/web/irccloud.com/x-oeswesuwvugryusv)
2021-03-07 18:18:24 +0100dani-(sid341953@gateway/web/irccloud.com/x-vlzznqernbfijtli)
2021-03-07 18:18:24 +0100dsal(sid13060@gateway/web/irccloud.com/x-uvnnqnlcnzzdrtsk)
2021-03-07 18:18:24 +0100Boarders(sid425905@gateway/web/irccloud.com/x-bzyphxzlzkneldxn)
2021-03-07 18:18:26 +0100drdo(~drdo@2605:8900:1000:1001:a:0:7b:2)
2021-03-07 18:18:26 +0100PoliticsII______(sid193551@gateway/web/irccloud.com/x-avjjihnxyjyphdhq)
2021-03-07 18:18:26 +0100aizen_s(sid462968@gateway/web/irccloud.com/x-vurcfufwepjpfmxy)
2021-03-07 18:18:30 +0100rizary(sid220347@gateway/web/irccloud.com/x-emjkszgiogiyxdqk)
2021-03-07 18:18:32 +0100PotatoGim(sid99505@gateway/web/irccloud.com/x-utsdahcarcsagzsq)
2021-03-07 18:18:33 +0100^[(sid43445@ircpuzzles/2015/april-fools/sixth/zgrep)
2021-03-07 18:18:35 +0100zzzGuest79545
2021-03-07 18:18:37 +0100astroanax(astroanax@gateway/shell/ircnow/x-gpyienxlrgzmvnpq)
2021-03-07 18:18:45 +0100d0liver(sid363046@gateway/web/irccloud.com/x-bwsyftfrfqvhztxi)
2021-03-07 18:18:47 +0100Jon(jon@2a01:7e00::f03c:91ff:fe50:c56)
2021-03-07 18:18:49 +0100lexi-lambda(sid92601@gateway/web/irccloud.com/x-vjjjhyaezeizewxe)
2021-03-07 18:18:50 +0100ephemient(uid407513@gateway/web/irccloud.com/x-fipeqpvxkwvjfhxb)
2021-03-07 18:18:52 +0100ghuntley(sid16877@gateway/web/irccloud.com/x-mbqwvidrftgcbeuo)
2021-03-07 18:18:52 +0100lpsmith(~lpsmith@unaffiliated/lpsmith)
2021-03-07 18:18:54 +0100enemeth79(sid309041@gateway/web/irccloud.com/x-eoqxflurjsdpbasm)
2021-03-07 18:19:11 +0100 <mikoto-chan> geekosaur: I'm just reading a beginner's book, not writing some cryptographic software for the NSA so it shouldn't be an issue for now
2021-03-07 18:19:40 +0100shadowdaemon(~user@2607:8b00:0:96::43e5:bc0b)
2021-03-07 18:19:40 +0100alunduil(alunduil@gateway/web/irccloud.com/x-fbecgteospqwhcyq)
2021-03-07 18:19:40 +0100cbarrett(sid192934@gateway/web/irccloud.com/x-kyjghddjgejhpkbr)
2021-03-07 18:19:40 +0100milessabin(sid86799@gateway/web/irccloud.com/x-xytdxzsyhuzytcdc)
2021-03-07 18:19:40 +0100johs(sid246410@gateway/web/irccloud.com/x-yfhmkmtmndvkgxtt)
2021-03-07 18:19:40 +0100ReinH__(sid179972@gateway/web/irccloud.com/x-ikgmrxgyzjzplrfb)
2021-03-07 18:19:40 +0100nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2021-03-07 18:19:40 +0100Orbstheorem(~roosember@hellendaal.orbstheorem.ch)
2021-03-07 18:19:40 +0100PyroLagus(PyroLagus@i.have.ipv6.on.coding4coffee.org)
2021-03-07 18:19:40 +0100pepeiborra(sid443799@gateway/web/irccloud.com/x-mucxkartenzlxknr)
2021-03-07 18:19:40 +0100bspar(~bspar@2604:a880:0:1010::776:e001)
2021-03-07 18:19:40 +0100suzu(~scaleuser@2001:bc8:1824:43f::1)
2021-03-07 18:19:40 +0100recon_-(~quassel@2602:febc:0:b6::6ca2)
2021-03-07 18:19:40 +0100idupree(~quassel@2604:a880:400:d0::9bb:2001)
2021-03-07 18:19:40 +0100bwe_(~bwe@2a01:4f8:1c1c:4878::2)
2021-03-07 18:19:40 +0100SegFaultAX(SegFaultAX@unaffiliated/segfaultax)
2021-03-07 18:19:40 +0100dumptruckman(dumptruckm@2600:3c02::f03c:91ff:fe6e:2cfd)
2021-03-07 18:19:40 +0100Jonno_FTW(~come@api.carswap.me)
2021-03-07 18:19:40 +0100johnstein(~johnstein@192.73.239.18)
2021-03-07 18:19:40 +0100ent(entgod@kapsi.fi)
2021-03-07 18:19:46 +0100Bigcheese(~quassel@unaffiliated/bigcheese)
2021-03-07 18:19:52 +0100vqrs(~vqrs@learnprogramming/regular/vqrs)
2021-03-07 18:19:56 +0100cbarrett_(sid192934@adium/cbarrett)
2021-03-07 18:19:57 +0100zgrep(~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep)
2021-03-07 18:20:03 +0100cbarrett(sid192934@gateway/web/irccloud.com/x-kyjghddjgejhpkbr) (Max SendQ exceeded)
2021-03-07 18:20:03 +0100SegFaultAX(SegFaultAX@unaffiliated/segfaultax) (Max SendQ exceeded)
2021-03-07 18:20:03 +0100cbarrett_cbarrett
2021-03-07 18:20:18 +0100totte(~totte@chakra/totte) (Ping timeout: 246 seconds)
2021-03-07 18:20:35 +0100SegFaultAX(SegFaultAX@unaffiliated/segfaultax)
2021-03-07 18:20:38 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1)
2021-03-07 18:20:49 +0100 <infinisil> mikoto-chan: Oh, then I _really_ don't think you should use the `show` solution
2021-03-07 18:21:02 +0100gambpang(~gambpang@unaffiliated/gambpang)
2021-03-07 18:21:14 +0100 <infinisil> I mean, you do you
2021-03-07 18:21:19 +0100 <ADG1089__> I wish to measure the running time of my program, but using `cabal run <executable>` already adds some cost. How can I benchmark the executable independently? One way was to do `time ./dist-newstyle/build/x86_64-linux/ghc-8.10.4/<project_name>-<version>/x/<executable>/build/<executable>/<executable>`
2021-03-07 18:21:25 +0100adziahel[m](adziahelma@gateway/shell/matrix.org/x-gzxprvasiinkibkp) (Ping timeout: 240 seconds)
2021-03-07 18:21:25 +0100sramsay64[m](sramsay64p@gateway/shell/matrix.org/x-nofjuyisaelgsjpz) (Ping timeout: 240 seconds)
2021-03-07 18:21:26 +0100jeffcasavant[m]1(jeffcasava@gateway/shell/matrix.org/x-zuesfmusebgxexbx) (Ping timeout: 240 seconds)
2021-03-07 18:21:29 +0100shadowdaemonGuest6996
2021-03-07 18:21:33 +0100johnnyboy[m](gifumatrix@gateway/shell/matrix.org/x-ykeglgztelluebmc) (Ping timeout: 246 seconds)
2021-03-07 18:21:34 +0100 <infinisil> But that's just not how Haskell should be coded :)
2021-03-07 18:21:49 +0100jerin(jerinmatri@gateway/shell/matrix.org/x-uiruxsqbuirnuhcm) (Ping timeout: 265 seconds)
2021-03-07 18:21:49 +0100anon1891[m](anon1891ma@gateway/shell/matrix.org/x-vgmfrgdeedfuosds) (Ping timeout: 265 seconds)
2021-03-07 18:21:49 +0100hsiktas[m](hsiktasmat@gateway/shell/matrix.org/x-lkcvikipshxfqrsl) (Ping timeout: 265 seconds)
2021-03-07 18:21:49 +0100kadoban(kadobanemp@gateway/shell/matrix.org/x-iaialaudtoihlpte) (Ping timeout: 244 seconds)
2021-03-07 18:21:49 +0100alexfmpe(alexfmpema@gateway/shell/matrix.org/x-emhptsxdqutjjoxk) (Ping timeout: 244 seconds)
2021-03-07 18:21:56 +0100unclechu(unclechuma@gateway/shell/matrix.org/x-bnvsoeizanvczqdz) (Ping timeout: 240 seconds)
2021-03-07 18:21:56 +0100boistordu(boistordum@gateway/shell/matrix.org/x-epqhlcgltbmupbxi) (Ping timeout: 240 seconds)
2021-03-07 18:21:56 +0100lambdaclan(lambdaclan@gateway/shell/matrix.org/x-sallzvkvkldcgkut) (Ping timeout: 240 seconds)
2021-03-07 18:22:18 +0100mjlbach(atriusmatr@gateway/shell/matrix.org/x-ietoxhbonvcmpxmf) (Ping timeout: 265 seconds)
2021-03-07 18:22:18 +0100DamienCassou(damiencass@gateway/shell/matrix.org/x-eprxxdwijffydrdi) (Ping timeout: 265 seconds)
2021-03-07 18:22:23 +0100Alleria_(~textual@2603-7000-3040-0000-1db4-c99c-5289-cfbe.res6.spectrum.com)
2021-03-07 18:22:40 +0100 <mikoto-chan> infinisil: I will get to the real FP part soon don't worry, I barely understood what type theory has to do with ADTs but it will all become clear soon
2021-03-07 18:22:42 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7cec:51bc:5c05:691c)
2021-03-07 18:22:55 +0100sigmacool[m](sigmacoolm@gateway/shell/matrix.org/x-vtxmfxjoeekeagds) (Ping timeout: 240 seconds)
2021-03-07 18:22:55 +0100simara[m](simaramatr@gateway/shell/matrix.org/x-anbvmsbvavejhojm) (Ping timeout: 240 seconds)
2021-03-07 18:22:59 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-03-07 18:23:18 +0100pineapples[m](pineapples@gateway/shell/matrix.org/x-fntvhpevrfdituay) (Ping timeout: 246 seconds)
2021-03-07 18:23:18 +0100maralorn(maralornma@gateway/shell/matrix.org/x-mqkrcevpalnehvqb) (Ping timeout: 246 seconds)
2021-03-07 18:23:18 +0100invent[m](inventmatr@gateway/shell/matrix.org/x-pjnyshafozlreedo) (Ping timeout: 246 seconds)
2021-03-07 18:23:18 +0100immae(immaematri@gateway/shell/matrix.org/x-aohzbgtnvkvkxgyu) (Ping timeout: 246 seconds)
2021-03-07 18:23:18 +0100sm[m](simonmicma@gateway/shell/matrix.org/x-axvntgkvdisfemal) (Ping timeout: 246 seconds)
2021-03-07 18:23:18 +0100freeman42x[m]1(freeman42x@gateway/shell/matrix.org/x-lzazrkeobggmslyf) (Ping timeout: 246 seconds)
2021-03-07 18:23:18 +0100mly[m](mlydisenco@gateway/shell/matrix.org/x-cntmtcfjpjgfyemu) (Ping timeout: 246 seconds)
2021-03-07 18:23:18 +0100ManofLetters[m](manoflette@gateway/shell/matrix.org/x-ntjjesgcogujguzg) (Ping timeout: 246 seconds)
2021-03-07 18:23:18 +0100VarikValefor[m](varikvalef@gateway/shell/matrix.org/x-pwtjczbvhoktmglx) (Ping timeout: 246 seconds)
2021-03-07 18:23:25 +0100JaakkoLuttinen[m(jluttinema@gateway/shell/matrix.org/x-sivibcbidnslmvhv) (Ping timeout: 240 seconds)
2021-03-07 18:23:26 +0100heck-to-the-gnom(heck-to-th@gateway/shell/matrix.org/x-knksglsfyyacjpqp) (Ping timeout: 240 seconds)
2021-03-07 18:23:26 +0100fgaz(fgazmatrix@gateway/shell/matrix.org/x-lkhxesooszpdtuzd) (Ping timeout: 240 seconds)
2021-03-07 18:23:37 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7cec:51bc:5c05:691c) (Client Quit)
2021-03-07 18:23:41 +0100michaelpj(michaelpjm@gateway/shell/matrix.org/x-utkhqzitnbcyceql) (Ping timeout: 268 seconds)
2021-03-07 18:23:41 +0100AbtractSingleton(rasurumatr@gateway/shell/matrix.org/x-fubfwjnqfyqisvqw) (Ping timeout: 268 seconds)
2021-03-07 18:23:41 +0100darkcodi[m](darkcodima@gateway/shell/matrix.org/x-npqntjjhuhxltvgw) (Ping timeout: 268 seconds)
2021-03-07 18:23:45 +0100alecs[m](malumorema@gateway/shell/matrix.org/x-dlpnoymfcpnetnsl) (Ping timeout: 265 seconds)
2021-03-07 18:23:45 +0100jtojnar(jtojnarmat@gateway/shell/matrix.org/x-uzqgiiovyutwaadq) (Ping timeout: 265 seconds)
2021-03-07 18:23:52 +0100Guest6996shadowdao
2021-03-07 18:23:53 +0100alar[m](alarmxalat@gateway/shell/matrix.org/x-cktkugutuxvtjihl) (Ping timeout: 244 seconds)
2021-03-07 18:23:53 +0100meff[m]1(meffsunado@gateway/shell/matrix.org/x-buufiutwpfhtkcfl) (Ping timeout: 244 seconds)
2021-03-07 18:23:53 +0100the_1_[m](the1matrix@gateway/shell/matrix.org/x-ydnkooibksztllyy) (Ping timeout: 244 seconds)
2021-03-07 18:23:53 +0100themsay[m](themsaymat@gateway/shell/matrix.org/x-hbatkioaxwxoyeob) (Ping timeout: 244 seconds)
2021-03-07 18:23:55 +0100joe[m]3(joemonoida@gateway/shell/matrix.org/x-wrdyeabcrguvhelc) (Ping timeout: 240 seconds)
2021-03-07 18:23:57 +0100shadowdao(~user@2607:8b00:0:96::43e5:bc0b) (Changing host)
2021-03-07 18:23:57 +0100shadowdao(~user@unaffiliated/shadowdaemon)
2021-03-07 18:24:05 +0100Ericson2314(ericson231@gateway/shell/matrix.org/x-gwwwaooyqtgnnprg) (Ping timeout: 240 seconds)
2021-03-07 18:24:24 +0100Pressyware[m](pressyware@gateway/shell/matrix.org/x-cypbqfareuipwdxl) (Ping timeout: 244 seconds)
2021-03-07 18:24:24 +0100maerwald[m](maerwaldma@gateway/shell/matrix.org/x-uhnhkfwqbcavnxpt) (Ping timeout: 244 seconds)
2021-03-07 18:24:24 +0100MichaelHoffmannb(brisadmozi@gateway/shell/matrix.org/x-bxwoulfwiwwtdyhj) (Ping timeout: 240 seconds)
2021-03-07 18:24:25 +0100MrMuffles[m](mrmufflesm@gateway/shell/matrix.org/x-esnxvkbmvtiuhuxs) (Ping timeout: 240 seconds)
2021-03-07 18:24:25 +0100PotatoHatsue(berbermanp@gateway/shell/matrix.org/x-owxvktbultetirdz) (Ping timeout: 240 seconds)
2021-03-07 18:24:25 +0100pqwy[m](pqwymatrix@gateway/shell/matrix.org/x-fomxwbukrzfljorj) (Ping timeout: 240 seconds)
2021-03-07 18:24:25 +0100CrabMan(phi-matrix@gateway/shell/matrix.org/x-ncflvngxohdcpaqc) (Ping timeout: 240 seconds)
2021-03-07 18:24:26 +0100beardhatcode(robbertbea@gateway/shell/matrix.org/x-yblxynzepndwlzrx) (Ping timeout: 240 seconds)
2021-03-07 18:24:26 +0100speakerspivakeem(speakerdea@gateway/shell/matrix.org/x-grrchxbekhuqojog) (Ping timeout: 240 seconds)
2021-03-07 18:24:26 +0100srid(sridmatrix@gateway/shell/matrix.org/x-naqkszpohzlsbubr) (Ping timeout: 240 seconds)
2021-03-07 18:24:41 +0100a-tsioh[m](a-tsiohmat@gateway/shell/matrix.org/x-rrcleclrzigajexo) (Ping timeout: 258 seconds)
2021-03-07 18:24:41 +0100domenkozar[m](domenkozar@NixOS/user/domenkozar) (Ping timeout: 258 seconds)
2021-03-07 18:24:47 +0100 <mikoto-chan> How do I return the `Car` part of `myCar = Car Manufacturer Price` instead?
2021-03-07 18:25:00 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7cec:51bc:5c05:691c)
2021-03-07 18:25:00 +0100 <mikoto-chan> Brb in 30 mins
2021-03-07 18:25:02 +0100totte(~totte@chakra/totte)
2021-03-07 18:25:04 +0100ThaEwat(thaewraptm@gateway/shell/matrix.org/x-adbxucyaclkjrrut) (Ping timeout: 240 seconds)
2021-03-07 18:25:15 +0100rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-dbwjulyjscwdxosr) (Ping timeout: 240 seconds)
2021-03-07 18:25:15 +0100brightly-salty[m(brightly-s@gateway/shell/matrix.org/x-buliqctfxktasemp) (Ping timeout: 240 seconds)
2021-03-07 18:25:15 +0100toasty_avocado[m(toastyavoc@gateway/shell/matrix.org/x-wkhjyjmxecrptsuj) (Ping timeout: 240 seconds)
2021-03-07 18:25:27 +0100bitonic(bitonicmat@gateway/shell/matrix.org/x-vqjrvuxpfudllnzv) (Ping timeout: 258 seconds)
2021-03-07 18:25:27 +0100mud(kadobanmat@gateway/shell/matrix.org/x-vshgkgtjqjjszdqu) (Ping timeout: 258 seconds)
2021-03-07 18:25:32 +0100berberman[T](berberma4@gateway/shell/matrix.org/x-cxfwanztfqrqbbdt) (Ping timeout: 268 seconds)
2021-03-07 18:25:32 +0100Hanma[m](hanmamatri@gateway/shell/matrix.org/x-jgikxfrvozhpbsoi) (Ping timeout: 268 seconds)
2021-03-07 18:25:32 +0100Lurkki[m](lurkkipriv@gateway/shell/matrix.org/x-xzyglswxynebzkit) (Ping timeout: 268 seconds)
2021-03-07 18:25:32 +0100lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-kbuniydwnivkskyv) (Ping timeout: 268 seconds)
2021-03-07 18:25:32 +0100siraben(sirabenmat@gateway/shell/matrix.org/x-ofqfbyaxrzohrkzu) (Ping timeout: 268 seconds)
2021-03-07 18:25:32 +0100jkaye[m](jkayematri@gateway/shell/matrix.org/x-cdnoacaikcqweptz) (Ping timeout: 268 seconds)
2021-03-07 18:25:32 +0100jesser[m](jessermatr@gateway/shell/matrix.org/x-qjriisacmnwggisj) (Ping timeout: 268 seconds)
2021-03-07 18:25:32 +0100utdemir[m](utdemirmat@gateway/shell/matrix.org/x-pmladlzouojlwrsx) (Ping timeout: 268 seconds)
2021-03-07 18:25:32 +0100Robin[m]2(robinrobin@gateway/shell/matrix.org/x-qitylqaxjgpvphgf) (Ping timeout: 268 seconds)
2021-03-07 18:25:32 +0100enya[m](enyaismatr@gateway/shell/matrix.org/x-qrvidzgjkxctjdul) (Ping timeout: 268 seconds)
2021-03-07 18:25:32 +0100Lurkki[m]1(lurkkifene@gateway/shell/matrix.org/x-nxoeksmofthnqmyh) (Ping timeout: 268 seconds)
2021-03-07 18:25:32 +0100psydruid(psydruidma@gateway/shell/matrix.org/x-nqquprpkcjqwwhao) (Ping timeout: 268 seconds)
2021-03-07 18:25:33 +0100dyniec[m](dyniecmatr@gateway/shell/matrix.org/x-bbtyofnilpeshbbz) (Ping timeout: 260 seconds)
2021-03-07 18:25:33 +0100oreoking[m](oreokingma@gateway/shell/matrix.org/x-sfbsvckrwskkmqtb) (Ping timeout: 260 seconds)
2021-03-07 18:25:33 +0100my_name_is_not_j(mynameisno@gateway/shell/matrix.org/x-cikestsovlfgskzl) (Ping timeout: 260 seconds)
2021-03-07 18:26:06 +0100 <geekosaur> there's an xy problem in there somewhere, I think
2021-03-07 18:26:37 +0100 <minoru_shiraeesh> ADG1089_: how about running the program as usual and then reading logs?
2021-03-07 18:28:03 +0100 <infinisil> ADG1089__: You can also do a `getCurrentTime` at the start of main, and another at the end, then print the difference (with `diffUTCTime`)
2021-03-07 18:28:08 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-07 18:28:50 +0100 <infinisil> (there's probably something more adequate than getCurrentTime too)
2021-03-07 18:29:10 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-07 18:29:13 +0100 <ADG1089__> infinisil: I found something relevant: http://www.serpentine.com/criterion/tutorial.html
2021-03-07 18:29:14 +0100geekosaurcontemplates Criterion
2021-03-07 18:29:14 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-124.cust.tzulo.com)
2021-03-07 18:29:54 +0100 <c_wraith> criterion is excellent for benchmarking. It's not great for monitoring, like of the "wait, it suddenly doubled how long it takes this program to run" sort.
2021-03-07 18:30:23 +0100 <infinisil> https://hackage.haskell.org/package/time-1.11.1.1/docs/Data-Time-Clock-System.html#v:getSystemTime
2021-03-07 18:30:29 +0100 <infinisil> This sounds better
2021-03-07 18:30:47 +0100Schrostfutz(~Schrostfu@p2e585ac0.dip0.t-ipconnect.de) (Read error: No route to host)
2021-03-07 18:31:04 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-07 18:31:17 +0100 <c_wraith> so... if you want to benchmark, use criterion. If you want monitoring... good logs sound like a good choice.
2021-03-07 18:31:23 +0100pincel(~pyon@unaffiliated/pyon) (Ping timeout: 260 seconds)
2021-03-07 18:32:22 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net)
2021-03-07 18:32:50 +0100loyon(loyonmatri@gateway/shell/matrix.org/x-pnufdayfznwnuums)
2021-03-07 18:32:56 +0100 <ADG1089__> ok so benchmark, hence criterion.
2021-03-07 18:33:24 +0100pincel(~pyon@unaffiliated/pyon)
2021-03-07 18:34:11 +0100theDon_(~td@94.134.91.77) (Quit: Reconnecting)
2021-03-07 18:34:28 +0100theDon(~td@94.134.91.77)
2021-03-07 18:35:54 +0100rond_(594020c5@89-64-32-197.dynamic.chello.pl)
2021-03-07 18:35:59 +0100bigboss98(~Android@223.204.217.185)
2021-03-07 18:36:43 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-ihqazvwwbaedusci)
2021-03-07 18:36:44 +0100pincel(~pyon@unaffiliated/pyon) (Client Quit)
2021-03-07 18:36:50 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7cec:51bc:5c05:691c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-07 18:37:35 +0100mayleesia(590cf471@dynamic-089-012-244-113.89.12.pool.telefonica.de) (Quit: Connection closed)
2021-03-07 18:38:16 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 18:38:21 +0100bigbosskor(~Android@223.204.217.185) (Ping timeout: 264 seconds)
2021-03-07 18:38:21 +0100xwvvvvwx(xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Ping timeout: 264 seconds)
2021-03-07 18:38:56 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-03-07 18:39:18 +0100ADG1089__(~aditya@122.163.167.99) (Remote host closed the connection)
2021-03-07 18:39:27 +0100 <minoru_shiraeesh> mikoto-chan: sounds like you're asking about using "@" in pattern matching
2021-03-07 18:40:02 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection)
2021-03-07 18:40:03 +0100rond_(594020c5@89-64-32-197.dynamic.chello.pl) (Ping timeout: 240 seconds)
2021-03-07 18:40:16 +0100xwvvvvwx(xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx)
2021-03-07 18:40:21 +0100 <minoru_shiraeesh> let car@(Car x y) = myCar
2021-03-07 18:40:41 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 18:40:52 +0100obiwahn(~obiwahn@pdpc/supporter/student/obiwahn)
2021-03-07 18:43:52 +0100johnnyboy[m](gifumatrix@gateway/shell/matrix.org/x-zvkdvuuatxmtttsb)
2021-03-07 18:44:28 +0100hsiktas[m](hsiktasmat@gateway/shell/matrix.org/x-cyaabyhfuyvoxqpo)
2021-03-07 18:44:52 +0100anon1891[m](anon1891ma@gateway/shell/matrix.org/x-gkpezsilaexknhmv)
2021-03-07 18:44:58 +0100jerin(jerinmatri@gateway/shell/matrix.org/x-vbxscyotkofvtytb)
2021-03-07 18:45:00 +0100mjlbach(atriusmatr@gateway/shell/matrix.org/x-nddsubvqwkcbmidr)
2021-03-07 18:45:06 +0100DamienCassou(damiencass@gateway/shell/matrix.org/x-kigjdqwdwvpjebga)
2021-03-07 18:45:10 +0100lambdaclan(lambdaclan@gateway/shell/matrix.org/x-jiodvserklaqeevq)
2021-03-07 18:45:17 +0100unclechu(unclechuma@gateway/shell/matrix.org/x-uxortgpodmpgutfq)
2021-03-07 18:45:35 +0100sramsay64[m](sramsay64p@gateway/shell/matrix.org/x-yvgptxnhoswmcqba)
2021-03-07 18:45:36 +0100JaakkoLuttinen[m(jluttinema@gateway/shell/matrix.org/x-nsopxdhafmyjbgcc)
2021-03-07 18:45:37 +0100adziahel[m](adziahelma@gateway/shell/matrix.org/x-pihnaizkiayzbmma)
2021-03-07 18:45:38 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 264 seconds)
2021-03-07 18:45:39 +0100jeffcasavant[m]1(jeffcasava@gateway/shell/matrix.org/x-romdayesernblvyy)
2021-03-07 18:45:47 +0100heck-to-the-gnom(heck-to-th@gateway/shell/matrix.org/x-gsusihhksyxhkmvx)
2021-03-07 18:45:49 +0100boistordu(boistordum@gateway/shell/matrix.org/x-alsxfyrrkthoxfgo)
2021-03-07 18:45:56 +0100alexfmpe(alexfmpema@gateway/shell/matrix.org/x-cseojiaisucumjfd)
2021-03-07 18:46:02 +0100kadoban(kadobanemp@gateway/shell/matrix.org/x-jmopghdotibeqpvo)
2021-03-07 18:46:06 +0100fgaz(fgazmatrix@gateway/shell/matrix.org/x-yguyfyqjremfbkfs)
2021-03-07 18:46:44 +0100NieDzejkob(~quassel@195.149.98.3) (Ping timeout: 245 seconds)
2021-03-07 18:47:09 +0100NieDzejkob(~quassel@195.149.98.3)
2021-03-07 18:47:44 +0100yorick1yorick
2021-03-07 18:47:56 +0100rajivr(uid269651@gateway/web/irccloud.com/x-jozbabmrjtaqnwec) (Quit: Connection closed for inactivity)
2021-03-07 18:49:43 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 18:49:44 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-07 18:50:32 +0100Tario(~Tario@201.192.165.173)
2021-03-07 18:50:56 +0100mananamenos_(~mananamen@193.red-88-11-66.dynamicip.rima-tde.net)
2021-03-07 18:51:08 +0100ADG1089__(~aditya@122.163.167.99)
2021-03-07 18:51:16 +0100dftxbs3e(~dftxbs3e@unaffiliated/dftxbs3e)
2021-03-07 18:51:43 +0100rond_(594020c5@89-64-32-197.dynamic.chello.pl)
2021-03-07 18:52:38 +0100 <rond_> Hi! I've got a question about this snippet: https://paste.tomsmeding.com/QJydYVQd Would it work for an infinite list? If so, why?
2021-03-07 18:53:22 +0100 <rond_> Is Haskell smart enough to reason about the function in this case and to realize that once `acc == True` it'd remain as such?
2021-03-07 18:53:30 +0100 <monochrom> I won't. Generally, foldl doesn't.
2021-03-07 18:53:40 +0100 <monochrom> err, s/I/It/
2021-03-07 18:53:49 +0100mananamenos(~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 245 seconds)
2021-03-07 18:54:03 +0100 <monochrom> No, Haskell isn't that smart.
2021-03-07 18:54:04 +0100plumenator[m](plumenator@gateway/shell/matrix.org/x-zgfgtuflrtrzeoqi)
2021-03-07 18:54:32 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no)
2021-03-07 18:54:38 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 264 seconds)
2021-03-07 18:54:41 +0100NieDzejkob(~quassel@195.149.98.3) (Ping timeout: 265 seconds)
2021-03-07 18:54:45 +0100 <rond_> So if I were to perform such a thing, it's better to implement it with some recursive function so it would cut off computations appropriately?
2021-03-07 18:54:59 +0100NieDzejkob(~quassel@user-5-173-105-218.play-internet.pl)
2021-03-07 18:55:22 +0100sigmacool[m](sigmacoolm@gateway/shell/matrix.org/x-hrctfofefschsgwh)
2021-03-07 18:55:22 +0100simara[m](simaramatr@gateway/shell/matrix.org/x-dckaxkaaasuvaumo)
2021-03-07 18:55:36 +0100 <rond_> Basically, a rule of thumb would be that `foldl` doesn't work with infinite inputs?
2021-03-07 18:55:37 +0100 <monochrom> Yes, explicitly code up early exit.
2021-03-07 18:56:06 +0100 <rond_> Is there a type for finite lists?
2021-03-07 18:56:12 +0100 <monochrom> foldr is much better for elem'
2021-03-07 18:56:36 +0100 <rond_> why?\
2021-03-07 18:56:41 +0100 <[exa]> rond_: even if the list would be finite, there could be an element where (==) could diverge
2021-03-07 18:56:49 +0100luke(~luke@bitnomial/staff/luke)
2021-03-07 18:57:01 +0100 <rond_> [exa] what do you mean? could you elaborate a bit?
2021-03-07 18:57:20 +0100NieDzejkob(~quassel@user-5-173-105-218.play-internet.pl) (Client Quit)
2021-03-07 18:57:49 +0100 <monochrom> [exa], that one can't be helped no matter what you do. So I would think we don't worry about it at this stage.
2021-03-07 18:58:18 +0100 <[exa]> ah yes you can make the function so that it doesn't call (==)... sorry :]
2021-03-07 18:58:29 +0100 <rond_> I'm lsot..
2021-03-07 18:58:32 +0100 <rond_> lost*
2021-03-07 18:58:40 +0100 <monochrom> See what you did?
2021-03-07 18:59:20 +0100 <[exa]> rond_: I wanted to point out that there are other dangers than infinite lists (eg. good old `undefined` is one of them)
2021-03-07 18:59:43 +0100 <rond_> I'm learning from LYAH and I haven't stumbled upon `undefined` yet.
2021-03-07 19:00:29 +0100dftxbs3e(~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection)
2021-03-07 19:01:20 +0100 <monochrom> Here is a more basic example of why foldr can do early exit, for example.
2021-03-07 19:01:22 +0100AbtractSingleton(rasurumatr@gateway/shell/matrix.org/x-hsxpwrgsikiawcsr)
2021-03-07 19:01:30 +0100michaelpj(michaelpjm@gateway/shell/matrix.org/x-peeuxxsdomqfhtbj)
2021-03-07 19:01:45 +0100 <monochrom> > foldr (&&) True (repeat False)
2021-03-07 19:01:47 +0100 <lambdabot> False
2021-03-07 19:01:56 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 265 seconds)
2021-03-07 19:02:00 +0100 <rond_> "To put it plainly, if you take an infinite list at some point and you fold it up from the right, you'll eventually reach the beginning of the list. However, if you take an infinite list at a point and you try to fold it up from the left, you'll never reach an end! " I don't understand this sentence - how could `foldr` even start with an infinite
2021-03-07 19:02:01 +0100 <rond_> list?
2021-03-07 19:02:01 +0100 <monochrom> The reason can be seen from hand-running it:
2021-03-07 19:02:25 +0100 <rond_> > foldl (&&) True (repeat False)
2021-03-07 19:02:27 +0100 <monochrom> foldr (&&) True (False : whatever) = False && foldr ... = False. Done.
2021-03-07 19:02:31 +0100 <lambdabot> mueval-core: Time limit exceeded
2021-03-07 19:03:22 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no)
2021-03-07 19:03:34 +0100 <rond_> interesting
2021-03-07 19:04:09 +0100 <minoru_shiraeesh> rond_: that sentence is really confusing for a beginner
2021-03-07 19:04:23 +0100pineapples[m](pineapples@gateway/shell/matrix.org/x-yodeebrpycxvvfhd)
2021-03-07 19:04:23 +0100mly[m](mlydisenco@gateway/shell/matrix.org/x-vsddcgdrozvrcpfd)
2021-03-07 19:04:24 +0100ManofLetters[m](manoflette@gateway/shell/matrix.org/x-xhemtjphkmydmucx)
2021-03-07 19:04:25 +0100VarikValefor[m](varikvalef@gateway/shell/matrix.org/x-eijklabkebhzgrcd)
2021-03-07 19:04:25 +0100invent[m](inventmatr@gateway/shell/matrix.org/x-acsaxyfzehsuqpnv)
2021-03-07 19:04:26 +0100maralorn(maralornma@gateway/shell/matrix.org/x-uxbseyfakmhjsikg)
2021-03-07 19:04:27 +0100 <rond_> It is. How to read it?
2021-03-07 19:04:27 +0100 <monochrom> foldl uses "tail recursion", that's why it has problems. This is what's wrong with obsessing over "tail recursion".
2021-03-07 19:04:27 +0100freeman42x[m]1(freeman42x@gateway/shell/matrix.org/x-kvuqdpxllvlgxrfm)
2021-03-07 19:04:31 +0100dftxbs3e(~dftxbs3e@unaffiliated/dftxbs3e)
2021-03-07 19:04:34 +0100sm[m](simonmicma@gateway/shell/matrix.org/x-kfjwhkilnrmtiqzr)
2021-03-07 19:04:42 +0100immae(immaematri@gateway/shell/matrix.org/x-kanozzlnyfzodeoe)
2021-03-07 19:04:59 +0100 <minoru_shiraeesh> l and r in foldl and foldr don't mean "from left" and "from right". they mean "left associative" and "right associative"
2021-03-07 19:05:01 +0100alecs[m](malumorema@gateway/shell/matrix.org/x-dipfcuykpbkbqeke)
2021-03-07 19:05:30 +0100jtojnar(jtojnarmat@gateway/shell/matrix.org/x-nemjmawtxnucncbk)
2021-03-07 19:05:34 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds)
2021-03-07 19:05:36 +0100 <rond_> That wasn't obvious at all
2021-03-07 19:05:38 +0100 <[exa]> rond_: you may also try `foldl (&&) True (True:False:True:error "a trap!")` which is "finite". `foldr` survives there too.
2021-03-07 19:06:03 +0100 <rond_> > foldl (&&) True (True:False:True:error "a trap!")
2021-03-07 19:06:06 +0100 <lambdabot> *Exception: a trap!
2021-03-07 19:06:09 +0100 <rond_> > foldr (&&) True (True:False:True:error "a trap!")
2021-03-07 19:06:09 +0100alar[m](alarmxalat@gateway/shell/matrix.org/x-btirhtujftoyatyv)
2021-03-07 19:06:10 +0100meff[m]1(meffsunado@gateway/shell/matrix.org/x-bhggmttmkrzvyggc)
2021-03-07 19:06:12 +0100 <lambdabot> False
2021-03-07 19:06:13 +0100the_1_[m](the1matrix@gateway/shell/matrix.org/x-azpuapzwzrdxqaxc)
2021-03-07 19:06:16 +0100themsay[m](themsaymat@gateway/shell/matrix.org/x-revdyihapfdobrsk)
2021-03-07 19:06:35 +0100 <rond_> And the reason is exactly what  minoru_shiraeesh said:  "left associative" and "right associative"
2021-03-07 19:06:40 +0100 <rond_> super interesting
2021-03-07 19:06:52 +0100 <[exa]> rond_: in the second, case, the evaluated expression reads as `(True&&(False&&(....))`, so the (&&) can short-circuit there
2021-03-07 19:07:14 +0100 <infinisil> Maybe a better explanation for the l and r are that the dependency chain of values flows to the left/right
2021-03-07 19:07:30 +0100 <minoru_shiraeesh> there is an article about folds in haskell: https://wiki.haskell.org/Foldr_Foldl_Foldl%27
2021-03-07 19:07:40 +0100 <[exa]> rond_: with foldl, the evaluated expression reads `((... && False ) && error "a trap!")`, so the topmost && cannot be ever evaluated to give the final result
2021-03-07 19:08:23 +0100bobiusbillius(~bobiusbil@2a02:c7d:51c4:7000:1167:87c5:c3c8:7dfb)
2021-03-07 19:08:28 +0100 <[exa]> rond_: notably, l/r means "direction of adding parentheses", but not at all "order of evaluation"
2021-03-07 19:08:47 +0100NieDzejkob(~quassel@195.149.98.3)
2021-03-07 19:08:58 +0100 <rond_> "l/r means "direction of adding parentheses", but not at all "order of evaluation"" - that's confusing. I'd say they're the same in my current state of mind
2021-03-07 19:09:12 +0100 <[exa]> rond_: well, not with lazy evaluation
2021-03-07 19:09:34 +0100 <rond_> Do you think that : https://wiki.haskell.org/Foldr_Foldl_Foldl%27 might enlighten me?
2021-03-07 19:09:38 +0100dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-03-07 19:10:50 +0100 <monochrom> foldl and foldr were invented in non-lazy languages such as Lisp and ML. There, they really were left-to-right and right-to-left, respectively.
2021-03-07 19:11:03 +0100dftxbs3e(~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection)
2021-03-07 19:11:05 +0100Jd007(~Jd007@162.156.11.151)
2021-03-07 19:11:21 +0100NieDzejkob(~quassel@195.149.98.3) (Excess Flood)
2021-03-07 19:11:32 +0100NieDzejkob(~quassel@195.149.98.3)
2021-03-07 19:11:42 +0100 <monochrom> What happens is if you copy-paste their code to Haskell, lazy evaluation runs them differently.
2021-03-07 19:12:52 +0100 <c_wraith> foldr is a lot more useful in Haskell, thanks to that.
2021-03-07 19:14:33 +0100 <rond_> I was so content that everything I read is straight-forward and easy... up until this point :D
2021-03-07 19:14:36 +0100jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-03-07 19:15:09 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-03-07 19:15:09 +0100 <monochrom> It can still be straigtforward. Do the algebra. Don't read words.
2021-03-07 19:15:16 +0100 <maerwald> yeah, you always process the list left to right :)
2021-03-07 19:15:25 +0100 <monochrom> <monochrom> foldr (&&) True (False : whatever) = False && foldr ... = False. Done.
2021-03-07 19:15:31 +0100 <monochrom> That nails it.
2021-03-07 19:15:43 +0100NieDzejkob(~quassel@195.149.98.3) (Read error: Connection reset by peer)
2021-03-07 19:15:56 +0100 <monochrom> A formula is worth a thousand pictures.
2021-03-07 19:15:59 +0100joe[m]3(joemonoida@gateway/shell/matrix.org/x-heehkpixvzbakbkb)
2021-03-07 19:16:15 +0100 <maerwald> just because you don't like pictures
2021-03-07 19:16:17 +0100 <monochrom> (Combine it with "a picture is worth a thousand words")
2021-03-07 19:16:58 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-03-07 19:17:02 +0100 <monochrom> And now, what [exa] got wrong.
2021-03-07 19:17:26 +0100 <monochrom> foo && error "bah" is not always a problem. False && error "bah" is just fine.
2021-03-07 19:17:29 +0100 <rond_> monochrom: Could you expand the example you provided with `foldl` instead of `foldr`?
2021-03-07 19:17:33 +0100NieDzejkob(~quassel@vps-dd3183b7.vps.ovh.net)
2021-03-07 19:19:10 +0100gitgood(~gitgood@82-132-217-191.dab.02.net)
2021-03-07 19:19:13 +0100 <monochrom> What goes wrong with that foldl example is: foldl (&&) z (x : error "bah") = foldl (&&) (z && x) (error "bah") = error "bah". There is no foo && error "bah" anywhere.
2021-03-07 19:19:52 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 19:20:17 +0100 <monochrom> foldl (&&) True (False : False : ... etc) = foldl (&&) (True && False) (False : ...etc) = you keep doing more, there is no end.
2021-03-07 19:20:59 +0100Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 260 seconds)
2021-03-07 19:21:10 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds)
2021-03-07 19:21:16 +0100 <rond_> Okay, I need to take a break
2021-03-07 19:21:28 +0100 <monochrom> And maerwald, as you can see, it is words that I don't like.
2021-03-07 19:21:40 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection)
2021-03-07 19:21:55 +0100kam1(~kam1@113.203.63.161)
2021-03-07 19:22:03 +0100 <maerwald> They are rather problematic, indeed.
2021-03-07 19:22:05 +0100 <rond_> I'll write down the examples, probably sleep with them and likely come back again to ask about it again (after reading the article from wiki.haskell as well)
2021-03-07 19:22:13 +0100o1lo01ol_(~o1lo01ol1@bl7-88-181.dsl.telepac.pt)
2021-03-07 19:22:16 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 19:22:39 +0100o1lo01ol1o(~o1lo01ol1@bl7-89-228.dsl.telepac.pt) (Read error: Connection reset by peer)
2021-03-07 19:22:44 +0100 <rond_> Thank you all for your help!
2021-03-07 19:24:09 +0100mirrorbird(~dwsjeid91@m83-187-177-242.cust.tele2.se)
2021-03-07 19:25:47 +0100Ericson2314(ericson231@gateway/shell/matrix.org/x-mqrfmtvzohzxsodp)
2021-03-07 19:26:37 +0100 <maerwald> oh, new streamly version
2021-03-07 19:26:47 +0100 <maerwald> the hackage live ticker here isn't working again it seems
2021-03-07 19:26:57 +0100 <justsomeguy> That library looks 'streamly cool :^).
2021-03-07 19:27:02 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 264 seconds)
2021-03-07 19:27:12 +0100Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
2021-03-07 19:27:31 +0100Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-03-07 19:29:09 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 256 seconds)
2021-03-07 19:29:13 +0100jesser[m](jessermatr@gateway/shell/matrix.org/x-yepyguibsbmyahah)
2021-03-07 19:29:18 +0100darkcodi[m](darkcodima@gateway/shell/matrix.org/x-xjmhgcxlpysirlzx)
2021-03-07 19:29:57 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-03-07 19:35:15 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-07 19:35:16 +0100machinedgod(~machinedg@24.105.81.50)
2021-03-07 19:35:35 +0100Rudd0(~Rudd0@185.189.115.103)
2021-03-07 19:35:57 +0100pqwy[m](pqwymatrix@gateway/shell/matrix.org/x-nmamuvshyesecffd)
2021-03-07 19:36:03 +0100speakerspivakeem(speakerdea@gateway/shell/matrix.org/x-nplqxycskjtzpnfg)
2021-03-07 19:36:06 +0100srid(sridmatrix@gateway/shell/matrix.org/x-xlwlcbjfdgaskbuc)
2021-03-07 19:36:22 +0100PotatoHatsue(berbermanp@gateway/shell/matrix.org/x-yluorskaumyihrcn)
2021-03-07 19:36:34 +0100CrabMan(phi-matrix@gateway/shell/matrix.org/x-elrhfvlhlcoczwse)
2021-03-07 19:36:46 +0100beardhatcode(robbertbea@gateway/shell/matrix.org/x-fucrwzurqfdnkyfb)
2021-03-07 19:36:54 +0100maerwald[m](maerwaldma@gateway/shell/matrix.org/x-hmfxsgugtuaqfrpt)
2021-03-07 19:36:55 +0100MrMuffles[m](mrmufflesm@gateway/shell/matrix.org/x-hahwckvaqcfkjcyn)
2021-03-07 19:37:12 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-07 19:37:19 +0100stree(~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-03-07 19:37:30 +0100MichaelHoffmannb(brisadmozi@gateway/shell/matrix.org/x-xmqzxkgsheepjdjp)
2021-03-07 19:37:35 +0100Pressyware[m](pressyware@gateway/shell/matrix.org/x-plprftxrswzlfsuf)
2021-03-07 19:37:46 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-07 19:38:06 +0100pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-03-07 19:38:29 +0100a-tsioh[m](a-tsiohmat@gateway/shell/matrix.org/x-uvugmgtwtycebrwk)
2021-03-07 19:39:16 +0100domenkozar[m](domenkozar@NixOS/user/domenkozar)
2021-03-07 19:42:02 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-03-07 19:42:12 +0100Guest24956(~zmv@unaffiliated/zmv)
2021-03-07 19:42:12 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-03-07 19:42:51 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-07 19:43:20 +0100boristheblade(~boristheb@87-95-97-198.bb.dnainternet.fi)
2021-03-07 19:44:15 +0100bigboss98Bigbosskor
2021-03-07 19:44:32 +0100luke(~luke@bitnomial/staff/luke) (Quit: sleep)
2021-03-07 19:44:35 +0100bitonic(bitonicmat@gateway/shell/matrix.org/x-xolbnvrpcfpyxhwo)
2021-03-07 19:44:39 +0100minoru_shiraeesh(~shiraeesh@109.166.57.19) (Ping timeout: 245 seconds)
2021-03-07 19:44:41 +0100oreoking[m](oreokingma@gateway/shell/matrix.org/x-ripwtpvetljdzkho)
2021-03-07 19:44:41 +0100dyniec[m](dyniecmatr@gateway/shell/matrix.org/x-fvwgdwvjsdbvlenc)
2021-03-07 19:44:41 +0100my_name_is_not_j(mynameisno@gateway/shell/matrix.org/x-kjoeodzseshxepvl)
2021-03-07 19:44:55 +0100ThaEwat(thaewraptm@gateway/shell/matrix.org/x-gtizoflguipwdywi)
2021-03-07 19:45:29 +0100frozenErebus(~frozenEre@94.128.82.20) (Ping timeout: 245 seconds)
2021-03-07 19:45:40 +0100boristheblade(~boristheb@87-95-97-198.bb.dnainternet.fi) ()
2021-03-07 19:45:53 +0100lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-nqikzoyzzbkxkkev)
2021-03-07 19:45:59 +0100Robin[m]2(robinrobin@gateway/shell/matrix.org/x-cmsislyvxyumkemg)
2021-03-07 19:46:00 +0100jkaye[m](jkayematri@gateway/shell/matrix.org/x-qffksefpcbeofquc)
2021-03-07 19:46:02 +0100Lurkki[m]1(lurkkifene@gateway/shell/matrix.org/x-yfuidztsaefpfasv)
2021-03-07 19:46:09 +0100berberman[T](berberma4@gateway/shell/matrix.org/x-vvymcwfscdivsdlx)
2021-03-07 19:46:13 +0100Lurkki[m](lurkkipriv@gateway/shell/matrix.org/x-svjjpwzvvfaqofmn)
2021-03-07 19:46:14 +0100utdemir[m](utdemirmat@gateway/shell/matrix.org/x-gpwaueemnpfdcwea)
2021-03-07 19:46:14 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 264 seconds)
2021-03-07 19:46:17 +0100enya[m](enyaismatr@gateway/shell/matrix.org/x-mopbbwnwlliixuwj)
2021-03-07 19:46:19 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-07 19:46:22 +0100brightly-salty[m(brightly-s@gateway/shell/matrix.org/x-agmgihgnmlsqayfq)
2021-03-07 19:46:37 +0100rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-qyukuwejrzhlrohq)
2021-03-07 19:46:40 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-07 19:48:27 +0100supercoven_(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi)
2021-03-07 19:49:02 +0100Pickchea(~private@unaffiliated/pickchea)
2021-03-07 19:49:38 +0100 <sm[m]> maerwald: a stock ticker-style display is a nice idea actually. Not so IRC-friendly though
2021-03-07 19:50:03 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-07 19:50:15 +0100 <sm[m]> though you could do it as a widget for element users
2021-03-07 19:50:32 +0100 <maerwald> we already have a hackagebot for that
2021-03-07 19:50:34 +0100stree(~stree@68.36.8.116)
2021-03-07 19:50:41 +0100 <maerwald> but sometimes it's gone
2021-03-07 19:50:47 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 19:51:00 +0100 <sm[m]> I know, I used to run it
2021-03-07 19:51:19 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 258 seconds)
2021-03-07 19:51:25 +0100Hanma[m](hanmamatri@gateway/shell/matrix.org/x-pkofqmewlpdcrykb)
2021-03-07 19:51:26 +0100mud(kadobanmat@gateway/shell/matrix.org/x-qmcvpkrinjigllxf)
2021-03-07 19:51:27 +0100 <sm[m]> it's too verbose to keep running in here 24/7 nowadays I think
2021-03-07 19:51:44 +0100supercoven(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 245 seconds)
2021-03-07 19:51:49 +0100 <sm[m]> people complained even back then
2021-03-07 19:51:53 +0100minoru_shiraeesh(~shiraeesh@109.166.57.19)
2021-03-07 19:51:57 +0100siraben(sirabenmat@gateway/shell/matrix.org/x-ljnrpkuqhybjbqrm)
2021-03-07 19:52:00 +0100toasty_avocado[m(toastyavoc@gateway/shell/matrix.org/x-rilvilfetmqcjeab)
2021-03-07 19:52:45 +0100psydruid(psydruidma@gateway/shell/matrix.org/x-ctzchnfbikopgirx)
2021-03-07 19:53:35 +0100machinedgod(~machinedg@24.105.81.50)
2021-03-07 19:53:58 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-03-07 19:55:09 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds)
2021-03-07 19:55:20 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 19:55:54 +0100jakalx(~jakalx@base.jakalx.net)
2021-03-07 19:56:00 +0100 <sm[m]> ..but maybe with some creative visual compression..
2021-03-07 19:56:26 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 264 seconds)
2021-03-07 19:57:07 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection)
2021-03-07 19:57:22 +0100Bigbosskor(~Android@223.204.217.185) (Quit: -a- IRC for Android 2.1.58)
2021-03-07 19:57:40 +0100bigbosskor(~Android@223.204.217.185)
2021-03-07 19:57:57 +0100bigbosskor(~Android@223.204.217.185) (Client Quit)
2021-03-07 19:58:06 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 19:58:45 +0100vicfred(~vicfred@unaffiliated/vicfred)
2021-03-07 19:59:14 +0100 <zebrag> "Every Haskell Functor is an Applicative": is that a well known fact or my being mistaken? If somehow true, it must be many applicatives, if only when sequencing is relevant.
2021-03-07 19:59:27 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 265 seconds)
2021-03-07 19:59:31 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 276 seconds)
2021-03-07 20:00:05 +0100 <zebrag> Maybe it is an applicative in a way that isn't useful.
2021-03-07 20:00:28 +0100thevishy(~Nishant@103.210.43.206) (Ping timeout: 245 seconds)
2021-03-07 20:00:34 +0100kini(~kini@unaffiliated/kini) (Quit: bye)
2021-03-07 20:00:37 +0100 <monochrom> I don't think it's true in the first place.
2021-03-07 20:00:44 +0100 <zebrag> ;)
2021-03-07 20:03:02 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 264 seconds)
2021-03-07 20:03:37 +0100berberman_(~berberman@unaffiliated/berberman)
2021-03-07 20:04:06 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 246 seconds)
2021-03-07 20:04:13 +0100 <zebrag> "MultiFunctor is actually none other than Applicative in disguise". If the category contains every products, then a a multi-argument function can be reduced to a one-argument function, that you can lift. What about that?
2021-03-07 20:04:16 +0100kini(~kini@unaffiliated/kini)
2021-03-07 20:05:18 +0100 <zebrag> (Capriotti & Kaposi)
2021-03-07 20:06:29 +0100 <geekosaur> that one sounds right and describes <$> and <*>, at least if I understand "MultiFunctor" in terms of the second sentence
2021-03-07 20:06:45 +0100NieDzejkob(~quassel@vps-dd3183b7.vps.ovh.net) (Ping timeout: 240 seconds)
2021-03-07 20:07:03 +0100 <zebrag> And Haskell is, to some extent, a variation on Set, so should contain every products.
2021-03-07 20:07:30 +0100NieDzejkob(~quassel@195.149.98.3)
2021-03-07 20:08:33 +0100 <zebrag> "It is therefore natural to define a type class for generalised functors, able to lift functions of arbitrary arity" (for definition of multifunctor)
2021-03-07 20:08:57 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e)
2021-03-07 20:09:19 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e) (Client Quit)
2021-03-07 20:10:09 +0100Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 264 seconds)
2021-03-07 20:10:43 +0100Tario(~Tario@201.192.165.173)
2021-03-07 20:11:42 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e)
2021-03-07 20:12:29 +0100mirrorbird(~dwsjeid91@m83-187-177-242.cust.tele2.se) (Remote host closed the connection)
2021-03-07 20:12:51 +0100mirrorbird(~dwsjeid91@2a00:801:42b:7529:141c:bbbc:ad74:9e2c)
2021-03-07 20:13:25 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-03-07 20:13:35 +0100 <zebrag> (At least it puts a pin on the question, if not on anything else.)
2021-03-07 20:14:11 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-03-07 20:15:40 +0100 <geekosaur> also Haskell is not a set, nor a category in the presence of bottom, as I understand it; but there's a proof that it can often be treated as a category out there
2021-03-07 20:18:49 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 245 seconds)
2021-03-07 20:20:35 +0100 <maralorn> I mean there are categories with bottom which Haskell is very close, too.
2021-03-07 20:20:37 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2021-03-07 20:20:39 +0100 <maralorn> Scott domains, I think.
2021-03-07 20:21:57 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-03-07 20:24:32 +0100pfurla_(~pfurla@5.15.195.173.client.static.strong-in52.as13926.net)
2021-03-07 20:26:10 +0100fendor(~fendor@178.115.130.22.wireless.dyn.drei.com)
2021-03-07 20:26:48 +0100kini(~kini@unaffiliated/kini) (Quit: bye)
2021-03-07 20:27:38 +0100pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 264 seconds)
2021-03-07 20:28:56 +0100gitgoood(~gitgood@82-132-218-5.dab.02.net)
2021-03-07 20:29:27 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-07 20:30:46 +0100jjess
2021-03-07 20:31:50 +0100gitgood(~gitgood@82-132-217-191.dab.02.net) (Read error: Connection reset by peer)
2021-03-07 20:32:35 +0100Guest24956zmv
2021-03-07 20:33:09 +0100zmvnotzmv
2021-03-07 20:33:12 +0100pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-03-07 20:35:31 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-07 20:35:39 +0100pfurla_(~pfurla@5.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 260 seconds)
2021-03-07 20:36:01 +0100jneira(5127aded@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.237)
2021-03-07 20:37:36 +0100kini(~kini@unaffiliated/kini)
2021-03-07 20:47:53 +0100kuribas(~user@ptr-25vy0i8agngd0s4hmr1.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-03-07 20:48:16 +0100conal(~conal@64.71.133.70)
2021-03-07 20:51:22 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 20:52:51 +0100 <mikoto-chan> minoru_shiraeesh: How do I use the @ in that case?
2021-03-07 20:53:12 +0100 <mikoto-chan> Seems like an advanced feature I shouldn't be using though o.o
2021-03-07 20:55:51 +0100 <monochrom> They probably misunderstood your question, too.
2021-03-07 20:55:52 +0100 <carbolymer> is there any difference If I run `stToIO` inside `mapM` function multiple times, or just once `stToIO $ mapM func collection` ?
2021-03-07 20:57:37 +0100 <mikoto-chan> monochrom: Was that meant for me? I just figured out how it works after talking with the compiler :)
2021-03-07 20:57:45 +0100 <monochrom> Yes.
2021-03-07 20:59:48 +0100 <mikoto-chan> Let me send the source code in that case
2021-03-07 21:00:19 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-03-07 21:01:34 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it)
2021-03-07 21:01:42 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-07 21:03:29 +0100 <mikoto-chan> https://hatebin.com/arsqzzdqbb
2021-03-07 21:03:32 +0100 <mikoto-chan> Here you go
2021-03-07 21:04:22 +0100 <monochrom> Yikes. That works but is an abuse of show.
2021-03-07 21:04:55 +0100 <monochrom> We would rather: isCar (Car _ _) = True; isCar _ = False
2021-03-07 21:05:09 +0100 <mikoto-chan> Oops. Forgot pattern matching.
2021-03-07 21:05:37 +0100 <monochrom> If you saw other people writing "isCar Car{} = True", the "{}" is about "record syntax".
2021-03-07 21:05:40 +0100 <d34df00d> How would you name a module containing `newtype`s to be used with DerivingVia to derive instances of a certain class?
2021-03-07 21:05:49 +0100petersen(~petersen@redhat/juhp) (Ping timeout: 276 seconds)
2021-03-07 21:06:20 +0100ADG1089__(~aditya@122.163.167.99) (Remote host closed the connection)
2021-03-07 21:07:18 +0100petersen(~petersen@redhat/juhp)
2021-03-07 21:10:29 +0100bobiusbillius(~bobiusbil@2a02:c7d:51c4:7000:1167:87c5:c3c8:7dfb) (Ping timeout: 265 seconds)
2021-03-07 21:11:38 +0100 <minoru_shiraeesh> mikoto-chan: I think I missed the original question and misunderstood the last question, so never mind
2021-03-07 21:12:05 +0100 <mikoto-chan> monochrom: So record syntax is an alternative way to do pattern matching?
2021-03-07 21:12:29 +0100lawid(~quassel@dslb-090-186-208-048.090.186.pools.vodafone-ip.de) (Quit: lawid)
2021-03-07 21:12:36 +0100 <monochrom> No. Record syntax lets you pretend you can use a record system.
2021-03-07 21:13:05 +0100 <monochrom> I think you're better off either looking up "record syntax" or ignoring it. It is a story of its own.
2021-03-07 21:14:09 +0100 <mikoto-chan> monochrom: I found this goldmine called https://devtut.github.io/haskell while looking that up, seems to be a compilation of all Stackoverflow documentation
2021-03-07 21:14:41 +0100lawid(~quassel@dslb-090-186-208-048.090.186.pools.vodafone-ip.de)
2021-03-07 21:15:13 +0100 <monochrom> I have very low expectation of stackoverflow.
2021-03-07 21:15:37 +0100 <monochrom> To be sure, "consciously curated from stackoverflow" can be much better than raw stackoverflow.
2021-03-07 21:16:41 +0100 <monochrom> I have seen my students consulting stackoverflow and getting wrong answers.
2021-03-07 21:16:48 +0100 <minoru_shiraeesh> there's no stackoverflow in haskell
2021-03-07 21:16:59 +0100 <minoru_shiraeesh> haskell doesn't use stack
2021-03-07 21:17:28 +0100 <monochrom> Gosh, that is so wrong on multiple levels.
2021-03-07 21:17:32 +0100 <mikoto-chan> minoru_shiraeesh: there's only ghc user_guide.pdf and index.html ;)
2021-03-07 21:17:47 +0100 <mikoto-chan> monochrom: you teach haskell? That's cool.
2021-03-07 21:17:53 +0100 <monochrom> For starters, at the meta level, we're talking about stackoverflow.com. Sheesh.
2021-03-07 21:19:02 +0100bobiusbillius(~bobiusbil@2a02:c7d:51c4:7000:1167:87c5:c3c8:7dfb)
2021-03-07 21:19:44 +0100 <minoru_shiraeesh> just kidding
2021-03-07 21:20:06 +0100 <minoru_shiraeesh> intentionally misinterpreting is fun sometimes
2021-03-07 21:20:56 +0100 <mikoto-chan> monochrom: Any idea how I can construct getManu? Using record syntax will require me to rewrite all my data functions if I'm not wrong
2021-03-07 21:21:37 +0100 <monochrom> getManu (Car m _) = m
2021-03-07 21:21:42 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-07 21:21:48 +0100 <monochrom> And I don't know what you want for the Plane case.
2021-03-07 21:21:54 +0100 <mikoto-chan> Do you happen to be called Christopher Allen?
2021-03-07 21:22:02 +0100 <monochrom> No.
2021-03-07 21:22:26 +0100 <mikoto-chan> He made a lot of references to Freenode in his book ... I wonder if he still hangs around here
2021-03-07 21:22:30 +0100conal(~conal@64.71.133.70)
2021-03-07 21:22:51 +0100 <monochrom> But these isFoo and getters have very little value.
2021-03-07 21:23:52 +0100 <geekosaur> not any more he doesn't
2021-03-07 21:24:42 +0100 <monochrom> Suppose you're tasked with "find the price of a given vehicle. for cars, use the price field; for planes, it's 100000".
2021-03-07 21:24:52 +0100frozenErebus(~frozenEre@94.128.82.20)
2021-03-07 21:25:01 +0100 <mikoto-chan> Yes?
2021-03-07 21:25:06 +0100 <monochrom> You are not going to literally write "if isCar v then getPrice v else 100000"
2021-03-07 21:25:35 +0100 <mikoto-chan> Yeah sorry I picked the book up after a 3 month break bad idea
2021-03-07 21:25:41 +0100 <monochrom> You are going to write: f (Car _ p) = p; f (Plane _) = Price 100000
2021-03-07 21:26:06 +0100 <mikoto-chan> Pattern matching is a hidden gem isn't it
2021-03-07 21:26:38 +0100 <monochrom> http://www.vex.net/~trebla/haskell/crossroad.xhtml
2021-03-07 21:27:14 +0100 <mikoto-chan> Thanks!
2021-03-07 21:27:22 +0100 <mikoto-chan> Is that your site?
2021-03-07 21:27:39 +0100 <monochrom> Yes.
2021-03-07 21:28:09 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 264 seconds)
2021-03-07 21:28:39 +0100 <mikoto-chan> Is the backend done with Haskell? Really thrilled to build a site with a Haskell backend somewhere in the near future
2021-03-07 21:29:04 +0100 <monochrom> No. Plain html.
2021-03-07 21:29:58 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-07 21:30:18 +0100Tario(~Tario@201.192.165.173) (Remote host closed the connection)
2021-03-07 21:30:18 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-07 21:32:02 +0100 <MarcelineVQ> you maverick rogue
2021-03-07 21:32:44 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 265 seconds)
2021-03-07 21:32:46 +0100Tario(~Tario@201.192.165.173)
2021-03-07 21:33:03 +0100 <monochrom> Lately, I started writing in markdown and running pandoc for the html.
2021-03-07 21:33:12 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-03-07 21:33:57 +0100 <minoru_shiraeesh> mikoto-chan: you can build haskell backend with Scotty and Servant, or with IHP if you want to generate markup
2021-03-07 21:34:31 +0100 <minoru_shiraeesh> it's interesting how those work under the hood
2021-03-07 21:34:49 +0100 <minoru_shiraeesh> do they use something like sockets?
2021-03-07 21:35:04 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 245 seconds)
2021-03-07 21:35:45 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-03-07 21:36:00 +0100 <minoru_shiraeesh> or maybe they or built on top of some http library
2021-03-07 21:36:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-07 21:36:08 +0100 <minoru_shiraeesh> s/or/are/
2021-03-07 21:36:36 +0100leungbk(~user@2603-8000-f144-2028-2d69-b241-ddac-c09d.res6.spectrum.com)
2021-03-07 21:38:33 +0100leungbk(~user@2603-8000-f144-2028-2d69-b241-ddac-c09d.res6.spectrum.com) (Client Quit)
2021-03-07 21:40:48 +0100frozenErebus(~frozenEre@94.128.82.20) (Remote host closed the connection)
2021-03-07 21:42:51 +0100aarvar(~foewfoiew@2601:602:a080:fa0:2097:5e27:e1ef:c7cb)
2021-03-07 21:43:49 +0100NllPtr(~NllPtr@dvc-157-183-156-186.movil.vtr.net) (Ping timeout: 245 seconds)
2021-03-07 21:44:06 +0100NllPtr(~NllPtr@dvc-157-183-156-186.movil.vtr.net)
2021-03-07 21:46:14 +0100conal(~conal@64.71.133.70) (Ping timeout: 264 seconds)
2021-03-07 21:46:46 +0100 <mikoto-chan> minoru_shiraeesh: I heard of Scotty, might ever use it for some webshop or something
2021-03-07 21:47:45 +0100Jd007(~Jd007@162.156.11.151)
2021-03-07 21:48:21 +0100 <mikoto-chan> Who is Tom Smeding and why do we use his site as a paste?
2021-03-07 21:48:27 +0100 <mikoto-chan> pastebin*
2021-03-07 21:48:42 +0100Cerato(~Cerberus@185.207.164.90)
2021-03-07 21:49:11 +0100Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-07 21:50:22 +0100hololeap(~hololeap@unaffiliated/hololeap)
2021-03-07 21:51:22 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 265 seconds)
2021-03-07 21:51:23 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-07 21:51:33 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net) (Ping timeout: 264 seconds)
2021-03-07 21:52:09 +0100Kaeipi(~Kaiepi@47.54.252.148)
2021-03-07 21:52:25 +0100Kaiepi(~Kaiepi@47.54.252.148)
2021-03-07 21:55:38 +0100 <minoru_shiraeesh> mikoto-chan: he is a person
2021-03-07 21:56:01 +0100 <minoru_shiraeesh> he frequents this channel
2021-03-07 21:56:33 +0100 <minoru_shiraeesh> (not sure if the word "frequent" can be used like that)
2021-03-07 21:56:57 +0100Kaiepi(~Kaiepi@47.54.252.148) (Ping timeout: 264 seconds)
2021-03-07 21:57:01 +0100 <minoru_shiraeesh> he visits this channel
2021-03-07 21:58:58 +0100stree(~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-03-07 22:00:28 +0100kini(~kini@unaffiliated/kini) (Remote host closed the connection)
2021-03-07 22:00:50 +0100acidjnk_new(~acidjnk@p200300d0c72b9523190c92979cea572a.dip0.t-ipconnect.de)
2021-03-07 22:01:05 +0100SoF(~SoF@unaffiliated/skillyonfire)
2021-03-07 22:01:49 +0100kini(~kini@unaffiliated/kini)
2021-03-07 22:02:04 +0100 <SoF> is there a way to define point-free functions in a way like "f = _ + _ (5 * _)" and then haskell automatically figures out the first argument goes into the first _, second arg into the second _, etc?
2021-03-07 22:02:26 +0100 <SoF> (as opposed to "f a b c = a + b (5 * c)"
2021-03-07 22:02:59 +0100 <geekosaur> minoru_shiraeesh, it can
2021-03-07 22:03:44 +0100 <geekosaur> SoF, no
2021-03-07 22:03:54 +0100 <SoF> ok ty
2021-03-07 22:03:55 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-03-07 22:06:38 +0100 <mikoto-chan> minoru_shiraeesh: But not a member of Freenode?
2021-03-07 22:09:02 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e)
2021-03-07 22:09:46 +0100 <geekosaur> who, tomsmeding? he's just not here today
2021-03-07 22:10:04 +0100 <geekosaur> it is the weekend, after all
2021-03-07 22:11:24 +0100stree(~stree@68.36.8.116)
2021-03-07 22:12:17 +0100 <geekosaur> (well, present in channel but busy/away)
2021-03-07 22:14:26 +0100 <gentauro> I seem to not get why this project is prefixed with `safe` -> https://github.com/NorfairKing/safe-coloured-text
2021-03-07 22:14:30 +0100 <gentauro> how is it safe?
2021-03-07 22:15:05 +0100 <minoru_shiraeesh> mikoto-chan: what do you mean "not a member of Freenode"? like, someone who is only reading logs and doesn't participate?
2021-03-07 22:15:06 +0100gxt(~gxt@gateway/tor-sasl/gxt) (Ping timeout: 268 seconds)
2021-03-07 22:15:17 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-03-07 22:15:44 +0100gxt(~gxt@gateway/tor-sasl/gxt)
2021-03-07 22:15:44 +0100bobiusbillius(~bobiusbil@2a02:c7d:51c4:7000:1167:87c5:c3c8:7dfb) (Read error: Connection reset by peer)
2021-03-07 22:15:59 +0100cheater(~user@unaffiliated/cheater)
2021-03-07 22:16:04 +0100bobiusbillius(~bobiusbil@2a02:c7d:51c4:7000:1167:87c5:c3c8:7dfb)
2021-03-07 22:17:52 +0100 <minoru_shiraeesh> "intentionally misinterpreting is fun sometimes" - and in post-modern world there are only misinterpretations, even author's interpretation is a misinterpretation
2021-03-07 22:18:37 +0100 <minoru_shiraeesh> or is that meta-modern?
2021-03-07 22:19:00 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-03-07 22:20:13 +0100geekosaur(ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Quit: Connection closed)
2021-03-07 22:21:45 +0100Guest78(b986aa8d@gateway/web/cgi-irc/kiwiirc.com/ip.185.134.170.141)
2021-03-07 22:25:54 +0100bobiusbillius(~bobiusbil@2a02:c7d:51c4:7000:1167:87c5:c3c8:7dfb) (Ping timeout: 265 seconds)
2021-03-07 22:30:06 +0100Chai-T-Rex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2021-03-07 22:30:37 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Remote host closed the connection)
2021-03-07 22:30:48 +0100Chai-T-Rex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-03-07 22:31:24 +0100 <monochrom> gentauro: Probably just "no partial functions".
2021-03-07 22:31:54 +0100 <monochrom> Yes, this community has pretty bent ideas of what safety and unsafety mean.
2021-03-07 22:34:43 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-07 22:36:21 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556)
2021-03-07 22:40:04 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds)
2021-03-07 22:43:14 +0100nineonine(~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 264 seconds)
2021-03-07 22:43:40 +0100 <heck-to-the-gnom> mikoto-chan: If you don't want to use his paste, then don't! I like p.bsd-unix.net and 0bin.net
2021-03-07 22:44:21 +0100 <monochrom> Are you people, like, reading way too much subtext into a simple question where there is no subtext?
2021-03-07 22:46:08 +0100rond_(594020c5@89-64-32-197.dynamic.chello.pl) (Quit: Connection closed)
2021-03-07 22:47:06 +0100Guest78(b986aa8d@gateway/web/cgi-irc/kiwiirc.com/ip.185.134.170.141) (Quit: Connection closed)
2021-03-07 22:48:24 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-07 22:49:47 +0100 <minoru_shiraeesh> monochrom: lol, idk why but it's funny that you asked that question. Sometimes people act weird, right?
2021-03-07 22:50:05 +0100carlomagno(~cararell@148.87.23.4)
2021-03-07 22:50:21 +0100 <minoru_shiraeesh> regarding subtext: in post-modern you can create your own subtext
2021-03-07 22:51:55 +0100xff0x(~xff0x@2001:1a81:52eb:4100:4f42:fd5d:8725:87c7) (Ping timeout: 240 seconds)
2021-03-07 22:52:32 +0100 <monochrom> OK, I will ask the blunt and rude question.
2021-03-07 22:52:50 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-03-07 22:52:50 +0100 <monochrom> What the f**king hell is postmodernism doing in #haskell?
2021-03-07 22:54:26 +0100xff0x(xff0x@gateway/vpn/mullvad/xff0x)
2021-03-07 22:56:17 +0100 <minoru_shiraeesh> it's just an off-topic conversation in the channel
2021-03-07 22:57:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87)
2021-03-07 22:57:34 +0100mananamenos(~mananamen@193.red-88-11-66.dynamicip.rima-tde.net)
2021-03-07 22:57:48 +0100mananamenos_(~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 265 seconds)
2021-03-07 22:57:54 +0100 <DigitalKiwi> it's ok no ops are on
2021-03-07 22:59:22 +0100loli(~loli@024-171-017-003.res.spectrum.com) (Quit: WeeChat 3.0)
2021-03-07 23:00:13 +0100Natch(~natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 276 seconds)
2021-03-07 23:00:44 +0100Rudd0(~Rudd0@185.189.115.108)
2021-03-07 23:01:09 +0100forgottenone(~forgotten@176.42.24.161) (Quit: Konversation terminated!)
2021-03-07 23:01:31 +0100loli(~loli@024-171-017-003.res.spectrum.com)
2021-03-07 23:01:56 +0100xff0x(xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 265 seconds)
2021-03-07 23:02:21 +0100 <minoru_shiraeesh> I mean it's not like there are several pages of postmodernism discussion
2021-03-07 23:02:52 +0100 <minoru_shiraeesh> and this channel is ok with couple off-topic messages here and there
2021-03-07 23:03:44 +0100xff0x(~xff0x@2001:1a81:52eb:4100:4f42:fd5d:8725:87c7)
2021-03-07 23:05:33 +0100mirrorbird(~dwsjeid91@2a00:801:42b:7529:141c:bbbc:ad74:9e2c) (Ping timeout: 272 seconds)
2021-03-07 23:06:01 +0100Natch(~natch@c-b471e255.014-297-73746f25.bbcust.telenor.se)
2021-03-07 23:06:15 +0100 <minoru_shiraeesh> so let's attribute the rude question to monochrom's rudeness that we should be patient about, not to the channel as a whole
2021-03-07 23:07:09 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-07 23:07:26 +0100Tops2(~Tobias@dyndsl-095-033-094-199.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-03-07 23:07:30 +0100ech(~user@gateway/tor-sasl/ech) (Ping timeout: 268 seconds)
2021-03-07 23:07:50 +0100heatsink(~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Remote host closed the connection)
2021-03-07 23:08:45 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no)
2021-03-07 23:12:31 +0100xff0x(~xff0x@2001:1a81:52eb:4100:4f42:fd5d:8725:87c7) (Ping timeout: 272 seconds)
2021-03-07 23:12:46 +0100krt(488a1c12@72.138.28.18)
2021-03-07 23:12:49 +0100 <heck-to-the-gnom> IDK wtf postmodernism is and there wasn't a good tldr online about it... Anyway, Monochrom's been quite nice to me in the past, I think that you should remain at least moderately on-topic, or else shut your trap.
2021-03-07 23:12:58 +0100xff0x(~xff0x@2001:1a81:52eb:4100:dcc4:53fa:b81b:b04d)
2021-03-07 23:13:46 +0100 <MarcelineVQ> don't sweat the small stuff, as they say :>
2021-03-07 23:14:46 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-03-07 23:15:03 +0100 <minoru_shiraeesh> heck-to-the-gnom: do you realize that your message is off-topic itself? lol
2021-03-07 23:15:41 +0100 <minoru_shiraeesh> which proves my point that the channel is ok with couple of off-topic messages here and there
2021-03-07 23:16:18 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 245 seconds)
2021-03-07 23:16:43 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-03-07 23:16:48 +0100 <monochrom> That was not my point.
2021-03-07 23:17:15 +0100 <heck-to-the-gnom> Hmm, so one can't defend on-topicness without getting off topic. Such a shameful way of thinking. And an incredibly foolish way to justify your poor decisions.
2021-03-07 23:18:26 +0100kunsttyv(~kunsttyv@ti0005q162-5102.bb.online.no)
2021-03-07 23:18:31 +0100hidedagger(~nate@unaffiliated/hidedagger) (Quit: WeeChat 3.0.1)
2021-03-07 23:24:58 +0100sh9(~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8)
2021-03-07 23:27:07 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-07 23:29:56 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-07 23:30:06 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving)
2021-03-07 23:31:34 +0100teardown(~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds)
2021-03-07 23:32:20 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-07 23:33:33 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it)
2021-03-07 23:34:17 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e)
2021-03-07 23:36:21 +0100NllPtr(~NllPtr@dvc-157-183-156-186.movil.vtr.net) (Read error: Connection reset by peer)
2021-03-07 23:38:52 +0100 <minoru_shiraeesh> heck-to-the-gnom: if you're so interested in me and my decisions, you could apply the principle you just stated and pm me
2021-03-07 23:40:59 +0100 <minoru_shiraeesh> I think the conclusion is that we should be patient and careful when we answer questions and when we ask questions too
2021-03-07 23:41:10 +0100Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-03-07 23:42:16 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-03-07 23:42:38 +0100xff0x(~xff0x@2001:1a81:52eb:4100:dcc4:53fa:b81b:b04d) (Ping timeout: 264 seconds)
2021-03-07 23:43:03 +0100krt(488a1c12@72.138.28.18) (Ping timeout: 240 seconds)
2021-03-07 23:43:11 +0100xff0x(~xff0x@2001:1a81:52eb:4100:7c75:434:3c88:779d)
2021-03-07 23:43:55 +0100ech(~user@gateway/tor-sasl/ech)
2021-03-07 23:44:38 +0100 <heck-to-the-gnom> Hmm, looks like we disagree on the moral of this situation. Perhaps we should A. stay on topic, and B. not justify things when we're called out on them, and rather take responsibility.
2021-03-07 23:50:16 +0100jespada(~jespada@90.254.243.187) (Ping timeout: 276 seconds)
2021-03-07 23:51:33 +0100conal(~conal@66.115.157.43)
2021-03-07 23:52:39 +0100jespada(~jespada@90.254.243.187)
2021-03-07 23:53:47 +0100kiweun(~kiweun@2607:fea8:2a62:9600:e5b6:4037:8443:cad1) (Remote host closed the connection)
2021-03-07 23:56:21 +0100fendor(~fendor@178.115.130.22.wireless.dyn.drei.com) (Quit: Leaving)
2021-03-07 23:56:51 +0100 <minoru_shiraeesh> ok, I'm gonna stop feeding the troll
2021-03-07 23:57:17 +0100kiweun(~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com)
2021-03-07 23:59:57 +0100 <heck-to-the-gnom> -_-... I'll just let that slide... For the sake of ending the argument.