2021/04/22

2021-04-22 00:00:06 +0200DavidEichmann(~david@147.136.46.217.dyn.plus.net) (Ping timeout: 260 seconds)
2021-04-22 00:00:27 +0200Rudd0(~Rudd0@185.189.115.103)
2021-04-22 00:00:34 +0200rj_(~x@gateway/tor-sasl/rj)
2021-04-22 00:01:07 +0200DavidEichmann(~david@147.136.46.217.dyn.plus.net)
2021-04-22 00:01:11 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e) (Ping timeout: 245 seconds)
2021-04-22 00:01:41 +0200mastarija(~mastarija@31.217.16.219) (Quit: Leaving)
2021-04-22 00:02:42 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-04-22 00:02:45 +0200Ccasesvilla(4a4fd19e@cpe-74-79-209-158.twcny.res.rr.com) (Quit: Connection closed)
2021-04-22 00:03:10 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-04-22 00:04:11 +0200juri_(~juri@178.63.35.222) (Ping timeout: 240 seconds)
2021-04-22 00:05:40 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube) (Quit: WeeChat 3.1)
2021-04-22 00:05:53 +0200nisstyre(wes@python-zero/conduct-committee/nisstyre) (Ping timeout: 258 seconds)
2021-04-22 00:06:38 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:4cdc:6166:590b:6cfe) (Quit: Leaving)
2021-04-22 00:07:40 +0200 <int-e> geekosaur: `hint` is a convenience wrapper around the ghc library
2021-04-22 00:07:57 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-04-22 00:08:01 +0200 <geekosaur> didn't I suggest hugs, not hint?
2021-04-22 00:08:08 +0200 <geekosaur> they came up with hint themselves and rejected it
2021-04-22 00:08:30 +0200 <int-e> geekosaur: just elaborating the "requires ghc installed" part
2021-04-22 00:08:43 +0200 <geekosaur> because it requires ghc and they're trying to get out of requiring ghc (which as monochrom showed is hopeless)
2021-04-22 00:09:19 +0200Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2021-04-22 00:09:39 +0200 <int-e> but yes, I disregarded some context
2021-04-22 00:10:39 +0200juri_(~juri@79.140.123.62)
2021-04-22 00:14:07 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-22 00:14:52 +0200juri_(~juri@79.140.123.62) (Ping timeout: 240 seconds)
2021-04-22 00:14:56 +0200Sornaensis(~Sornaensi@077213200034.dynamic.telenor.dk) (Ping timeout: 245 seconds)
2021-04-22 00:15:37 +0200juri_(~juri@178.63.35.222)
2021-04-22 00:17:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-22 00:17:50 +0200hiroaki_(~hiroaki@2a02:8108:8c40:2bb8:b5a5:898d:202b:258b)
2021-04-22 00:20:14 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-22 00:20:39 +0200dmytrish(~mitra@2a02:8084:a82:d900:fdd2:ac3d:3471:66d9) (Ping timeout: 260 seconds)
2021-04-22 00:21:02 +0200Guest92203(~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-22 00:22:22 +0200nisstyre(~wes@python-zero/conduct-committee/nisstyre)
2021-04-22 00:22:32 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-04-22 00:23:38 +0200codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511)
2021-04-22 00:23:42 +0200boogsbunny(2d23821c@45.35.130.28) (Ping timeout: 240 seconds)
2021-04-22 00:25:57 +0200rj_(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-22 00:28:09 +0200marinelli(~marinelli@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2021-04-22 00:28:45 +0200marinelli(~marinelli@gateway/tor-sasl/marinelli)
2021-04-22 00:29:38 +0200faustind(0e0843e1@gateway/web/cgi-irc/kiwiirc.com/ip.14.8.67.225)
2021-04-22 00:30:12 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-04-22 00:31:07 +0200rj_(~x@gateway/tor-sasl/rj)
2021-04-22 00:33:10 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-04-22 00:35:28 +0200Alleria(~textual@2603-7000-3040-0000-3d14-5885-3d03-0546.res6.spectrum.com)
2021-04-22 00:35:51 +0200AlleriaGuest5350
2021-04-22 00:38:55 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e)
2021-04-22 00:40:59 +0200tabemann(~travisb@2600:1700:7990:24e0:1f29:251c:9834:33) (Remote host closed the connection)
2021-04-22 00:41:15 +0200tabemann(~travisb@2600:1700:7990:24e0:1797:6b66:735:4572)
2021-04-22 00:43:09 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-22 00:43:23 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e) (Ping timeout: 250 seconds)
2021-04-22 00:44:12 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-22 00:44:48 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-22 00:46:52 +0200m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds)
2021-04-22 00:48:31 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds)
2021-04-22 00:55:25 +0200Deide1(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-04-22 00:59:31 +0200elliott_(~elliott@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 245 seconds)
2021-04-22 01:00:14 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-22 01:01:27 +0200cagrioz83(4ea70324@78.167.3.36) (Quit: Connection closed)
2021-04-22 01:06:12 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e)
2021-04-22 01:06:29 +0200son0p(~ff@181.136.122.143) (Remote host closed the connection)
2021-04-22 01:10:21 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e) (Ping timeout: 245 seconds)
2021-04-22 01:10:45 +0200rj_(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-22 01:14:18 +0200rj_(~x@gateway/tor-sasl/rj)
2021-04-22 01:14:43 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-22 01:19:11 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-22 01:30:42 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e)
2021-04-22 01:32:03 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
2021-04-22 01:32:15 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-22 01:35:28 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds)
2021-04-22 01:35:37 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-22 01:36:11 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e) (Ping timeout: 245 seconds)
2021-04-22 01:37:59 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-04-22 01:38:01 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e)
2021-04-22 01:39:35 +0200Matthias1(~matthias@li890-22.members.linode.com) (Quit: The Lounge - https://thelounge.chat)
2021-04-22 01:42:45 +0200Matthias1(~matthias@li890-22.members.linode.com)
2021-04-22 01:44:12 +0200Matthias1(~matthias@li890-22.members.linode.com) (Remote host closed the connection)
2021-04-22 01:46:51 +0200vv8(~egp_@2.95.117.163) (Ping timeout: 260 seconds)
2021-04-22 01:48:42 +0200Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-04-22 01:49:37 +0200horatiohb(~horatiohb@104.236.234.13) (Ping timeout: 252 seconds)
2021-04-22 01:52:39 +0200thc202(~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds)
2021-04-22 01:55:12 +0200philderbeast(~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-22 01:56:19 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-04-22 01:56:45 +0200xsperry(~as@unaffiliated/xsperry) (Remote host closed the connection)
2021-04-22 02:00:47 +0200Guest78317(~laudiacay@67.176.215.84)
2021-04-22 02:02:19 +0200Synthetica(uid199651@gateway/web/irccloud.com/x-mucvjdtabxcscdzz) (Quit: Connection closed for inactivity)
2021-04-22 02:03:41 +0200DavidEichmann(~david@147.136.46.217.dyn.plus.net) (Ping timeout: 245 seconds)
2021-04-22 02:12:05 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube)
2021-04-22 02:12:32 +0200Jd007(~Jd007@162.156.11.151)
2021-04-22 02:14:23 +0200puke(~vroom@217.138.252.184) (Quit: puke)
2021-04-22 02:17:51 +0200andreas303(~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2021-04-22 02:18:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-22 02:18:31 +0200xsperry(~as@unaffiliated/xsperry)
2021-04-22 02:19:20 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds)
2021-04-22 02:22:00 +0200andreas303(~andreas@gateway/tor-sasl/andreas303)
2021-04-22 02:22:48 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-04-22 02:28:03 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-22 02:30:26 +0200myShoggoth(~myShoggot@75.164.11.109) (Ping timeout: 240 seconds)
2021-04-22 02:33:04 +0200nineonin_(~nineonine@50.216.62.2) (Ping timeout: 252 seconds)
2021-04-22 02:34:04 +0200Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-04-22 02:42:32 +0200jonatan(~nate@h77-53-70-163.cust.a3fiber.se) (Ping timeout: 240 seconds)
2021-04-22 02:42:57 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-22 02:43:41 +0200geiger_(~geiger@0543f40b.skybroadband.com) (Ping timeout: 252 seconds)
2021-04-22 02:49:01 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-04-22 02:49:42 +0200jonatan(~nate@h77-53-70-163.cust.a3fiber.se)
2021-04-22 02:51:26 +0200earthy_(~arthurvl@deban2.xs4all.space) (Ping timeout: 260 seconds)
2021-04-22 02:52:19 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-22 02:53:29 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-04-22 02:57:12 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-22 02:58:27 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-22 03:00:35 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-04-22 03:03:14 +0200jb55(~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2021-04-22 03:03:19 +0200minoru_shiraeesh(~shiraeesh@46.34.207.53) (Ping timeout: 252 seconds)
2021-04-22 03:03:56 +0200jb55(~jb55@gateway/tor-sasl/jb55)
2021-04-22 03:06:52 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2021-04-22 03:10:02 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds)
2021-04-22 03:12:09 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net)
2021-04-22 03:14:37 +0200conal(~conal@64.71.133.70) (Read error: Connection reset by peer)
2021-04-22 03:15:56 +0200conal(~conal@64.71.133.70)
2021-04-22 03:17:03 +0200 <jijimofo> hi all, can anyone tell me why this puts up a black screen and then exits? it's sdl2 and sdl-cairo
2021-04-22 03:17:07 +0200 <jijimofo> https://pastebin.com/XRX8CsFW
2021-04-22 03:17:30 +0200 <jijimofo> i know it's not strictly a haskell problem
2021-04-22 03:17:55 +0200 <jijimofo> hmm, i should've tried a c version before posting, sorry
2021-04-22 03:18:08 +0200 <jijimofo> will do that
2021-04-22 03:19:26 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2021-04-22 03:21:15 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-22 03:23:07 +0200ericsagnes(~ericsagne@2405:6580:0:5100:d0df:45b4:dde8:f059) (Ping timeout: 260 seconds)
2021-04-22 03:24:37 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube) (Quit: WeeChat 3.1)
2021-04-22 03:25:49 +0200nineonine(~nineonine@50.216.62.2)
2021-04-22 03:26:11 +0200xff0x(~xff0x@2001:1a81:5253:e800:55a6:95d0:743f:3c74) (Ping timeout: 245 seconds)
2021-04-22 03:28:17 +0200xff0x(~xff0x@2001:1a81:5291:ee00:8d5:6829:975f:eb62)
2021-04-22 03:32:55 +0200rajivr(uid269651@gateway/web/irccloud.com/x-poljwzteeqldftix)
2021-04-22 03:33:25 +0200loller_(uid358106@gateway/web/irccloud.com/x-gvifcnmgsfzryozd) (Quit: Connection closed for inactivity)
2021-04-22 03:34:07 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e) (Remote host closed the connection)
2021-04-22 03:34:23 +0200quinn(~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
2021-04-22 03:35:31 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e)
2021-04-22 03:35:54 +0200ericsagnes(~ericsagne@2405:6580:0:5100:a379:3b67:4750:2ccb)
2021-04-22 03:36:43 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-dwdeqarjvkrgtrrf) ()
2021-04-22 03:36:52 +0200 <wrunt> do you need to put 't' into 'r' somehow?
2021-04-22 03:37:26 +0200 <wrunt> ah sorry, you create it with 'r'
2021-04-22 03:38:50 +0200 <jijimofo> wrunt: yeah, r is the renderer from which i get a texture, t
2021-04-22 03:42:34 +0200 <wrunt> is there any kind of double-buffering going on, and you're looking at the blank buffer?
2021-04-22 03:42:51 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e) (Ping timeout: 245 seconds)
2021-04-22 03:43:08 +0200 <jijimofo> hmm, running 'cabal update' and then trying again results in the sdl funs working as they should but not the sdl-cairo funs
2021-04-22 03:43:15 +0200myShoggoth(~myShoggot@75.164.11.109)
2021-04-22 03:43:55 +0200 <jijimofo> wrunt, i think that's what present is supposed to do. you draw with the api and then call present to make the calls actually happen, or at least that's my understanding
2021-04-22 03:47:01 +0200vv8(~egp_@2.95.117.163)
2021-04-22 03:52:54 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-22 03:56:54 +0200 <jijimofo> wrunt: you weren't far off, i forgot to copy the texture back into the renderer before presenting it
2021-04-22 03:57:37 +0200Guest78317(~laudiacay@67.176.215.84) (Ping timeout: 265 seconds)
2021-04-22 03:58:01 +0200myShoggoth(~myShoggot@75.164.11.109) (Remote host closed the connection)
2021-04-22 03:58:03 +0200 <jijimofo> thanks for being my rubber duck guys
2021-04-22 03:58:27 +0200myShoggoth(~myShoggot@75.164.11.109)
2021-04-22 03:59:21 +0200 <wrunt> \o/
2021-04-22 03:59:59 +0200myShoggoth(~myShoggot@75.164.11.109) (Client Quit)
2021-04-22 04:02:33 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-04-22 04:04:32 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 240 seconds)
2021-04-22 04:13:23 +0200jao(~jao@pdpc/supporter/professional/jao) (Ping timeout: 246 seconds)
2021-04-22 04:16:40 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-22 04:27:48 +0200earthy_(~arthurvl@deban2.xs4all.space)
2021-04-22 04:29:04 +0200_xor(~xor@74.215.46.133) (Quit: brb)
2021-04-22 04:29:28 +0200_xor(~xor@74.215.46.133)
2021-04-22 04:32:50 +0200Lycurgus(~niemand@98.4.118.65)
2021-04-22 04:34:58 +0200lawr3nce(~lawr3nce@gateway/tor-sasl/lawr3nce)
2021-04-22 04:36:41 +0200lawr3nce(~lawr3nce@gateway/tor-sasl/lawr3nce) (Remote host closed the connection)
2021-04-22 04:36:47 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-04-22 04:37:55 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2021-04-22 04:38:16 +0200theDon(~td@94.134.91.185) (Ping timeout: 245 seconds)
2021-04-22 04:38:39 +0200lawid(~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Quit: lawid)
2021-04-22 04:40:17 +0200theDon(~td@94.134.91.246)
2021-04-22 04:41:54 +0200lawr3nce(~lawr3nce@gateway/tor-sasl/lawr3nce)
2021-04-22 04:43:45 +0200FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-04-22 04:43:45 +0200finn_elijaGuest414
2021-04-22 04:43:45 +0200FinnElijafinn_elija
2021-04-22 04:47:09 +0200Guest414(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-04-22 04:49:11 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-22 04:52:13 +0200nineonine(~nineonine@50.216.62.2) (Ping timeout: 252 seconds)
2021-04-22 04:53:21 +0200carlomagno(~cararell@148.87.23.7) (Quit: Leaving.)
2021-04-22 04:55:23 +0200lawr3nce_(~lawr3nce@gateway/tor-sasl/lawr3nce)
2021-04-22 04:56:21 +0200lawr3nce(~lawr3nce@gateway/tor-sasl/lawr3nce) (Ping timeout: 240 seconds)
2021-04-22 04:56:35 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds)
2021-04-22 04:57:08 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube)
2021-04-22 04:58:46 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube) (Client Quit)
2021-04-22 05:00:01 +0200drbean_(~drbean@TC210-63-209-150.static.apol.com.tw)
2021-04-22 05:07:17 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832)
2021-04-22 05:09:01 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds)
2021-04-22 05:11:37 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Ping timeout: 250 seconds)
2021-04-22 05:22:51 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-04-22 05:24:22 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-04-22 05:31:28 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2021-04-22 05:53:39 +0200Guest78317(~laudiacay@67.176.215.84)
2021-04-22 05:56:05 +0200plutoniix(~q@ppp-58-8-174-127.revip2.asianet.co.th)
2021-04-22 05:56:39 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-04-22 05:58:13 +0200Guest78317(~laudiacay@67.176.215.84) (Ping timeout: 252 seconds)
2021-04-22 05:59:50 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube)
2021-04-22 06:02:22 +0200lawr3nce_(~lawr3nce@gateway/tor-sasl/lawr3nce) (Remote host closed the connection)
2021-04-22 06:05:33 +0200roconnor(~roconnor@host-45-58-216-246.dyn.295.ca) (Ping timeout: 260 seconds)
2021-04-22 06:09:34 +0200faustind(0e0843e1@gateway/web/cgi-irc/kiwiirc.com/ip.14.8.67.225) (Ping timeout: 265 seconds)
2021-04-22 06:33:30 +0200snowflake(~snowflake@gateway/tor-sasl/snowflake) (Remote host closed the connection)
2021-04-22 06:35:55 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-22 06:39:37 +0200howdoi(uid224@gateway/web/irccloud.com/x-bfpmhrutqdycibjm) (Quit: Connection closed for inactivity)
2021-04-22 06:40:40 +0200nineonine(~nineonine@50.216.62.2)
2021-04-22 06:40:52 +0200nineonine(~nineonine@50.216.62.2) (Remote host closed the connection)
2021-04-22 06:41:14 +0200nineonine(~nineonine@50.216.62.2)
2021-04-22 06:42:30 +0200Wuzzy(~Wuzzy@p5790e74f.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-04-22 06:42:55 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-bpfgsdmlrafbmgyu) (Quit: Connection closed for inactivity)
2021-04-22 06:43:45 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-04-22 06:43:55 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-22 06:45:02 +0200sm2n(~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-62.dsl.bell.ca) (Remote host closed the connection)
2021-04-22 06:45:12 +0200malumore(~malumore@151.62.117.136)
2021-04-22 06:45:16 +0200sm2n(~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-62.dsl.bell.ca)
2021-04-22 06:45:53 +0200snowflake(~snowflake@gateway/tor-sasl/snowflake)
2021-04-22 06:46:22 +0200Jd007(~Jd007@162.156.11.151)
2021-04-22 07:02:41 +0200rj__(~x@gateway/tor-sasl/rj)
2021-04-22 07:02:45 +0200rj_(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-22 07:05:30 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-04-22 07:06:26 +0200Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-04-22 07:11:14 +0200drbean_(~drbean@TC210-63-209-150.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-04-22 07:13:08 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2021-04-22 07:14:04 +0200kiweun(~kiweun@2607:fea8:2a62:9600:68a0:cf01:7577:43eb) (Remote host closed the connection)
2021-04-22 07:19:25 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-22 07:19:37 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 252 seconds)
2021-04-22 07:24:51 +0200unyu(~pyon@unaffiliated/pyon) (Remote host closed the connection)
2021-04-22 07:24:58 +0200moduli-of-pyon(~pyon@unaffiliated/pyon)
2021-04-22 07:26:15 +0200ericsagnes(~ericsagne@2405:6580:0:5100:a379:3b67:4750:2ccb) (Ping timeout: 260 seconds)
2021-04-22 07:29:52 +0200Lycurgus(~niemand@98.4.118.65) (Ping timeout: 240 seconds)
2021-04-22 07:31:56 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-osbdsklzblynzobo)
2021-04-22 07:38:35 +0200ericsagnes(~ericsagne@2405:6580:0:5100:17c1:9e20:deae:8139)
2021-04-22 07:39:01 +0200marinelli(~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli)
2021-04-22 07:54:06 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-04-22 07:55:43 +0200Spanktar(~Spanktar@195.140.213.38) (Remote host closed the connection)
2021-04-22 07:55:49 +0200ashesham`(~user@d8D87D1B0.access.telenet.be)
2021-04-22 07:56:36 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds)
2021-04-22 08:00:04 +0200chele(~chele@5.53.222.202)
2021-04-22 08:01:36 +0200wonko7(~wonko7@62.115.229.50)
2021-04-22 08:02:18 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2021-04-22 08:03:19 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-22 08:05:58 +0200jassob(~jassob@korrob.vth.sgsnet.se) (Ping timeout: 240 seconds)
2021-04-22 08:07:09 +0200jassob(~jassob@korrob.vth.sgsnet.se)
2021-04-22 08:07:26 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-22 08:07:37 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-04-22 08:11:12 +0200thc202(~thc202@unaffiliated/thc202)
2021-04-22 08:11:52 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-22 08:12:37 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-22 08:12:55 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-22 08:16:24 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-04-22 08:20:29 +0200nineonine(~nineonine@50.216.62.2) (Ping timeout: 246 seconds)
2021-04-22 08:21:09 +0200knupfer(~Thunderbi@200116b82b4d2f00f5d1796d1da5bdee.dip.versatel-1u1.de)
2021-04-22 08:24:41 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-04-22 08:28:10 +0200Varis(~Tadas@unaffiliated/varis)
2021-04-22 08:28:27 +0200michalz(~user@185.246.204.56)
2021-04-22 08:29:31 +0200knupfer(~Thunderbi@200116b82b4d2f00f5d1796d1da5bdee.dip.versatel-1u1.de) (Ping timeout: 245 seconds)
2021-04-22 08:30:41 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-22 08:32:12 +0200mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-04-22 08:35:14 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
2021-04-22 08:42:46 +0200dilinger(~dilinger@spindle.queued.net) (Remote host closed the connection)
2021-04-22 08:44:13 +0200bitmagie(~Thunderbi@200116b8066f180081bca216285e01e4.dip.versatel-1u1.de)
2021-04-22 08:44:47 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-04-22 08:48:32 +0200Sornaensis(~Sornaensi@077213200034.dynamic.telenor.dk)
2021-04-22 08:51:05 +0200Sorna(~Sornaensi@79.142.232.102.static.router4.bolignet.dk)
2021-04-22 08:53:02 +0200gzj(~gzj@unaffiliated/gzj) (Quit: Leaving)
2021-04-22 08:53:32 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-04-22 08:53:41 +0200Sornaensis(~Sornaensi@077213200034.dynamic.telenor.dk) (Ping timeout: 245 seconds)
2021-04-22 08:54:08 +0200Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de)
2021-04-22 08:57:41 +0200earthy_earthy
2021-04-22 08:58:14 +0200nineonine(~nineonine@50.216.62.2)
2021-04-22 09:00:46 +0200timCF(~i.tkachuk@200-149-20-81.sta.estpak.ee) (Quit: leaving)
2021-04-22 09:01:18 +0200m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-04-22 09:01:43 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds)
2021-04-22 09:02:32 +0200nineonine(~nineonine@50.216.62.2) (Ping timeout: 240 seconds)
2021-04-22 09:03:06 +0200bitmagie(~Thunderbi@200116b8066f180081bca216285e01e4.dip.versatel-1u1.de) (Quit: bitmagie)
2021-04-22 09:03:11 +0200Synthetica(uid199651@gateway/web/irccloud.com/x-ycrvxeagazjstjgn)
2021-04-22 09:04:32 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-zaklydynoasermoj) (Quit: Connection closed for inactivity)
2021-04-22 09:05:38 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-04-22 09:14:08 +0200dilinger(~dilinger@spindle.queued.net)
2021-04-22 09:15:38 +0200limbo(ar@45.63.9.236) (Ping timeout: 240 seconds)
2021-04-22 09:17:33 +0200limbo(ar@45.63.9.236)
2021-04-22 09:18:49 +0200nicholasbulka(~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net)
2021-04-22 09:22:52 +0200nicholasbulka(~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Ping timeout: 240 seconds)
2021-04-22 09:27:08 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-22 09:30:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-22 09:35:40 +0200nckxraghavgururajan9
2021-04-22 09:35:50 +0200raghavgururajan9nckx
2021-04-22 09:45:42 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-04-22 09:52:14 +0200vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-04-22 10:02:51 +0200kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 245 seconds)
2021-04-22 10:03:11 +0200idhugo__(~idhugo@87-49-45-4-mobile.dk.customer.tdc.net)
2021-04-22 10:03:19 +0200kritzefitz(~kritzefit@2003:5b:203b:200::10:49)
2021-04-22 10:04:17 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-22 10:05:15 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-22 10:05:54 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds)
2021-04-22 10:07:10 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga)
2021-04-22 10:07:56 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 246 seconds)
2021-04-22 10:09:09 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-04-22 10:11:28 +0200sgibber2018(d055ed90@208.85.237.144)
2021-04-22 10:13:58 +0200plutoniix(~q@ppp-58-8-174-127.revip2.asianet.co.th) (Ping timeout: 252 seconds)
2021-04-22 10:14:13 +0200faustind(8508bb0b@gateway/web/cgi-irc/kiwiirc.com/ip.133.8.187.11)
2021-04-22 10:19:31 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-22 10:20:19 +0200RusAlex(~Chel@unaffiliated/rusalex) (Ping timeout: 268 seconds)
2021-04-22 10:20:42 +0200aidecoe(~aidecoe@unaffiliated/aidecoe)
2021-04-22 10:25:43 +0200RusAlex(~Chel@unaffiliated/rusalex)
2021-04-22 10:27:44 +0200Tene(~tene@poipu/supporter/slacker/tene) (Ping timeout: 268 seconds)
2021-04-22 10:28:37 +0200ByronJohnson(~bairyn@unaffiliated/bob0) (Ping timeout: 252 seconds)
2021-04-22 10:32:14 +0200LKoen(~LKoen@11.160.9.109.rev.sfr.net)
2021-04-22 10:32:40 +0200earthy(~arthurvl@deban2.xs4all.space) (Ping timeout: 252 seconds)
2021-04-22 10:33:45 +0200guest421`(~user@49.5.6.87)
2021-04-22 10:34:24 +0200Tene(~tene@poipu/supporter/slacker/tene)
2021-04-22 10:34:27 +0200ByronJohnson(~bairyn@unaffiliated/bob0)
2021-04-22 10:35:06 +0200sgibber2018(d055ed90@208.85.237.144) (Quit: Connection closed)
2021-04-22 10:35:09 +0200earthy(~arthurvl@deban2.xs4all.space)
2021-04-22 10:35:45 +0200 <guest421`> MaybeT IO a, MaybeT IO is a monad, but to value [MaybeT IO a], is there a monad for it?
2021-04-22 10:36:04 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-22 10:36:19 +0200 <guest421`> there's a List Transformer?
2021-04-22 10:36:51 +0200 <guest421`> data ListT m a = ListT m [a]?
2021-04-22 10:37:29 +0200 <guest421`> so we could have ListT (MaybeT IO) a?
2021-04-22 10:38:16 +0200 <guest421`> or data ListT m a = ListT [m a]?
2021-04-22 10:38:45 +0200 <merijn> You could, yes. But the semantics of ListT are...tricky
2021-04-22 10:39:05 +0200 <merijn> guest421`: When you're looking for ListT you might want conduit/pipes instead
2021-04-22 10:39:08 +0200 <merijn> @hackage conduit
2021-04-22 10:39:09 +0200 <lambdabot> https://hackage.haskell.org/package/conduit
2021-04-22 10:39:12 +0200 <merijn> @hackage pipes
2021-04-22 10:39:12 +0200 <lambdabot> https://hackage.haskell.org/package/pipes
2021-04-22 10:40:06 +0200 <guest421`> merijn: actually I'm thnking about using `traverse` to IO actions, for example there's [Url], and fetchUrl :: Url -> MaybeT IO ByteString,
2021-04-22 10:40:09 +0200jess(jess@freenode/staff/jess)
2021-04-22 10:40:09 +0200Lycurgus(~niemand@98.4.118.65)
2021-04-22 10:40:29 +0200 <guest421`> traverse fetchUrl [Url]
2021-04-22 10:41:40 +0200 <merijn> That doesn't need ListT, though?
2021-04-22 10:41:59 +0200 <merijn> like, "traverse fetchUrl" works just fine on a list of URLs
2021-04-22 10:43:00 +0200 <guest421`> merijn: but `traverse` "collect" that result, it product a type MaybeT IO (Maybe [a])
2021-04-22 10:43:17 +0200 <guest421`> merijn: what if I'd like [IO-Actions-Results]
2021-04-22 10:43:31 +0200 <merijn> eh, that's just map?
2021-04-22 10:43:45 +0200 <merijn> That doesn't look, right though
2021-04-22 10:43:46 +0200 <guest421`> merijn: yes, but fmap doesn't do IO
2021-04-22 10:44:22 +0200 <merijn> if "fetchUrl :: Url -> MaybeT IO ByteString" then "traverse fetchUrl :: MaybeT IO [ByteString]"
2021-04-22 10:44:31 +0200 <merijn> eh
2021-04-22 10:44:38 +0200 <merijn> Missing list argument, but you get the idea
2021-04-22 10:45:13 +0200 <guest421`> merijn: <guest421`> traverse fetchUrl [Url]
2021-04-22 10:45:28 +0200 <merijn> :t traverse `asAppliedTo` (undefined :: () -> MaybeT IO ByteString)
2021-04-22 10:45:29 +0200 <lambdabot> error:
2021-04-22 10:45:29 +0200 <lambdabot> Not in scope: type constructor or class ‘ByteString’
2021-04-22 10:45:29 +0200 <lambdabot> Perhaps you meant one of these:
2021-04-22 10:45:35 +0200 <merijn> :t traverse `asAppliedTo` (undefined :: () -> MaybeT IO String)
2021-04-22 10:45:36 +0200 <lambdabot> Traversable t => (() -> MaybeT IO String) -> t () -> MaybeT IO (t String)
2021-04-22 10:46:29 +0200 <guest421`> merijn: why ListT is tricky?
2021-04-22 10:46:39 +0200 <merijn> Well, what does it mean?
2021-04-22 10:47:11 +0200 <guest421`> <merijn> You could, yes. But the semantics of ListT are...tricky
2021-04-22 10:47:57 +0200 <guest421`> there's MaybeT, EitherT, StateT blabla, even ContT, but no ListT?
2021-04-22 10:48:28 +0200 <merijn> There is a ListT, but it's definition is questionable
2021-04-22 10:58:13 +0200pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-04-22 10:59:33 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net) ()
2021-04-22 11:00:05 +0200 <lovesegfault> Hi everyone, could someone review this small exercise program I wrote? https://github.com/lovesegfault/exercism/blob/main/haskell/leap/src/LeapYear.hs
2021-04-22 11:00:05 +0200addem[m](addemmatri@gateway/shell/matrix.org/x-dihufvgbnekkaxvh) (Quit: Idle for 30+ days)
2021-04-22 11:00:28 +0200 <lovesegfault> Not sure if I'm doing this the right way :P
2021-04-22 11:00:46 +0200 <lovesegfault> it works, I'm more concerned about it being idiomatic
2021-04-22 11:00:52 +0200 <guest421`> merijn: traverse fetchUrl [Url] , when one of those IO actions return a MaybeT (return Nothing) :: MaybeT IO ByteString, what traverse will return?
2021-04-22 11:02:35 +0200 <merijn> Nothing, but if you don't want that, then don't use MaybeT?
2021-04-22 11:02:47 +0200 <merijn> Like, that's literally the only purpose of MaybeT
2021-04-22 11:03:12 +0200 <guest421`> merijn: I should use fetchUrl :: Url -> IO (Maybe a)?
2021-04-22 11:03:37 +0200 <guest421`> merijn: IO is too difficult on value level to express
2021-04-22 11:08:49 +0200jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-04-22 11:10:05 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-22 11:10:15 +0200Sorny(~Sornaensi@077213200034.dynamic.telenor.dk)
2021-04-22 11:10:26 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-22 11:11:18 +0200malumore(~malumore@151.62.117.136) (Remote host closed the connection)
2021-04-22 11:12:22 +0200jakalx(~jakalx@base.jakalx.net)
2021-04-22 11:12:31 +0200jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-04-22 11:13:11 +0200Sorna(~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 240 seconds)
2021-04-22 11:13:54 +0200 <wrunt> lovesegfault: Looks ok. You may want to use Int rather than Integer, unless you anticipate the year exceeding 'maxBound :: Int'. You could also use logic rather than pattern matching, and use 'isDiv' infix, i.e. 'isLeapYear year = year `isDiv` 4 || (not $ year `isDiv` 100) || year `isDiv` 400'
2021-04-22 11:14:27 +0200minoru_shiraeesh(~shiraeesh@46.34.207.53)
2021-04-22 11:15:02 +0200 <lovesegfault> woah, what is $ in haskell?
2021-04-22 11:15:12 +0200kiweun(~kiweun@2607:fea8:2a62:9600:5d11:937f:5f24:4c8b)
2021-04-22 11:15:13 +0200 <wrunt> hm, my logic may be off there...
2021-04-22 11:15:56 +0200 <wrunt> $ is called apply, and basically says evaluate everything on my right before passing it to the function on my left
2021-04-22 11:16:09 +0200malumore(~malumore@151.62.117.136)
2021-04-22 11:16:19 +0200 <xsperry> @src ($)
2021-04-22 11:16:20 +0200 <lambdabot> f $ x = f x
2021-04-22 11:16:33 +0200 <wrunt> (not $ year `isDiv` 100) is equivalent to (not (year `isDiv` 100))
2021-04-22 11:16:36 +0200jakalx(~jakalx@base.jakalx.net)
2021-04-22 11:17:07 +0200 <wrunt> er, $ is not called apply, I must be tired :)
2021-04-22 11:17:22 +0200 <merijn> I wouldn't use $ there, just use parens...
2021-04-22 11:17:24 +0200 <xsperry> it works the way it does because of it its low precedence, infixr 0 $
2021-04-22 11:17:41 +0200zaquest(~notzaques@5.128.210.178) (Remote host closed the connection)
2021-04-22 11:17:47 +0200 <merijn> Like "(not $ year `isDiv` 100)" is just "not (year `isDiv` 100)" but worse >.>
2021-04-22 11:17:59 +0200 <lovesegfault> do I need to create that leapMatch in order to pattern match? or can I do it all with only isLeapYear?
2021-04-22 11:18:08 +0200 <wrunt> lovesegfault: listen to merijn :)
2021-04-22 11:18:17 +0200nfip^(nfip@ip98-184-89-2.mc.at.cox.net)
2021-04-22 11:18:47 +0200 <lovesegfault> I like this `` infix business, makes things more readable
2021-04-22 11:18:53 +0200zaquest(~notzaques@5.128.210.178)
2021-04-22 11:19:29 +0200 <xsperry> lovesegfault, you can pattern match without creating a new function, with case
2021-04-22 11:19:31 +0200kiweun(~kiweun@2607:fea8:2a62:9600:5d11:937f:5f24:4c8b) (Ping timeout: 250 seconds)
2021-04-22 11:19:46 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection)
2021-04-22 11:19:49 +0200 <lovesegfault> xsperry: Oh, nice, /me googles how
2021-04-22 11:20:15 +0200 <merijn> > case even 3 of True -> "Yay!"; False -> "Nay!"
2021-04-22 11:20:17 +0200 <lambdabot> "Nay!"
2021-04-22 11:21:50 +0200 <lovesegfault> oh, nice!
2021-04-22 11:21:53 +0200lovesegfaultrewrites it
2021-04-22 11:22:34 +0200 <lovesegfault> updated version: https://github.com/lovesegfault/exercism/blob/main/haskell/leap/src/LeapYear.hs
2021-04-22 11:23:11 +0200minoru_shiraeesh(~shiraeesh@46.34.207.53) (Ping timeout: 240 seconds)
2021-04-22 11:23:49 +0200 <lovesegfault> Hm, what is the standard code formatting tool for haskell?
2021-04-22 11:23:59 +0200 <olligobber> :t isDiv
2021-04-22 11:24:00 +0200 <lambdabot> error: Variable not in scope: isDiv
2021-04-22 11:24:17 +0200 <merijn> lovesegfault: There is none
2021-04-22 11:24:59 +0200moduli-of-pyon(~pyon@unaffiliated/pyon) (Quit: See ya.)
2021-04-22 11:25:07 +0200 <lovesegfault> merijn: Oh, interesting, is there a leading one at least? (e.g. Black for Python)
2021-04-22 11:25:12 +0200 <merijn> No
2021-04-22 11:25:18 +0200 <lovesegfault> fascinating
2021-04-22 11:25:31 +0200sammyh(~sammyh@vps-15813cea.vps.ovh.net) ()
2021-04-22 11:25:40 +0200 <merijn> and tbh, auto-formatters are a bad crutch
2021-04-22 11:26:08 +0200 <merijn> As summarised by: https://twitter.com/comerijn/status/1257804634833420292
2021-04-22 11:27:14 +0200 <lovesegfault> fair enough :)
2021-04-22 11:27:25 +0200 <maerwald> there are plenty of formatters though
2021-04-22 11:27:37 +0200 <lovesegfault> I'm playing with ormolu right now
2021-04-22 11:27:41 +0200 <maerwald> brittany, ormolu and stylish-haskell are common
2021-04-22 11:28:46 +0200 <lovesegfault> So, in Rust I tend to do these chains of Iterator ops: https://github.com/lovesegfault/exercism/blob/5a7f942130c82e60025d9a8787fb7eae8efd0c0e/rust/acrony…
2021-04-22 11:28:52 +0200 <lovesegfault> what does this look like in Haskell?
2021-04-22 11:33:46 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-22 11:35:41 +0200Guest5350(~textual@2603-7000-3040-0000-3d14-5885-3d03-0546.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-22 11:36:01 +0200totte(~totte@chakra/totte) (Quit: ZNC - http://znc.in)
2021-04-22 11:37:02 +0200ClaudiusMaximus(~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net)
2021-04-22 11:37:19 +0200Pickchea(~private@unaffiliated/pickchea)
2021-04-22 11:37:21 +0200ClaudiusMaximus(~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host)
2021-04-22 11:37:21 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2021-04-22 11:41:41 +0200slaterr(~bc8134e3@199.204.85.195)
2021-04-22 11:41:43 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-22 11:42:51 +0200Sornaensis(~Sornaensi@79.142.232.102.static.router4.bolignet.dk)
2021-04-22 11:44:36 +0200fendor(~fendor@178.165.129.61.wireless.dyn.drei.com)
2021-04-22 11:44:40 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2021-04-22 11:45:39 +0200Guest78317(~laudiacay@67.176.215.84)
2021-04-22 11:45:49 +0200 <slaterr> lovesegfault, you could use function composition: https://paste.tomsmeding.com/DxpWsvlW . alternatively, you can use (&) function to get left to right chaining
2021-04-22 11:46:02 +0200Sorny(~Sornaensi@077213200034.dynamic.telenor.dk) (Ping timeout: 268 seconds)
2021-04-22 11:46:20 +0200 <lovesegfault> @src (&)
2021-04-22 11:46:20 +0200 <lambdabot> Source not found. Sorry about this, I know it's a bit silly.
2021-04-22 11:46:28 +0200 <slaterr> @hoogle (&)
2021-04-22 11:46:28 +0200 <lambdabot> Data.Function (&) :: a -> (a -> b) -> b
2021-04-22 11:46:28 +0200 <lambdabot> Control.Lens.Lens (&) :: () => a -> (a -> b) -> b
2021-04-22 11:46:28 +0200 <lambdabot> Control.Lens.Operators (&) :: () => a -> (a -> b) -> b
2021-04-22 11:46:41 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-22 11:46:47 +0200 <slaterr> you want Data.Function.(&)
2021-04-22 11:47:31 +0200 <lovesegfault> Ah, nice
2021-04-22 11:48:57 +0200 <slaterr> > "oh my god" & splitWhen (\c -> isSpace c || c `elem` ['-', '_']) & concatMap (take 1) & map toUpper
2021-04-22 11:48:59 +0200 <lambdabot> "OMG"
2021-04-22 11:49:14 +0200zva(~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de)
2021-04-22 11:49:17 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-04-22 11:49:17 +0200 <lovesegfault> Super cool
2021-04-22 11:49:57 +0200 <tomsmeding> concatMap (take 1) == map head
2021-04-22 11:49:58 +0200Guest78317(~laudiacay@67.176.215.84) (Ping timeout: 260 seconds)
2021-04-22 11:50:09 +0200 <slaterr> head will error on an empty list
2021-04-22 11:50:15 +0200 <tomsmeding> hm, unless yes that
2021-04-22 11:52:48 +0200 <lovesegfault> where does splitWhen come from? Looking here: https://hoogle.haskell.org/?hoogle=splitwhen I would imagine I just had to do `import Data.List (splitWhen)`?
2021-04-22 11:53:19 +0200 <slaterr> split package, https://hackage.haskell.org/package/split-0.2.3.4/docs/Data-List-Split.html
2021-04-22 11:53:45 +0200DavidEichmann(~david@147.136.46.217.dyn.plus.net)
2021-04-22 11:55:15 +0200 <slaterr> for serious work, you want Text over String, so you'd use https://hackage.haskell.org/package/text-1.2.4.1/docs/Data-Text.html#v:splitOn. but I took this question to be more about functions chaining than about string processing
2021-04-22 11:57:17 +0200 <slaterr> or rather, Data.Text.split
2021-04-22 11:57:26 +0200 <lovesegfault> Yup
2021-04-22 12:02:43 +0200 <lovesegfault> Why doesn't this work? https://gist.github.com/4e5242468f437d571cd3a2e2968e8cc5
2021-04-22 12:03:02 +0200 <lovesegfault> (not as a solution to the acronym thing, but rather that it fails to typecheck altogether)
2021-04-22 12:03:28 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-22 12:03:29 +0200 <lovesegfault> error: https://gist.github.com/5199c7b058be9e3666c2751a4ad31b88
2021-04-22 12:04:35 +0200 <slaterr> swap the order of concat and split
2021-04-22 12:05:00 +0200 <lovesegfault> Oh :D
2021-04-22 12:05:10 +0200 <lovesegfault> so the pipelines go backwards
2021-04-22 12:05:29 +0200 <slaterr> also it is common do something like this, import qualified Data.Text as T, then you can do T.concat
2021-04-22 12:05:34 +0200 <slaterr> yes
2021-04-22 12:05:37 +0200 <slaterr> @src (.)
2021-04-22 12:05:37 +0200 <lambdabot> (f . g) x = f (g x)
2021-04-22 12:06:37 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-22 12:07:46 +0200 <xsperry> . is basically ascii equivalent of ∘ in math. https://en.wikipedia.org/wiki/Function_composition
2021-04-22 12:07:53 +0200 <lovesegfault> what's the right way to verbalize this: map :: (Char -> Char) -> Text -> Text
2021-04-22 12:08:07 +0200 <lovesegfault> i.e. how do I say that out loud
2021-04-22 12:09:04 +0200idhugo__(~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds)
2021-04-22 12:10:51 +0200 <slaterr> I'm not sure about the "official" version, but I'd say that map takes a function from char to char, text, and returns text.
2021-04-22 12:11:19 +0200 <slaterr> (even though, technically, it takes char to char function, and returns a function from Text to Text)
2021-04-22 12:12:07 +0200 <lovesegfault> Ah, yes, I like the second version :D
2021-04-22 12:12:27 +0200Alleria(~textual@zrcout.mskcc.org)
2021-04-22 12:12:34 +0200 <lovesegfault> is Rust's skip_while Haskell's span, kind of?
2021-04-22 12:12:34 +0200 <dibblego> Optic' Text Char
2021-04-22 12:12:45 +0200 <lovesegfault> Optic?
2021-04-22 12:12:51 +0200AlleriaGuest94131
2021-04-22 12:14:28 +0200 <slaterr> maybe dropWhile?
2021-04-22 12:14:34 +0200 <slaterr> > dropWhile (<5) [1..10]
2021-04-22 12:14:36 +0200 <lambdabot> [5,6,7,8,9,10]
2021-04-22 12:16:08 +0200 <slaterr> or T.drop for Text
2021-04-22 12:16:36 +0200 <slaterr> :t T.dropWhile
2021-04-22 12:16:37 +0200 <lambdabot> (Char -> Bool) -> T.Text -> T.Text
2021-04-22 12:16:38 +0200philderbeast(~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca)
2021-04-22 12:16:42 +0200 <lovesegfault> oh, nice!
2021-04-22 12:19:08 +0200 <lovesegfault> Is there a .chain() that lets me concat iterators? is is it just concat?
2021-04-22 12:19:55 +0200unlink_(~unlink2@p57b8541f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-04-22 12:20:05 +0200unlink2(~unlink2@p200300ebcf12ad00ad652fa1ddae7806.dip0.t-ipconnect.de)
2021-04-22 12:20:55 +0200 <slaterr> example of input and output?
2021-04-22 12:22:45 +0200 <lovesegfault> word = "abcd"; word.chars().take(1).chain(word.chars().skip(2)).collect() -> "acd"
2021-04-22 12:23:22 +0200 <lovesegfault> word.chars().take(1).chain(word.chars().take(2)).collect() -> "aab"
2021-04-22 12:23:44 +0200minoru_shiraeesh(~shiraeesh@46.34.207.53)
2021-04-22 12:26:24 +0200 <slaterr> > let word = "abcd" in T.concat [T.take 1 word, T.drop 2 word]
2021-04-22 12:26:26 +0200 <lambdabot> error:
2021-04-22 12:26:26 +0200 <lambdabot> • Couldn't match expected type ‘T.Text’ with actual type ‘[Char]’
2021-04-22 12:26:26 +0200 <lambdabot> • In the second argument of ‘T.take’, namely ‘word’
2021-04-22 12:27:15 +0200 <slaterr> it should work with OverloadedStrings extension
2021-04-22 12:27:46 +0200nfip^(nfip@ip98-184-89-2.mc.at.cox.net) ()
2021-04-22 12:27:54 +0200lovesegfaultgoogles extension
2021-04-22 12:28:29 +0200 <idnar> > let word = T.pack "abcd" in T.concat [T.take 1 word, T.drop 2 word]
2021-04-22 12:28:31 +0200 <lambdabot> "acd"
2021-04-22 12:28:38 +0200 <slaterr> {-# LANGUAGE OverloadedStrings #-} on top of .hs file, or Extensions: OverloadedStrings in cabal so that you can use it in all the files in that project
2021-04-22 12:29:37 +0200 <opqdonut> btw does OverloadedStrings give you pattern matching on Text?
2021-04-22 12:29:56 +0200 <opqdonut> (I expect not, but I'm willing to be surprised :)
2021-04-22 12:29:57 +0200 <slaterr> this makes string literals polymorphic, so "abcd" is Data.String.IsString t => t, not String
2021-04-22 12:30:46 +0200 <slaterr> opqdonut it does
2021-04-22 12:30:51 +0200 <opqdonut> cool
2021-04-22 12:30:59 +0200 <idnar> > let word = T.pack "abcd" in mconcat [T.take 1, T.drop 2] word
2021-04-22 12:31:02 +0200 <lambdabot> "acd"
2021-04-22 12:31:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-22 12:32:21 +0200 <lovesegfault> Sweet
2021-04-22 12:32:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-22 12:33:07 +0200 <idnar> (that is possibly too cute)
2021-04-22 12:34:12 +0200 <xsperry> :t mconcat
2021-04-22 12:34:14 +0200 <lambdabot> Monoid a => [a] -> a
2021-04-22 12:35:21 +0200 <idnar> the Monoid/Semigroup instance for functions gives f <> g = \x -> f x <> g x
2021-04-22 12:35:47 +0200 <olligobber> > (drop <> take) 3 "anagram"
2021-04-22 12:35:49 +0200 <lambdabot> "gramana"
2021-04-22 12:37:30 +0200 <slaterr> > let word = T.pack "abcd" in (T.take 1 <> T.drop 2) word
2021-04-22 12:37:32 +0200 <lambdabot> "acd"
2021-04-22 12:37:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-22 12:38:10 +0200 <lovesegfault> what do I do if I want to map on [Text] ? I keep getting Expected type: Text -> [[Char]]
2021-04-22 12:38:31 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-22 12:39:14 +0200 <slaterr> > map _ (undefined :: [Text])
2021-04-22 12:39:16 +0200 <lambdabot> error:
2021-04-22 12:39:16 +0200 <lambdabot> Not in scope: type constructor or class ‘Text’
2021-04-22 12:39:16 +0200 <lambdabot> Perhaps you meant ‘T.Text’ (imported from Data.Text)
2021-04-22 12:39:23 +0200 <slaterr> > map _ (undefined :: [T.Text])
2021-04-22 12:39:28 +0200 <lambdabot> error:
2021-04-22 12:39:28 +0200 <lambdabot> • Found hole: _ :: T.Text -> b
2021-04-22 12:39:28 +0200 <lambdabot> Where: ‘b’ is a rigid type variable bound by
2021-04-22 12:39:41 +0200 <idnar> lovesegfault: sounds like you have Text vs String confusion
2021-04-22 12:39:45 +0200 <slaterr> it will work, just give it a Text -> Text function
2021-04-22 12:39:47 +0200 <lovesegfault> https://gist.github.com/e4d2141f1c7846972f2a967b18c234e5
2021-04-22 12:40:02 +0200 <lovesegfault> I thought my map here was giving me a Text?
2021-04-22 12:43:18 +0200 <idnar> `\w -> T.pack (take 1 w + (filter isUpper . dropWhile isUpper) w)` is String -> Text
2021-04-22 12:43:49 +0200 <slaterr> map (\w -> T.take 1 w `T.append` (T.filter isUpper . T.dropWhile isUpper) w)
2021-04-22 12:43:58 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-04-22 12:44:01 +0200 <lovesegfault> :O
2021-04-22 12:44:12 +0200 <slaterr> :t filter
2021-04-22 12:44:14 +0200 <lambdabot> (a -> Bool) -> [a] -> [a]
2021-04-22 12:44:16 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-22 12:44:30 +0200 <slaterr> w is Text, not [Char] (aka String)
2021-04-22 12:45:30 +0200 <lovesegfault> A bit annoying that I need to T. everything :(
2021-04-22 12:45:43 +0200 <idnar> <> is nicer than `T.append` imo
2021-04-22 12:46:07 +0200 <lovesegfault> idnar: is there a name for that operator?
2021-04-22 12:46:19 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-04-22 12:47:14 +0200 <lovesegfault> woohoo the tests pass!
2021-04-22 12:47:15 +0200 <idnar> not sure
2021-04-22 12:47:41 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-22 12:47:52 +0200 <lovesegfault> any suggestions? https://gist.github.com/c858a83b4960a8bbc11ca9c5229b1983
2021-04-22 12:48:10 +0200 <lovesegfault> or, rather, how may I improve?
2021-04-22 12:48:39 +0200 <slaterr> :t (<>)
2021-04-22 12:48:40 +0200 <lambdabot> Semigroup a => a -> a -> a
2021-04-22 12:48:46 +0200 <ClaudiusMaximus> @check (<>) == (mappend :: String -> String -> String)
2021-04-22 12:48:47 +0200 <lambdabot> error:
2021-04-22 12:48:48 +0200 <lambdabot> • No instance for (Eq (String -> String -> String)) arising from a use of ‘=...
2021-04-22 12:49:12 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-22 12:50:20 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-22 12:52:01 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds)
2021-04-22 12:53:35 +0200 <slaterr> @pl (\c -> isSpace c || c `elem` ['-', '_'])
2021-04-22 12:53:35 +0200 <lambdabot> liftM2 (||) isSpace (`elem` "-_")
2021-04-22 12:53:45 +0200 <slaterr> yeah, probably not an improvement
2021-04-22 12:53:58 +0200 <lovesegfault> What's this @pl business?
2021-04-22 12:54:33 +0200 <slaterr> it rewrites the function using pointfree style
2021-04-22 12:55:21 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-04-22 12:55:29 +0200 <slaterr> @pl (\xs -> map (take 10) xs)
2021-04-22 12:55:29 +0200 <lambdabot> map (take 10)
2021-04-22 12:55:39 +0200 <lovesegfault> Ah, I see
2021-04-22 12:55:41 +0200 <lovesegfault> nice
2021-04-22 12:55:47 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-22 12:57:02 +0200 <idnar> (\w -> T.take 1 w <> (T.filter isUpper . T.dropWhile isUpper) w) is (T.take 1 <> (T.filter isUpper . T.dropWhile isUpper))
2021-04-22 12:57:51 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-22 12:58:04 +0200 <idnar> extra parens maybe unneeded
2021-04-22 12:58:21 +0200 <lovesegfault> oh, nic
2021-04-22 12:59:31 +0200 <lovesegfault> Alright, time for bed
2021-04-22 12:59:40 +0200 <lovesegfault> thanks everyone for all the help today, I learned a bunch and had fun!
2021-04-22 12:59:56 +0200 <slaterr> good night!
2021-04-22 13:00:36 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-04-22 13:01:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-22 13:01:32 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-22 13:05:44 +0200mastarija(~mastarija@78-3-215-13.adsl.net.t-com.hr)
2021-04-22 13:05:48 +0200jk1006(~jk1006@193.16.224.5)
2021-04-22 13:06:36 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-04-22 13:06:41 +0200jk1006(~jk1006@193.16.224.5) ()
2021-04-22 13:07:17 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-22 13:07:31 +0200 <xsperry> idnar, indeed, parens aren't need, this works: map (T.take 1 <> T.filter isUpper . T.dropWhile isUpper)
2021-04-22 13:07:56 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-22 13:09:43 +0200idhugo__(~idhugo@87-49-45-4-mobile.dk.customer.tdc.net)
2021-04-22 13:10:22 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-04-22 13:10:53 +0200ericsagnes(~ericsagne@2405:6580:0:5100:17c1:9e20:deae:8139) (Ping timeout: 250 seconds)
2021-04-22 13:12:02 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds)
2021-04-22 13:12:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-04-22 13:12:51 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds)
2021-04-22 13:12:59 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 268 seconds)
2021-04-22 13:13:16 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-22 13:14:20 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-22 13:15:46 +0200kiweun(~kiweun@2607:fea8:2a62:9600:3d40:49bb:2ec6:f11e)
2021-04-22 13:17:01 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 245 seconds)
2021-04-22 13:18:19 +0200 <gnumonic> why would something not typecheck if I fully apply a type-level function with an explicit argument, yet typecheck perfectly fine if I use a type family that does the same thing? (not sure if i'm asking that right)
2021-04-22 13:18:20 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-04-22 13:19:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-22 13:19:56 +0200kiweun(~kiweun@2607:fea8:2a62:9600:3d40:49bb:2ec6:f11e) (Ping timeout: 245 seconds)
2021-04-22 13:21:43 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-22 13:22:22 +0200zmijunkie(~Adium@87.122.210.20)
2021-04-22 13:22:29 +0200 <gnumonic> example: https://gist.github.com/gnumonik/9eff3523012ace3b9e6f7c21710ba89a
2021-04-22 13:22:57 +0200ericsagnes(~ericsagne@2405:6580:0:5100:4c23:9944:9bc8:e9ca)
2021-04-22 13:23:05 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-22 13:23:26 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-22 13:23:41 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 245 seconds)
2021-04-22 13:26:24 +0200 <merijn> oof
2021-04-22 13:26:33 +0200 <merijn> That needs a content warning >.>
2021-04-22 13:26:52 +0200 <merijn> What's the appropriate media rating for -XKitchenSink ? :p
2021-04-22 13:29:07 +0200 <gnumonic> if the math gods didn't want me to use every compiler extension at once they wouldn't have given them to me :P
2021-04-22 13:33:59 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-22 13:35:30 +0200LKoen(~LKoen@11.160.9.109.rev.sfr.net) (Remote host closed the connection)
2021-04-22 13:39:17 +0200 <Lycurgus> math gods
2021-04-22 13:39:34 +0200 <merijn> Yeah, you know
2021-04-22 13:40:04 +0200 <merijn> Chtulhu, Yog-Sothoth
2021-04-22 13:41:27 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection)
2021-04-22 13:41:40 +0200 <Lycurgus> lovecraft is gonna be cancelled
2021-04-22 13:42:17 +0200 <Lycurgus> in the queue if not already in process
2021-04-22 13:43:08 +0200 <merijn> uh
2021-04-22 13:43:37 +0200 <merijn> Lovecraft was cancelled decades ago, but since he's dead nobody really cares anyway
2021-04-22 13:43:46 +0200 <Lycurgus> the kipling, conrad, et. al. queue;that is if cancel culture doesn't get cancelled first
2021-04-22 13:44:14 +0200 <merijn> Anyway, that's solidly offtopic
2021-04-22 13:44:47 +0200 <Lycurgus> yeah I was about to reach for math/fp figures likely to be cancelled
2021-04-22 13:44:51 +0200 <hpc> cancel culture is secretly call-cc culture :D
2021-04-22 13:44:55 +0200Lycurguslooks around the room
2021-04-22 13:45:07 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-04-22 13:46:31 +0200totte(~totte@chakra/totte)
2021-04-22 13:47:03 +0200seveg(~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Ping timeout: 260 seconds)
2021-04-22 13:47:33 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-22 13:47:43 +0200Irenes(~irenes@NixOS/user/irenes) (Ping timeout: 250 seconds)
2021-04-22 13:47:50 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-22 13:48:07 +0200seveg(~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk)
2021-04-22 13:51:04 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-22 13:54:34 +0200 <Lycurgus> merijn, did you infer the ghc flags from that gist?
2021-04-22 13:54:57 +0200berberman_(~berberman@unaffiliated/berberman)
2021-04-22 13:55:26 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-04-22 13:55:50 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-22 13:55:51 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
2021-04-22 13:55:55 +0200berberman(~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2021-04-22 13:58:00 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-04-22 13:58:30 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-22 13:58:41 +0200vgtw_(~vgtw@gateway/tor-sasl/vgtw)
2021-04-22 13:59:09 +0200vgtw(~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds)
2021-04-22 13:59:10 +0200vgtw_vgtw
2021-04-22 14:01:10 +0200Irenes(~irenes@NixOS/user/irenes)
2021-04-22 14:02:27 +0200nan`(~nan`@unaffiliated/nan/x-5405850)
2021-04-22 14:04:28 +0200wavemode_(~wavemode@097-070-075-143.res.spectrum.com)
2021-04-22 14:04:50 +0200wavemode(~wavemode@097-070-075-143.res.spectrum.com) (Read error: Connection reset by peer)
2021-04-22 14:07:47 +0200LKoen(~LKoen@11.160.9.109.rev.sfr.net)
2021-04-22 14:08:04 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 265 seconds)
2021-04-22 14:08:16 +0200dsal(sid13060@gateway/web/irccloud.com/x-rdrbgbyktkhrytkf) (Ping timeout: 245 seconds)
2021-04-22 14:08:41 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 245 seconds)
2021-04-22 14:09:11 +0200dsal(sid13060@gateway/web/irccloud.com/x-qtgpxhcseaxflmxx)
2021-04-22 14:09:34 +0200dexterlb(~dexterlb@2a01:9e40:2:2::2) (Read error: Connection reset by peer)
2021-04-22 14:10:02 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-22 14:16:08 +0200Lycurgus(~niemand@98.4.118.65) (Quit: Exeunt)
2021-04-22 14:18:41 +0200Kaeipi(~Kaiepi@47.54.252.148) (Ping timeout: 240 seconds)
2021-04-22 14:22:50 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-04-22 14:24:06 +0200sagax(~sagax_nb@213.138.71.146) (Ping timeout: 245 seconds)
2021-04-22 14:24:26 +0200stree(~stree@68.36.8.116)
2021-04-22 14:25:12 +0200tsaka_(~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 240 seconds)
2021-04-22 14:25:44 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-22 14:25:47 +0200cheater1(~user@unaffiliated/cheater)
2021-04-22 14:25:50 +0200faustind(8508bb0b@gateway/web/cgi-irc/kiwiirc.com/ip.133.8.187.11) (Quit: Connection closed)
2021-04-22 14:26:25 +0200cheater(~user@unaffiliated/cheater) (Ping timeout: 252 seconds)
2021-04-22 14:30:04 +0200urodna(~urodna@unaffiliated/urodna)
2021-04-22 14:30:47 +0200LKoen_(~LKoen@11.160.9.109.rev.sfr.net)
2021-04-22 14:31:36 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-04-22 14:32:00 +0200roconnor(~roconnor@host-45-58-225-218.dyn.295.ca)
2021-04-22 14:32:22 +0200Kaeipi(~Kaiepi@47.54.252.148)
2021-04-22 14:32:27 +0200albethere(sid457088@gateway/web/irccloud.com/x-bchjzdmqztgxrmnd) (Ping timeout: 245 seconds)
2021-04-22 14:32:53 +0200darthThorik(sid39589@gateway/web/irccloud.com/x-agxewrbiyijpmjiw) (Ping timeout: 245 seconds)
2021-04-22 14:33:01 +0200LKoen(~LKoen@11.160.9.109.rev.sfr.net) (Ping timeout: 252 seconds)
2021-04-22 14:33:27 +0200mastarija(~mastarija@78-3-215-13.adsl.net.t-com.hr) (Quit: Leaving)
2021-04-22 14:34:40 +0200albethere(sid457088@gateway/web/irccloud.com/x-egqhysbcgqwwryxs)
2021-04-22 14:35:03 +0200darthThorik(sid39589@gateway/web/irccloud.com/x-oqamjdqpvpmmnlft)
2021-04-22 14:36:46 +0200Kaeipi(~Kaiepi@47.54.252.148) (Ping timeout: 245 seconds)
2021-04-22 14:39:30 +0200timCF(~i.tkachuk@200-149-20-81.sta.estpak.ee)
2021-04-22 14:40:40 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-04-22 14:41:11 +0200theDon(~td@94.134.91.246) (Ping timeout: 245 seconds)
2021-04-22 14:41:27 +0200theDon(~td@94.134.91.246)
2021-04-22 14:42:03 +0200 <timCF> Hello! Is there any standard function like `foldM` to work with `ExceptT Text m acc` values? Where `m` is some IO-like monad and every iteration of fold might return `throwE e` and interrupt all computation sequence?
2021-04-22 14:45:59 +0200 <Ferdirand> :t foldM
2021-04-22 14:46:01 +0200 <lambdabot> (Foldable t, Monad m) => (b -> a -> m b) -> b -> t a -> m b
2021-04-22 14:47:14 +0200 <Ferdirand> :t foldM (flip id)
2021-04-22 14:47:16 +0200 <lambdabot> (Foldable t, Monad m) => b -> t (b -> m b) -> m b
2021-04-22 14:47:50 +0200 <Ferdirand> disclaimer: I have no idea what I'm doing
2021-04-22 14:48:41 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Ping timeout: 245 seconds)
2021-04-22 14:48:55 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-04-22 14:49:55 +0200 <Ferdirand> or maybe that's not what you meant
2021-04-22 14:52:11 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-22 14:53:05 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-22 14:54:24 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-22 14:56:20 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2021-04-22 14:59:06 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds)
2021-04-22 14:59:25 +0200dexterlb(~dexterlb@2a01:9e40:2:2::2)
2021-04-22 15:01:15 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832)
2021-04-22 15:04:06 +0200Irenes(~irenes@NixOS/user/irenes) (*.net *.split)
2021-04-22 15:04:06 +0200seveg(~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (*.net *.split)
2021-04-22 15:04:07 +0200jess(jess@freenode/staff/jess) (*.net *.split)
2021-04-22 15:04:07 +0200aidecoe(~aidecoe@unaffiliated/aidecoe) (*.net *.split)
2021-04-22 15:04:07 +0200limbo(ar@45.63.9.236) (*.net *.split)
2021-04-22 15:04:07 +0200dilinger(~dilinger@spindle.queued.net) (*.net *.split)
2021-04-22 15:04:07 +0200cfricke(~cfricke@unaffiliated/cfricke) (*.net *.split)
2021-04-22 15:04:07 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (*.net *.split)
2021-04-22 15:04:08 +0200jonatan(~nate@h77-53-70-163.cust.a3fiber.se) (*.net *.split)
2021-04-22 15:04:08 +0200tabemann(~travisb@2600:1700:7990:24e0:1797:6b66:735:4572) (*.net *.split)
2021-04-22 15:04:08 +0200codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split)
2021-04-22 15:04:08 +0200juri_(~juri@178.63.35.222) (*.net *.split)
2021-04-22 15:04:09 +0200alx741(~alx741@186.178.109.231) (*.net *.split)
2021-04-22 15:04:09 +0200sdrodge_(~sdrodge@unaffiliated/sdrodge) (*.net *.split)
2021-04-22 15:04:09 +0200evanjs(~evanjs@075-129-098-007.res.spectrum.com) (*.net *.split)
2021-04-22 15:04:09 +0200mrchampion(~mrchampio@38.18.109.23) (*.net *.split)
2021-04-22 15:04:10 +0200Forlorn_(~Forlorn@unaffiliated/forlorn) (*.net *.split)
2021-04-22 15:04:10 +0200caasih(sid13241@gateway/web/irccloud.com/x-ywhvuyflycmojjfa) (*.net *.split)
2021-04-22 15:04:11 +0200ibloom(sid350277@gateway/web/irccloud.com/x-yhokoaaxqmoudodu) (*.net *.split)
2021-04-22 15:04:11 +0200alexknvl(sid259568@gateway/web/irccloud.com/x-wdxobfzstmpkvclf) (*.net *.split)
2021-04-22 15:04:11 +0200beaky(~beaky@2a03:b0c0:0:1010::17cf:7003) (*.net *.split)
2021-04-22 15:04:11 +0200ahf(ahf@irssi/staff/ahf) (*.net *.split)
2021-04-22 15:04:11 +0200kaletaa(~kaletaa@188.34.177.83) (*.net *.split)
2021-04-22 15:04:11 +0200kloeri(~kloeri@freenode/staff/exherbo.kloeri) (*.net *.split)
2021-04-22 15:04:11 +0200joeytwiddle(~joeytwidd@162.243.115.31) (*.net *.split)
2021-04-22 15:04:12 +0200lovesegfault(~bemeurer@37.219.94.34.bc.googleusercontent.com) (*.net *.split)
2021-04-22 15:04:12 +0200TMA(tma@twin.jikos.cz) (*.net *.split)
2021-04-22 15:05:36 +0200Irenes(~irenes@NixOS/user/irenes)
2021-04-22 15:05:36 +0200seveg(~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk)
2021-04-22 15:05:36 +0200jess(jess@freenode/staff/jess)
2021-04-22 15:05:36 +0200aidecoe(~aidecoe@unaffiliated/aidecoe)
2021-04-22 15:05:36 +0200limbo(ar@45.63.9.236)
2021-04-22 15:05:36 +0200dilinger(~dilinger@spindle.queued.net)
2021-04-22 15:05:36 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-04-22 15:05:36 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
2021-04-22 15:05:36 +0200jonatan(~nate@h77-53-70-163.cust.a3fiber.se)
2021-04-22 15:05:36 +0200tabemann(~travisb@2600:1700:7990:24e0:1797:6b66:735:4572)
2021-04-22 15:05:36 +0200codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511)
2021-04-22 15:05:36 +0200juri_(~juri@178.63.35.222)
2021-04-22 15:05:36 +0200alx741(~alx741@186.178.109.231)
2021-04-22 15:05:36 +0200sdrodge_(~sdrodge@unaffiliated/sdrodge)
2021-04-22 15:05:36 +0200evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-04-22 15:05:36 +0200mrchampion(~mrchampio@38.18.109.23)
2021-04-22 15:05:36 +0200Forlorn_(~Forlorn@unaffiliated/forlorn)
2021-04-22 15:05:36 +0200caasih(sid13241@gateway/web/irccloud.com/x-ywhvuyflycmojjfa)
2021-04-22 15:05:36 +0200lovesegfault(~bemeurer@37.219.94.34.bc.googleusercontent.com)
2021-04-22 15:05:36 +0200ibloom(sid350277@gateway/web/irccloud.com/x-yhokoaaxqmoudodu)
2021-04-22 15:05:36 +0200alexknvl(sid259568@gateway/web/irccloud.com/x-wdxobfzstmpkvclf)
2021-04-22 15:05:36 +0200ahf(ahf@irssi/staff/ahf)
2021-04-22 15:05:36 +0200kloeri(~kloeri@freenode/staff/exherbo.kloeri)
2021-04-22 15:05:36 +0200kaletaa(~kaletaa@188.34.177.83)
2021-04-22 15:05:36 +0200joeytwiddle(~joeytwidd@162.243.115.31)
2021-04-22 15:05:36 +0200TMA(tma@twin.jikos.cz)
2021-04-22 15:05:47 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-22 15:06:01 +0200beaky(~beaky@2a03:b0c0:0:1010::17cf:7003)
2021-04-22 15:06:11 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 240 seconds)
2021-04-22 15:08:41 +0200ahf(ahf@irssi/staff/ahf) (Ping timeout: 245 seconds)
2021-04-22 15:09:05 +0200gzj(~gzj@unaffiliated/gzj) (Read error: Connection reset by peer)
2021-04-22 15:09:26 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-22 15:09:34 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-04-22 15:10:17 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-22 15:10:41 +0200Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 240 seconds)
2021-04-22 15:12:17 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-04-22 15:13:05 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-22 15:13:25 +0200ahf(ahf@irssi/staff/ahf)
2021-04-22 15:13:27 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-22 15:14:05 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-22 15:14:25 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-22 15:14:51 +0200jess(jess@freenode/staff/jess) (Quit: Reconnecting)
2021-04-22 15:15:07 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-22 15:15:13 +0200jess(jess@freenode/staff/jess)
2021-04-22 15:15:27 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-22 15:15:31 +0200limbo(ar@45.63.9.236) (Max SendQ exceeded)
2021-04-22 15:16:01 +0200limbo(ar@45.63.9.236)
2021-04-22 15:16:06 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-22 15:16:26 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-22 15:16:37 +0200kiweun(~kiweun@2607:fea8:2a62:9600:c959:9dca:1ed1:e2e8)
2021-04-22 15:17:06 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-22 15:17:26 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-22 15:18:05 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-22 15:18:18 +0200son0p(~ff@181.136.122.143)
2021-04-22 15:18:47 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-22 15:19:06 +0200cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 245 seconds)
2021-04-22 15:19:06 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-22 15:19:25 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-22 15:21:06 +0200kiweun(~kiweun@2607:fea8:2a62:9600:c959:9dca:1ed1:e2e8) (Ping timeout: 258 seconds)
2021-04-22 15:21:07 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-22 15:21:28 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-22 15:21:48 +0200Tario(~Tario@201.192.165.173)
2021-04-22 15:22:29 +0200hexfive(~hexfive@50.35.83.177) (Quit: i must go. my people need me.)
2021-04-22 15:22:35 +0200tomboy64(~tomboy64@unaffiliated/tomboy64) (Ping timeout: 246 seconds)
2021-04-22 15:25:39 +0200psydruid[m](psydruidma@gateway/shell/matrix.org/x-dvmwnhqcosgmszks)
2021-04-22 15:26:06 +0200gzj(~gzj@unaffiliated/gzj) (Ping timeout: 240 seconds)
2021-04-22 15:29:15 +0200tomboy64(~tomboy64@unaffiliated/tomboy64)
2021-04-22 15:34:11 +0200carlomagno(~cararell@148.87.23.9)
2021-04-22 15:40:55 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds)
2021-04-22 15:46:12 +0200Guest78317(~laudiacay@67.176.215.84)
2021-04-22 15:46:23 +0200mmfood(~mmfood@185.176.246.69)
2021-04-22 15:50:35 +0200Guest78317(~laudiacay@67.176.215.84) (Ping timeout: 246 seconds)
2021-04-22 15:58:16 +0200minoru_shiraeesh(~shiraeesh@46.34.207.53) (Ping timeout: 252 seconds)
2021-04-22 16:00:06 +0200zva(~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2021-04-22 16:01:43 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-hagaqbxuugljakul)
2021-04-22 16:02:52 +0200dvdp73(59736826@38.104.115.89.rev.vodafone.pt)
2021-04-22 16:03:16 +0200LKoen_(~LKoen@11.160.9.109.rev.sfr.net) (Remote host closed the connection)
2021-04-22 16:05:01 +0200LKoen(~LKoen@11.160.9.109.rev.sfr.net)
2021-04-22 16:07:05 +0200unyu(~pyon@unaffiliated/pyon)
2021-04-22 16:07:25 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds)
2021-04-22 16:07:47 +0200zva(~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de)
2021-04-22 16:12:21 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-22 16:14:56 +0200timCF(~i.tkachuk@200-149-20-81.sta.estpak.ee) (Quit: leaving)
2021-04-22 16:14:58 +0200unlink2(~unlink2@p200300ebcf12ad00ad652fa1ddae7806.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-04-22 16:16:08 +0200unlink2(~unlink2@p57b8541f.dip0.t-ipconnect.de)
2021-04-22 16:18:47 +0200howdoi(uid224@gateway/web/irccloud.com/x-kxxbpbiihnerjfdd)
2021-04-22 16:22:23 +0200sleblanc(~sleblanc@unaffiliated/sebleblanc) (Quit: Leaving)
2021-04-22 16:24:20 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-22 16:24:58 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-22 16:26:38 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-04-22 16:27:04 +0200Jd007(~Jd007@162.156.11.151)
2021-04-22 16:30:06 +0200gzj(~gzj@unaffiliated/gzj) (Ping timeout: 240 seconds)
2021-04-22 16:30:11 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-04-22 16:30:42 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection)
2021-04-22 16:31:07 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga)
2021-04-22 16:32:12 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-04-22 16:33:04 +0200dvdp73(59736826@38.104.115.89.rev.vodafone.pt) (Quit: Connection closed)
2021-04-22 16:39:44 +0200bedforddriggs(60fa4ff9@pool-96-250-79-249.nycmny.fios.verizon.net)
2021-04-22 16:40:12 +0200alx741(~alx741@186.178.109.231) (Quit: alx741)
2021-04-22 16:42:15 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-04-22 16:45:20 +0200TheCavalry(~TheCavalr@217.146.82.202)
2021-04-22 16:45:37 +0200Deide(~Deide@217.155.19.23)
2021-04-22 16:46:00 +0200stree(~stree@68.36.8.116)
2021-04-22 16:51:43 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-ggwmryvnqwlsouwu)
2021-04-22 16:52:20 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-22 16:52:55 +0200tsaka_(~torstein@athedsl-4519432.home.otenet.gr)
2021-04-22 16:54:21 +0200cybai(~cybai@2400:4050:3122:900:f13a:fdb8:499e:2b92)
2021-04-22 16:56:09 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-22 16:58:45 +0200idhugo__(~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds)
2021-04-22 17:02:47 +0200zmijunkie(~Adium@87.122.210.20) (Ping timeout: 252 seconds)
2021-04-22 17:05:23 +0200ericsagnes(~ericsagne@2405:6580:0:5100:4c23:9944:9bc8:e9ca) (Ping timeout: 260 seconds)
2021-04-22 17:06:05 +0200lawid(~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8)
2021-04-22 17:06:57 +0200zmijunkie(~Adium@87.122.210.20)
2021-04-22 17:08:30 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:4447:2758:9838:e84a)
2021-04-22 17:11:58 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds)
2021-04-22 17:12:42 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2021-04-22 17:13:24 +0200 <zzz> i was playing with ghc and "quickly and dirtly" measuring performance of simple variations on functions, and something sparked my curiosity. i made 3 versions of a function that run as expected when compiled, but ghci intrigues me
2021-04-22 17:13:36 +0200 <zzz> https://gist.github.com/jrvieira/2820b46856ba1ec89453946557b0f427
2021-04-22 17:14:13 +0200 <zzz> the second function runs faster than the third in ghci. anyone knows why? this is pure curiosity
2021-04-22 17:17:03 +0200 <c_wraith> zzz: ghci will use compiled code if it already exists, but interprets code if it can't find a compiled version.
2021-04-22 17:17:17 +0200kiweun(~kiweun@2607:fea8:2a62:9600:a107:fd5c:d069:77e4)
2021-04-22 17:17:25 +0200 <c_wraith> zzz: this matters because it knows where to find compiled code for map, which saves it from having to interpret all those list manipulations
2021-04-22 17:18:04 +0200ericsagnes(~ericsagne@2405:6580:0:5100:f641:c40f:5016:aacb)
2021-04-22 17:18:24 +0200 <zzz> nice
2021-04-22 17:19:01 +0200 <zzz> thanks, that was a uch simple answer than what i expected
2021-04-22 17:19:11 +0200 <zzz> much simpler
2021-04-22 17:19:32 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 240 seconds)
2021-04-22 17:21:51 +0200kiweun(~kiweun@2607:fea8:2a62:9600:a107:fd5c:d069:77e4) (Ping timeout: 258 seconds)
2021-04-22 17:22:24 +0200 <merijn> And the interpreted bytecode doesn't get the same level of optimisation as compiled code, which is why benchmarking stuff in ghci is also generally unwise if you care about real answers :)
2021-04-22 17:23:36 +0200 <merijn> zzz: Also a plug for benchmarking stuff with some degree of accuracy: http://www.serpentine.com/criterion/ https://hackage.haskell.org/package/criterion
2021-04-22 17:24:08 +0200 <zzz> i am aware! as i said, i was just playing around
2021-04-22 17:24:21 +0200 <merijn> Sure, just pointing it out for the future :)
2021-04-22 17:26:55 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-22 17:27:53 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-04-22 17:28:10 +0200wonko7(~wonko7@62.115.229.50) (Ping timeout: 265 seconds)
2021-04-22 17:28:54 +0200 <zzz> follow up question, while we are at it: any reason not to automate this optimization (from the 2nd to the 3rd function)?
2021-04-22 17:30:31 +0200 <zzz> my intuition is that it would be something the compiler could do fairly straight forwardly
2021-04-22 17:30:33 +0200nineonine(~nineonine@2604:3d08:7785:9600:5c9e:8d21:d745:3944)
2021-04-22 17:31:05 +0200nineonine(~nineonine@2604:3d08:7785:9600:5c9e:8d21:d745:3944) (Remote host closed the connection)
2021-04-22 17:31:11 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-22 17:31:55 +0200nineonine(~nineonine@2604:3d08:7785:9600:5c9e:8d21:d745:3944)
2021-04-22 17:32:27 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-22 17:32:31 +0200 <tomsmeding> zzz: your second and third function do something different, they produce the result list in a different order
2021-04-22 17:33:53 +0200 <tomsmeding> % let s1 [] = [[]]; s1 (x:xs) = let ss = s1 xs in map (x :) ss ++ ss
2021-04-22 17:33:54 +0200 <yahb> tomsmeding:
2021-04-22 17:33:57 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 252 seconds)
2021-04-22 17:34:01 +0200 <tomsmeding> % let s2 [] = [[]]; s2 (x:xs) = let ss2 _ [] = [] ; ss2 x (y:ys) = (x:y) : y : ss2 x ys in ss2 x (s2 xs)
2021-04-22 17:34:01 +0200 <yahb> tomsmeding:
2021-04-22 17:34:02 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-qhaitevlgmfrqfwo)
2021-04-22 17:34:11 +0200 <tomsmeding> % s1 [1..3]
2021-04-22 17:34:12 +0200 <yahb> tomsmeding: [[1,2,3],[1,2],[1,3],[1],[2,3],[2],[3],[]]
2021-04-22 17:34:15 +0200 <tomsmeding> % s2 [1..3]
2021-04-22 17:34:15 +0200 <yahb> tomsmeding: [[1,2,3],[2,3],[1,3],[3],[1,2],[2],[1],[]]
2021-04-22 17:34:29 +0200 <tomsmeding> ghc isn't going to do optimisations that change semantics :p
2021-04-22 17:35:39 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-22 17:36:14 +0200nineonine(~nineonine@2604:3d08:7785:9600:5c9e:8d21:d745:3944) (Ping timeout: 245 seconds)
2021-04-22 17:36:14 +0200 <zzz> i knew that would be the answer :) you can rewrite it so that it would be the same though, can't you?
2021-04-22 17:36:27 +0200Kaiepi(~Kaiepi@47.54.252.148) (Read error: Connection reset by peer)
2021-04-22 17:36:38 +0200 <tomsmeding> incidentally this is why I like let-expressions better than while blocks for smaller things (excepting large helper methods); you can much more easily rewrite stuff because everything is compositional
2021-04-22 17:36:42 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-04-22 17:36:58 +0200 <tomsmeding> zzz: can you?
2021-04-22 17:37:24 +0200 <c_wraith> let's see what the list monad says!
2021-04-22 17:37:26 +0200 <c_wraith> > filterM (const [True, False]) [1,2,3]
2021-04-22 17:37:27 +0200 <lambdabot> [[1,2,3],[1,2],[1,3],[1],[2,3],[2],[3],[]]
2021-04-22 17:37:38 +0200 <c_wraith> ok, yeah, that makes sense
2021-04-22 17:39:15 +0200vicfred(~vicfred@unaffiliated/vicfred)
2021-04-22 17:43:06 +0200malumore(~malumore@151.62.117.136) (Ping timeout: 240 seconds)
2021-04-22 17:43:11 +0200knupfer(~Thunderbi@200116b82b4d2f00ccb7bffffea9a8f6.dip.versatel-1u1.de)
2021-04-22 17:43:54 +0200knupfer(~Thunderbi@200116b82b4d2f00ccb7bffffea9a8f6.dip.versatel-1u1.de) (Remote host closed the connection)
2021-04-22 17:44:02 +0200knupfer(~Thunderbi@200116b82b4d2f00a98dd2f64b7ff0a2.dip.versatel-1u1.de)
2021-04-22 17:44:31 +0200nineonine(~nineonine@2604:3d08:7785:9600:5c9e:8d21:d745:3944)
2021-04-22 17:44:36 +0200 <zzz> thank you for that
2021-04-22 17:44:41 +0200TheCavalry(~TheCavalr@217.146.82.202) (Ping timeout: 260 seconds)
2021-04-22 17:44:59 +0200 <c_wraith> it's exactly the same algorithm as your second version
2021-04-22 17:45:08 +0200 <c_wraith> It just uses more built-in tooling
2021-04-22 17:46:28 +0200 <zzz> tomsmeding: i don't get your let vs while argument. can you clarify?
2021-04-22 17:46:44 +0200chele(~chele@5.53.222.202) (Remote host closed the connection)
2021-04-22 17:46:51 +0200 <c_wraith> But yeah... when micro-optimizing things in this neighborhood, you usually get the best performance by carefully working to maximize sharing between adjacent results. this results in less garbage collection drag.
2021-04-22 17:47:17 +0200 <tomsmeding> zzz: completely subjective argument, don't attach too much value to it :)
2021-04-22 17:47:34 +0200 <tomsmeding> point was that in let-form, I can inline stuff so that it becomes a one-liner without thinking
2021-04-22 17:47:50 +0200 <tomsmeding> in where-form, the scoping of that where block is very much unclear to me
2021-04-22 17:47:52 +0200 <c_wraith> but that requires being careful about the order results are produced in. You can't just change the order without affecting the performance.
2021-04-22 17:47:58 +0200 <zzz> tomsmeding: ah ok! you said "composition" and it confused me
2021-04-22 17:48:13 +0200 <tomsmeding> "compositional" != "composition"
2021-04-22 17:48:29 +0200 <zzz> got it
2021-04-22 17:48:30 +0200 <tomsmeding> compositional = subexpressions have the same form as the whole expression
2021-04-22 17:48:33 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.1)
2021-04-22 17:48:38 +0200 <tomsmeding> "you can compose stuff arbitrarily"
2021-04-22 17:48:56 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-22 17:49:31 +0200nineonine(~nineonine@2604:3d08:7785:9600:5c9e:8d21:d745:3944) (Ping timeout: 250 seconds)
2021-04-22 17:50:18 +0200 <tomsmeding> fun fact, my ghc realises that the first and second versions are really the same thing and does no work at all for the second function if you evaluate them one after another
2021-04-22 17:50:23 +0200 <tomsmeding> oh the joys of benchmarking
2021-04-22 17:50:32 +0200nineonine(~nineonine@50.216.62.2)
2021-04-22 17:50:55 +0200 <c_wraith> like, an order optimizing sharing might look like [[],[1],[2],[1,2],[3],[1,3],[2,3],[1,2,3]]
2021-04-22 17:51:32 +0200 <c_wraith> (admittedly, not much sharing to be found when looking at a max of 3 elements)
2021-04-22 17:54:54 +0200 <zzz> > filterM (const [False,True]) [1,2,3]
2021-04-22 17:54:56 +0200 <lambdabot> [[],[3],[2],[2,3],[1],[1,3],[1,2],[1,2,3]]
2021-04-22 17:55:04 +0200 <zzz> :(
2021-04-22 17:55:21 +0200 <c_wraith> ... ok, that particular order probably doesn't have great algorithms for. There are other ways to approach it that probably get you better results.
2021-04-22 17:55:44 +0200 <c_wraith> But it does have shared sublists as adjacent as possible, which was my goal
2021-04-22 17:57:47 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-22 17:57:49 +0200 <c_wraith> I think it'd be easier to write an algorithm for [[3],[2,3],[1,2,3],[1,3],[2],[1,2],[1],[]]
2021-04-22 17:58:03 +0200 <tomsmeding> I have a function that produces [[3,2,1],[2,1],[3,1],[1],[3,2],[2],[3],[]]
2021-04-22 17:58:36 +0200 <tomsmeding> but it's only marginally faster than the map version, and zzz's third function is a lot faster still
2021-04-22 17:58:51 +0200 <zzz> for this particular problem i would just generate 2^n binary numbers where 000 => [] , 001 => [1] , 010 => [2] , ... 110 => [2,3] , 111 => [1,2,3]
2021-04-22 17:59:39 +0200 <tomsmeding> c_wraith: s4 input = let go base [] = [base] ; go base (x:xs) = go (x : base) xs ++ go base xs in go [] input
2021-04-22 18:00:16 +0200slaterr(~bc8134e3@199.204.85.195) (Quit: CGI:IRC (Session timeout))
2021-04-22 18:00:27 +0200 <c_wraith> It's true, I was maintaining the subsequence property, instead of allowing myself to go to subset as the name implies
2021-04-22 18:01:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-04-22 18:01:32 +0200Rudd0(~Rudd0@185.189.115.103)
2021-04-22 18:04:54 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 265 seconds)
2021-04-22 18:10:43 +0200conal(~conal@64.71.133.70) (Read error: Connection reset by peer)
2021-04-22 18:12:04 +0200 <zzz> filterM is fun
2021-04-22 18:13:23 +0200conal(~conal@64.71.133.70)
2021-04-22 18:14:27 +0200malumore(~malumore@151.62.117.136)
2021-04-22 18:15:48 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-04-22 18:16:24 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection)
2021-04-22 18:16:47 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga)
2021-04-22 18:21:20 +0200bedforddriggs(60fa4ff9@pool-96-250-79-249.nycmny.fios.verizon.net) (Quit: Connection closed)
2021-04-22 18:22:54 +0200kritzefitz(~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
2021-04-22 18:22:58 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-04-22 18:28:00 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2021-04-22 18:28:05 +0200haasn(~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-04-22 18:29:02 +0200band(~band@104-57-176-102.lightspeed.austtx.sbcglobal.net)
2021-04-22 18:29:19 +0200haasn(~nand@mpv/developer/haasn)
2021-04-22 18:30:43 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-04-22 18:31:35 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-04-22 18:31:42 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-22 18:32:46 +0200 <band> new haskell / cabal user here: installing pdftotext with cabal yields poppler.cc C++ extension errors. suggestions for fixing?
2021-04-22 18:33:21 +0200 <band> er, that it "C++11 extensions" errors
2021-04-22 18:33:40 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-22 18:36:50 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-04-22 18:40:36 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-22 18:45:13 +0200 <fendor> band, maybe pdftotext requires an old poppler version? So, it might need updating
2021-04-22 18:45:32 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-22 18:45:33 +0200elfets_(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-22 18:46:30 +0200 <fendor> seems like pdftotext compiles some c++ sources. not sure there is an easy fix
2021-04-22 18:46:40 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-22 18:47:21 +0200puke(~vroom@217.138.252.184)
2021-04-22 18:48:00 +0200 <band> fendor, thanks for the response -- much appreciated.
2021-04-22 18:48:51 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-04-22 18:51:31 +0200kupi(uid212005@gateway/web/irccloud.com/x-wwoexcijnelowmiu)
2021-04-22 18:51:50 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com)
2021-04-22 18:53:45 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube)
2021-04-22 18:54:10 +0200stree(~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-04-22 18:56:43 +0200LKoen(~LKoen@11.160.9.109.rev.sfr.net) (Remote host closed the connection)
2021-04-22 18:57:34 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-04-22 18:58:49 +0200 <fendor> band, compilation worked for me out of the box for the pdftotext
2021-04-22 18:58:53 +0200 <fendor> maybe share your errors?
2021-04-22 19:01:09 +0200 <geekosaur> and what platform (Macs with clang may report different things from Linux or Windows with gcc)
2021-04-22 19:02:49 +0200Pickchea(~private@unaffiliated/pickchea)
2021-04-22 19:03:04 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-04-22 19:03:25 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-04-22 19:03:49 +0200Inexes(5534d86f@111.pool85-52-216.static.orange.es)
2021-04-22 19:03:57 +0200band(~band@104-57-176-102.lightspeed.austtx.sbcglobal.net) (Ping timeout: 260 seconds)
2021-04-22 19:04:01 +0200 <Inexes> Hi all!!
2021-04-22 19:04:12 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-04-22 19:05:00 +0200 <hyperisco> hi
2021-04-22 19:05:00 +0200danso(~dan@23-233-111-52.cpe.pppoe.ca)
2021-04-22 19:06:10 +0200 <Inexes> Can I ask a question about an exercise that I have?
2021-04-22 19:07:01 +0200stree(~stree@68.36.8.116)
2021-04-22 19:07:13 +0200 <geekosaur> generally you should just ask instead of asking to ask
2021-04-22 19:10:02 +0200kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 268 seconds)
2021-04-22 19:10:14 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2021-04-22 19:12:22 +0200 <Inexes> Ok, so I have a list of lists a = [[1,1,1,1], [1,2,3,1], [1,2,3,1], [1,1,1,1] ], and I need to take them out 2 by 2 to take them to a function that compares them. (sorry for my English, I use google translator), for example. -fx (x1: x2: xs) = compare x1 x2 ... but I no longer know how to make it compare the following lists ...
2021-04-22 19:13:22 +0200LKoen(~LKoen@11.160.9.109.rev.sfr.net)
2021-04-22 19:13:34 +0200 <Inexes> the idea is to compare x1 x2, next x2 x3, and finally x3 x4
2021-04-22 19:14:45 +0200 <hpc> Inexes: think about how to make a list that has x2 and x3 as its first elements
2021-04-22 19:14:56 +0200 <hpc> Inexes: you can pass that list to fx, and then do something to combine all the results
2021-04-22 19:15:00 +0200Sorna(~Sornaensi@077213200034.dynamic.telenor.dk)
2021-04-22 19:17:22 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds)
2021-04-22 19:18:06 +0200Sornaensis(~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 240 seconds)
2021-04-22 19:18:17 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-22 19:19:35 +0200 <Inexes> My idea is that when comparing x1 and x2 this is added to another list, "list x", for example, and when comparing with the rest, the whole result is added to "list x". The other functions I have already created and they work, but I don't know how to do this ...
2021-04-22 19:19:35 +0200 <hpc> Inexes: you may also want to try one of the channels on https://wiki.haskell.org/IRC_channel#Language.2FCountry_specific
2021-04-22 19:20:50 +0200 <Inexes> Hpc, I tried my native language channel, but nobody answered me :(
2021-04-22 19:20:55 +0200 <hpc> :(
2021-04-22 19:22:35 +0200 <hpc> one way to approach it is
2021-04-22 19:23:01 +0200 <hpc> say you have your input list [w, x, y, z]
2021-04-22 19:23:12 +0200 <hpc> or, w : x : y : z : []
2021-04-22 19:23:36 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-22 19:23:38 +0200 <hpc> the output would be compare w x : compare x y : compare y z : []
2021-04-22 19:23:49 +0200 <hpc> but what happens if the input list is just [x, y, z]?
2021-04-22 19:24:16 +0200 <hpc> and think about how those output lists relate to each other
2021-04-22 19:25:01 +0200 <hpc> or if the input list is just [y, z]
2021-04-22 19:25:37 +0200 <hpc> with [w, x, y, z], when you pass that to fx, x1 = w, x2 = x, and xs = [y, z]
2021-04-22 19:25:56 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-22 19:26:20 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-22 19:26:37 +0200vicfred(~vicfred@unaffiliated/vicfred) (Remote host closed the connection)
2021-04-22 19:27:09 +0200vicfred(~vicfred@unaffiliated/vicfred)
2021-04-22 19:27:52 +0200nan`(~nan`@unaffiliated/nan/x-5405850) (Quit: leaving)
2021-04-22 19:27:58 +0200vicfred(~vicfred@unaffiliated/vicfred) (Max SendQ exceeded)
2021-04-22 19:28:04 +0200 <Inexes> Ok I will try that solution, for this exercise it can help me. Thank you hpc
2021-04-22 19:29:02 +0200vicfred(~vicfred@unaffiliated/vicfred)
2021-04-22 19:29:43 +0200vicfred(~vicfred@unaffiliated/vicfred) (Max SendQ exceeded)
2021-04-22 19:31:07 +0200gzj(~gzj@unaffiliated/gzj) (Ping timeout: 252 seconds)
2021-04-22 19:31:11 +0200aveltras(uid364989@gateway/web/irccloud.com/x-cudhvvtoyvyrmfsp)
2021-04-22 19:33:10 +0200kiweun(~kiweun@2607:fea8:2a62:9600:890d:2e48:a6a5:21d5)
2021-04-22 19:34:05 +0200jneira(501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) (Ping timeout: 268 seconds)
2021-04-22 19:34:46 +0200 <zzz> c_wraith: filterM is terribly inneficient. more so than the naive solution
2021-04-22 19:34:48 +0200 <zzz> https://gist.github.com/jrvieira/2820b46856ba1ec89453946557b0f427
2021-04-22 19:35:17 +0200 <zzz> i must be doing something wrong
2021-04-22 19:35:59 +0200band(~band@104-57-176-102.lightspeed.austtx.sbcglobal.net)
2021-04-22 19:36:38 +0200 <c_wraith> nah, I wouldn't expect it to be efficient compared to something more direct.
2021-04-22 19:37:33 +0200kiweun(~kiweun@2607:fea8:2a62:9600:890d:2e48:a6a5:21d5) (Ping timeout: 258 seconds)
2021-04-22 19:37:44 +0200Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 246 seconds)
2021-04-22 19:38:45 +0200Sgeo_(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-04-22 19:39:20 +0200unlink_(~unlink2@p200300ebcf12ad00ad652fa1ddae7806.dip0.t-ipconnect.de)
2021-04-22 19:39:25 +0200wroathe_(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-22 19:40:05 +0200smerdyakov3(~dan@5.146.195.164)
2021-04-22 19:40:12 +0200MidAutumnHotaru7(~MidAutumn@unaffiliated/midautumnhotaru)
2021-04-22 19:40:14 +0200haya0(~haya@ec2-18-231-117-140.sa-east-1.compute.amazonaws.com)
2021-04-22 19:40:16 +0200texasmynsted_(~texasmyns@99.96.221.112)
2021-04-22 19:40:30 +0200L1Cafe9(~L1Cafe@kydara.com)
2021-04-22 19:40:33 +0200dcoutts(~duncan@94.186.125.91.dyn.plus.net)
2021-04-22 19:40:58 +0200jrm2(~jrm@freebsd/developer/jrm)
2021-04-22 19:41:05 +0200dminuoso(~dminuoso@static.88-198-218-68.clients.your-server.de)
2021-04-22 19:41:15 +0200haasn`(~nand@mpv/developer/haasn)
2021-04-22 19:41:18 +0200carbolymer_(~carbolyme@dropacid.net)
2021-04-22 19:41:20 +0200rann_(sid175221@gateway/web/irccloud.com/x-htpbeywwyvgnitzj)
2021-04-22 19:41:38 +0200amosbird_(~amosbird@13.75.119.182)
2021-04-22 19:41:52 +0200dmj`_(sid72307@gateway/web/irccloud.com/x-hiydzdvhdibdbilo)
2021-04-22 19:41:57 +0200glamas_(~glamas@107.182.17.237)
2021-04-22 19:42:12 +0200seven_three(~user@pool-96-233-64-53.bstnma.fios.verizon.net)
2021-04-22 19:42:24 +0200ephemera__(~E@122.34.1.187)
2021-04-22 19:42:25 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-04-22 19:42:31 +0200band(~band@104-57-176-102.lightspeed.austtx.sbcglobal.net) (Ping timeout: 260 seconds)
2021-04-22 19:42:40 +0200charukiewicz_(~quassel@irouteince04.i.subnet.rcn.com)
2021-04-22 19:42:41 +0200 <seven_three> is a function partial if it uses `error`?
2021-04-22 19:42:45 +0200 <zzz> ah ok. i was expecting similar performance, being the same algorithm. but i get why it's not
2021-04-22 19:42:48 +0200vilarinux(~vilarinux@2804:1b3:3080:8d7:d8fb:9884:f9f1:feb1)
2021-04-22 19:43:01 +0200 <zzz> seven_three: i would say so
2021-04-22 19:43:17 +0200malthe_(~mborch@46.101.103.63)
2021-04-22 19:43:18 +0200falsifia1(~falsifian@exoco.falsifian.org)
2021-04-22 19:43:23 +0200bob_twinkles_(~quassel@ec2-52-37-66-13.us-west-2.compute.amazonaws.com)
2021-04-22 19:43:29 +0200machined1od(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-04-22 19:43:34 +0200 <seven_three> zzz: ok thanks
2021-04-22 19:43:38 +0200SIben_(~SIben@ns3106586.ip-5-135-191.eu)
2021-04-22 19:43:57 +0200tms__(thomaav@cassarossa.samfundet.no)
2021-04-22 19:43:58 +0200vilarinux(~vilarinux@2804:1b3:3080:8d7:d8fb:9884:f9f1:feb1) (Client Quit)
2021-04-22 19:44:00 +0200cohn_(~noone@23.239.18.252)
2021-04-22 19:44:06 +0200oleks_(~oleks@188.166.34.97)
2021-04-22 19:44:10 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-22 19:45:31 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net)
2021-04-22 19:47:11 +0200 <fresheyeball> with a standard Setup.hs
2021-04-22 19:47:18 +0200 <fresheyeball> how can I install one executable?
2021-04-22 19:47:22 +0200 <monochrom> Yes seven_three.
2021-04-22 19:47:34 +0200 <fresheyeball> cabal install myTarget works
2021-04-22 19:47:52 +0200 <fresheyeball> ./Setup install myTarget fails, it' thinks myTarget is suppoed to be a flag
2021-04-22 19:47:55 +0200wraithm(~wraithm@unaffiliated/wraithm)
2021-04-22 19:48:12 +0200 <monochrom> Right, I think Setup.hs doesn't support this.
2021-04-22 19:48:34 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (*.net *.split)
2021-04-22 19:48:34 +0200stree(~stree@68.36.8.116) (*.net *.split)
2021-04-22 19:48:34 +0200haasn(~nand@mpv/developer/haasn) (*.net *.split)
2021-04-22 19:48:34 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (*.net *.split)
2021-04-22 19:48:34 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (*.net *.split)
2021-04-22 19:48:34 +0200unlink2(~unlink2@p57b8541f.dip0.t-ipconnect.de) (*.net *.split)
2021-04-22 19:48:35 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (*.net *.split)
2021-04-22 19:48:36 +0200notzmv(~zmv@unaffiliated/zmv) (*.net *.split)
2021-04-22 19:48:36 +0200ephemera_(~E@122.34.1.187) (*.net *.split)
2021-04-22 19:48:36 +0200glamas(~glamas@107.182.17.237) (*.net *.split)
2021-04-22 19:48:36 +0200davros(~davros@host86-185-126-190.range86-185.btcentralplus.com) (*.net *.split)
2021-04-22 19:48:37 +0200ukari(~ukari@unaffiliated/ukari) (*.net *.split)
2021-04-22 19:48:38 +0200cohn(~noone@unaffiliated/cohn) (*.net *.split)
2021-04-22 19:48:38 +0200charukiewicz(~quassel@irouteince04.i.subnet.rcn.com) (*.net *.split)
2021-04-22 19:48:39 +0200MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru) (*.net *.split)
2021-04-22 19:48:39 +0200tms_(thomaav@cassarossa.samfundet.no) (*.net *.split)
2021-04-22 19:48:39 +0200jrm(~jrm@freebsd/developer/jrm) (*.net *.split)
2021-04-22 19:48:40 +0200L1Cafe(~L1Cafe@kydara.com) (*.net *.split)
2021-04-22 19:48:40 +0200dcoutts__(~duncan@94.186.125.91.dyn.plus.net) (*.net *.split)
2021-04-22 19:48:40 +0200apoc(~apoc@49.12.13.193) (*.net *.split)
2021-04-22 19:48:41 +0200malthe(~mborch@46.101.103.63) (*.net *.split)
2021-04-22 19:48:41 +0200carbolymer(~carbolyme@dropacid.net) (*.net *.split)
2021-04-22 19:48:41 +0200L29Ah(~L29Ah@unaffiliated/l29ah) (*.net *.split)
2021-04-22 19:48:42 +0200rann(sid175221@gateway/web/irccloud.com/x-jkryvxnehqtlncpj) (*.net *.split)
2021-04-22 19:48:42 +0200dmj`(sid72307@gateway/web/irccloud.com/x-crrlyvbcezdwisgb) (*.net *.split)
2021-04-22 19:48:42 +0200smerdyakov(~dan@5.146.195.164) (*.net *.split)
2021-04-22 19:48:42 +0200bob_twinkles(~quassel@ec2-52-37-66-13.us-west-2.compute.amazonaws.com) (*.net *.split)
2021-04-22 19:48:42 +0200amosbird(~amosbird@13.75.119.182) (*.net *.split)
2021-04-22 19:48:42 +0200xlei(znc@unaffiliated/xlei) (*.net *.split)
2021-04-22 19:48:43 +0200haya(~haya@ec2-18-231-117-140.sa-east-1.compute.amazonaws.com) (*.net *.split)
2021-04-22 19:48:43 +0200oleks(~oleks@188.166.34.97) (*.net *.split)
2021-04-22 19:48:43 +0200wraithm_(~wraithm@unaffiliated/wraithm) (*.net *.split)
2021-04-22 19:48:43 +0200texasmynsted(~texasmyns@99.96.221.112) (*.net *.split)
2021-04-22 19:48:43 +0200dminuoso_(~dminuoso@static.88-198-218-68.clients.your-server.de) (*.net *.split)
2021-04-22 19:48:43 +0200falsifian(~falsifian@exoco.falsifian.org) (*.net *.split)
2021-04-22 19:48:43 +0200SIben(~SIben@ns3106586.ip-5-135-191.eu) (*.net *.split)
2021-04-22 19:48:44 +0200Khisanth(~Khisanth@11.sub-174-244-147.myvzw.com) (*.net *.split)
2021-04-22 19:48:44 +0200carbolymer_carbolymer
2021-04-22 19:48:45 +0200jrm2jrm
2021-04-22 19:48:45 +0200L1Cafe9L1Cafe
2021-04-22 19:48:45 +0200haasn`haasn
2021-04-22 19:48:45 +0200dmj`_dmj`
2021-04-22 19:48:45 +0200rann_rann
2021-04-22 19:48:46 +0200MidAutumnHotaru7MidAutumnHotaru
2021-04-22 19:48:49 +0200smerdyakov3smerdyakov
2021-04-22 19:48:50 +0200xlei(znc@unaffiliated/xlei)
2021-04-22 19:48:56 +0200conal(~conal@64.71.133.70)
2021-04-22 19:48:57 +0200haya0haya
2021-04-22 19:48:57 +0200 <fresheyeball> monochrom: how does it know where to install to?
2021-04-22 19:49:05 +0200 <fresheyeball> https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/haskell-modules/generic-builder.nix#…
2021-04-22 19:49:09 +0200 <monochrom> How about "Setup build"? Does it accept targets?
2021-04-22 19:49:11 +0200 <fresheyeball> I am trying to make this work for a single exe
2021-04-22 19:49:20 +0200 <fresheyeball> monochrom: yes it does
2021-04-22 19:49:34 +0200 <monochrom> Then perhaps that's what you need.
2021-04-22 19:49:38 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-22 19:49:51 +0200 <fresheyeball> well I still need the exe copied over
2021-04-22 19:50:19 +0200 <monochrom> "Setup install" won't build anything.
2021-04-22 19:50:30 +0200Inexes(5534d86f@111.pool85-52-216.static.orange.es) (Quit: Connection closed)
2021-04-22 19:50:36 +0200 <fresheyeball> monochrom: I know, but currenlty it's copying the right spot atleast
2021-04-22 19:50:41 +0200gawen_(~gawen@163.172.122.128) (Ping timeout: 240 seconds)
2021-04-22 19:50:41 +0200 <fresheyeball> I just need to know how it knows
2021-04-22 19:50:44 +0200 <fresheyeball> env var?
2021-04-22 19:50:59 +0200 <monochrom> "Setup configure --prefix foo".
2021-04-22 19:51:12 +0200gawen(~gawen@movzbl.root.sx)
2021-04-22 19:51:17 +0200 <monochrom> If you don't have "--prefix=foo", there are defaults
2021-04-22 19:52:17 +0200 <fresheyeball> monochrom: ok --prefix, got it
2021-04-22 19:53:14 +0200 <monochrom> I still don't understand how "what is built, what is skipped" is related to "where to install to".
2021-04-22 19:53:26 +0200ashesham`(~user@d8D87D1B0.access.telenet.be) (Ping timeout: 240 seconds)
2021-04-22 19:53:47 +0200 <fresheyeball> monochrom: if I run ./Setup build myTarget
2021-04-22 19:53:51 +0200 <fresheyeball> and then ./Setup install
2021-04-22 19:54:03 +0200 <fresheyeball> it fails because the other targets are not built
2021-04-22 19:54:13 +0200 <Zemyla> Is there a way to compile GHC to DJGPP so we can have DOS Haskell programs?
2021-04-22 19:54:23 +0200wroathe_(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2021-04-22 19:54:39 +0200 <monochrom> Ah OK. Does "Setup copy" exist? Maybe it is less strict about this.
2021-04-22 19:54:39 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-22 19:55:03 +0200stree(~stree@68.36.8.116)
2021-04-22 19:55:04 +0200Khisanth(~Khisanth@11.sub-174-244-147.myvzw.com)
2021-04-22 19:55:21 +0200davros(~davros@host86-185-126-190.range86-185.btcentralplus.com)
2021-04-22 19:55:22 +0200 <monochrom> But Setup has a very different use case in mind. Basically for linux distro people, not developers.
2021-04-22 19:55:36 +0200 <monochrom> neither developers nor users.
2021-04-22 19:56:20 +0200apoc(~apoc@49.12.13.193)
2021-04-22 19:57:13 +0200 <fresheyeball> it does exist, no idea what it does though
2021-04-22 19:58:01 +0200 <monochrom> If you go configure->build->haddock->copy, basically you never need install.
2021-04-22 19:58:18 +0200 <geekosaur> Zemyla, non-release builds of ghc can target ANSI C, then take it to the target platform and compile. but it'll be slow
2021-04-22 19:58:23 +0200 <monochrom> Yes that was the workflow of a previous life.
2021-04-22 19:58:33 +0200 <fresheyeball> monochrom: what does the copy command look like?
2021-04-22 19:58:44 +0200 <monochrom> "./Setup copy"
2021-04-22 19:58:59 +0200 <fresheyeball> I mean can I do "./Setup copy mytarget" ?
2021-04-22 19:59:15 +0200 <monochrom> You know that "./Setup foo --help" is a thing, right? For foo in configure, build, etc etc
2021-04-22 19:59:55 +0200 <geekosaur> "unregisterised builds"
2021-04-22 20:00:28 +0200 <geekosaur> (ghc itself hasn't targeted C since 6.12 or thenabouts)
2021-04-22 20:02:46 +0200 <Zemyla> What is the oldest version of GHC that can compile current GHC?
2021-04-22 20:03:19 +0200 <geekosaur> 2 versions back
2021-04-22 20:04:11 +0200alx741(~alx741@186.178.109.231)
2021-04-22 20:04:23 +0200solidus-river(~mike@174.127.249.180)
2021-04-22 20:04:41 +0200 <monochrom> And it is still possible that you can build but you can't use the build production.
2021-04-22 20:04:46 +0200 <monochrom> s/production/product/
2021-04-22 20:04:47 +0200 <geekosaur> so if you want 8.10.4 the oldest ghc that can build it is 8.6.5
2021-04-22 20:05:14 +0200 <monochrom> If a GHC exe doesn't support -fvia-C then it doesn't. It doesn't matter who built it.
2021-04-22 20:05:33 +0200 <geekosaur> I think you will have problems getting ghc onto DOS in any way
2021-04-22 20:05:36 +0200 <solidus-river> hey all, i'm getting a cryptic error from stack that i don't understand. I've read the available docs and bug reports and they all seem old and i can't understand the answers. I'm building a app that has one executable and a test suite using hspec
2021-04-22 20:05:44 +0200 <solidus-river> when i try to see coverage it says no code is considered
2021-04-22 20:06:21 +0200 <monochrom> Well, it is 32-bit extended DOS since DJGPP is brought up.
2021-04-22 20:06:27 +0200LKoen(~LKoen@11.160.9.109.rev.sfr.net) (Remote host closed the connection)
2021-04-22 20:06:42 +0200 <monochrom> Oh right, the RTS doesn't know DOS syscalls. Nevermind.
2021-04-22 20:06:54 +0200 <monochrom> Or DJGPP syscalls for that matter.
2021-04-22 20:07:48 +0200 <monochrom> It doesn't even know how to ask the OS for memory. (Answer: "don't worry about that" >:) )
2021-04-22 20:08:18 +0200 <monochrom> Once again your best bet is with Hugs.
2021-04-22 20:08:41 +0200 <monochrom> This is becoming a trend. Everyday, some problem can be easily solved by going Hugs.
2021-04-22 20:09:20 +0200 <geekosaur> …provided it's compatible, since it's barely maintained these days
2021-04-22 20:09:24 +0200monochromhugs Hugs
2021-04-22 20:09:57 +0200 <monochrom> Yes I imagine whether GHC or Hugs, you will have to hack on them first. But much easier in the case of Hugs.
2021-04-22 20:11:12 +0200 <monochrom> Is there a javascript-capable web browser on DOS? You would go GHCJS...
2021-04-22 20:11:13 +0200LKoen(~LKoen@11.160.9.109.rev.sfr.net)
2021-04-22 20:11:23 +0200 <monochrom> s/would/could/
2021-04-22 20:12:07 +0200band(~band@104-57-176-102.lightspeed.austtx.sbcglobal.net)
2021-04-22 20:12:13 +0200mcglk(~textual@131.191.49.120)
2021-04-22 20:12:23 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 246 seconds)
2021-04-22 20:12:30 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-04-22 20:15:24 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-04-22 20:15:52 +0200rajivr(uid269651@gateway/web/irccloud.com/x-poljwzteeqldftix) (Quit: Connection closed for inactivity)
2021-04-22 20:16:23 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-22 20:16:26 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
2021-04-22 20:16:41 +0200band(~band@104-57-176-102.lightspeed.austtx.sbcglobal.net) (Ping timeout: 240 seconds)
2021-04-22 20:17:08 +0200pthariensflame(~pthariens@2600:6c52:727f:4200:f91c:1561:8a9d:5bd1)
2021-04-22 20:17:22 +0200philderbeast(~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-22 20:17:28 +0200pthariensflame(~pthariens@2600:6c52:727f:4200:f91c:1561:8a9d:5bd1) (Client Quit)
2021-04-22 20:19:36 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-22 20:20:54 +0200redmp(~redmp@172.58.22.204)
2021-04-22 20:21:24 +0200falsifia1(~falsifian@exoco.falsifian.org) (Quit: leaving)
2021-04-22 20:21:44 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube) (Quit: WeeChat 3.1)
2021-04-22 20:21:44 +0200band(~band@104-57-176-102.lightspeed.austtx.sbcglobal.net)
2021-04-22 20:22:19 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-ggwmryvnqwlsouwu) (Quit: Connection closed for inactivity)
2021-04-22 20:22:35 +0200falsifian(~falsifian@exoco.falsifian.org)
2021-04-22 20:24:07 +0200kiweun(~kiweun@2607:fea8:2a62:9600:64af:faf0:9188:52bf)
2021-04-22 20:26:07 +0200band(~band@104-57-176-102.lightspeed.austtx.sbcglobal.net) (Ping timeout: 252 seconds)
2021-04-22 20:27:20 +0200epicte7us(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-04-22 20:30:19 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 252 seconds)
2021-04-22 20:30:56 +0200invaser(~Thunderbi@31.148.23.125)
2021-04-22 20:31:17 +0200 <invaser> Hi guys! Is there a way to do the thing on screenshot without writing the expression twice? https://i.imgur.com/wGPuDio.png
2021-04-22 20:31:51 +0200 <invaser> The only way I see now is to make a boolean function that will return true on pattern-matches with App and Lam
2021-04-22 20:32:48 +0200 <invaser> And if I understand correctly, with pattern guards I can only match several patterns separated by comma, and it essentialy works as && while I need ||
2021-04-22 20:33:35 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net)
2021-04-22 20:36:14 +0200 <monochrom> showP ctx t | theBooleanFunction t =
2021-04-22 20:36:57 +0200 <monochrom> In this particular case, there is one more factoring you can do.
2021-04-22 20:37:25 +0200minoru_shiraeesh(~shiraeesh@46.34.207.53)
2021-04-22 20:37:27 +0200 <monochrom> parenthesize :: Bool -> String -> String
2021-04-22 20:37:28 +0200 <solidus-river> or showP ctx t; | (x _ _) <- t, t `elem` [Lam, App] = blah
2021-04-22 20:37:43 +0200remby(~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca)
2021-04-22 20:37:45 +0200 <monochrom> parenthesize True s = "(" ++ s ++ ")"; parenthesize False s = s
2021-04-22 20:38:25 +0200 <monochrom> showP ctx t = parenthesize (theBooleanFunction t) (show' ctx t)
2021-04-22 20:38:56 +0200 <monochrom> No, solidus-river, there is no "(x _ _)" pattern.
2021-04-22 20:39:43 +0200 <invaser> yeah, I also don't think that (x _ _) is possible
2021-04-22 20:40:11 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-22 20:41:13 +0200 <invaser> thanks for the suggestion with parenthesize, didn't know it exists
2021-04-22 20:41:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-22 20:41:45 +0200 <invaser> but with the new boolean function, I don't know. Seems to me that it won't make code easier to read in this case
2021-04-22 20:42:08 +0200 <monochrom> s/theBooleanFunction/lamOrApp/
2021-04-22 20:42:20 +0200 <invaser> yeah, I got it
2021-04-22 20:42:24 +0200 <monochrom> in which the only unreadability is due to the camel case religion
2021-04-22 20:42:25 +0200darjeeling_(~darjeelin@122.245.209.158) (Ping timeout: 260 seconds)
2021-04-22 20:42:35 +0200ezzieyguywuf(~Unknown@unaffiliated/ezzieyguywuf) (Read error: No route to host)
2021-04-22 20:42:36 +0200 <monochrom> Yes that's right it's a religion.
2021-04-22 20:42:43 +0200 <monochrom> lam_or_app is more readable.
2021-04-22 20:43:06 +0200ezzieyguywuf(~Unknown@unaffiliated/ezzieyguywuf)
2021-04-22 20:43:07 +0200 <invaser> I mean, that introducing a new function only for it to be used one time seems like an overkill
2021-04-22 20:43:21 +0200 <monochrom> Make it a local function.
2021-04-22 20:44:18 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-22 20:45:55 +0200band(~band@104-57-176-102.lightspeed.austtx.sbcglobal.net)
2021-04-22 20:46:00 +0200 <band> quit
2021-04-22 20:46:04 +0200band(~band@104-57-176-102.lightspeed.austtx.sbcglobal.net) (Client Quit)
2021-04-22 20:47:28 +0200Sorna(~Sornaensi@077213200034.dynamic.telenor.dk) (Ping timeout: 268 seconds)
2021-04-22 20:49:43 +0200minoru_shiraeesh(~shiraeesh@46.34.207.53) (Ping timeout: 265 seconds)
2021-04-22 20:50:15 +0200Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-04-22 20:53:27 +0200ph88(~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258)
2021-04-22 20:56:50 +0200darjeeling_(~darjeelin@122.245.216.145)
2021-04-22 21:00:17 +0200minoru_shiraeesh(~shiraeesh@46.34.207.53)
2021-04-22 21:02:58 +0200electricityZZZZ(~electrici@135-180-3-82.static.sonic.net)
2021-04-22 21:05:32 +0200 <dmj`> quit
2021-04-22 21:06:05 +0200jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-04-22 21:06:06 +0200 <geekosaur> nope
2021-04-22 21:06:48 +0200fendor(~fendor@178.165.129.61.wireless.dyn.drei.com) (Remote host closed the connection)
2021-04-22 21:08:15 +0200fendor(~fendor@178.165.129.61.wireless.dyn.drei.com)
2021-04-22 21:09:46 +0200forgottenone(~forgotten@176.42.21.81)
2021-04-22 21:10:31 +0200 <maerwald> please stay
2021-04-22 21:11:55 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2021-04-22 21:13:19 +0200 <dmj`> okay
2021-04-22 21:15:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-22 21:15:45 +0200pavonia(~user@unaffiliated/siracusa)
2021-04-22 21:17:32 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-04-22 21:23:05 +0200elfets_(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds)
2021-04-22 21:23:48 +0200DavidEichmann(~david@147.136.46.217.dyn.plus.net) (Remote host closed the connection)
2021-04-22 21:24:52 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-04-22 21:26:31 +0200jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-04-22 21:26:44 +0200__minoru__shirae(~shiraeesh@46.34.206.15)
2021-04-22 21:27:11 +0200minoru_shiraeesh(~shiraeesh@46.34.207.53) (Ping timeout: 240 seconds)
2021-04-22 21:27:17 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-22 21:27:53 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-04-22 21:29:28 +0200ep1ctetus_(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-04-22 21:30:56 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-04-22 21:31:46 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net) (Remote host closed the connection)
2021-04-22 21:32:17 +0200epicte7us(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 252 seconds)
2021-04-22 21:33:17 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-22 21:36:58 +0200redmp_(~redmp@172.58.22.224)
2021-04-22 21:37:39 +0200jakalx(~jakalx@base.jakalx.net)
2021-04-22 21:37:58 +0200Kaivo(~Kaivo@104-200-86-99.mc.derytele.com) (Ping timeout: 260 seconds)
2021-04-22 21:38:10 +0200jneira(501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182)
2021-04-22 21:38:25 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-04-22 21:39:26 +0200epicte7us(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-04-22 21:39:46 +0200redmp(~redmp@172.58.22.204) (Ping timeout: 240 seconds)
2021-04-22 21:40:48 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-22 21:41:03 +0200kenanmarasli(1fdf0934@31.223.9.52)
2021-04-22 21:42:01 +0200invaser(~Thunderbi@31.148.23.125) (Ping timeout: 252 seconds)
2021-04-22 21:42:33 +0200ep1ctetus_(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 252 seconds)
2021-04-22 21:42:56 +0200Wo[m](lykos-2021@gateway/shell/matrix.org/x-tfamvfkpyyipdlgr) ("User left")
2021-04-22 21:44:23 +0200 <kenanmarasli> What's the proper way to use a list comprehension with record types? I want to apply some changes on a specific field of a record with a function that takes an array of these records:
2021-04-22 21:44:24 +0200 <kenanmarasli> https://paste.tomsmeding.com/vHebaVIs
2021-04-22 21:44:34 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-22 21:44:49 +0200tsaka_(~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 265 seconds)
2021-04-22 21:46:13 +0200 <c_wraith> you're combining record update syntax with non-record syntax in a syntactically invalid way.
2021-04-22 21:47:29 +0200 <c_wraith> You should pick one or the other. In this case, since you're really close to the non-record syntax: https://paste.tomsmeding.com/kbhOlxIa
2021-04-22 21:47:59 +0200 <c_wraith> that's a fine way to do things. You can access constructor fields positionally, even with records
2021-04-22 21:48:28 +0200 <kenanmarasli> OH, you are right! Why did I put those curly braces there!?
2021-04-22 21:48:53 +0200 <c_wraith> With record update syntax, it'd look like this: https://paste.tomsmeding.com/Ep1EO360
2021-04-22 21:49:31 +0200 <kenanmarasli> Thank you c_wraith. It's all clear to me now
2021-04-22 21:49:41 +0200 <c_wraith> you're welcome. ==
2021-04-22 21:49:58 +0200 <c_wraith> (ok, those equals signs were a typo and probably a sign I need lunch)
2021-04-22 21:50:11 +0200notzmv(~zmv@unaffiliated/zmv)
2021-04-22 21:50:41 +0200 <lovesegfault> I'm trying to write a function aliquotSum :: Int -> Int, and I did this: aliquotSum = \n -> sum . filter (\i -> n `mod` i == 0) . [1..(n / 2 + 1)]
2021-04-22 21:51:05 +0200 <lovesegfault> but I'm now in typecheck hell, can't really understand why :/
2021-04-22 21:51:26 +0200 <Rembane> lovesegfault: What does the typechecker say?
2021-04-22 21:51:41 +0200 <lovesegfault> • Couldn't match expected type ‘Int’ with actual type ‘a0 -> Int’
2021-04-22 21:52:06 +0200aveltras(uid364989@gateway/web/irccloud.com/x-cudhvvtoyvyrmfsp) (Ping timeout: 258 seconds)
2021-04-22 21:52:09 +0200 <lovesegfault> applying both to the whole function, and then I get the same error but just regarding [1..(n / 2 + 1)]
2021-04-22 21:52:23 +0200wpcarro_(sid397589@gateway/web/irccloud.com/x-sldapopyxsudveqd) (Ping timeout: 260 seconds)
2021-04-22 21:52:23 +0200natim87(sid286962@gateway/web/irccloud.com/x-zjxraovaekqnvloq) (Ping timeout: 260 seconds)
2021-04-22 21:52:23 +0200joshmeredith(sid387798@gateway/web/irccloud.com/x-uxsrlglojomperah) (Ping timeout: 260 seconds)
2021-04-22 21:52:35 +0200 <Rembane> lovesegfault: Remove the dot before the list
2021-04-22 21:52:37 +0200Synthetica(uid199651@gateway/web/irccloud.com/x-ycrvxeagazjstjgn) (Ping timeout: 250 seconds)
2021-04-22 21:52:41 +0200totbwf(sid402332@gateway/web/irccloud.com/x-jgucijbluktlkqeh) (Read error: Connection reset by peer)
2021-04-22 21:52:43 +0200ebutleriv(sid217783@gateway/web/irccloud.com/x-kcykiaawmgqipkin) (Read error: Connection reset by peer)
2021-04-22 21:52:44 +0200systemfault(sid267009@gateway/web/irccloud.com/x-vjyxibauadwbmonn) (Read error: Connection reset by peer)
2021-04-22 21:52:45 +0200cemerick(sid54985@gateway/web/irccloud.com/x-kwtgvqjjvamnvimg) (Read error: Connection reset by peer)
2021-04-22 21:52:46 +0200eruditass(uid248673@gateway/web/irccloud.com/x-rmgyvfwfwnnqqsta) (Read error: Connection reset by peer)
2021-04-22 21:52:46 +0200jared-w(uid405292@gateway/web/irccloud.com/x-keywjzriwtlueymw) (Ping timeout: 240 seconds)
2021-04-22 21:52:46 +0200d0liver(sid363046@gateway/web/irccloud.com/x-bijzbspzjskqwcir) (Read error: Connection reset by peer)
2021-04-22 21:52:48 +0200benwr____(sid372383@gateway/web/irccloud.com/x-ynyqxqvppapkphki) (Ping timeout: 246 seconds)
2021-04-22 21:52:51 +0200liquorice(sid267884@gateway/web/irccloud.com/x-gifxlxspxpkuruyr) (Read error: Connection reset by peer)
2021-04-22 21:52:51 +0200ryjm(sid383513@gateway/web/irccloud.com/x-xahyphcnhjupdxdl) (Read error: Connection reset by peer)
2021-04-22 21:52:51 +0200luite(sid387799@gateway/web/irccloud.com/x-xdgiulydxgunnqir) (Read error: Connection reset by peer)
2021-04-22 21:52:51 +0200ReinH(sid179972@gateway/web/irccloud.com/x-yfquzpeultndckwv) (Read error: Connection reset by peer)
2021-04-22 21:52:51 +0200alanz(sid110616@gateway/web/irccloud.com/x-qjhghsxjfupjbdeb) (Read error: Connection reset by peer)
2021-04-22 21:52:51 +0200b20n(sid115913@gateway/web/irccloud.com/x-fxwwqjclpbrawyzj) (Read error: Connection reset by peer)
2021-04-22 21:52:51 +0200davetapley(sid666@gateway/web/irccloud.com/x-ohjwsogbmepwkutt) (Read error: Connection reset by peer)
2021-04-22 21:52:51 +0200bradparker(sid262931@gateway/web/irccloud.com/x-usqfoiaovgpgwnbj) (Read error: Connection reset by peer)
2021-04-22 21:52:51 +0200SrPx(sid108780@gateway/web/irccloud.com/x-fmknnxofuaimdify) (Read error: Connection reset by peer)
2021-04-22 21:52:51 +0200sz0(uid110435@gateway/web/irccloud.com/x-zwmbhzhzwgqqzplk) (Read error: Connection reset by peer)
2021-04-22 21:53:03 +0200AndreasK(sid320732@gateway/web/irccloud.com/x-gcnznttjjbhixeuo) (Read error: Connection reset by peer)
2021-04-22 21:53:19 +0200aristid(sid1599@gateway/web/irccloud.com/x-xoxalrdohmfrqftu) (Ping timeout: 260 seconds)
2021-04-22 21:53:22 +0200 <Rembane> lovesegfault: You can replace it with a $ if you want to, otherwise you need parentheses
2021-04-22 21:53:48 +0200lally(sid388228@gateway/web/irccloud.com/x-jtlutemywqmachbj) (Ping timeout: 260 seconds)
2021-04-22 21:53:50 +0200 <lovesegfault> Ah :D
2021-04-22 21:53:52 +0200remby(~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca) (Quit: Going offline, see ya! (www.adiirc.com))
2021-04-22 21:54:56 +0200 <c_wraith> You will still have a problem, though.
2021-04-22 21:55:09 +0200 <c_wraith> > 4 / 2 :: Int
2021-04-22 21:55:10 +0200 <lambdabot> error:
2021-04-22 21:55:11 +0200 <lambdabot> • No instance for (Fractional Int) arising from a use of ‘/’
2021-04-22 21:55:12 +0200 <lambdabot> • In the expression: 4 / 2 :: Int
2021-04-22 21:55:25 +0200 <Rembane> lovesegfault: And you can put the argument to the function before the equal sign. Like this: aliquotSum n = ...
2021-04-22 21:55:27 +0200 <lovesegfault> I did n `div` 2
2021-04-22 21:55:40 +0200 <lovesegfault> Rembane: Ah, that is way nicer :D
2021-04-22 21:56:03 +0200etrepum(sid763@gateway/web/irccloud.com/x-uvgwvvfyhdnxohap) (Ping timeout: 248 seconds)
2021-04-22 21:56:23 +0200 <Rembane> lovesegfault: Good! ^^
2021-04-22 21:56:27 +0200 <lovesegfault> what do I do if I want to bind a value to a name locally to a function? like `let limit = (n `div` 2) + 1`
2021-04-22 21:56:36 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Quit: Leaving)
2021-04-22 21:56:52 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-22 21:56:59 +0200 <Rembane> lovesegfault: f = let limit = (...) in {- the more exciting expression -}
2021-04-22 21:57:11 +0200 <lovesegfault> Oh, perfection
2021-04-22 21:57:29 +0200natim87(sid286962@gateway/web/irccloud.com/x-ozyrmmcfkllsqxsu)
2021-04-22 21:57:31 +0200AndreasK(sid320732@gateway/web/irccloud.com/x-spqgtdrtcwqozgos)
2021-04-22 21:57:34 +0200totbwf(sid402332@gateway/web/irccloud.com/x-evcibzlipwnkayzd)
2021-04-22 21:57:35 +0200aveltras(uid364989@gateway/web/irccloud.com/x-eamssxdveirheeam)
2021-04-22 21:57:43 +0200Synthetica(uid199651@gateway/web/irccloud.com/x-pljewtuwfmzflrit)
2021-04-22 21:57:50 +0200benwr____(sid372383@gateway/web/irccloud.com/x-mijbqpsjqwboudpc)
2021-04-22 21:57:53 +0200luite(sid387799@gateway/web/irccloud.com/x-jstlojjciwjquony)
2021-04-22 21:57:54 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-04-22 21:58:05 +0200lally(sid388228@gateway/web/irccloud.com/x-ilucbequfappbwaf)
2021-04-22 21:58:07 +0200 <Rembane> lovesegfault: Another version is to use a where-expression. f = {- the more exciting expression -} where f = (...)
2021-04-22 21:58:12 +0200liquorice(sid267884@gateway/web/irccloud.com/x-nzkqxgdtfgechhzd)
2021-04-22 21:58:13 +0200alanz(sid110616@gateway/web/irccloud.com/x-zzsuvrgaohwilheu)
2021-04-22 21:58:14 +0200joshmeredith(sid387798@gateway/web/irccloud.com/x-puyeogwrdolrmxnl)
2021-04-22 21:58:14 +0200systemfault(sid267009@gateway/web/irccloud.com/x-weqjiwsrsizmsttb)
2021-04-22 21:58:14 +0200ebutleriv(sid217783@gateway/web/irccloud.com/x-kdwwbglqjsasvtqj)
2021-04-22 21:58:16 +0200cemerick(sid54985@gateway/web/irccloud.com/x-dmosxtcpbaaxlpbx)
2021-04-22 21:58:20 +0200ryjm(sid383513@gateway/web/irccloud.com/x-mfvpahefkuhsmhxj)
2021-04-22 21:58:22 +0200Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-04-22 21:58:24 +0200d0liver(sid363046@gateway/web/irccloud.com/x-nemzonvlsnfdjkyk)
2021-04-22 21:58:25 +0200aristid(sid1599@gateway/web/irccloud.com/x-iysthznfdzhconze)
2021-04-22 21:58:27 +0200davetapley(sid666@gateway/web/irccloud.com/x-zjajcgkktmcxzflu)
2021-04-22 21:58:29 +0200ReinH(sid179972@gateway/web/irccloud.com/x-yupwkseagmcsclao)
2021-04-22 21:58:29 +0200b20n(sid115913@gateway/web/irccloud.com/x-wvurqfbcjkkidela)
2021-04-22 21:58:37 +0200jared-w(uid405292@gateway/web/irccloud.com/x-qitlcehrrgjsxmby)
2021-04-22 21:58:41 +0200wpcarro_(sid397589@gateway/web/irccloud.com/x-ahewuhnoiijbwpmc)
2021-04-22 21:58:52 +0200etrepum(sid763@gateway/web/irccloud.com/x-kbeiueugazaifuth)
2021-04-22 21:58:56 +0200SrPx(sid108780@gateway/web/irccloud.com/x-yhksykcahzlylxhe)
2021-04-22 21:59:02 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-osbdsklzblynzobo) (Quit: Connection closed for inactivity)
2021-04-22 21:59:04 +0200eruditass(uid248673@gateway/web/irccloud.com/x-xevwmrtrjszgvhcb)
2021-04-22 21:59:06 +0200sz0(uid110435@gateway/web/irccloud.com/x-cbtqvvpmzwwkflbr)
2021-04-22 21:59:22 +0200 <lovesegfault> is the only difference that one comes before and the other after?
2021-04-22 21:59:25 +0200bradparker(sid262931@gateway/web/irccloud.com/x-ipktkzcrditobyzs)
2021-04-22 21:59:45 +0200 <lovesegfault> Another Q: In Rust, I can perform a match on std::cmp::Ordering like this: https://github.com/lovesegfault/exercism/blob/5a7f942130c82e60025d9a8787fb7eae8efd0c0e/rust/perfec…
2021-04-22 22:00:00 +0200 <lovesegfault> I know in Haskell a match is called case, but does a similar Ordering enum exist?
2021-04-22 22:00:16 +0200 <monochrom> case xxx of { EQ -> ... ; GT -> ... ; LT -> ... }
2021-04-22 22:00:25 +0200 <monochrom> can also use layout to replace {;}
2021-04-22 22:00:45 +0200 <lovesegfault> Oh, are EQ,GT,LT just in the prelude?
2021-04-22 22:00:50 +0200usr25(~usr25@unaffiliated/usr25)
2021-04-22 22:01:10 +0200 <tomsmeding> :t EQ
2021-04-22 22:01:13 +0200 <lambdabot> Ordering
2021-04-22 22:01:22 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds)
2021-04-22 22:01:22 +0200Lord_of_Life_Lord_of_Life
2021-04-22 22:01:25 +0200 <c_wraith> @src Ordering
2021-04-22 22:01:25 +0200 <lambdabot> data Ordering = LT | EQ | GT
2021-04-22 22:01:27 +0200 <tomsmeding> :t compare
2021-04-22 22:01:28 +0200 <lambdabot> Ord a => a -> a -> Ordering
2021-04-22 22:02:14 +0200 <monochrom> I use "compare" in binary search tree algorithms.
2021-04-22 22:02:21 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-04-22 22:03:20 +0200stree(~stree@68.36.8.116) (Ping timeout: 268 seconds)
2021-04-22 22:05:12 +0200petersen(~petersen@redhat/juhp) (Ping timeout: 240 seconds)
2021-04-22 22:07:13 +0200petersen(~petersen@redhat/juhp)
2021-04-22 22:07:55 +0200 <lovesegfault> Okay, I got it :D
2021-04-22 22:07:56 +0200 <lovesegfault> https://github.com/lovesegfault/exercism/blob/main/haskell/perfect-numbers/src/PerfectNumbers.hs
2021-04-22 22:08:05 +0200redmp_(~redmp@172.58.22.224) (Quit: reboot)
2021-04-22 22:08:12 +0200 <lovesegfault> any feedback or ways I can improve?
2021-04-22 22:08:35 +0200 <lovesegfault> side-note: I really like how "Just" reads in code "Just Perfect", "Just Deficient", lol
2021-04-22 22:09:20 +0200redmp(~redmp@172.58.19.67)
2021-04-22 22:10:40 +0200 <tomsmeding> % let number = 42 in if even number then print "yes" else print "no"
2021-04-22 22:10:40 +0200 <yahb> tomsmeding: "yes"
2021-04-22 22:10:47 +0200 <tomsmeding> almost readable
2021-04-22 22:11:11 +0200forgottenone(~forgotten@176.42.21.81) (Quit: Konversation terminated!)
2021-04-22 22:11:24 +0200 <geekosaur> an = id -- :p
2021-04-22 22:12:35 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-22 22:13:39 +0200 <tomsmeding> % let is = flip id ; the = id
2021-04-22 22:13:39 +0200 <yahb> tomsmeding:
2021-04-22 22:13:50 +0200 <tomsmeding> % let number = 42 in if the number `is` even then print "yes" else print "no"
2021-04-22 22:13:50 +0200 <yahb> tomsmeding: "yes"
2021-04-22 22:16:08 +0200stree(~stree@68.36.8.116)
2021-04-22 22:18:22 +0200pfurla_(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-04-22 22:18:27 +0200jess(jess@freenode/staff/jess) ()
2021-04-22 22:18:35 +0200puke(~vroom@217.138.252.184) (Quit: puke)
2021-04-22 22:18:40 +0200jess(jess@freenode/staff/jess)
2021-04-22 22:20:53 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 260 seconds)
2021-04-22 22:21:11 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2021-04-22 22:21:33 +0200xcmw(~textual@dyn-72-33-2-152.uwnet.wisc.edu)
2021-04-22 22:23:32 +0200alanz(sid110616@gateway/web/irccloud.com/x-zzsuvrgaohwilheu) (Ping timeout: 258 seconds)
2021-04-22 22:26:08 +0200alanz(sid110616@gateway/web/irccloud.com/x-wrkjabizodqmlyrt)
2021-04-22 22:26:45 +0200sm(~user@li229-222.members.linode.com) (Remote host closed the connection)
2021-04-22 22:30:31 +0200kupi(uid212005@gateway/web/irccloud.com/x-wwoexcijnelowmiu) (Quit: Connection closed for inactivity)
2021-04-22 22:31:31 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-04-22 22:32:08 +0200safinaskar(~user@109.252.90.136)
2021-04-22 22:32:09 +0200 <safinaskar> hi
2021-04-22 22:32:54 +0200 <Rembane> Hi!
2021-04-22 22:33:27 +0200nineonine(~nineonine@50.216.62.2) (Remote host closed the connection)
2021-04-22 22:33:52 +0200 <safinaskar> is there some way to embed tests to my sources? something like this: https://paste.debian.net/1194756/ ?
2021-04-22 22:34:00 +0200nineonine(~nineonine@50.216.62.2)
2021-04-22 22:34:49 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-04-22 22:37:36 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-22 22:38:39 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-04-22 22:39:43 +0200 <geekosaur> @hackage cabal-doctest
2021-04-22 22:39:43 +0200 <lambdabot> https://hackage.haskell.org/package/cabal-doctest
2021-04-22 22:40:24 +0200ep1ctetus_(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-04-22 22:42:03 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Quit: Leaving)
2021-04-22 22:42:11 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-22 22:42:28 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-22 22:42:46 +0200 <geekosaur> and http://hackage.haskell.org/package/doctest is the actual tests, as opposed to how to run them
2021-04-22 22:42:56 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-04-22 22:44:01 +0200puke(~vroom@217.138.252.56)
2021-04-22 22:44:02 +0200epicte7us(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 268 seconds)
2021-04-22 22:45:03 +0200pierrotcanopus
2021-04-22 22:45:12 +0200ep1ctetus_(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 240 seconds)
2021-04-22 22:45:12 +0200canopuspierrot
2021-04-22 22:49:37 +0200 <safinaskar> geekosaur: thanks
2021-04-22 22:50:27 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-22 22:50:43 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
2021-04-22 22:51:01 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-22 22:52:32 +0200nek0(~nek0@mail.nek0.eu) (Remote host closed the connection)
2021-04-22 22:52:41 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-04-22 22:53:52 +0200elliott_(~elliott@pool-108-18-30-46.washdc.fios.verizon.net)
2021-04-22 22:55:27 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2021-04-22 22:56:10 +0200nek0(~nek0@mail.nek0.eu)
2021-04-22 22:57:25 +0200kenanmarasli(1fdf0934@31.223.9.52) (Quit: Connection closed)
2021-04-22 22:57:32 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-04-22 23:04:16 +0200pthariensflame(~pthariens@2600:6c52:727f:4200:d1a2:91f7:7953:5009)
2021-04-22 23:04:21 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-04-22 23:04:51 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-04-22 23:05:16 +0200knupfer(~Thunderbi@200116b82b4d2f00a98dd2f64b7ff0a2.dip.versatel-1u1.de) (Ping timeout: 276 seconds)
2021-04-22 23:05:22 +0200pthariensflame(~pthariens@2600:6c52:727f:4200:d1a2:91f7:7953:5009) (Client Quit)
2021-04-22 23:07:26 +0200elliott_(~elliott@pool-108-18-30-46.washdc.fios.verizon.net) (Quit: WeeChat 3.1)
2021-04-22 23:09:41 +0200elliott_(~elliott@pool-108-18-30-46.washdc.fios.verizon.net)
2021-04-22 23:12:27 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-22 23:13:16 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-04-22 23:13:51 +0200alx741(~alx741@186.178.109.231) (Quit: alx741)
2021-04-22 23:15:09 +0200mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-04-22 23:15:54 +0200alx741(~alx741@186.178.109.231)
2021-04-22 23:18:33 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-04-22 23:21:58 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 265 seconds)
2021-04-22 23:24:15 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-22 23:26:50 +0200Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-04-22 23:27:03 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-22 23:27:39 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-04-22 23:28:17 +0200codygman__(~user@47.186.207.161)
2021-04-22 23:28:32 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-22 23:31:55 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds)
2021-04-22 23:39:43 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-04-22 23:41:06 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-04-22 23:41:38 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube)
2021-04-22 23:42:02 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-04-22 23:42:17 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:4447:2758:9838:e84a) (Quit: Leaving)
2021-04-22 23:43:39 +0200hexfive(~hexfive@50.35.83.177)
2021-04-22 23:46:12 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-22 23:46:30 +0200safinaskar(~user@109.252.90.136) ()
2021-04-22 23:49:39 +0200LKoen(~LKoen@11.160.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-04-22 23:50:43 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-04-22 23:51:27 +0200 <sm[m]> You can also use ordinary hunit tests in the same file
2021-04-22 23:57:02 +0200DavidEichmann(~david@147.136.46.217.dyn.plus.net)