2021/06/05

2021-06-05 00:00:51 +0200ddellacosta(~ddellacos@86.106.121.65) (Read error: Connection reset by peer)
2021-06-05 00:04:47 +0200ddellacosta(~ddellacos@89.46.62.57)
2021-06-05 00:06:18 +0200stefan-_(~cri@42dots.de) (Ping timeout: 264 seconds)
2021-06-05 00:07:30 +0200stefan-_(~cri@42dots.de)
2021-06-05 00:09:05 +0200ddellacosta(~ddellacos@89.46.62.57) (Ping timeout: 245 seconds)
2021-06-05 00:09:54 +0200dhil(~dhil@195.213.192.47) (Quit: Leaving)
2021-06-05 00:10:43 +0200ddellacosta(~ddellacos@86.106.121.35)
2021-06-05 00:11:27 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-05 00:11:34 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
2021-06-05 00:11:38 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-06-05 00:12:24 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-06-05 00:12:35 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2021-06-05 00:15:02 +0200ddellaco_(~ddellacos@86.106.143.157) (Remote host closed the connection)
2021-06-05 00:15:11 +0200ddellaco_(~ddellacos@86.106.143.157)
2021-06-05 00:15:18 +0200ddellaco_(~ddellacos@86.106.143.157) (Remote host closed the connection)
2021-06-05 00:17:00 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 245 seconds)
2021-06-05 00:17:26 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-05 00:17:38 +0200fluffyballoon(~fluffybal@pat-verona-h.epic.com) (Ping timeout: 250 seconds)
2021-06-05 00:17:40 +0200boxscape(~boxscape@user/boxscape) (Ping timeout: 268 seconds)
2021-06-05 00:19:06 +0200Erutuon(~Erutuon@user/erutuon)
2021-06-05 00:21:39 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 244 seconds)
2021-06-05 00:27:13 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-06-05 00:29:00 +0200allbery_b(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-06-05 00:30:20 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 245 seconds)
2021-06-05 00:34:30 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-05 00:35:46 +0200bilegeek(~bilegeek@2600:1008:b06d:65ed:93d7:e6a:a06d:9e4)
2021-06-05 00:35:52 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-05 00:36:09 +0200WorldSEnder(~martin@88.215.103.12) (Quit: WeeChat 3.1)
2021-06-05 00:36:19 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-05 00:38:15 +0200allbery_bgeekosaur
2021-06-05 00:39:16 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-dev)
2021-06-05 00:41:06 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 268 seconds)
2021-06-05 00:44:50 +0200danidiaz1(~ESDPC@static-172-64-63-95.ipcom.comunitel.net) ()
2021-06-05 00:46:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-06-05 00:47:26 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1)
2021-06-05 00:48:42 +0200michalz(~user@185.246.204.60) (Remote host closed the connection)
2021-06-05 00:50:34 +0200ddellaco_(~ddellacos@89.45.224.235)
2021-06-05 00:54:55 +0200ddellaco_(~ddellacos@89.45.224.235) (Ping timeout: 245 seconds)
2021-06-05 00:55:27 +0200ddellacosta(~ddellacos@86.106.121.35) (Remote host closed the connection)
2021-06-05 00:56:16 +0200ddellacosta(~ddellacos@86.106.121.35)
2021-06-05 00:57:49 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 244 seconds)
2021-06-05 01:00:05 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
2021-06-05 01:00:50 +0200ddellacosta(~ddellacos@86.106.121.35) (Ping timeout: 268 seconds)
2021-06-05 01:10:30 +0200chomwitt(~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 264 seconds)
2021-06-05 01:12:56 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-05 01:13:40 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds)
2021-06-05 01:14:19 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-05 01:17:33 +0200bfrk1(~Thunderbi@200116b845406c003a5dd7b952e89ac0.dip.versatel-1u1.de)
2021-06-05 01:19:00 +0200bfrk(~Thunderbi@200116b845d01a0023133a647a2f786d.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2021-06-05 01:19:00 +0200bfrk1bfrk
2021-06-05 01:19:58 +0200Bartosz(~textual@24.35.90.211)
2021-06-05 01:23:15 +0200mpt(~tom@p57a566da.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-06-05 01:26:18 +0200ddellacosta(~ddellacos@86.106.121.109)
2021-06-05 01:26:49 +0200ddellaco_(~ddellacos@86.106.143.131)
2021-06-05 01:29:29 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-05 01:31:10 +0200ddellaco_(~ddellacos@86.106.143.131) (Ping timeout: 245 seconds)
2021-06-05 01:31:55 +0200ddellacosta(~ddellacos@86.106.121.109) (Ping timeout: 244 seconds)
2021-06-05 01:36:10 +0200smitop(~smitop@user/smitop) (Quit: Ping timeout (120 seconds))
2021-06-05 01:37:36 +0200bfrk(~Thunderbi@200116b845406c003a5dd7b952e89ac0.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2021-06-05 01:38:06 +0200smitop(~smitop@user/smitop)
2021-06-05 01:38:33 +0200ssarah(~miguell@149.63.37.188.rev.vodafone.pt) (Remote host closed the connection)
2021-06-05 01:40:44 +0200dhil(~dhil@195.213.192.47)
2021-06-05 01:41:34 +0200mc47(~yecinem@89.246.239.190) (Remote host closed the connection)
2021-06-05 01:45:00 +0200ddellacosta(~ddellacos@86.106.121.21)
2021-06-05 01:45:49 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-06-05 01:49:30 +0200ddellacosta(~ddellacos@86.106.121.21) (Ping timeout: 245 seconds)
2021-06-05 01:50:57 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-05 01:53:10 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-06-05 01:53:48 +0200Baloo_(~Baloo_@141.98.255.150) (Quit: Leaving)
2021-06-05 01:55:43 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds)
2021-06-05 01:55:55 +0200ddellacosta(~ddellacos@86.106.121.82)
2021-06-05 01:56:20 +0200ddellacosta(~ddellacos@86.106.121.82) (Remote host closed the connection)
2021-06-05 01:56:49 +0200ddellacosta(~ddellacos@86.106.121.82)
2021-06-05 01:59:27 +0200reumeth(~reumeth@user/reumeth) (Ping timeout: 272 seconds)
2021-06-05 02:01:53 +0200ddellacosta(~ddellacos@86.106.121.82) (Ping timeout: 268 seconds)
2021-06-05 02:11:50 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b)
2021-06-05 02:13:36 +0200pritambaral(~pritam@user/pritambaral) (Ping timeout: 268 seconds)
2021-06-05 02:16:15 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:dc99:9b3a:b6b8:6bb9) (Quit: Leaving)
2021-06-05 02:20:42 +0200myShoggoth(~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds)
2021-06-05 02:22:47 +0200UpstreamSalmon(uid12077@id-12077.stonehaven.irccloud.com)
2021-06-05 02:22:47 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-06-05 02:22:55 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-06-05 02:23:32 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-05 02:25:22 +0200stardust1p(~sd@45.12.220.116) (Ping timeout: 272 seconds)
2021-06-05 02:26:55 +0200pe200012(~pe200012@183.63.73.33)
2021-06-05 02:27:10 +0200ddellacosta(~ddellacos@86.106.121.108)
2021-06-05 02:27:59 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds)
2021-06-05 02:31:21 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-05 02:31:35 +0200ddellacosta(~ddellacos@86.106.121.108) (Ping timeout: 245 seconds)
2021-06-05 02:34:05 +0200dhil(~dhil@195.213.192.47) (Ping timeout: 245 seconds)
2021-06-05 02:35:59 +0200novasenconova
2021-06-05 02:37:50 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 245 seconds)
2021-06-05 02:38:08 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-05 02:39:39 +0200ddellacosta(~ddellacos@89.45.224.118)
2021-06-05 02:40:45 +0200Deide(~Deide@user/deide) (Quit: Seeee yaaaa)
2021-06-05 02:40:59 +0200 <arahael> Do we have a good library that can, for the english locale only, convert ISO 8601 dates to something like "15th June"? (Discarding the year)
2021-06-05 02:42:02 +0200ddellaco_(~ddellacos@107.182.237.18)
2021-06-05 02:42:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-05 02:43:56 +0200 <arahael> Well, I'd settle with "appropriate" suffixes for a number, eg, 3 -> "3rd", and 15 -> "15th", I suppose I could code that myself, there's only 10 possible digits anyway...
2021-06-05 02:44:26 +0200ddellacosta(~ddellacos@89.45.224.118) (Ping timeout: 268 seconds)
2021-06-05 02:46:30 +0200 <geekosaur> that's the one part that's missing from the time library (otherwise what you asked for is format "%e %B")
2021-06-05 02:46:54 +0200ddellaco_(~ddellacos@107.182.237.18) (Ping timeout: 268 seconds)
2021-06-05 02:48:23 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 244 seconds)
2021-06-05 02:49:27 +0200kadoban[m](~kadobanem@2001:470:69fc:105::f34)
2021-06-05 02:50:20 +0200kadobanmud
2021-06-05 02:51:06 +0200kadoban[m](~kadobanem@2001:470:69fc:105::f34) (Client Quit)
2021-06-05 02:51:13 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-05 02:51:19 +0200kadoban[m](~kadoban@user/kadoban)
2021-06-05 02:51:25 +0200kadoban[m]kadoban
2021-06-05 02:52:57 +0200 <arahael> So what's the "simplest" way to do this in haskell?
2021-06-05 02:53:04 +0200 <arahael> Code my own routine, or?
2021-06-05 02:57:14 +0200hmmmas(~chenqisu1@183.217.202.217)
2021-06-05 03:00:36 +0200ddellacosta(~ddellacos@86.106.121.87)
2021-06-05 03:02:25 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 245 seconds)
2021-06-05 03:04:17 +0200 <geekosaur> I'd just code it up myself over the output of the standard date formatting stuff
2021-06-05 03:04:36 +0200alx741(~alx741@186.178.108.209) (Quit: alx741)
2021-06-05 03:04:55 +0200ddellacosta(~ddellacos@86.106.121.87) (Ping timeout: 245 seconds)
2021-06-05 03:05:17 +0200alx741(~alx741@186.178.108.209)
2021-06-05 03:09:26 +0200 <arahael> pragmatic :)
2021-06-05 03:10:55 +0200mudkadobanana
2021-06-05 03:10:57 +0200xff0x_(~xff0x@2001:1a81:5380:1300:997a:5bba:2f5a:1c40) (Ping timeout: 268 seconds)
2021-06-05 03:11:17 +0200xff0x_(~xff0x@2001:1a81:5380:1300:de6d:d78:3575:a268)
2021-06-05 03:13:26 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-05 03:14:18 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-05 03:16:17 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-06-05 03:17:32 +0200ddellacosta(~ddellacos@89.46.62.39)
2021-06-05 03:19:22 +0200ddellaco_(~ddellacos@89.46.62.17)
2021-06-05 03:19:26 +0200epolanski(uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-05 03:22:30 +0200ddellacosta(~ddellacos@89.46.62.39) (Ping timeout: 264 seconds)
2021-06-05 03:24:19 +0200haltux(~haltux@a89-154-181-47.cpe.netcabo.pt)
2021-06-05 03:26:04 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-05 03:26:30 +0200nosewings(~ncoltharp@2603-8081-3e05-e2d0-79b7-155e-fe6f-5897.res6.spectrum.com)
2021-06-05 03:30:45 +0200xff0x_(~xff0x@2001:1a81:5380:1300:de6d:d78:3575:a268) (Ping timeout: 244 seconds)
2021-06-05 03:30:56 +0200ddellacosta(~ddellacos@86.106.121.235)
2021-06-05 03:32:30 +0200xff0x_(~xff0x@2001:1a81:53bd:ad00:33b8:39e3:482a:7de0)
2021-06-05 03:35:05 +0200zeenk(~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!)
2021-06-05 03:38:14 +0200learner-monad(~ehanneken@user/learner-monad) (Quit: WeeChat 3.1)
2021-06-05 03:41:26 +0200machinedgod(~machinedg@24.105.81.50)
2021-06-05 03:42:38 +0200learner-monad(~ehanneken@user/learner-monad)
2021-06-05 03:45:54 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds)
2021-06-05 03:51:10 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 245 seconds)
2021-06-05 03:51:46 +0200listofoptions(~haha@047-005-156-009.res.spectrum.com) (Read error: Connection reset by peer)
2021-06-05 03:55:32 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-05 03:57:37 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 244 seconds)
2021-06-05 04:00:05 +0200biberu\(~biberu@user/biberu)
2021-06-05 04:00:26 +0200ddellaco_(~ddellacos@89.46.62.17) (Remote host closed the connection)
2021-06-05 04:00:55 +0200ddellaco_(~ddellacos@89.46.62.17)
2021-06-05 04:03:18 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 244 seconds)
2021-06-05 04:03:18 +0200biberu(~biberu@user/biberu) (Ping timeout: 244 seconds)
2021-06-05 04:03:18 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer)
2021-06-05 04:03:18 +0200biberu\biberu
2021-06-05 04:03:30 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-06-05 04:03:35 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2021-06-05 04:03:35 +0200ddellac__(~ddellacos@89.46.62.48)
2021-06-05 04:03:46 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-06-05 04:03:47 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 272 seconds)
2021-06-05 04:04:13 +0200Chobbes(~Chobbes@user/chobbes) (Ping timeout: 272 seconds)
2021-06-05 04:04:19 +0200dy(~dy@user/dy) (Excess Flood)
2021-06-05 04:04:51 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-06-05 04:05:03 +0200Chobbes(~Chobbes@user/chobbes)
2021-06-05 04:05:42 +0200ddellaco_(~ddellacos@89.46.62.17) (Ping timeout: 264 seconds)
2021-06-05 04:07:02 +0200dy(~dy@user/dy)
2021-06-05 04:10:04 +0200learner-monad(~ehanneken@user/learner-monad) (Quit: WeeChat 3.1)
2021-06-05 04:10:11 +0200bilegeek(~bilegeek@2600:1008:b06d:65ed:93d7:e6a:a06d:9e4) (Quit: Leaving)
2021-06-05 04:12:54 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 264 seconds)
2021-06-05 04:14:03 +0200ddellac__(~ddellacos@89.46.62.48) (Remote host closed the connection)
2021-06-05 04:14:14 +0200aerona(~aerona@2600:6c54:4600:f300:68ad:c2aa:4825:fdf8)
2021-06-05 04:14:20 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-06-05 04:14:33 +0200ddellaco_(~ddellacos@89.46.62.48)
2021-06-05 04:16:12 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2021-06-05 04:16:36 +0200dwt_(~dwt_@c-98-200-58-177.hsd1.tx.comcast.net)
2021-06-05 04:16:53 +0200derelict(~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) (Ping timeout: 272 seconds)
2021-06-05 04:18:40 +0200ddellaco_(~ddellacos@89.46.62.48) (Ping timeout: 245 seconds)
2021-06-05 04:21:44 +0200ukari(~ukari@user/ukari) (Remote host closed the connection)
2021-06-05 04:23:50 +0200tcard(~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving)
2021-06-05 04:24:20 +0200xff0x_(~xff0x@2001:1a81:53bd:ad00:33b8:39e3:482a:7de0) (Ping timeout: 268 seconds)
2021-06-05 04:24:42 +0200xff0x_(~xff0x@2001:1a81:53bd:ad00:e0a5:9b7f:4056:a56c)
2021-06-05 04:28:14 +0200td_(~td@94.134.91.156) (Ping timeout: 272 seconds)
2021-06-05 04:28:37 +0200kw(~user@2605:a601:a615:f600:601:15f2:ebf9:271) (Ping timeout: 244 seconds)
2021-06-05 04:29:20 +0200td_(~td@muedsl-82-207-238-014.citykom.de)
2021-06-05 04:37:17 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-06-05 04:42:42 +0200pfurla_(~pfurla@65.15.195.173.client.static.strong-in52.as13926.net)
2021-06-05 04:43:17 +0200Guest31(~Guest31@187.83.249.216.dyn.smithville.net)
2021-06-05 04:44:35 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-05 04:45:09 +0200ddellaco_(~ddellacos@86.106.121.82)
2021-06-05 04:45:58 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 272 seconds)
2021-06-05 04:49:06 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-06-05 04:50:06 +0200ddellaco_(~ddellacos@86.106.121.82) (Ping timeout: 264 seconds)
2021-06-05 04:50:27 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-05 04:52:42 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-06-05 04:54:18 +0200Guest31(~Guest31@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2021-06-05 05:00:01 +0200haasn(~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-06-05 05:01:27 +0200haasn(~nand@haasn.dev)
2021-06-05 05:02:12 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 244 seconds)
2021-06-05 05:03:28 +0200derelict(~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com)
2021-06-05 05:03:33 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-05 05:08:24 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 244 seconds)
2021-06-05 05:10:07 +0200zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-06-05 05:12:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-05 05:13:14 +0200Erutuon(~Erutuon@user/erutuon) (Quit: WeeChat 2.8)
2021-06-05 05:15:31 +0200nosewings(~ncoltharp@2603-8081-3e05-e2d0-79b7-155e-fe6f-5897.res6.spectrum.com) (Ping timeout: 268 seconds)
2021-06-05 05:17:02 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-06-05 05:18:54 +0200sheepduck(~sheepduck@2607:fea8:2a60:b700::8a94) (Remote host closed the connection)
2021-06-05 05:19:24 +0200Erutuon(~Erutuon@user/erutuon)
2021-06-05 05:19:58 +0200alx741(~alx741@186.178.108.209) (Quit: alx741)
2021-06-05 05:24:34 +0200sheepduck(~sheepduck@2607:fea8:2a60:b700::8a94)
2021-06-05 05:26:10 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-06-05 05:28:28 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2021-06-05 05:28:28 +0200Lord_of_Life_Lord_of_Life
2021-06-05 05:30:56 +0200AgentM(~agentm@pool-162-83-130-212.nycmny.fios.verizon.net)
2021-06-05 05:31:07 +0200xff0x_(~xff0x@2001:1a81:53bd:ad00:e0a5:9b7f:4056:a56c) (Ping timeout: 265 seconds)
2021-06-05 05:31:54 +0200xff0x_(~xff0x@2001:1a81:53bd:ad00:a03e:d591:6a58:dc1c)
2021-06-05 05:31:58 +0200pe200012(~pe200012@183.63.73.33) (Quit: Konversation terminated!)
2021-06-05 05:33:55 +0200Cajun(~Cajun@ip98-163-211-112.no.no.cox.net)
2021-06-05 05:35:26 +0200ddellaco_(~ddellacos@89.46.62.43)
2021-06-05 05:38:11 +0200otto_s_(~user@p5de2f70a.dip0.t-ipconnect.de)
2021-06-05 05:40:06 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-06-05 05:40:11 +0200ddellaco_(~ddellacos@89.46.62.43) (Ping timeout: 268 seconds)
2021-06-05 05:41:35 +0200otto_s(~user@p5de2f806.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-06-05 05:43:16 +0200pfurla_(~pfurla@65.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 268 seconds)
2021-06-05 05:46:58 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-06-05 05:48:22 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-05 05:53:21 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-06-05 05:54:06 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-05 05:56:01 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-05 05:56:19 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2021-06-05 05:56:54 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-05 05:58:51 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-05 05:59:42 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-06-05 06:00:18 +0200chaosite(~chaosite@user/chaosite)
2021-06-05 06:00:57 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-05 06:03:55 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-06-05 06:05:28 +0200chaosite(~chaosite@user/chaosite) (Ping timeout: 268 seconds)
2021-06-05 06:06:43 +0200machinedgod(~machinedg@24.105.81.50)
2021-06-05 06:07:27 +0200ikex(~ash@user/ikex)
2021-06-05 06:08:30 +0200monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2021-06-05 06:11:49 +0200bilegeek(~bilegeek@2600:1008:b06d:65ed:93d7:e6a:a06d:9e4)
2021-06-05 06:15:21 +0200monochrom(trebla@216.138.220.146)
2021-06-05 06:23:48 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-06-05 06:24:26 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-06-05 06:25:12 +0200lavaman(~lavaman@98.38.249.169)
2021-06-05 06:30:46 +0200guest65(~user@114.250.138.169)
2021-06-05 06:30:59 +0200 <guest65> how to do sleep or delay in async?
2021-06-05 06:31:00 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-05 06:31:31 +0200 <guest65> Control.Cocurrent.Async
2021-06-05 06:34:03 +0200 <glguy> There isn't an async specific way
2021-06-05 06:34:11 +0200 <glguy> You can use Control.Concurrent.threadDelay
2021-06-05 06:35:58 +0200Bartosz(~textual@24.35.90.211)
2021-06-05 06:36:15 +0200hmmmas(~chenqisu1@183.217.202.217) (Quit: Leaving.)
2021-06-05 06:37:24 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-06-05 06:38:12 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-06-05 06:38:18 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-05 06:41:35 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 245 seconds)
2021-06-05 06:41:52 +0200pe200012(~pe200012@183.63.73.33)
2021-06-05 06:48:54 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-06-05 06:54:43 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-05 06:55:15 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-06-05 06:59:57 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-05 07:00:01 +0200myShoggoth(~myShoggot@97-120-89-117.ptld.qwest.net)
2021-06-05 07:02:48 +0200AgentM(~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.)
2021-06-05 07:03:05 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-06-05 07:03:50 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-06-05 07:04:39 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 244 seconds)
2021-06-05 07:07:47 +0200tose(~tose@ip-85-160-8-254.eurotel.cz)
2021-06-05 07:10:36 +0200tose(~tose@ip-85-160-8-254.eurotel.cz) (Client Quit)
2021-06-05 07:11:11 +0200tose(~tose@ip-85-160-8-254.eurotel.cz)
2021-06-05 07:12:44 +0200guest61(~xxx@47.245.54.240) (Remote host closed the connection)
2021-06-05 07:14:42 +0200myShoggoth(~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds)
2021-06-05 07:15:18 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b) (Ping timeout: 264 seconds)
2021-06-05 07:16:55 +0200lucky(~joel@user/lucky) (Read error: No route to host)
2021-06-05 07:17:50 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-05 07:18:01 +0200guest61(~xxx@47.245.54.240)
2021-06-05 07:18:01 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-06-05 07:18:40 +0200ikex(~ash@user/ikex) (Ping timeout: 245 seconds)
2021-06-05 07:18:47 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Client Quit)
2021-06-05 07:18:49 +0200guest61(~xxx@47.245.54.240) (Remote host closed the connection)
2021-06-05 07:19:19 +0200guest61(~xxx@47.245.54.240)
2021-06-05 07:22:33 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds)
2021-06-05 07:22:34 +0200ikex(~ash@user/ikex)
2021-06-05 07:24:29 +0200 <guest65> could ghc run on debian 10 on arm?
2021-06-05 07:24:57 +0200 <guest65> I see there's only a version available on debian 9
2021-06-05 07:25:03 +0200bilegeek(~bilegeek@2600:1008:b06d:65ed:93d7:e6a:a06d:9e4) (Quit: Leaving)
2021-06-05 07:25:14 +0200 <guest65> llvm9 is specified
2021-06-05 07:27:11 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-06-05 07:32:32 +0200UpstreamSalmon(uid12077@id-12077.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-05 07:36:29 +0200ddellaco_(~ddellacos@89.46.62.25)
2021-06-05 07:40:45 +0200ddellaco_(~ddellacos@89.46.62.25) (Ping timeout: 245 seconds)
2021-06-05 07:41:06 +0200guest65(~user@114.250.138.169) (Quit: ERC (IRC client for Emacs 26.3))
2021-06-05 07:43:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-05 07:53:06 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 264 seconds)
2021-06-05 07:57:26 +0200curiousgay(~quassel@178.217.208.8) (Ping timeout: 252 seconds)
2021-06-05 07:58:19 +0200derelict(~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) (Ping timeout: 268 seconds)
2021-06-05 08:05:27 +0200kluk(~kluk@2603-7000-9b3f-6934-dcad-778f-416c-181b.res6.spectrum.com)
2021-06-05 08:06:25 +0200Bartosz(~textual@24.35.90.211)
2021-06-05 08:06:43 +0200node-sh(~node-sh@223.228.227.129)
2021-06-05 08:06:59 +0200fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Ping timeout: 272 seconds)
2021-06-05 08:08:03 +0200o1lo01ol1o(~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Ping timeout: 272 seconds)
2021-06-05 08:08:36 +0200tose(~tose@ip-85-160-8-254.eurotel.cz) (Quit: WeeChat 3.0)
2021-06-05 08:15:27 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Read error: Connection reset by peer)
2021-06-05 08:16:00 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-06-05 08:16:00 +0200kluk(~kluk@2603-7000-9b3f-6934-dcad-778f-416c-181b.res6.spectrum.com) (Read error: Connection reset by peer)
2021-06-05 08:17:35 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Remote host closed the connection)
2021-06-05 08:17:35 +0200node-sh(~node-sh@223.228.227.129) (Read error: Connection reset by peer)
2021-06-05 08:17:42 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-06-05 08:18:17 +0200node-sh(~node-sh@2401:4900:3b31:9a25:5489:f4a4:3182:a2f0)
2021-06-05 08:27:34 +0200rk04(~rk04@user/rajk)
2021-06-05 08:29:06 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2021-06-05 08:31:11 +0200mc47(~yecinem@89.246.239.190)
2021-06-05 08:31:27 +0200mc47(~yecinem@89.246.239.190) (Remote host closed the connection)
2021-06-05 08:31:51 +0200mc47(~yecinem@89.246.239.190)
2021-06-05 08:34:51 +0200TheRAt(~TheRAt@user/therat) (Ping timeout: 272 seconds)
2021-06-05 08:35:14 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-05 08:36:55 +0200notzmv(~zmv@user/notzmv) (Remote host closed the connection)
2021-06-05 08:37:07 +0200aerona(~aerona@2600:6c54:4600:f300:68ad:c2aa:4825:fdf8) (Quit: Leaving)
2021-06-05 08:38:39 +0200img(~img@2405:6580:b1c0:2500:836a:9768:6f91:445b) (Quit: ZNC 1.8.1 - https://znc.in)
2021-06-05 08:38:57 +0200tcard(~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp)
2021-06-05 08:40:24 +0200hmmmas(~chenqisu1@183.217.202.217)
2021-06-05 08:40:28 +0200notzmv(~zmv@user/notzmv)
2021-06-05 08:40:55 +0200img(~img@2405:6580:b1c0:2500:9987:109a:ace3:e76f)
2021-06-05 08:41:39 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-05 08:42:25 +0200bontaq(~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 245 seconds)
2021-06-05 08:43:00 +0200chomwitt(~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5)
2021-06-05 08:43:39 +0200kluk(~kluk@2603-7000-9b3f-6934-dcad-778f-416c-181b.res6.spectrum.com)
2021-06-05 08:44:02 +0200rk04(~rk04@user/rajk) (Quit: rk04)
2021-06-05 08:44:36 +0200 <kluk> Hi all. I am having a hard time getting started using a resizable array. I tried vector, I did cabal install vector, I go to ghci, I do import Data.Vector, it doesn't work - what am I missing?
2021-06-05 08:44:52 +0200rk04(~rk04@user/rajk)
2021-06-05 08:45:58 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-05 08:47:43 +0200reumeth(~reumeth@user/reumeth)
2021-06-05 08:48:44 +0200mthvedt(uid501949@id-501949.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-05 08:49:35 +0200 <pavonia> kluk: Define "doesn't work"
2021-06-05 08:49:58 +0200 <kluk> pavonia : "Could not find module ‘Data.Vector.Mutable’"
2021-06-05 08:50:42 +0200 <pavonia> The cabal compilation was without errors?
2021-06-05 08:52:39 +0200wonko(~wjc@62.115.229.50)
2021-06-05 08:52:59 +0200 <kluk> pavonia : ah, I was missing "cabal install --lib vector". Thanks!
2021-06-05 08:56:10 +0200fabfianda(~fabfianda@net-93-148-121-206.cust.vodafonedsl.it) (Ping timeout: 245 seconds)
2021-06-05 08:57:00 +0200fabfianda(~fabfianda@mob-5-90-247-94.net.vodafone.it)
2021-06-05 09:03:03 +0200kluk(~kluk@2603-7000-9b3f-6934-dcad-778f-416c-181b.res6.spectrum.com) (Read error: Connection reset by peer)
2021-06-05 09:11:59 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-05 09:13:21 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-05 09:13:40 +0200fabfianda(~fabfianda@mob-5-90-247-94.net.vodafone.it) (Ping timeout: 245 seconds)
2021-06-05 09:14:13 +0200fabfianda(~fabfianda@net-93-148-121-206.cust.dsl.teletu.it)
2021-06-05 09:14:56 +0200helby(~x@alpine/moderator/helby)
2021-06-05 09:16:00 +0200 <[exa]> is there any good tool for generating static sites where the input is more like "generated" than sourced from *.md files lying around?
2021-06-05 09:16:42 +0200 <maerwald> like an actual DSL?
2021-06-05 09:18:01 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8)
2021-06-05 09:18:02 +0200 <[exa]> not really sure
2021-06-05 09:18:25 +0200 <[exa]> I've got a bunch of functions to document, each with variants, these will likely be specified in some very concise machine-friendly format
2021-06-05 09:18:46 +0200 <[exa]> I need to expand that to pages for each variant of the functions + reasonable crosslinks and preferably an index
2021-06-05 09:20:25 +0200 <[exa]> (side story: I even tried sphinx for rendering because "community standard" right, but it died with "error: popping from empty list" or something when I tried to reference a function. So I erased it again as it should be)
2021-06-05 09:20:30 +0200ukari(~ukari@user/ukari)
2021-06-05 09:22:36 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 244 seconds)
2021-06-05 09:23:27 +0200 <[exa]> What I wanted to avoid is making sure that the links and paths and everything is allright manually
2021-06-05 09:23:53 +0200 <[exa]> kinda guessing that I could hack this into hakyll or some other existing generator but there's no howto going in that direction
2021-06-05 09:27:10 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-06-05 09:29:29 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-06-05 09:30:20 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 245 seconds)
2021-06-05 09:32:18 +0200[exa]eyes `slick`
2021-06-05 09:36:34 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-05 09:37:42 +0200ddellaco_(~ddellacos@107.182.237.15)
2021-06-05 09:38:02 +0200gehmehgeh(~user@user/gehmehgeh)
2021-06-05 09:40:06 +0200malvo(~malvo@malvo.org) (Read error: Connection reset by peer)
2021-06-05 09:41:06 +0200oxide(~lambda@user/oxide) (Ping timeout: 264 seconds)
2021-06-05 09:41:42 +0200bfrk(~Thunderbi@200116b845406c003a5dd7b952e89ac0.dip.versatel-1u1.de)
2021-06-05 09:42:14 +0200ddellaco_(~ddellacos@107.182.237.15) (Ping timeout: 244 seconds)
2021-06-05 09:42:25 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-05 09:46:37 +0200fendor(~fendor@91.141.0.144.wireless.dyn.drei.com)
2021-06-05 09:48:49 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-05 09:53:23 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds)
2021-06-05 09:58:40 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 245 seconds)
2021-06-05 10:00:10 +0200pe200012(~pe200012@183.63.73.33) (Remote host closed the connection)
2021-06-05 10:00:12 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-05 10:00:40 +0200pe200012(~pe200012@183.63.73.33)
2021-06-05 10:01:04 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-06-05 10:02:02 +0200mpt(~tom@p57a566f5.dip0.t-ipconnect.de)
2021-06-05 10:04:33 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:c4cd:bb0f:bbfb:d57f)
2021-06-05 10:06:46 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-05 10:08:15 +0200rk04(~rk04@user/rajk) (Ping timeout: 245 seconds)
2021-06-05 10:09:04 +0200hendursa1(~weechat@user/hendursaga)
2021-06-05 10:09:41 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-05 10:09:58 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-06-05 10:10:49 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 252 seconds)
2021-06-05 10:11:24 +0200neceve(~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130)
2021-06-05 10:11:41 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 244 seconds)
2021-06-05 10:12:45 +0200mpt(~tom@p57a566f5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-06-05 10:17:26 +0200 <sm[m]> [exa], maybe Shake + (blaze-html or lucid)
2021-06-05 10:18:10 +0200 <sm[m]> also, for rendering md files I can recommend mdbook as a simpler sphinx
2021-06-05 10:23:15 +0200 <[exa]> yeah I found slick which is basically shake + some template renderer
2021-06-05 10:23:31 +0200 <[exa]> kinda expecting I'll just factor out slick to end up with shake+something
2021-06-05 10:23:43 +0200 <[exa]> (likely pandoc and ginger)
2021-06-05 10:25:00 +0200 <[exa]> mdbook look cool thanks
2021-06-05 10:25:46 +0200RatSalad(~saravana@183.82.176.150)
2021-06-05 10:26:04 +0200RatSalad(~saravana@183.82.176.150) ()
2021-06-05 10:27:39 +0200imdoor(~imdoor@balticom-142-78-50.balticom.lv)
2021-06-05 10:29:59 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-06-05 10:31:52 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 268 seconds)
2021-06-05 10:34:37 +0200nosewings(~ncoltharp@2603-8081-3e05-e2d0-cd7e-03b0-df99-c405.res6.spectrum.com)
2021-06-05 10:35:58 +0200nosewings(~ncoltharp@2603-8081-3e05-e2d0-cd7e-03b0-df99-c405.res6.spectrum.com) (Remote host closed the connection)
2021-06-05 10:41:42 +0200wonko(~wjc@62.115.229.50) (Ping timeout: 264 seconds)
2021-06-05 10:46:30 +0200azeem(~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 264 seconds)
2021-06-05 10:46:58 +0200azeem(~azeem@176.200.249.211)
2021-06-05 10:53:15 +0200azeem(~azeem@176.200.249.211) (Ping timeout: 245 seconds)
2021-06-05 10:53:41 +0200azeem(~azeem@176.200.249.211)
2021-06-05 10:54:58 +0200 <sm[m]> perhaps just enough custom code to generate your reference markdown, then mdbook to render all nicely, do the link checking etc.
2021-06-05 10:55:06 +0200helby(~x@alpine/moderator/helby) ()
2021-06-05 10:57:09 +0200node-sh(~node-sh@2401:4900:3b31:9a25:5489:f4a4:3182:a2f0) (Ping timeout: 244 seconds)
2021-06-05 10:57:34 +0200 <sm[m]> or will it be less work to write it all yourself to do just what you need ? tough call
2021-06-05 10:58:21 +0200azeem(~azeem@176.200.249.211) (Read error: Connection reset by peer)
2021-06-05 10:59:21 +0200azeem(~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
2021-06-05 11:03:05 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-05 11:03:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-06-05 11:17:27 +0200zeenk(~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41)
2021-06-05 11:19:45 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8)
2021-06-05 11:24:35 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 272 seconds)
2021-06-05 11:26:19 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-06-05 11:27:46 +0200pe200012(~pe200012@183.63.73.33) (Remote host closed the connection)
2021-06-05 11:28:18 +0200pe200012(~pe200012@120.236.162.25)
2021-06-05 11:38:43 +0200ddellaco_(~ddellacos@89.46.62.127)
2021-06-05 11:43:15 +0200ddellaco_(~ddellacos@89.46.62.127) (Ping timeout: 245 seconds)
2021-06-05 11:50:04 +0200psydroid(~psydroidm@2001:470:69fc:105::165) (Changing host)
2021-06-05 11:50:04 +0200psydroid(~psydroidm@user/psydroid)
2021-06-05 11:50:24 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-05 11:51:33 +0200 <[exa]> sm[m]: yeah, tough. I'm staying with shake it seems, I might need to generate more stuff and that does it just right
2021-06-05 11:54:30 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 245 seconds)
2021-06-05 11:54:54 +0200chomwitt(~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) (Ping timeout: 264 seconds)
2021-06-05 11:57:55 +0200tubogram(~tubogram@203.86.197.210)
2021-06-05 12:02:06 +0200river(~river@tilde.team/user/river) (Quit: Leaving)
2021-06-05 12:05:39 +0200wei2912(~wei2912@112.199.250.21)
2021-06-05 12:11:35 +0200tubogram(~tubogram@203.86.197.210) (Changing host)
2021-06-05 12:11:35 +0200tubogram(~tubogram@user/tubogram)
2021-06-05 12:12:46 +0200gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2021-06-05 12:13:13 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-05 12:13:25 +0200gehmehgeh(~user@user/gehmehgeh)
2021-06-05 12:14:15 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-06-05 12:21:10 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 245 seconds)
2021-06-05 12:21:10 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 245 seconds)
2021-06-05 12:21:18 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8)
2021-06-05 12:23:56 +0200grepcake(~artyom@77.234.209.96)
2021-06-05 12:26:06 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 264 seconds)
2021-06-05 12:30:21 +0200ukari(~ukari@user/ukari) (Remote host closed the connection)
2021-06-05 12:32:12 +0200oxide(~lambda@user/oxide)
2021-06-05 12:32:48 +0200ukari(~ukari@user/ukari)
2021-06-05 12:38:25 +0200azeem(~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 244 seconds)
2021-06-05 12:41:51 +0200azeem(~azeem@176.200.210.238)
2021-06-05 12:42:47 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr)
2021-06-05 12:47:05 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-05 12:51:29 +0200malvo(~malvo@malvo.org)
2021-06-05 12:52:23 +0200tremon(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl)
2021-06-05 12:52:25 +0200azeem(~azeem@176.200.210.238) (Ping timeout: 245 seconds)
2021-06-05 12:53:24 +0200dhil(~dhil@195.213.192.47)
2021-06-05 12:53:48 +0200GIANTWORLDKEEPER(~pjetcetal@2.95.204.25) (Read error: Connection reset by peer)
2021-06-05 12:55:19 +0200azeem(~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
2021-06-05 12:56:05 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 252 seconds)
2021-06-05 12:56:19 +0200GIANTWORLDKEEPER(~pjetcetal@2.95.204.25)
2021-06-05 12:58:44 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-05 12:59:34 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr)
2021-06-05 13:00:15 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-05 13:03:46 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2021-06-05 13:04:38 +0200node-sh(~node-sh@2401:4900:3b31:9a25:5489:f4a4:3182:a2f0)
2021-06-05 13:09:07 +0200azeem(~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-06-05 13:09:18 +0200grepcake(~artyom@77.234.209.96) (Ping timeout: 264 seconds)
2021-06-05 13:16:52 +0200grepcake(~artyom@77.234.209.96)
2021-06-05 13:19:28 +0200amahl(~amahl@dxv5skyjrs0nnb65v1dgy-3.rev.dnainternet.fi)
2021-06-05 13:24:48 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-05 13:27:18 +0200azeem(~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
2021-06-05 13:32:02 +0200azeem(~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-06-05 13:32:51 +0200azeem(~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
2021-06-05 13:34:27 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-06-05 13:39:48 +0200ddellaco_(~ddellacos@89.46.62.66)
2021-06-05 13:40:30 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 264 seconds)
2021-06-05 13:44:19 +0200rk04(~rk04@user/rajk)
2021-06-05 13:44:23 +0200__monty__(~toonn@user/toonn)
2021-06-05 13:44:36 +0200pritambaral(~pritam@user/pritambaral)
2021-06-05 13:44:42 +0200ddellaco_(~ddellacos@89.46.62.66) (Ping timeout: 264 seconds)
2021-06-05 13:46:05 +0200malvo(~malvo@malvo.org) (Remote host closed the connection)
2021-06-05 13:46:21 +0200malvo(~malvo@malvo.org)
2021-06-05 13:46:28 +0200Deide(~Deide@wire.desu.ga)
2021-06-05 13:46:29 +0200Deide(~Deide@wire.desu.ga) (Changing host)
2021-06-05 13:46:29 +0200Deide(~Deide@user/deide)
2021-06-05 13:47:06 +0200azeem(~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 264 seconds)
2021-06-05 13:48:20 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds)
2021-06-05 13:49:34 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-05 13:49:42 +0200henninb(~henninb@63-226-165-91.mpls.qwest.net)
2021-06-05 13:49:50 +0200azeem(~azeem@176.200.210.238)
2021-06-05 13:50:20 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-06-05 13:52:39 +0200hmmmas(~chenqisu1@183.217.202.217) (Quit: Leaving.)
2021-06-05 13:52:47 +0200rk04(~rk04@user/rajk) (Ping timeout: 272 seconds)
2021-06-05 13:53:48 +0200BestSteve(~beststeve@220-135-3-239.HINET-IP.hinet.net)
2021-06-05 13:58:37 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 265 seconds)
2021-06-05 14:02:09 +0200xff0x_(~xff0x@2001:1a81:53bd:ad00:a03e:d591:6a58:dc1c) (Ping timeout: 268 seconds)
2021-06-05 14:02:37 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-06-05 14:02:47 +0200xff0x(~xff0x@2001:1a81:53bd:ad00:17e2:a38d:f46d:1b9f)
2021-06-05 14:04:05 +0200pe200012(~pe200012@120.236.162.25) (Ping timeout: 245 seconds)
2021-06-05 14:04:09 +0200pe200012_(~pe200012@120.236.162.25)
2021-06-05 14:14:29 +0200reumeth(~reumeth@user/reumeth) (Ping timeout: 268 seconds)
2021-06-05 14:22:41 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8)
2021-06-05 14:23:52 +0200boxscape(~boxscape@user/boxscape)
2021-06-05 14:24:49 +0200 <boxscape> % sizeOf 0
2021-06-05 14:24:49 +0200 <yahb> boxscape: 8
2021-06-05 14:25:02 +0200 <boxscape> I'm quite surprised that ghc is able to figure out that this is supposed to be Int
2021-06-05 14:25:12 +0200 <boxscape> rather than saying "ambiguous type variable"
2021-06-05 14:26:32 +0200 <boxscape> If there's a Storable instance for Integer, it chooses that instead
2021-06-05 14:27:18 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 264 seconds)
2021-06-05 14:31:35 +0200azeem(~azeem@176.200.210.238) (Ping timeout: 245 seconds)
2021-06-05 14:32:18 +0200skn(~znc@sec.nimmagadda.net) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-05 14:33:17 +0200skn(~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c)
2021-06-05 14:34:00 +0200node-sh(~node-sh@2401:4900:3b31:9a25:5489:f4a4:3182:a2f0) (Quit: Leaving)
2021-06-05 14:35:43 +0200haltux(~haltux@a89-154-181-47.cpe.netcabo.pt) (Remote host closed the connection)
2021-06-05 14:35:58 +0200azeem(~azeem@176.200.210.238)
2021-06-05 14:36:05 +0200bfrk(~Thunderbi@200116b845406c003a5dd7b952e89ac0.dip.versatel-1u1.de) ()
2021-06-05 14:40:20 +0200azeem(~azeem@176.200.210.238) (Ping timeout: 245 seconds)
2021-06-05 14:42:55 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-05 14:44:44 +0200azeem(~azeem@176.200.210.238)
2021-06-05 14:45:38 +0200Xnuk(~xnuk@45.76.202.58)
2021-06-05 14:46:23 +0200chomwitt(~Pitsikoko@athedsl-20549.home.otenet.gr)
2021-06-05 14:46:29 +0200 <Xnuk> >> unwords ["Hello", "world"]
2021-06-05 14:46:35 +0200 <Xnuk> > unwords ["Hello", "world"]
2021-06-05 14:46:36 +0200 <lambdabot> "Hello world"
2021-06-05 14:48:24 +0200grepcake(~artyom@77.234.209.96) (Ping timeout: 268 seconds)
2021-06-05 14:49:05 +0200 <malvo> > let hi = hi in hi
2021-06-05 14:49:07 +0200 <lambdabot> *Exception: <<loop>>
2021-06-05 14:49:30 +0200azeem(~azeem@176.200.210.238) (Ping timeout: 264 seconds)
2021-06-05 14:49:33 +0200 <malvo> that's too bad
2021-06-05 14:49:39 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-05 14:50:31 +0200lavaman(~lavaman@98.38.249.169)
2021-06-05 14:51:41 +0200azeem(~azeem@176.201.29.119)
2021-06-05 14:52:37 +0200pe200012(~pe200012@58.248.179.167)
2021-06-05 14:52:45 +0200pe200012_(~pe200012@120.236.162.25) (Ping timeout: 244 seconds)
2021-06-05 14:53:05 +0200 <Xnuk> Can I expect no more spams in this server?
2021-06-05 14:53:30 +0200 <malvo> yes, sorry
2021-06-05 14:53:51 +0200 <malvo> just wanted to know what would happen ._.
2021-06-05 14:53:54 +0200 <boxscape> malvo not sure that was referring to you
2021-06-05 14:54:34 +0200pritambaral(~pritam@user/pritambaral) (Ping timeout: 268 seconds)
2021-06-05 14:54:37 +0200 <Xnuk> yes I'm not referring you
2021-06-05 14:54:40 +0200 <Xnuk> sorry
2021-06-05 14:54:43 +0200 <malvo> ah ok
2021-06-05 14:54:43 +0200 <boxscape> malvo in any case, a quick lambdabot query is not unusual for this channel, though fwiw, if you want to, you can ask lambdabot things privately by using /query lambdabot
2021-06-05 14:55:30 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
2021-06-05 14:55:31 +0200 <malvo> good to know, thanks!
2021-06-05 14:55:39 +0200 <boxscape> Xnuk I haven't gotten any spam in DMs, I saw one spam message in this channel a couple of days ago, though generally ops are pretty quick
2021-06-05 14:56:10 +0200 <Xnuk> thats good
2021-06-05 14:58:38 +0200azeem(~azeem@176.201.29.119) (Read error: Connection reset by peer)
2021-06-05 15:00:16 +0200azeem(~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
2021-06-05 15:00:43 +0200o1lo01ol1o(~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net)
2021-06-05 15:00:52 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-05 15:00:58 +0200ukari(~ukari@user/ukari) (Remote host closed the connection)
2021-06-05 15:01:03 +0200alx741(~alx741@186.178.108.209)
2021-06-05 15:01:29 +0200ukari(~ukari@user/ukari)
2021-06-05 15:01:55 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-06-05 15:03:20 +0200fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com)
2021-06-05 15:06:23 +0200o1lo01ol_(~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net)
2021-06-05 15:06:40 +0200 <stefan-_> when writing an aeson json object, the fields are in a different order than specified, is there a workaround or a good alternative to aeson?
2021-06-05 15:06:40 +0200azeem(~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-06-05 15:07:00 +0200o1lo01ol1o(~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Ping timeout: 245 seconds)
2021-06-05 15:07:27 +0200azeem(~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
2021-06-05 15:07:38 +0200epolanski(uid312403@id-312403.brockwell.irccloud.com)
2021-06-05 15:09:26 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-05 15:12:25 +0200 <Xnuk> JSON spec doesn't covers object fields' order, do you mean orders in Haskell's data type?
2021-06-05 15:13:50 +0200 <stefan-_> Xnuk, i mean the object field order, when the aeson Object is encoded to json text
2021-06-05 15:15:54 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 264 seconds)
2021-06-05 15:17:17 +0200 <boxscape> stefan-_ it's apparently highly recommended to do things in ways that ensure that object field order does not matter, see https://stackoverflow.com/questions/4515676/keep-the-order-of-the-json-keys-during-json-conversion…
2021-06-05 15:18:04 +0200chomwitt(~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 244 seconds)
2021-06-05 15:23:24 +0200lavaman(~lavaman@98.38.249.169)
2021-06-05 15:23:54 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-06-05 15:26:02 +0200o1lo01ol1o(~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net)
2021-06-05 15:26:03 +0200o1lo01ol_(~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Read error: Connection reset by peer)
2021-06-05 15:26:46 +0200derelict(~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com)
2021-06-05 15:26:47 +0200favonia_(~favonia@user/favonia) (Ping timeout: 252 seconds)
2021-06-05 15:27:02 +0200 <Xnuk> Or you could override ToJSON#toEncoding, with some good luck https://hackage.haskell.org/package/aeson-1.5.6.0/docs/Data-Aeson-Types.html#v:toEncoding
2021-06-05 15:27:53 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-06-05 15:30:54 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-05 15:32:13 +0200wei2912(~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-06-05 15:32:17 +0200eight(~eight@user/eight) (Ping timeout: 252 seconds)
2021-06-05 15:33:23 +0200derelict(~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) (Ping timeout: 252 seconds)
2021-06-05 15:35:46 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 265 seconds)
2021-06-05 15:37:40 +0200dariof4(~dario@5.11.108.150)
2021-06-05 15:39:19 +0200skn(~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-05 15:39:39 +0200skn(~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c)
2021-06-05 15:40:58 +0200ddellaco_(~ddellacos@86.106.121.56)
2021-06-05 15:43:28 +0200 <stefan-_> Xnuk, boxscape, thanks
2021-06-05 15:43:54 +0200reumeth(~reumeth@user/reumeth)
2021-06-05 15:46:29 +0200ddellaco_(~ddellacos@86.106.121.56) (Ping timeout: 244 seconds)
2021-06-05 15:47:50 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-rc1)
2021-06-05 15:47:57 +0200dariof4(~dario@5.11.108.150) (Quit: WeeChat 3.1)
2021-06-05 15:47:57 +0200machinedgod(~machinedg@24.105.81.50)
2021-06-05 15:53:21 +0200 <boxscape> % class A a where test :: a -> ()
2021-06-05 15:53:21 +0200 <yahb> boxscape:
2021-06-05 15:53:23 +0200 <boxscape> % instance A a where test = const ()
2021-06-05 15:53:23 +0200 <yahb> boxscape:
2021-06-05 15:53:25 +0200 <boxscape> % test 45
2021-06-05 15:53:26 +0200 <yahb> boxscape: ()
2021-06-05 15:53:29 +0200 <boxscape> errr
2021-06-05 15:53:33 +0200 <boxscape> % instance A Int where test = const ()
2021-06-05 15:53:33 +0200 <yahb> boxscape:
2021-06-05 15:53:35 +0200 <boxscape> % test 45
2021-06-05 15:53:35 +0200 <yahb> boxscape: ()
2021-06-05 15:53:37 +0200 <boxscape> dammit
2021-06-05 15:53:50 +0200 <boxscape> I must have messed up because I expected to get an ambiguous type variable error
2021-06-05 15:54:06 +0200 <boxscape> and was going to ask why it doesn't happen with sizeOf 45
2021-06-05 15:54:15 +0200notzmv(~zmv@user/notzmv)
2021-06-05 15:54:52 +0200ddellacosta(~ddellacos@86.106.121.235) (Remote host closed the connection)
2021-06-05 15:55:08 +0200 <boxscape> % class A a where test :: a -> () -- need to redefine the class to get rid of the first instance
2021-06-05 15:55:08 +0200 <yahb> boxscape:
2021-06-05 15:55:13 +0200 <boxscape> % instance A Int where test = const ()
2021-06-05 15:55:13 +0200 <yahb> boxscape:
2021-06-05 15:55:16 +0200 <boxscape> % test 45
2021-06-05 15:55:16 +0200 <yahb> boxscape: ; <interactive>:31:1: error:; * Ambiguous type variable `a0' arising from a use of `test'; prevents the constraint `(A a0)' from being solved.; Probable fix: use a type annotation to specify what `a0' should be.; These potential instance exist:; instance [safe] A Int -- Defined at <interactive>:30:10; * In the expression: test 45; In an equation for `it': it = test
2021-06-05 15:55:39 +0200 <boxscape> % sizeOf 45 -- so, uh, yeah, why don't I get that error message here?
2021-06-05 15:55:39 +0200 <yahb> boxscape: 8
2021-06-05 15:56:09 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-05 15:57:23 +0200zebrag(~chris@user/zebrag)
2021-06-05 15:59:06 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 264 seconds)
2021-06-05 16:02:27 +0200favonia(~favonia@user/favonia)
2021-06-05 16:03:50 +0200 <janus> maybe it is something lambdabot specific?
2021-06-05 16:04:11 +0200 <boxscape> janus no, it happens in ghci as well
2021-06-05 16:04:55 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-06-05 16:06:18 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 264 seconds)
2021-06-05 16:06:36 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-06-05 16:09:38 +0200 <ski> % test (45 :: Int)
2021-06-05 16:09:38 +0200 <yahb> ski: ()
2021-06-05 16:09:44 +0200eight(~eight@user/eight)
2021-06-05 16:10:32 +0200 <ski> % instance A Integer where test !_ = ()
2021-06-05 16:10:32 +0200 <yahb> ski:
2021-06-05 16:10:40 +0200pe200012(~pe200012@58.248.179.167) (Remote host closed the connection)
2021-06-05 16:10:46 +0200 <ski> % test (undefined :: Int)
2021-06-05 16:10:46 +0200 <yahb> ski: ()
2021-06-05 16:10:51 +0200 <ski> % test (undefined :: Integer)
2021-06-05 16:10:51 +0200 <yahb> ski: *** Exception: Prelude.undefined; CallStack (from HasCallStack):; error, called at libraries/base/GHC/Err.hs:75:14 in base:GHC.Err; undefined, called at <interactive>:37:7 in interactive:Ghci33
2021-06-05 16:11:07 +0200 <boxscape> % test 45
2021-06-05 16:11:07 +0200 <yahb> boxscape: ()
2021-06-05 16:11:18 +0200pe200012(~pe200012@120.236.162.25)
2021-06-05 16:11:27 +0200 <ski> well, in this case, i suppose it defaults to `Integer'
2021-06-05 16:11:36 +0200 <boxscape> yeah
2021-06-05 16:12:16 +0200 <ski> % class A a where {test :: a -> ()}; instance A Int where {test = const ()}; instance A Bool where {test !_ = ()}
2021-06-05 16:12:17 +0200 <yahb> ski:
2021-06-05 16:12:22 +0200 <ski> % test 45
2021-06-05 16:12:22 +0200 <yahb> ski: ; <interactive>:40:1: error:; * Ambiguous type variable `a0' arising from a use of `test'; prevents the constraint `(A a0)' from being solved.; Probable fix: use a type annotation to specify what `a0' should be.; These potential instances exist:; instance [safe] A Bool -- Defined at <interactive>:39:85; instance [safe] A Int -- Defined at <interactive>:39:45; * In
2021-06-05 16:12:50 +0200neceve(~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 244 seconds)
2021-06-05 16:13:07 +0200 <ski> satisfied ?
2021-06-05 16:13:36 +0200 <boxscape> ski erm, I'm still not sure why I don't get that error message with sizeOf
2021-06-05 16:13:47 +0200 <boxscape> % sizeOf (45 :: Integer)
2021-06-05 16:13:47 +0200 <yahb> boxscape: ; <interactive>:41:1: error:; * No instance for (Storable Integer) arising from a use of `sizeOf'; * In the expression: sizeOf (45 :: Integer); In an equation for `it': it = sizeOf (45 :: Integer)
2021-06-05 16:13:57 +0200 <boxscape> it's not defaulting to Integer, in that case, so..
2021-06-05 16:14:16 +0200grepcake(~artyom@77.234.209.96)
2021-06-05 16:14:24 +0200 <geekosaur> defaulting to Double?
2021-06-05 16:15:00 +0200 <janus> % sizeOf (45 :: _)
2021-06-05 16:15:00 +0200 <yahb> janus: ; <interactive>:42:15: error:; * Found type wildcard `_' standing for `Double'; To use the inferred type, enable PartialTypeSignatures; * In an expression type signature: _; In the first argument of `sizeOf', namely `(45 :: _)'; In the expression: sizeOf (45 :: _); * Relevant bindings include it :: Int (bound at <interactive>:42:1)
2021-06-05 16:15:08 +0200 <geekosaur> and ExtendedDefaultRules so it applies this to Storable instead of just the builtin ones
2021-06-05 16:15:08 +0200 <boxscape> ahh, okay
2021-06-05 16:15:22 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-05 16:15:23 +0200 <geekosaur> (iirc)
2021-06-05 16:15:38 +0200 <boxscape> % :set -XNoExtendedDefaultRules
2021-06-05 16:15:38 +0200 <yahb> boxscape:
2021-06-05 16:15:45 +0200 <boxscape> % sizeOf (45 :: _)
2021-06-05 16:15:45 +0200 <yahb> boxscape: ; <interactive>:45:1: error:; * Ambiguous type variable `a0' arising from a use of `sizeOf'; prevents the constraint `(Storable a0)' from being solved.; Probable fix: use a type annotation to specify what `a0' should be.; These potential instances exist:; instance Storable a => Storable (Complex a) -- Defined in `Data.Complex'; instance forall a k (b :: k). Storable
2021-06-05 16:15:53 +0200 <boxscape> yep, thanks geekosaur
2021-06-05 16:17:36 +0200grepcake(~artyom@77.234.209.96) (Client Quit)
2021-06-05 16:17:43 +0200safinaskar(~user@109.252.90.89)
2021-06-05 16:17:58 +0200 <safinaskar> is there some guide "how to design good haskell APIs"?
2021-06-05 16:18:49 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-05 16:19:48 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection)
2021-06-05 16:20:28 +0200 <janus> % default (Int)
2021-06-05 16:20:28 +0200 <yahb> janus:
2021-06-05 16:20:31 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-06-05 16:20:32 +0200FinnElijaGuest2629
2021-06-05 16:20:32 +0200finn_elijaFinnElija
2021-06-05 16:20:33 +0200 <janus> % sizeOf (45 :: _)
2021-06-05 16:20:33 +0200 <yahb> janus: ; <interactive>:48:1: error:; * Ambiguous type variable `a0' arising from a use of `sizeOf'; prevents the constraint `(Storable a0)' from being solved.; Probable fix: use a type annotation to specify what `a0' should be.; These potential instances exist:; instance Storable a => Storable (Complex a) -- Defined in `Data.Complex'; instance forall a k (b :: k). Storable
2021-06-05 16:20:56 +0200 <janus> % :set -XExtendedDefaultRules
2021-06-05 16:20:56 +0200 <yahb> janus:
2021-06-05 16:20:59 +0200 <janus> % sizeOf (45 :: _)
2021-06-05 16:20:59 +0200 <yahb> janus: ; <interactive>:50:15: error:; * Found type wildcard `_' standing for `Int'; To use the inferred type, enable PartialTypeSignatures; * In an expression type signature: _; In the first argument of `sizeOf', namely `(45 :: _)'; In the expression: sizeOf (45 :: _); * Relevant bindings include it :: Int (bound at <interactive>:50:1)
2021-06-05 16:21:14 +0200 <janus> oooh i did not know this default syntax :O
2021-06-05 16:21:14 +0200grepcake(~artyom@77.234.209.96)
2021-06-05 16:21:35 +0200lavaman(~lavaman@98.38.249.169)
2021-06-05 16:21:47 +0200favonia(~favonia@user/favonia) (Ping timeout: 252 seconds)
2021-06-05 16:22:11 +0200 <janus> safinaskar: i think Graninas has written a book that claims to answer this question. But there are varied opinions about it ;)
2021-06-05 16:22:39 +0200 <janus> % default _
2021-06-05 16:22:39 +0200 <yahb> janus: ; <interactive>:51:9: error: parse error on input `_'
2021-06-05 16:23:03 +0200 <boxscape> huh why does the _ in sizeOf (45 :: _) now stand for Int when it stood for double a few lines before that
2021-06-05 16:23:15 +0200 <boxscape> oh
2021-06-05 16:23:20 +0200 <boxscape> because you typed default (Int)
2021-06-05 16:23:27 +0200 <janus> right, i am a hax0r
2021-06-05 16:23:31 +0200 <boxscape> :)
2021-06-05 16:23:54 +0200favonia(~favonia@user/favonia)
2021-06-05 16:24:01 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8)
2021-06-05 16:25:11 +0200 <safinaskar> janus: thanks
2021-06-05 16:25:45 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 244 seconds)
2021-06-05 16:28:20 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 244 seconds)
2021-06-05 16:28:26 +0200renzhi(~xp@2607:fa49:6500:bc00::e7b)
2021-06-05 16:28:44 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
2021-06-05 16:31:26 +0200favonia(~favonia@user/favonia) (Ping timeout: 244 seconds)
2021-06-05 16:31:49 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-05 16:32:30 +0200ddellacosta(~ddellacos@86.106.143.183)
2021-06-05 16:35:55 +0200 <boxscape> % class A a where {test :: a -> ()}; instance A Int where {test = const ()}
2021-06-05 16:35:55 +0200 <yahb> boxscape:
2021-06-05 16:35:56 +0200 <boxscape> % test 45
2021-06-05 16:35:56 +0200 <yahb> boxscape: ; <interactive>:6:1: error:; * Ambiguous type variable `a0' arising from a use of `test'; prevents the constraint `(A a0)' from being solved.; Probable fix: use a type annotation to specify what `a0' should be.; These potential instance exist:; instance [safe] A Int -- Defined at <interactive>:5:45; * In the expression: test 45; In an equation for `it': it = test 45
2021-06-05 16:35:58 +0200 <boxscape> % class A a where {test :: a -> ()}; instance A Int where {test = const ()}; instance A Double where {test = const ()}
2021-06-05 16:35:58 +0200 <yahb> boxscape:
2021-06-05 16:36:00 +0200 <boxscape> % test 45
2021-06-05 16:36:00 +0200 <yahb> boxscape: ()
2021-06-05 16:36:10 +0200 <boxscape> it does seem strange to me that adding an instance makes things *less* ambiguous
2021-06-05 16:36:13 +0200 <boxscape> but I guess I can accept it
2021-06-05 16:36:49 +0200 <geekosaur> defaulting's a bit odd
2021-06-05 16:37:13 +0200 <geekosaur> the list of classes that can be defaulted through without ExtendedDefaultRules is also a bit arbitrary
2021-06-05 16:37:30 +0200ddellacosta(~ddellacos@86.106.143.183) (Ping timeout: 264 seconds)
2021-06-05 16:38:39 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-05 16:39:06 +0200 <boxscape> yeah, Num or any subclass of Num that's "defined in the Prelude or a standard library"
2021-06-05 16:39:32 +0200 <janus> standard library is more than just base?
2021-06-05 16:39:42 +0200 <boxscape> who knows, they don't say
2021-06-05 16:39:50 +0200 <boxscape> in the report, on that page
2021-06-05 16:41:00 +0200 <janus> ah, then it probably refers to the Haskell 2010 libraries : https://www.haskell.org/onlinereport/haskell2010/haskellpa2.html
2021-06-05 16:41:07 +0200 <boxscape> ah, right
2021-06-05 16:41:46 +0200mc47(~yecinem@89.246.239.190) (Remote host closed the connection)
2021-06-05 16:41:52 +0200favonia(~favonia@user/favonia)
2021-06-05 16:42:52 +0200UpstreamSalmon(uid12077@id-12077.stonehaven.irccloud.com)
2021-06-05 16:43:00 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-05 16:43:49 +0200curiousgay(~quassel@178.217.208.8)
2021-06-05 16:46:06 +0200grepcake(~artyom@77.234.209.96) (Quit: Konversation terminated!)
2021-06-05 16:46:50 +0200pritambaral(~pritam@user/pritambaral)
2021-06-05 16:47:22 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija)
2021-06-05 16:48:54 +0200imdoor(~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor)
2021-06-05 16:49:30 +0200pbrisbin(~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 245 seconds)
2021-06-05 16:50:06 +0200favonia(~favonia@user/favonia) (Ping timeout: 264 seconds)
2021-06-05 16:52:27 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-06-05 16:52:48 +0200favonia(~favonia@user/favonia)
2021-06-05 16:54:22 +0200Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com)
2021-06-05 16:54:55 +0200Guest2629(~finn_elij@user/finn-elija/x-0085643) (Quit: Guest2629)
2021-06-05 16:55:13 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-06-05 16:56:28 +0200marinelli(~marinelli@gateway/tor-sasl/marinelli)
2021-06-05 16:57:43 +0200neceve(~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130)
2021-06-05 16:59:33 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8)
2021-06-05 17:02:25 +0200AgentM(~agentm@pool-162-83-130-212.nycmny.fios.verizon.net)
2021-06-05 17:03:18 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds)
2021-06-05 17:06:33 +0200shriekingnoise(~shrieking@186.137.144.80) (Read error: Connection reset by peer)
2021-06-05 17:10:05 +0200ddellacosta(~ddellacos@86.106.143.100)
2021-06-05 17:10:23 +0200favonia(~favonia@user/favonia) (Ping timeout: 272 seconds)
2021-06-05 17:12:45 +0200epolanski(uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-05 17:14:33 +0200ddellacosta(~ddellacos@86.106.143.100) (Ping timeout: 268 seconds)
2021-06-05 17:15:35 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: Connection reset by peer)
2021-06-05 17:15:59 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-05 17:16:24 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 268 seconds)
2021-06-05 17:16:36 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-05 17:17:13 +0200 <systemfault> It may be obvious... but was wondering: Can monoids always be combined in parallel?
2021-06-05 17:17:16 +0200xff0x(~xff0x@2001:1a81:53bd:ad00:17e2:a38d:f46d:1b9f) (Ping timeout: 265 seconds)
2021-06-05 17:17:25 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 244 seconds)
2021-06-05 17:17:59 +0200xff0x(~xff0x@2001:1a81:53bd:ad00:82dd:e8fb:f0ad:2e66)
2021-06-05 17:18:29 +0200 <[exa]> systemfault: semigroups should guarantee that (a<>b)<>(c<>d) == a<>(b<>(c<>d)) right?
2021-06-05 17:18:40 +0200 <systemfault> Yeah, I believe so
2021-06-05 17:18:50 +0200 <[exa]> because lawful ones should be associative
2021-06-05 17:19:08 +0200derelict(~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com)
2021-06-05 17:19:12 +0200dixie(~dixie@real.wilbury.sk) (Ping timeout: 265 seconds)
2021-06-05 17:19:33 +0200dixie(~dixie@real.wilbury.sk)
2021-06-05 17:20:59 +0200 <sshine> systemfault, associativity should ensure that, yes
2021-06-05 17:21:26 +0200 <sshine> systemfault, so lawful Monoids :)
2021-06-05 17:21:35 +0200 <systemfault> Great :) Thank you
2021-06-05 17:22:12 +0200 <sshine> but does (==) guarantee structural equivalence?
2021-06-05 17:22:36 +0200favonia(~favonia@user/favonia)
2021-06-05 17:23:01 +0200 <sshine> e.g. I can think of certain caching data structures that may result in different non-normalized representations of the same value, but still yield equivalent... that's the only corner case I can think of.
2021-06-05 17:23:26 +0200 <systemfault> I'm glad that it's not an issue in my current case
2021-06-05 17:25:16 +0200 <ski> "but does (==) guarantee structural equivalence?" -- do you mean that internal representation is structurally the same ?
2021-06-05 17:25:20 +0200safinaskar(~user@109.252.90.89) ()
2021-06-05 17:26:11 +0200aerona(~aerona@2600:6c54:4600:f300:8166:afd5:9294:f1a6)
2021-06-05 17:26:14 +0200 <boxscape> note that the law in the Semigroup documentation doesn't mention (==), it says the law is "x <> (y <> z) = (x <> y) <> z"
2021-06-05 17:26:22 +0200 <boxscape> I guess it's a bit ambiguous what exactly = means here
2021-06-05 17:26:47 +0200 <monochrom> Data.Set.Set (==) does not use structural equivalence.
2021-06-05 17:26:49 +0200 <ski> observational equivalence, i suppose ?
2021-06-05 17:26:58 +0200 <[exa]> "preferably nothing very specific"
2021-06-05 17:27:10 +0200 <boxscape> ski i.e. equivalent wrt all functions exposed in the API for that type?
2021-06-05 17:27:42 +0200haltux(~haltux@a89-154-181-47.cpe.netcabo.pt)
2021-06-05 17:27:43 +0200 <monochrom> "=" is mathematical equality.
2021-06-05 17:27:59 +0200 <boxscape> monochrom that's still ambiguous :P
2021-06-05 17:28:21 +0200 <monochrom> I think it is actually beneficial to leave it open.
2021-06-05 17:28:41 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2021-06-05 17:29:27 +0200 <boxscape> Idris has VerifiedSemigroup which uses structural equality IIUC
2021-06-05 17:29:42 +0200 <boxscape> but also has a non-verified Semigroup interface
2021-06-05 17:29:47 +0200 <monochrom> With Data.Set.Set you can refine it to "same elements" or API-observational equality or anything that makes mathematical sense for the intended use cases of Data.Set and it's OK.
2021-06-05 17:29:53 +0200 <boxscape> er, I think, anyway
2021-06-05 17:30:59 +0200 <ski> i suppose Idris doesn't have quotient types (?)
2021-06-05 17:30:59 +0200 <monochrom> With IO's "return x >>= f = f x" you either need a formal semantics of IO to define "=" or you accept that it is left informal and just say "behaviourial equality".
2021-06-05 17:31:18 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Remote host closed the connection)
2021-06-05 17:32:44 +0200Core5474(~Core5474@2600:1700:7720:cf80:e124:f2c6:8838:3b4c)
2021-06-05 17:32:47 +0200 <boxscape> ski I believe that's right
2021-06-05 17:32:52 +0200 <ski> something like `observeRepresentation :: Set a -> IO (SetRepresentation a)' would still be okay, imho (although presumably of little use, in this specific case)
2021-06-05 17:34:56 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8)
2021-06-05 17:35:50 +0200chomwitt(~Pitsikoko@athedsl-20549.home.otenet.gr)
2021-06-05 17:37:26 +0200 <ski> .. i wonder how much sense it would make to have a monad `Indet', used to model multiple possible representations
2021-06-05 17:38:00 +0200leungbk(~user@2603-8000-1201-2dd2-dec4-9dba-549e-1771.res6.spectrum.com)
2021-06-05 17:39:21 +0200 <ski> so you would have `newtype Set a = MkSet (Indet (SetRepresentation a))', possibly, with `promiseEquivalentSolutions :: (Indet a -> b) -> (a -> b)'
2021-06-05 17:40:59 +0200 <ski> a value of type `Indet a' represents a non-empty set of `a's, where the implementation actually with just pick one element to compute. there'd also be `chooseIndet :: Indet a -> IO a'
2021-06-05 17:41:25 +0200 <ski> s/with just/will just/
2021-06-05 17:41:39 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com)
2021-06-05 17:42:51 +0200chomwitt(~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 245 seconds)
2021-06-05 17:43:01 +0200 <ski> (i wonder if there'd be any "interesting" interactions with nonstrictness)
2021-06-05 17:43:06 +0200ddellacosta(~ddellacos@89.46.62.123)
2021-06-05 17:43:30 +0200ddellaco_(~ddellacos@86.106.143.144)
2021-06-05 17:44:01 +0200bin_(~bin@user/bin/x-1583188)
2021-06-05 17:44:46 +0200_bin(~bin@user/bin/x-1583188) (Ping timeout: 268 seconds)
2021-06-05 17:45:26 +0200bontaq(~user@ool-18e47f8d.dyn.optonline.net)
2021-06-05 17:45:58 +0200henninb(~henninb@63-226-165-91.mpls.qwest.net) (Remote host closed the connection)
2021-06-05 17:46:18 +0200junkicide(~user@2a01:e0a:195:20c0:a95e:73ee:468d:e1b6)
2021-06-05 17:46:49 +0200 <junkicide> is there some value x in haskell such that x:l == l for any list l?
2021-06-05 17:47:12 +0200 <geekosaur> no
2021-06-05 17:47:30 +0200 <ski> a list could always be empty
2021-06-05 17:47:51 +0200ddellacosta(~ddellacos@89.46.62.123) (Ping timeout: 268 seconds)
2021-06-05 17:48:05 +0200 <janus> sounds like a homework question ;)
2021-06-05 17:48:07 +0200 <ski> (and `x:l' is never empty)
2021-06-05 17:48:18 +0200ddellaco_(~ddellacos@86.106.143.144) (Ping timeout: 264 seconds)
2021-06-05 17:49:09 +0200 <monochrom> I don't know whether you mean "(there is x such that ...) for any l" or "there is x such that (... for any l)".
2021-06-05 17:49:40 +0200 <junkicide> lol janus it's not a homework question, i thought something like that could be useful for a program i'm trying to write
2021-06-05 17:50:01 +0200 <boxscape> ski: or is it :P https://gitlab.haskell.org/ghc/ghc/-/issues/19917
2021-06-05 17:50:17 +0200 <boxscape> ski to be fair that's an optimization that makes it appear empty, it's not actually
2021-06-05 17:50:50 +0200 <monochrom> An error message that says "OK" :)
2021-06-05 17:51:11 +0200 <monochrom> A fire situation that says "this is fine" :)
2021-06-05 17:51:16 +0200 <boxscape> hah
2021-06-05 17:51:20 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: Connection reset by peer)
2021-06-05 17:51:35 +0200pe200012(~pe200012@120.236.162.25) (Ping timeout: 265 seconds)
2021-06-05 17:51:45 +0200 <[exa]> one loud way to report success. :D
2021-06-05 17:52:16 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-05 17:53:59 +0200mpt(~tom@p57a566f5.dip0.t-ipconnect.de)
2021-06-05 17:55:39 +0200monochrom(trebla@216.138.220.146) (Ping timeout: 244 seconds)
2021-06-05 17:58:50 +0200mpt(~tom@p57a566f5.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2021-06-05 18:01:31 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-05 18:03:02 +0200 <janus> junkicide: but if you know that List defines its own Eq instance and that (:) is the list constructor, then it can't be true... i just thought knowing that is very basic
2021-06-05 18:03:18 +0200 <janus> maybe i am missing some subtlety of your question
2021-06-05 18:04:43 +0200Bartosz(~textual@24.35.90.211)
2021-06-05 18:15:07 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-05 18:15:12 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-06-05 18:15:36 +0200AkechiShiro(~licht@user/akechishiro) (Ping timeout: 268 seconds)
2021-06-05 18:16:27 +0200lavaman(~lavaman@98.38.249.169)
2021-06-05 18:16:32 +0200AkechiShiro(~licht@user/akechishiro)
2021-06-05 18:17:18 +0200ddellacosta(~ddellacos@89.46.62.157)
2021-06-05 18:20:02 +0200dhil(~dhil@195.213.192.47) (Ping timeout: 252 seconds)
2021-06-05 18:21:41 +0200ddellacosta(~ddellacos@89.46.62.157) (Ping timeout: 252 seconds)
2021-06-05 18:22:42 +0200danidiaz(~ESDPC@137.101.155.105)
2021-06-05 18:26:31 +0200eggplant_(~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98)
2021-06-05 18:27:01 +0200maerwald(~maerwald@user/maerwald) (Ping timeout: 272 seconds)
2021-06-05 18:29:14 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 244 seconds)
2021-06-05 18:32:10 +0200leungbk(~user@2603-8000-1201-2dd2-dec4-9dba-549e-1771.res6.spectrum.com) (Remote host closed the connection)
2021-06-05 18:32:45 +0200leungbk(~user@cpe-142-129-149-172.socal.res.rr.com)
2021-06-05 18:35:02 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-05 18:35:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-06-05 18:35:45 +0200maerwald(~maerwald@mail.hasufell.de)
2021-06-05 18:36:53 +0200monochrom(~trebla@216.138.220.146)
2021-06-05 18:37:59 +0200arjun(~user@user/arjun)
2021-06-05 18:38:17 +0200 <arjun> am i missing something with documentation of hackage packages ? : P
2021-06-05 18:38:36 +0200 <arjun> by missing i mean, i really can't find any documentation : P
2021-06-05 18:39:20 +0200 <c_wraith> what package?
2021-06-05 18:39:29 +0200 <geekosaur> anything dependent on a C library only has documentation if it's been uploaded, for one
2021-06-05 18:39:30 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 245 seconds)
2021-06-05 18:41:01 +0200 <arjun> https://hackage.haskell.org/package/filepath ?
2021-06-05 18:41:52 +0200 <c_wraith> Docs look pretty good to me
2021-06-05 18:42:07 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-06-05 18:42:16 +0200 <c_wraith> The primary entry point to the documentation is the "Modules" section
2021-06-05 18:42:27 +0200 <geekosaur> looks documented to me, with the caveat that the top level module just reexports the platform version and therefore just has an indirection
2021-06-05 18:43:13 +0200 <c_wraith> and even that re-export behavior is documented on the top-level page
2021-06-05 18:44:48 +0200enzotib(~enzotib@user/enzotib) ()
2021-06-05 18:45:25 +0200 <arjun> c_wraith: do i click the index button there?
2021-06-05 18:45:50 +0200 <arjun> i am mostly looking for what types it has, what functions it has and how do i use those functions?
2021-06-05 18:45:53 +0200 <c_wraith> that will give you the index. that's great for finding stuff, but not the primary docs
2021-06-05 18:45:58 +0200 <c_wraith> click on a module name
2021-06-05 18:46:33 +0200 <arjun> https://hackage.haskell.org/package/filepath-1.4.2.1/docs/System-FilePath.html
2021-06-05 18:46:49 +0200 <arjun> looks like a re-export. so i clicked again
2021-06-05 18:47:01 +0200 <arjun> got me here:- https://hackage.haskell.org/package/filepath-1.4.2.1/docs/System-FilePath-Posix.html
2021-06-05 18:47:04 +0200 <c_wraith> the second sentence on that page is "Both System.FilePath.Posix and System.FilePath.Windows provide the same interface. See either for examples and a list of the available functions"
2021-06-05 18:47:25 +0200 <c_wraith> Like, as far as documentation goes, I'd say that's really important information
2021-06-05 18:47:25 +0200 <arjun> c_wraith: yea, i caught that
2021-06-05 18:47:27 +0200maerwald(~maerwald@mail.hasufell.de) (Changing host)
2021-06-05 18:47:28 +0200maerwald(~maerwald@user/maerwald)
2021-06-05 18:48:37 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-05 18:49:30 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 245 seconds)
2021-06-05 18:49:42 +0200hendursa1(~weechat@user/hendursaga) (Quit: hendursa1)
2021-06-05 18:50:18 +0200hendursaga(~weechat@user/hendursaga)
2021-06-05 18:50:28 +0200ddellacosta(~ddellacos@86.106.143.53)
2021-06-05 18:53:19 +0200 <Hanicef> is it common to use `do` a lot when writing IO-heavy code?
2021-06-05 18:53:27 +0200 <c_wraith> yes
2021-06-05 18:53:42 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-06-05 18:53:46 +0200 <Hanicef> ok, that's reassuring to hear
2021-06-05 18:54:30 +0200ddellacosta(~ddellacos@86.106.143.53) (Ping timeout: 245 seconds)
2021-06-05 18:54:43 +0200samhh(~samhh@90.252.97.14)
2021-06-05 18:54:54 +0200 <maerwald> I >>= only >>= use >>= monad >>= bind
2021-06-05 18:55:03 +0200 <maerwald> because >>= it's >>= more >>= readable
2021-06-05 18:55:06 +0200 <yushyin> the alternative would be to use a lot of >>= and hardly anyone wants to do that, right?
2021-06-05 18:55:14 +0200boxscape(~boxscape@user/boxscape) (Ping timeout: 252 seconds)
2021-06-05 18:55:15 +0200 <yushyin> ok maerwald wants to :D
2021-06-05 18:55:35 +0200 <maerwald> yushyin: I have key macros for >>= and =<< :p
2021-06-05 18:55:39 +0200 <maerwald> so I don't mind
2021-06-05 18:56:03 +0200 <Hanicef> yushyin: yeah, that's what i was worried about; it's useful at times, but when there are +8 functions chained together and not always taking the result as the last argument, it becomes kinda messy and not very readable
2021-06-05 18:57:43 +0200motte(~weechat@82.131.67.98.cable.starman.ee)
2021-06-05 18:59:43 +0200hexo(~hexo@user/hexo) (Ping timeout: 244 seconds)
2021-06-05 18:59:44 +0200neceve(~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 265 seconds)
2021-06-05 19:00:08 +0200 <motte> hi, how can i join two aeson arrays together? the arrays are non-homogeneous, thus i can't just join them together before calling toJSON
2021-06-05 19:00:34 +0200ddellacosta(~ddellacos@89.46.62.43)
2021-06-05 19:02:24 +0200Erutuon(~Erutuon@user/erutuon)
2021-06-05 19:03:04 +0200ddellaco_(~ddellacos@89.46.62.116)
2021-06-05 19:04:21 +0200hexo(~hexo@user/hexo)
2021-06-05 19:04:34 +0200Sose(~username@mobile-access-6df047-172.dhcp.inet.fi)
2021-06-05 19:05:15 +0200rk04(~rk04@user/rajk)
2021-06-05 19:05:28 +0200Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-133-135.cust.tzulo.com)
2021-06-05 19:06:18 +0200ddellacosta(~ddellacos@89.46.62.43) (Ping timeout: 264 seconds)
2021-06-05 19:06:41 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-05 19:09:29 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1)
2021-06-05 19:11:39 +0200emliunix(~emliunix@103.138.74.59)
2021-06-05 19:12:30 +0200ddellaco_(~ddellacos@89.46.62.116) (Read error: Connection reset by peer)
2021-06-05 19:13:04 +0200ddellacosta(~ddellacos@89.46.62.116)
2021-06-05 19:13:08 +0200Bartosz(~textual@24.35.90.211)
2021-06-05 19:15:52 +0200boxscape(~boxscape@user/boxscape)
2021-06-05 19:18:00 +0200 <boxscape> motte what are the types before you convert it to JSON?
2021-06-05 19:18:25 +0200Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving)
2021-06-05 19:18:53 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-06-05 19:21:14 +0200samhh(~samhh@90.252.97.14) (Quit: samhh)
2021-06-05 19:21:46 +0200 <motte> [Tree a], and [b], where a and b are my own defined data types
2021-06-05 19:22:50 +0200 <motte> paste: http://ix.io/3oRf
2021-06-05 19:22:55 +0200aplainze1akind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-06-05 19:23:27 +0200 <motte> essentially i'd like to do "children" .= children ++ targets
2021-06-05 19:23:39 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-06-05 19:23:51 +0200anderson(~ande@134.209.221.71)
2021-06-05 19:24:06 +0200 <boxscape> motte I'm not sure if this is the best way, but you could make a type `data HasJSON = forall a . HasJSON (ToJSON a => a)`, write `map HasJSON xs ++ HasJSON ys`, then you just need to make a ToJSON instance for this type that uses the ToJSON instance of a
2021-06-05 19:24:16 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-06-05 19:25:07 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-06-05 19:25:11 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-05 19:25:19 +0200 <motte> thanks, i'll try it out
2021-06-05 19:25:50 +0200 <ski> boxscape : did you mean `data HasJSON = forall a. ToJSON a => HasJSON a' ?
2021-06-05 19:26:15 +0200 <boxscape> ski erm, yes, I suppose I did
2021-06-05 19:26:19 +0200 <boxscape> ^ motte
2021-06-05 19:26:19 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-05 19:28:07 +0200ddellaco_(~ddellacos@86.106.121.196)
2021-06-05 19:30:06 +0200 <ski> i guess if one wanted `FromJSON HasJSON' too, that'd be harder
2021-06-05 19:30:59 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 252 seconds)
2021-06-05 19:31:10 +0200 <motte> yeah i thought of it a little bit and i think i need FromJSON too, so maybe i'll just try to make the types homogeneous
2021-06-05 19:31:37 +0200wonko(~wjc@62.115.229.50)
2021-06-05 19:31:56 +0200Guest60(~Guest60@187.83.249.216.dyn.smithville.net)
2021-06-05 19:32:47 +0200econo(uid147250@user/econo)
2021-06-05 19:32:50 +0200ddellaco_(~ddellacos@86.106.121.196) (Ping timeout: 245 seconds)
2021-06-05 19:34:20 +0200 <ski> could the JSON representation of a tree look the same as the one for a target ?
2021-06-05 19:36:11 +0200dhil(~dhil@195.213.192.47)
2021-06-05 19:38:47 +0200 <ski> i guess maybe you could make a `data TreeOrTarget = FromTree (Tree GroupWithTargets) | From Target', and make `ToJSON' and `FromJSON' instances for that, then in `FromJSON (Tree GroupWithTargets)' you could grab a `[TreeOrTarget]', and then split that into `([Tree GroupWithTargets],[Target])'
2021-06-05 19:41:24 +0200 <arjun> can i make an absolute path from a relative FilePath like sourcePath = "../source/contents/"
2021-06-05 19:41:42 +0200 <arjun> how can i *
2021-06-05 19:42:09 +0200 <monochrom> If you also know the current working directory, you can compute it, or just do concatenation.
2021-06-05 19:42:09 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-05 19:42:24 +0200 <arjun> System.Directory (makeAblsoulte) introduces a ".." in the path
2021-06-05 19:42:34 +0200Guest60(~Guest60@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2021-06-05 19:42:58 +0200 <monochrom> probably because the author just does concatenation. I mean why bother.
2021-06-05 19:43:04 +0200 <arjun> monochrom: it's outside my currentDir. but sure, i can get my cd
2021-06-05 19:44:16 +0200 <arjun> like i have to go a level up and 2 levels down
2021-06-05 19:46:52 +0200reumeth(~reumeth@user/reumeth) (Ping timeout: 268 seconds)
2021-06-05 19:48:36 +0200rk04(~rk04@user/rajk) (Quit: rk04)
2021-06-05 19:48:53 +0200reumeth(~reumeth@user/reumeth)
2021-06-05 19:48:57 +0200 <arjun> monochrom: nvm, found it.
2021-06-05 19:51:33 +0200safinaskar(~user@109.252.90.89)
2021-06-05 19:52:23 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-05 19:52:56 +0200reumeth(~reumeth@user/reumeth) (Ping timeout: 244 seconds)
2021-06-05 19:53:02 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-05 19:53:58 +0200Bartosz(~textual@24.35.90.211)
2021-06-05 19:54:32 +0200 <safinaskar> consider this code: do { c <- lookup a b; lookup d c }. is this possible to write it similar to this: lookup d <<lookup a b>>. Here << >> are hypotetical brackets, which will simplify writing monadic code. Maybe such brackets already exists? Maybe arrow bananas are exactly such brackets?!
2021-06-05 19:55:08 +0200 <ski> lookup d =<< lookup a b
2021-06-05 19:55:38 +0200ddellacosta(~ddellacos@89.46.62.116) (Remote host closed the connection)
2021-06-05 19:55:47 +0200ddellacosta(~ddellacos@89.46.62.116)
2021-06-05 19:55:52 +0200 <safinaskar> ski: yes, but what to do in more complicated cases? i will provide example
2021-06-05 19:56:14 +0200 <safinaskar> let's assume safeDiv is safe division with type Int -> Int -> Maybe Int
2021-06-05 19:56:15 +0200ddellacosta(~ddellacos@89.46.62.116) (Remote host closed the connection)
2021-06-05 19:56:27 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-06-05 19:56:42 +0200 <ski> i have a (vaporware) syntax (with type system rules, and translation rules), including such brackets
2021-06-05 19:56:44 +0200ddellacosta(~ddellacos@89.46.62.116)
2021-06-05 19:56:55 +0200 <safinaskar> now consider this: do { x <- (a + b) `safeDiv` (c + d); x * y + z `safeDiv` 2; }
2021-06-05 19:57:22 +0200 <boxscape> vaporwave syntax?
2021-06-05 19:57:40 +0200 <boxscape> oh wait
2021-06-05 19:57:44 +0200 <boxscape> I misread, lol
2021-06-05 19:57:51 +0200skiglances around nervously
2021-06-05 19:58:07 +0200 <boxscape> funnily I was thinking "there is a word that sounds similar that would fit here, but I can't think of it"
2021-06-05 19:58:17 +0200 <monochrom> haha
2021-06-05 19:58:46 +0200 <safinaskar> are arrow bananas (| ... |) ( https://downloads.haskell.org/~ghc/8.10.2/docs/html/users_guide/glasgow_exts.html#arrow-notation ) what i need?!
2021-06-05 19:58:53 +0200 <c_wraith> now I want syntax with lots of neon pink and blue
2021-06-05 20:00:09 +0200fabfianda(~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) (Ping timeout: 265 seconds)
2021-06-05 20:00:15 +0200 <justsomeguy> I want syntax highlighting that makes parenthesis taller when they enclose another pair of parenthesis.
2021-06-05 20:00:57 +0200 <justsomeguy> Sorry, that was random.
2021-06-05 20:01:10 +0200ddellacosta(~ddellacos@89.46.62.116) (Ping timeout: 245 seconds)
2021-06-05 20:01:40 +0200 <monochrom> No, that's a natural desire.
2021-06-05 20:02:01 +0200 <monochrom> Random would be "I want parenthesis height to be random" :D
2021-06-05 20:02:10 +0200 <justsomeguy> :D
2021-06-05 20:02:54 +0200 <mrmonday> the kerning should be just a little bit different at each level
2021-06-05 20:03:09 +0200 <monochrom> Well, I wouldn't hold my breath for it. You can't even talk programmers out of fixed-width fonts, so nevermind variable heights.
2021-06-05 20:03:29 +0200 <safinaskar> ski: please, show that your software
2021-06-05 20:05:39 +0200 <ski> ⌜ ⟨ ⌞ (a + b) `safeDiv` (c + d) ⌟ * y + z `safeDiv` 2 ⟩ ⌝
2021-06-05 20:05:59 +0200 <ski> alternatively
2021-06-05 20:06:20 +0200 <ski> ⌜ ⟨ ⟨ (a + b) `safeDiv` (c + d) ⟩ * y + z `safeDiv` 2 ⟩ ⌝
2021-06-05 20:07:14 +0200ddellacosta(~ddellacos@89.46.62.209)
2021-06-05 20:07:26 +0200 <ski> (innermost unquotes can be replaced by "splices")
2021-06-05 20:07:56 +0200 <safinaskar> ski: does actual tool exist, which accept such syntax?
2021-06-05 20:09:19 +0200ddellaco_(~ddellacos@89.45.224.79)
2021-06-05 20:09:26 +0200Sgeo(~Sgeo@user/sgeo)
2021-06-05 20:09:57 +0200pierrot(~pi@user/pierrot)
2021-06-05 20:10:19 +0200 <ski> no (see "vaporware")
2021-06-05 20:12:09 +0200ddellacosta(~ddellacos@89.46.62.209) (Ping timeout: 268 seconds)
2021-06-05 20:12:50 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds)
2021-06-05 20:13:11 +0200danidiaz1(~ESDPC@137.101.155.105)
2021-06-05 20:14:58 +0200 <safinaskar> ski: ok :(
2021-06-05 20:15:19 +0200danidiaz(~ESDPC@137.101.155.105) (Ping timeout: 272 seconds)
2021-06-05 20:18:56 +0200ddellaco_(~ddellacos@89.45.224.79) (Ping timeout: 268 seconds)
2021-06-05 20:19:19 +0200ddellacosta(~ddellacos@89.46.62.183)
2021-06-05 20:19:59 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-06-05 20:21:01 +0200ddellaco_(~ddellacos@89.45.224.222)
2021-06-05 20:23:23 +0200ddellaco_(~ddellacos@89.45.224.222) (Remote host closed the connection)
2021-06-05 20:23:41 +0200ddellaco_(~ddellacos@89.45.224.222)
2021-06-05 20:24:10 +0200GuerrillaMonkey(~Jeanne-Ka@static-198-54-128-61.cust.tzulo.com)
2021-06-05 20:24:18 +0200ddellacosta(~ddellacos@89.46.62.183) (Ping timeout: 264 seconds)
2021-06-05 20:27:50 +0200Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-133-135.cust.tzulo.com) (Ping timeout: 245 seconds)
2021-06-05 20:30:27 +0200UpstreamSalmon(uid12077@id-12077.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-05 20:30:31 +0200arjun(~user@user/arjun) (Ping timeout: 272 seconds)
2021-06-05 20:30:36 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 265 seconds)
2021-06-05 20:32:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-05 20:33:54 +0200 <ski> (and i'm pretty sure those banana brackets are entirely unrelated to what you wanted)
2021-06-05 20:34:05 +0200ddellaco_(~ddellacos@89.45.224.222) (Ping timeout: 245 seconds)
2021-06-05 20:34:52 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-05 20:35:36 +0200ddellacosta(~ddellacos@89.45.224.222)
2021-06-05 20:36:51 +0200leungbk(~user@cpe-142-129-149-172.socal.res.rr.com) (Ping timeout: 272 seconds)
2021-06-05 20:40:20 +0200ddellacosta(~ddellacos@89.45.224.222) (Ping timeout: 245 seconds)
2021-06-05 20:41:49 +0200v01d4lph4(~v01d4lph4@122.160.65.250)
2021-06-05 20:41:49 +0200v01d4lph4(~v01d4lph4@122.160.65.250) (Changing host)
2021-06-05 20:41:49 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4)
2021-06-05 20:42:11 +0200v01d4lph4(~v01d4lph4@user/v01d4lph4) (Read error: Connection reset by peer)
2021-06-05 20:42:43 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-06-05 20:42:50 +0200ddellacosta(~ddellacos@89.46.62.25)
2021-06-05 20:43:09 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-06-05 20:43:53 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-06-05 20:44:19 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-06-05 20:45:09 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-06-05 20:46:51 +0200chexum(~chexum@2a02:a03f:62f9:3f00:6b71:476f:e71b:80b) (Quit: -)
2021-06-05 20:47:28 +0200chexum(~chexum@2a02:a03f:62f9:3f00:6b71:476f:e71b:80b)
2021-06-05 20:48:06 +0200eggplant_(~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection)
2021-06-05 20:48:53 +0200ddellaco_(~ddellacos@86.106.143.53)
2021-06-05 20:48:57 +0200Guest33(~Guest33@d24-141-46-200.home.cgocable.net)
2021-06-05 20:49:32 +0200 <Guest33> Hi guys, I'm stuck with a problem and I need some help if anyone can give me some direction.
2021-06-05 20:50:22 +0200 <Guest33> How would I remove the 1 in [1,2] from the following [(Node {getNodeID = 0, getNodeVal = 'A'},[1,2]),(Node {getNodeID = 2, getNodeVal = 'C'},[1,2])]
2021-06-05 20:50:50 +0200 <Guest33> and return the modified list
2021-06-05 20:51:10 +0200ddellacosta(~ddellacos@89.46.62.25) (Ping timeout: 245 seconds)
2021-06-05 20:51:25 +0200malvo(~malvo@malvo.org) (Ping timeout: 272 seconds)
2021-06-05 20:51:31 +0200 <boxscape> i.e, remove it in both elements and get [(Node {getNodeID = 0, getNodeVal = 'A'},[1]),(Node {getNodeID = 2, getNodeVal = 'C'},[1])]?
2021-06-05 20:51:39 +0200 <boxscape> err
2021-06-05 20:51:44 +0200chexum(~chexum@2a02:a03f:62f9:3f00:6b71:476f:e71b:80b) (Client Quit)
2021-06-05 20:51:48 +0200 <boxscape> [(Node {getNodeID = 0, getNodeVal = 'A'},[2]),(Node {getNodeID = 2, getNodeVal = 'C'},[2])]?
2021-06-05 20:51:51 +0200 <boxscape> is that the goal?
2021-06-05 20:51:55 +0200 <Guest33> no get [2] ya
2021-06-05 20:52:05 +0200 <boxscape> are you familiar with fmap?
2021-06-05 20:52:21 +0200chexum(~chexum@2a02:a03f:62f9:3f00:6b71:476f:e71b:80b)
2021-06-05 20:52:37 +0200 <Guest33> I was playing around with it but it keeps giving me [[2]] instead of the modified list (sorry i'm very new to this)
2021-06-05 20:53:25 +0200 <boxscape> do you remember what you were writing that gave [[2]]?
2021-06-05 20:54:41 +0200chexum(~chexum@2a02:a03f:62f9:3f00:6b71:476f:e71b:80b) (Client Quit)
2021-06-05 20:54:54 +0200ddellacosta(~ddellacos@107.182.237.15)
2021-06-05 20:55:00 +0200 <Guest33> my bad that was for another function where I was inserting an edge.
2021-06-05 20:55:10 +0200 <Guest33> fmap (\x -> snd(x) ++ [3]) (filter (\n -> getNodeID (fst (n)) == 0 ) exGraph)
2021-06-05 20:55:18 +0200 <Guest33> gives [[1,2,3]]
2021-06-05 20:55:36 +0200 <Guest33> but I want [(Node {getNodeID = 0, getNodeVal = 'A'},[1,2,3]),(Node {getNodeID = 2, getNodeVal = 'C'},[1])]
2021-06-05 20:56:00 +0200Scotty_Trees(~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving)
2021-06-05 20:56:32 +0200 <Guest33> I guess if I can figure out any one of them I can get both :D
2021-06-05 20:56:42 +0200 <boxscape> hm so you want to append 3 to the list in the first element of the outer list and remove the 2 from the second one?
2021-06-05 20:56:50 +0200_73(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-06-05 20:57:29 +0200 <Guest33> just append 3 to the list in the first element is fine for now
2021-06-05 20:57:43 +0200 <boxscape> will the outer list always have two elements?
2021-06-05 20:59:05 +0200ddellacosta(~ddellacos@107.182.237.15) (Ping timeout: 245 seconds)
2021-06-05 20:59:11 +0200 <Guest33> no it can change vary but (filter (\n -> getNodeID (fst (n)) == 0 ) exGraph) .. the == 0 make sure I choose the element with nodeID = 0in the outer list
2021-06-05 20:59:42 +0200 <boxscape> ah, hm
2021-06-05 21:00:57 +0200 <_73> I am trying to figure out how to express a typeclass for memory. I have different Memory types that are essentially data structures holding key value pairs that I read and write. I am trying to figure out how to abstract out this pattern. I am thinking that multi-param-typeclasses would be useful. The reason I thought to use multi-param-typeclasses is that they could allow me to restrict the type of the arguments to the typeclass
2021-06-05 21:00:57 +0200 <_73> functions so they allign with the types of the keys and values. I would like help trying to figure what it is that I need here: http://dpaste.com/CKN26MCE3
2021-06-05 21:01:08 +0200 <boxscape> you can map over the list and inside the map function make sure you only change the element that is 0, i.e. `map (\(Node id val, xs)-> Node id (if id /= 0 then val else <a modified version of xs>))`, Guest33
2021-06-05 21:01:35 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-06-05 21:01:36 +0200 <boxscape> er, that should be `if id /= 0 then xs else <a modified version of xs>`
2021-06-05 21:01:36 +0200 <Guest33> Let me try. Thank you in advance!!
2021-06-05 21:02:08 +0200reumeth(~reumeth@user/reumeth)
2021-06-05 21:02:09 +0200 <_73> I am starting to realize that my memory types, (like MyMemory) are really just type aliases. Does this suggest I could abstract my types further somehow?
2021-06-05 21:04:02 +0200 <boxscape> Guest33 actually I still got it wrong: map (\(Node id val, xs)-> (Node id val, (if id /= 0 then val else <a modified version of xs>)))
2021-06-05 21:04:20 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-05 21:04:26 +0200 <boxscape> nope, now I forgot to apply the first correction, the `val` in the if should be `id` :)
2021-06-05 21:04:38 +0200 <boxscape> err, no, it should be xs
2021-06-05 21:06:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-06-05 21:07:51 +0200 <boxscape> _73 looks like you need instance Memory MyMemory Integer String where
2021-06-05 21:08:47 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-05 21:08:49 +0200Bartosz(~textual@24.35.90.211)
2021-06-05 21:09:37 +0200bollu(~bollu@139.59.46.74) (Quit: Ping timeout (120 seconds))
2021-06-05 21:09:45 +0200 <Guest33> boxscape so I did map (\(Node id val, xs) -> if id /= 0 then xs else xs ++ [3]) exGraph and it gives me [[1,2,3],[],[1,2]] where exGraph = [(Node {getNodeID = 0, getNodeVal = 'A'},[1,2]),(Node {getNodeID = 1, getNodeVal = 'B'},[]),(Node {getNodeID = 2, getNodeVal = 'C'},[1,2])]
2021-06-05 21:09:53 +0200bollu(~bollu@139.59.46.74)
2021-06-05 21:10:02 +0200chexum(~chexum@gateway/tor-sasl/chexum)
2021-06-05 21:10:10 +0200 <Guest33> I wanted [(Node {getNodeID = 0, getNodeVal = 'A'},[1,2,3]),(Node {getNodeID = 1, getNodeVal = 'B'},[]),(Node {getNodeID = 2, getNodeVal = 'C'},[1,2])]
2021-06-05 21:10:13 +0200fendor(~fendor@91.141.0.144.wireless.dyn.drei.com) (Remote host closed the connection)
2021-06-05 21:10:53 +0200 <Guest33> basically it's working but not giving me the first modified list but the inner list
2021-06-05 21:11:01 +0200 <boxscape> Guest33 so, in the body of the lambda expression you only have the if statement, you're not returning the actual node. You can write `\(Node id val, xs) -> (Node id val, if id /= 0 then xs else xs ++ [3])`, or, perhaps slightly better, \(node@(Node id val), xs) -> (node, if id /= 0 then xs else xs ++ [3])
2021-06-05 21:11:26 +0200 <_73> boxscape: Illegel instance declaration for 'Memory MyMemory Integer String' ... my question is more about if what I am doing makes sense, rather than how to get this to actually work with MultiParamTypeClasses. I feel like what I am doing is slightly missing the point somehow.
2021-06-05 21:12:30 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 244 seconds)
2021-06-05 21:13:36 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-05 21:13:47 +0200ddellacosta(~ddellacos@86.106.121.100)
2021-06-05 21:14:02 +0200 <Guest33> OMG you are actully a god boxcape
2021-06-05 21:14:04 +0200 <Guest33> thank you!!!!!!!!!!!!!!!!
2021-06-05 21:14:11 +0200 <boxscape> you're welcome :)
2021-06-05 21:15:03 +0200 <_73> boxscape: I was able to get it to work by adding FlexibleInstances
2021-06-05 21:15:38 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-05 21:15:43 +0200 <boxscape> _73 it seems reasonable to me. A couple questions are 1. If you need the MyMemory type at all or if you can just directly make an instance for (Map.Map Integer String) or even (Map.Map k v) for any types k and v, and 2. perhaps your class would benefit from a functional dependency `class Memory mem k v | mem -> k, mem -> v where` to tell ghc that
2021-06-05 21:15:43 +0200 <boxscape> mem uniquely determines k and v, which can help with type inference
2021-06-05 21:15:50 +0200lavaman(~lavaman@98.38.249.169)
2021-06-05 21:16:22 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98)
2021-06-05 21:18:27 +0200ddellacosta(~ddellacos@86.106.121.100) (Ping timeout: 265 seconds)
2021-06-05 21:18:27 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 265 seconds)
2021-06-05 21:18:58 +0200 <_73> ok I will go with this until something goes wrong. I have spent some time reading about functional dependencies, and I do recall that problems can arise with erroneous programs passing the typechecker with just MultiParamTypeClasses. I was never able to mentally figure out what is meant by `uniquely determines` though.
2021-06-05 21:20:36 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2021-06-05 21:20:36 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-06-05 21:20:40 +0200 <boxscape> if you have a `class C a b | a -> b`, you can't have two instances `instance C String A` and `instance C String B` if A and B are different. That is all that is meant by "a uniquely determines b`. So if ghc sees that the first parameter is String, it immediately knows what the second parameter must be, since there can only be one such instance
2021-06-05 21:20:52 +0200MQ-17J(~MQ-17J@8.21.10.116)
2021-06-05 21:23:19 +0200 <_73> boxscape: So with your suggestion I couldn't have both `MyMemory Integer String` and `MyMemory Float Double`?
2021-06-05 21:23:26 +0200fendor(~fendor@91.141.0.144.wireless.dyn.drei.com)
2021-06-05 21:23:51 +0200 <boxscape> right
2021-06-05 21:23:56 +0200 <_73> couldn't have Memory instances for both those types I should say
2021-06-05 21:24:13 +0200 <boxscape> you can
2021-06-05 21:24:16 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-05 21:24:21 +0200sheepduck(~sheepduck@2607:fea8:2a60:b700::8a94) (Remote host closed the connection)
2021-06-05 21:24:23 +0200 <boxscape> but it can't be that both use MyMemoty
2021-06-05 21:24:26 +0200 <boxscape> s/t/s
2021-06-05 21:24:29 +0200 <boxscape> err
2021-06-05 21:24:30 +0200 <boxscape> s/t/r
2021-06-05 21:25:13 +0200 <boxscape> oh, sorry, that's what you meant anyway
2021-06-05 21:26:12 +0200sheepduck(~sheepduck@2607:fea8:2a60:b700::8a94)
2021-06-05 21:26:21 +0200 <_73> I understand. I am going to revisit functional dependencies now. thanks
2021-06-05 21:27:41 +0200pavonia(~user@user/siracusa)
2021-06-05 21:29:02 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 244 seconds)
2021-06-05 21:30:27 +0200ddellacosta(~ddellacos@86.106.143.144)
2021-06-05 21:30:39 +0200xff0x(~xff0x@2001:1a81:53bd:ad00:82dd:e8fb:f0ad:2e66) (Quit: xff0x)
2021-06-05 21:31:02 +0200ddellac__(~ddellacos@86.106.121.57)
2021-06-05 21:33:54 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-05 21:34:47 +0200ddellaco_(~ddellacos@86.106.143.53) (Ping timeout: 268 seconds)
2021-06-05 21:35:01 +0200 <boxscape> are the old tunes logs saved anywhere else? the site seems to be "down" (asking for username and password, http://tunes.org/~nef/logs/haskell/?C=M;O=D )
2021-06-05 21:35:08 +0200ddellac__(~ddellacos@86.106.121.57) (Read error: Connection reset by peer)
2021-06-05 21:36:35 +0200MQ-17J(~MQ-17J@8.21.10.116) (Ping timeout: 245 seconds)
2021-06-05 21:37:47 +0200xff0x(~xff0x@2001:1a81:53bd:ad00:cace:1aaf:4d66:6b7f)
2021-06-05 21:38:44 +0200Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-06-05 21:42:37 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1)
2021-06-05 21:45:48 +0200malvo(~malvo@malvo.org)
2021-06-05 21:46:32 +0200Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com)
2021-06-05 21:46:35 +0200Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-06-05 21:46:35 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 245 seconds)
2021-06-05 21:46:52 +0200sheepduck(~sheepduck@2607:fea8:2a60:b700::8a94) (Remote host closed the connection)
2021-06-05 21:46:53 +0200GuerrillaMonkey(~Jeanne-Ka@static-198-54-128-61.cust.tzulo.com) (Quit: Leaving)
2021-06-05 21:47:02 +0200Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com)
2021-06-05 21:47:03 +0200Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-128-61.cust.tzulo.com)
2021-06-05 21:47:53 +0200malvo(~malvo@malvo.org) (Remote host closed the connection)
2021-06-05 21:48:00 +0200sheepduck(~sheepduck@2607:fea8:2a60:b700::8a94)
2021-06-05 21:48:06 +0200malvo(~malvo@malvo.org)
2021-06-05 21:48:33 +0200malvo(~malvo@malvo.org) (Remote host closed the connection)
2021-06-05 21:48:59 +0200malvo(~malvo@malvo.org)
2021-06-05 21:49:36 +0200river(~river@tilde.team/user/river)
2021-06-05 21:52:13 +0200reumeth(~reumeth@user/reumeth) (Ping timeout: 272 seconds)
2021-06-05 21:57:00 +0200ikex(~ash@user/ikex) (Ping timeout: 245 seconds)
2021-06-05 21:57:05 +0200ddellacosta(~ddellacos@86.106.143.144) (Remote host closed the connection)
2021-06-05 21:58:25 +0200safinaskar(~user@109.252.90.89) ()
2021-06-05 21:59:12 +0200ikex(~ash@user/ikex)
2021-06-05 22:01:24 +0200kubes(~kubes@188.120.84.109)
2021-06-05 22:01:57 +0200azeem(~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 265 seconds)
2021-06-05 22:02:43 +0200kubes(~kubes@188.120.84.109) (Client Quit)
2021-06-05 22:02:55 +0200kubes(~kubes@188.120.84.109)
2021-06-05 22:05:30 +0200kubes(~kubes@188.120.84.109) (Client Quit)
2021-06-05 22:05:42 +0200juhp(~juhp@128.106.188.199) (Ping timeout: 264 seconds)
2021-06-05 22:06:25 +0200azeem(~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
2021-06-05 22:06:35 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-05 22:07:38 +0200juhp(~juhp@128.106.188.199)
2021-06-05 22:08:34 +0200dkeohane(~dkeohane@24.224.118.138)
2021-06-05 22:10:00 +0200emliunix(~emliunix@103.138.74.59) (Remote host closed the connection)
2021-06-05 22:10:17 +0200emliunix(~emliunix@103.138.74.59)
2021-06-05 22:11:13 +0200ddellacosta(~ddellacos@86.106.121.209)
2021-06-05 22:11:40 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-05 22:12:28 +0200Heffalump(~ganesh@urchin.earth.li)
2021-06-05 22:12:34 +0200Heffalump(~ganesh@urchin.earth.li) ()
2021-06-05 22:12:35 +0200pritambaral(~pritam@user/pritambaral) (Ping timeout: 265 seconds)
2021-06-05 22:13:09 +0200Heffalump(~ganesh@urchin.earth.li)
2021-06-05 22:13:26 +0200Heffalump(~ganesh@urchin.earth.li) ()
2021-06-05 22:17:54 +0200mc47(~yecinem@89.246.239.190)
2021-06-05 22:19:28 +0200ddellacosta(~ddellacos@86.106.121.209) (Remote host closed the connection)
2021-06-05 22:19:38 +0200ddellacosta(~ddellacos@86.106.121.209)
2021-06-05 22:20:58 +0200ddellaco_(~ddellacos@86.106.121.170)
2021-06-05 22:21:56 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-05 22:24:05 +0200ddellacosta(~ddellacos@86.106.121.209) (Ping timeout: 245 seconds)
2021-06-05 22:24:53 +0200 <hololeap> > So with your suggestion I couldn't have both `MyMemory Integer String` and `MyMemory Float Double`? -- No, having both of those would be fine, but you couldn't have, for instance, `MyMemory Integer String` and `MyMemory Integer Float`, since Integer uniquely determines what b will be. it says that if `a` is `Integer` then we know what `b` is since there can only be one instance for `a ~ Integer`
2021-06-05 22:24:54 +0200 <lambdabot> <hint>:1:56: error: parse error on input ‘Integer’
2021-06-05 22:27:25 +0200sayola(~vekto@dslc-082-082-145-205.pools.arcor-ip.net) (Ping timeout: 245 seconds)
2021-06-05 22:27:52 +0200 <boxscape> hololeap my original suggestion was having both mem -> k and mem -> v, so in `instance Memory MyMemory Integer String`, MyMemory would determine both Integer and String
2021-06-05 22:28:51 +0200 <hololeap> ok, my bad
2021-06-05 22:30:17 +0200ddellaco_(~ddellacos@86.106.121.170) (Remote host closed the connection)
2021-06-05 22:30:29 +0200Bartosz(~textual@24.35.90.211)
2021-06-05 22:31:10 +0200dkeohane(~dkeohane@24.224.118.138) (Ping timeout: 245 seconds)
2021-06-05 22:31:29 +0200sayola(~vekto@dslc-082-082-145-205.pools.arcor-ip.net)
2021-06-05 22:32:16 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-05 22:34:05 +0200fendor(~fendor@91.141.0.144.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2021-06-05 22:35:47 +0200azeem(~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 252 seconds)
2021-06-05 22:36:17 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection)
2021-06-05 22:36:36 +0200azeem(~azeem@176.200.190.170)
2021-06-05 22:37:25 +0200fendor(~fendor@91.141.0.144.wireless.dyn.drei.com)
2021-06-05 22:37:58 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98)
2021-06-05 22:39:03 +0200azeem(~azeem@176.200.190.170) (Read error: Connection reset by peer)
2021-06-05 22:39:16 +0200azeem(~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
2021-06-05 22:40:46 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection)
2021-06-05 22:40:59 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98)
2021-06-05 22:41:57 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-05 22:42:18 +0200xff0x(~xff0x@2001:1a81:53bd:ad00:cace:1aaf:4d66:6b7f) (Ping timeout: 264 seconds)
2021-06-05 22:43:59 +0200xff0x(~xff0x@185.65.135.235)
2021-06-05 22:44:28 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-05 22:48:45 +0200Henson(~kvirc@23-233-1-122.cpe.pppoe.ca)
2021-06-05 22:49:24 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds)
2021-06-05 22:49:26 +0200 <Henson> has the freenode #haskell channel moved to here?
2021-06-05 22:49:36 +0200 <boxscape> Henson, yes
2021-06-05 22:50:05 +0200 <boxscape> oh, neat, the official rust playground default code starts with a reference to Haskell and an implementation of the Monad trait https://play.rust-lang.org/
2021-06-05 22:50:42 +0200 <boxscape> (it also fails to compile for me)
2021-06-05 22:51:30 +0200 <boxscape> (because apparently you need to select nightly instead of stable at the top)
2021-06-05 22:52:51 +0200fendor(~fendor@91.141.0.144.wireless.dyn.drei.com) (Remote host closed the connection)
2021-06-05 22:53:23 +0200 <monochrom> :)
2021-06-05 22:53:39 +0200zeenk(~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!)
2021-06-05 22:53:43 +0200xff0x(~xff0x@185.65.135.235) (Ping timeout: 268 seconds)
2021-06-05 22:53:57 +0200fendor(~fendor@91.141.0.144.wireless.dyn.drei.com)
2021-06-05 22:55:12 +0200xff0x(~xff0x@2001:1a81:53bd:ad00:cace:1aaf:4d66:6b7f)
2021-06-05 22:56:09 +0200 <maerwald> no one runs stable
2021-06-05 22:56:29 +0200pritambaral(~pritam@user/pritambaral)
2021-06-05 23:01:10 +0200alx741(~alx741@186.178.108.209) (Ping timeout: 245 seconds)
2021-06-05 23:02:45 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-05 23:03:38 +0200ddellacosta(~ddellacos@89.45.224.196)
2021-06-05 23:06:13 +0200mc47(~yecinem@89.246.239.190) (Remote host closed the connection)
2021-06-05 23:13:25 +0200 <ski> _73 : note that "a uniquely determines b" *doesn't* mean that, for any given `a', there *has* to be a corresponding `b', with `C a b'. what it does say is that there can't be *more* than one `b' corresponding to each `a'. so, for each `a', there is at *most* one `b' such that `C a b'
2021-06-05 23:14:31 +0200alx741(~alx741@186.178.109.11)
2021-06-05 23:14:48 +0200ddellaco_(~ddellacos@86.106.121.33)
2021-06-05 23:16:58 +0200haask(~harry@92.234.0.237)
2021-06-05 23:16:59 +0200 <ski> _73 : what this practically means, is two things : (a) the implementation ensures that you can't have instances `C T U0' and `C T U1' at the same time, for differing types `U0' and `U1'; and (b) whenever you have two constraints `C a b0' and `C a b1' (e.g. because of using methods of `C' in a way that ensures that the same type `a' is used), then the implementation knows that `b0' must be equal to `b1'
2021-06-05 23:17:00 +0200boioioing(~boioioing@cpe-76-84-141-127.neb.res.rr.com) (Ping timeout: 245 seconds)
2021-06-05 23:17:05 +0200 <ski> (since there can be at most one `b' corresponding to an `a'), so it unifies `b0' and `b1' (call that `b'), and replaces the two constraints with just a single `C a b' one
2021-06-05 23:17:18 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-05 23:18:04 +0200 <ski> _73 : it's this (b) part which can help type inference (e.g. simplifying inferred types, and especially avoiding ambiguity which often otherwise could arise)
2021-06-05 23:18:12 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-05 23:19:36 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-05 23:19:37 +0200ddellaco_(~ddellacos@86.106.121.33) (Ping timeout: 272 seconds)
2021-06-05 23:20:01 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Remote host closed the connection)
2021-06-05 23:20:04 +0200 <ski> _73 : logically speaking, we could say that the FD in `class C a b c | a -> b' expresses `forall a. unique b. exists c. C a b c' (for each type `a', there can be at most one type `b', (nevermind which type `c' is), satisfying `C a b c'
2021-06-05 23:20:22 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-05 23:20:25 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-06-05 23:21:13 +0200 <ski> _73 : another (equivalent) way of expressing this is `forall a b0 b1 c0 c1. (C a b0 c0,C a b1 c1) => b0 = b1' (if we have two instances with the same `a' parameter, then the `b' parameter must also be the same (no restriction on the `c' one))
2021-06-05 23:21:26 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-06-05 23:21:30 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Quit: mikoto-chan)
2021-06-05 23:21:33 +0200 <mrmonday> boxscape: I think that's just left over from a previous playground link you clicked... it defaults to hello world if you open it in a private/incognito window
2021-06-05 23:21:44 +0200 <boxscape> oh, hm
2021-06-05 23:21:59 +0200 <boxscape> let me see how I got there
2021-06-05 23:22:12 +0200 <boxscape> (I don't think I've ever been on rust-lang.org before)
2021-06-05 23:22:23 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2021-06-05 23:22:47 +0200 <boxscape> it's what I got after clicking on the first link for "try rust online" in google
2021-06-05 23:22:47 +0200 <mrmonday> I always find interesting code there that I'd forgotten about
2021-06-05 23:23:07 +0200 <mrmonday> most of the rust playground links I click are people doing weird things with the type system
2021-06-05 23:23:28 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-05 23:23:30 +0200 <boxscape> mrmonday hmm I guess I must have clicked on a link to it at some point with that code without remembering
2021-06-05 23:23:53 +0200 <mrmonday> yeah, it sticks around forever
2021-06-05 23:25:38 +0200 <boxscape> mrmonday yup, found it, a link to there with this gist hash as URL param was in my history https://gist.github.com/rust-play/61caef82814783feadc33a3b865fe8b3
2021-06-05 23:26:23 +0200ddellacosta(~ddellacos@89.45.224.196) (Ping timeout: 252 seconds)
2021-06-05 23:27:20 +0200 <mrmonday> there's gonna be some really exciting and really horrifying code when that feature stabilises, I'm sure :)
2021-06-05 23:27:42 +0200 <boxscape> hah, yeah
2021-06-05 23:27:43 +0200sayola(~vekto@dslc-082-082-145-205.pools.arcor-ip.net) (Quit: Leaving.)
2021-06-05 23:28:17 +0200 <boxscape> (though I wouldn't know, I've never seen rust snippets longer than 3 lines, save for that gist)
2021-06-05 23:29:06 +0200Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-128-61.cust.tzulo.com) (Ping timeout: 264 seconds)
2021-06-05 23:29:13 +0200 <mrmonday> I've seen a full implementation of the standard suite of haskell classes using stable Rust before, that was... interesting
2021-06-05 23:31:05 +0200 <mrmonday> it was like when you see code based on a paper and it's completely illegible until you've read/understood the paper... crossed with someone really pushing a languages type system to its limits in ways it's really not designed to be used
2021-06-05 23:33:11 +0200alx741(~alx741@186.178.109.11) (Ping timeout: 268 seconds)
2021-06-05 23:33:34 +0200 <boxscape> I once started (but didn't get very far) implementing GHC's base in haskell... here is what `data () = ()` looks like: https://github.com/JakobBruenker/jase/blob/master/jase-lib/main/com/github/jakobbruenker/jase/prim…
2021-06-05 23:33:39 +0200 <boxscape> in Java
2021-06-05 23:33:41 +0200 <boxscape> not in Haskell
2021-06-05 23:33:45 +0200 <boxscape> that would be somewhat redundant
2021-06-05 23:33:58 +0200 <ski> mrmonday : including higher-order ones, like `Functor' ?
2021-06-05 23:34:25 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds)
2021-06-05 23:34:26 +0200 <dibblego> ya can't in Java
2021-06-05 23:34:28 +0200 <boxscape> wait
2021-06-05 23:34:32 +0200 <boxscape> that repo is secret isn't it
2021-06-05 23:35:00 +0200 <boxscape> https://paste.tomsmeding.com/1PbbTe9e is the code that link points to
2021-06-05 23:35:15 +0200 <boxscape> dibblego yeah there's lots of things you can't do in Java, but a surprising number of things you can do
2021-06-05 23:35:17 +0200 <c_wraith> I was under the impression rust can fake Functor in a way, but it totally falls over when you get to Traversable (A higher-kinded class over an independently higher-kinded-polymorphic function)
2021-06-05 23:35:48 +0200 <dibblego> boxscape: yes we did this 15 years ago https://functionaljava.org/
2021-06-05 23:36:14 +0200 <boxscape> dibblego ah, nice, I've been on that website a few times
2021-06-05 23:36:37 +0200 <mrmonday> ski: yeah, there are some really interesting tricks you can use in stable rust to "implement" Functor
2021-06-05 23:36:50 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-06-05 23:36:51 +0200 <dibblego> also Java 7 lambdas http://javac.info
2021-06-05 23:36:54 +0200 <mrmonday> implement feels like the wrong word to use there :P
2021-06-05 23:37:17 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-06-05 23:37:52 +0200 <dibblego> the fake is called "Lightweight Higher-Kinded Polymorphism" and "lightweight" is a generous adjective
2021-06-05 23:39:01 +0200bitmapper(uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-05 23:41:32 +0200pieguy128(~pieguy128@bas1-quebec14-67-70-101-46.dsl.bell.ca) (Ping timeout: 272 seconds)
2021-06-05 23:42:38 +0200pieguy128(~pieguy128@bas1-montreal02-65-92-161-178.dsl.bell.ca)
2021-06-05 23:46:22 +0200alx741(~alx741@186.178.108.47)
2021-06-05 23:47:00 +0200ski. o O ( "Java Precisely" by Peter Sestoft (of Moscow ML fame) in 2002 (1st ed.),2005 (2nd ed.),2016 (3rd ed.) at <https://www.itu.dk/people/sestoft/javaprecisely/> mentions various functional stuff (in 3rd ed.) )
2021-06-05 23:48:03 +0200echoreply(~echoreply@45.32.163.16) (Quit: WeeChat 1.9.1)
2021-06-05 23:48:31 +0200echoreply(~echoreply@45.32.163.16)
2021-06-05 23:49:09 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-05 23:49:21 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-05 23:50:01 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-06-05 23:50:27 +0200pieguy128_(~pieguy128@bras-base-mtrlpq5031w-grc-57-65-92-163-194.dsl.bell.ca)
2021-06-05 23:50:59 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-05 23:51:09 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-05 23:51:38 +0200echoreply(~echoreply@45.32.163.16) (Client Quit)
2021-06-05 23:51:55 +0200pieguy128(~pieguy128@bas1-montreal02-65-92-161-178.dsl.bell.ca) (Ping timeout: 264 seconds)
2021-06-05 23:51:59 +0200_73(~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Remote host closed the connection)
2021-06-05 23:52:12 +0200_73(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-06-05 23:54:41 +0200 <_73> are there any hexadecimal libraries that come with some Hex type that derives Integral and has functions for creating Hex's out of strings?
2021-06-05 23:55:38 +0200ddellacosta(~ddellacos@89.46.62.235)
2021-06-05 23:56:57 +0200 <_73> err derives Num as well
2021-06-05 23:57:38 +0200 <c_wraith> uhh. that seems weird to me. Hex isn't a different behavior for a number. It's just a different output format
2021-06-05 23:57:46 +0200 <unyu> If your Hex type derives Num, this means that you want to do arithmetic using it, right?
2021-06-05 23:57:59 +0200 <unyu> Why would you use anything other than ordinary numeric types for that?
2021-06-05 23:58:36 +0200 <enikar> % read @Int "0x3b"
2021-06-05 23:58:36 +0200 <yahb> enikar: 59
2021-06-05 23:58:45 +0200marinelli(~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli)
2021-06-05 23:58:57 +0200ddellaco_(~ddellacos@89.46.62.89)
2021-06-05 23:59:14 +0200 <geekosaur> there's also Numeric.readHex
2021-06-05 23:59:55 +0200ddellacosta(~ddellacos@89.46.62.235) (Ping timeout: 245 seconds)