| 2021-06-05 00:00:51 +0200 | ddellacosta | (~ddellacos@86.106.121.65) (Read error: Connection reset by peer) |
| 2021-06-05 00:04:47 +0200 | ddellacosta | (~ddellacos@89.46.62.57) |
| 2021-06-05 00:06:18 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 264 seconds) |
| 2021-06-05 00:07:30 +0200 | stefan-_ | (~cri@42dots.de) |
| 2021-06-05 00:09:05 +0200 | ddellacosta | (~ddellacos@89.46.62.57) (Ping timeout: 245 seconds) |
| 2021-06-05 00:09:54 +0200 | dhil | (~dhil@195.213.192.47) (Quit: Leaving) |
| 2021-06-05 00:10:43 +0200 | ddellacosta | (~ddellacos@86.106.121.35) |
| 2021-06-05 00:11:27 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 00:11:34 +0200 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2021-06-05 00:11:38 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-06-05 00:12:24 +0200 | geekosaur | (~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 +0200 | ddellaco_ | (~ddellacos@86.106.143.157) (Remote host closed the connection) |
| 2021-06-05 00:15:11 +0200 | ddellaco_ | (~ddellacos@86.106.143.157) |
| 2021-06-05 00:15:18 +0200 | ddellaco_ | (~ddellacos@86.106.143.157) (Remote host closed the connection) |
| 2021-06-05 00:17:00 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 245 seconds) |
| 2021-06-05 00:17:26 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 00:17:38 +0200 | fluffyballoon | (~fluffybal@pat-verona-h.epic.com) (Ping timeout: 250 seconds) |
| 2021-06-05 00:17:40 +0200 | boxscape | (~boxscape@user/boxscape) (Ping timeout: 268 seconds) |
| 2021-06-05 00:19:06 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-06-05 00:21:39 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 244 seconds) |
| 2021-06-05 00:27:13 +0200 | HarveyPwca | (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 2021-06-05 00:29:00 +0200 | allbery_b | (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-05 00:30:20 +0200 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-06-05 00:34:30 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-05 00:35:46 +0200 | bilegeek | (~bilegeek@2600:1008:b06d:65ed:93d7:e6a:a06d:9e4) |
| 2021-06-05 00:35:52 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 00:36:09 +0200 | WorldSEnder | (~martin@88.215.103.12) (Quit: WeeChat 3.1) |
| 2021-06-05 00:36:19 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-05 00:38:15 +0200 | allbery_b | geekosaur |
| 2021-06-05 00:39:16 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-dev) |
| 2021-06-05 00:41:06 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 268 seconds) |
| 2021-06-05 00:44:50 +0200 | danidiaz1 | (~ESDPC@static-172-64-63-95.ipcom.comunitel.net) () |
| 2021-06-05 00:46:02 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-05 00:47:26 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1) |
| 2021-06-05 00:48:42 +0200 | michalz | (~user@185.246.204.60) (Remote host closed the connection) |
| 2021-06-05 00:50:34 +0200 | ddellaco_ | (~ddellacos@89.45.224.235) |
| 2021-06-05 00:54:55 +0200 | ddellaco_ | (~ddellacos@89.45.224.235) (Ping timeout: 245 seconds) |
| 2021-06-05 00:55:27 +0200 | ddellacosta | (~ddellacos@86.106.121.35) (Remote host closed the connection) |
| 2021-06-05 00:56:16 +0200 | ddellacosta | (~ddellacos@86.106.121.35) |
| 2021-06-05 00:57:49 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 244 seconds) |
| 2021-06-05 01:00:05 +0200 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-06-05 01:00:50 +0200 | ddellacosta | (~ddellacos@86.106.121.35) (Ping timeout: 268 seconds) |
| 2021-06-05 01:10:30 +0200 | chomwitt | (~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 264 seconds) |
| 2021-06-05 01:12:56 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 01:13:40 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2021-06-05 01:14:19 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-05 01:17:33 +0200 | bfrk1 | (~Thunderbi@200116b845406c003a5dd7b952e89ac0.dip.versatel-1u1.de) |
| 2021-06-05 01:19:00 +0200 | bfrk | (~Thunderbi@200116b845d01a0023133a647a2f786d.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 2021-06-05 01:19:00 +0200 | bfrk1 | bfrk |
| 2021-06-05 01:19:58 +0200 | Bartosz | (~textual@24.35.90.211) |
| 2021-06-05 01:23:15 +0200 | mpt | (~tom@p57a566da.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-06-05 01:26:18 +0200 | ddellacosta | (~ddellacos@86.106.121.109) |
| 2021-06-05 01:26:49 +0200 | ddellaco_ | (~ddellacos@86.106.143.131) |
| 2021-06-05 01:29:29 +0200 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 01:31:10 +0200 | ddellaco_ | (~ddellacos@86.106.143.131) (Ping timeout: 245 seconds) |
| 2021-06-05 01:31:55 +0200 | ddellacosta | (~ddellacos@86.106.121.109) (Ping timeout: 244 seconds) |
| 2021-06-05 01:36:10 +0200 | smitop | (~smitop@user/smitop) (Quit: Ping timeout (120 seconds)) |
| 2021-06-05 01:37:36 +0200 | bfrk | (~Thunderbi@200116b845406c003a5dd7b952e89ac0.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 2021-06-05 01:38:06 +0200 | smitop | (~smitop@user/smitop) |
| 2021-06-05 01:38:33 +0200 | ssarah | (~miguell@149.63.37.188.rev.vodafone.pt) (Remote host closed the connection) |
| 2021-06-05 01:40:44 +0200 | dhil | (~dhil@195.213.192.47) |
| 2021-06-05 01:41:34 +0200 | mc47 | (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-06-05 01:45:00 +0200 | ddellacosta | (~ddellacos@86.106.121.21) |
| 2021-06-05 01:45:49 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-06-05 01:49:30 +0200 | ddellacosta | (~ddellacos@86.106.121.21) (Ping timeout: 245 seconds) |
| 2021-06-05 01:50:57 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 01:53:10 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-05 01:53:48 +0200 | Baloo_ | (~Baloo_@141.98.255.150) (Quit: Leaving) |
| 2021-06-05 01:55:43 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-05 01:55:55 +0200 | ddellacosta | (~ddellacos@86.106.121.82) |
| 2021-06-05 01:56:20 +0200 | ddellacosta | (~ddellacos@86.106.121.82) (Remote host closed the connection) |
| 2021-06-05 01:56:49 +0200 | ddellacosta | (~ddellacos@86.106.121.82) |
| 2021-06-05 01:59:27 +0200 | reumeth | (~reumeth@user/reumeth) (Ping timeout: 272 seconds) |
| 2021-06-05 02:01:53 +0200 | ddellacosta | (~ddellacos@86.106.121.82) (Ping timeout: 268 seconds) |
| 2021-06-05 02:11:50 +0200 | renzhi | (~xp@2607:fa49:6500:bc00::e7b) |
| 2021-06-05 02:13:36 +0200 | pritambaral | (~pritam@user/pritambaral) (Ping timeout: 268 seconds) |
| 2021-06-05 02:16:15 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:dc99:9b3a:b6b8:6bb9) (Quit: Leaving) |
| 2021-06-05 02:20:42 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds) |
| 2021-06-05 02:22:47 +0200 | UpstreamSalmon | (uid12077@id-12077.stonehaven.irccloud.com) |
| 2021-06-05 02:22:47 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-06-05 02:22:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-06-05 02:23:32 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-05 02:25:22 +0200 | stardust1p | (~sd@45.12.220.116) (Ping timeout: 272 seconds) |
| 2021-06-05 02:26:55 +0200 | pe200012 | (~pe200012@183.63.73.33) |
| 2021-06-05 02:27:10 +0200 | ddellacosta | (~ddellacos@86.106.121.108) |
| 2021-06-05 02:27:59 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 2021-06-05 02:31:21 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-05 02:31:35 +0200 | ddellacosta | (~ddellacos@86.106.121.108) (Ping timeout: 245 seconds) |
| 2021-06-05 02:34:05 +0200 | dhil | (~dhil@195.213.192.47) (Ping timeout: 245 seconds) |
| 2021-06-05 02:35:59 +0200 | novasenco | nova |
| 2021-06-05 02:37:50 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 245 seconds) |
| 2021-06-05 02:38:08 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-05 02:39:39 +0200 | ddellacosta | (~ddellacos@89.45.224.118) |
| 2021-06-05 02:40:45 +0200 | Deide | (~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 +0200 | ddellaco_ | (~ddellacos@107.182.237.18) |
| 2021-06-05 02:42:04 +0200 | merijn | (~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 +0200 | ddellacosta | (~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 +0200 | ddellaco_ | (~ddellacos@107.182.237.18) (Ping timeout: 268 seconds) |
| 2021-06-05 02:48:23 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 244 seconds) |
| 2021-06-05 02:49:27 +0200 | kadoban[m] | (~kadobanem@2001:470:69fc:105::f34) |
| 2021-06-05 02:50:20 +0200 | kadoban | mud |
| 2021-06-05 02:51:06 +0200 | kadoban[m] | (~kadobanem@2001:470:69fc:105::f34) (Client Quit) |
| 2021-06-05 02:51:13 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-05 02:51:19 +0200 | kadoban[m] | (~kadoban@user/kadoban) |
| 2021-06-05 02:51:25 +0200 | kadoban[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 +0200 | hmmmas | (~chenqisu1@183.217.202.217) |
| 2021-06-05 03:00:36 +0200 | ddellacosta | (~ddellacos@86.106.121.87) |
| 2021-06-05 03:02:25 +0200 | waleee | (~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 +0200 | alx741 | (~alx741@186.178.108.209) (Quit: alx741) |
| 2021-06-05 03:04:55 +0200 | ddellacosta | (~ddellacos@86.106.121.87) (Ping timeout: 245 seconds) |
| 2021-06-05 03:05:17 +0200 | alx741 | (~alx741@186.178.108.209) |
| 2021-06-05 03:09:26 +0200 | <arahael> | pragmatic :) |
| 2021-06-05 03:10:55 +0200 | mud | kadobanana |
| 2021-06-05 03:10:57 +0200 | xff0x_ | (~xff0x@2001:1a81:5380:1300:997a:5bba:2f5a:1c40) (Ping timeout: 268 seconds) |
| 2021-06-05 03:11:17 +0200 | xff0x_ | (~xff0x@2001:1a81:5380:1300:de6d:d78:3575:a268) |
| 2021-06-05 03:13:26 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 03:14:18 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-05 03:16:17 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-06-05 03:17:32 +0200 | ddellacosta | (~ddellacos@89.46.62.39) |
| 2021-06-05 03:19:22 +0200 | ddellaco_ | (~ddellacos@89.46.62.17) |
| 2021-06-05 03:19:26 +0200 | epolanski | (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-05 03:22:30 +0200 | ddellacosta | (~ddellacos@89.46.62.39) (Ping timeout: 264 seconds) |
| 2021-06-05 03:24:19 +0200 | haltux | (~haltux@a89-154-181-47.cpe.netcabo.pt) |
| 2021-06-05 03:26:04 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 03:26:30 +0200 | nosewings | (~ncoltharp@2603-8081-3e05-e2d0-79b7-155e-fe6f-5897.res6.spectrum.com) |
| 2021-06-05 03:30:45 +0200 | xff0x_ | (~xff0x@2001:1a81:5380:1300:de6d:d78:3575:a268) (Ping timeout: 244 seconds) |
| 2021-06-05 03:30:56 +0200 | ddellacosta | (~ddellacos@86.106.121.235) |
| 2021-06-05 03:32:30 +0200 | xff0x_ | (~xff0x@2001:1a81:53bd:ad00:33b8:39e3:482a:7de0) |
| 2021-06-05 03:35:05 +0200 | zeenk | (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!) |
| 2021-06-05 03:38:14 +0200 | learner-monad | (~ehanneken@user/learner-monad) (Quit: WeeChat 3.1) |
| 2021-06-05 03:41:26 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-06-05 03:42:38 +0200 | learner-monad | (~ehanneken@user/learner-monad) |
| 2021-06-05 03:45:54 +0200 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-06-05 03:51:10 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 245 seconds) |
| 2021-06-05 03:51:46 +0200 | listofoptions | (~haha@047-005-156-009.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-05 03:55:32 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 03:57:37 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2021-06-05 04:00:05 +0200 | biberu\ | (~biberu@user/biberu) |
| 2021-06-05 04:00:26 +0200 | ddellaco_ | (~ddellacos@89.46.62.17) (Remote host closed the connection) |
| 2021-06-05 04:00:55 +0200 | ddellaco_ | (~ddellacos@89.46.62.17) |
| 2021-06-05 04:03:18 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 244 seconds) |
| 2021-06-05 04:03:18 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 244 seconds) |
| 2021-06-05 04:03:18 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 2021-06-05 04:03:18 +0200 | biberu\ | biberu |
| 2021-06-05 04:03:30 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-06-05 04:03:35 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2021-06-05 04:03:35 +0200 | ddellac__ | (~ddellacos@89.46.62.48) |
| 2021-06-05 04:03:46 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-05 04:03:47 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 272 seconds) |
| 2021-06-05 04:04:13 +0200 | Chobbes | (~Chobbes@user/chobbes) (Ping timeout: 272 seconds) |
| 2021-06-05 04:04:19 +0200 | dy | (~dy@user/dy) (Excess Flood) |
| 2021-06-05 04:04:51 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-06-05 04:05:03 +0200 | Chobbes | (~Chobbes@user/chobbes) |
| 2021-06-05 04:05:42 +0200 | ddellaco_ | (~ddellacos@89.46.62.17) (Ping timeout: 264 seconds) |
| 2021-06-05 04:07:02 +0200 | dy | (~dy@user/dy) |
| 2021-06-05 04:10:04 +0200 | learner-monad | (~ehanneken@user/learner-monad) (Quit: WeeChat 3.1) |
| 2021-06-05 04:10:11 +0200 | bilegeek | (~bilegeek@2600:1008:b06d:65ed:93d7:e6a:a06d:9e4) (Quit: Leaving) |
| 2021-06-05 04:12:54 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 264 seconds) |
| 2021-06-05 04:14:03 +0200 | ddellac__ | (~ddellacos@89.46.62.48) (Remote host closed the connection) |
| 2021-06-05 04:14:14 +0200 | aerona | (~aerona@2600:6c54:4600:f300:68ad:c2aa:4825:fdf8) |
| 2021-06-05 04:14:20 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-05 04:14:33 +0200 | ddellaco_ | (~ddellacos@89.46.62.48) |
| 2021-06-05 04:16:12 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-06-05 04:16:36 +0200 | dwt_ | (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) |
| 2021-06-05 04:16:53 +0200 | derelict | (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-06-05 04:18:40 +0200 | ddellaco_ | (~ddellacos@89.46.62.48) (Ping timeout: 245 seconds) |
| 2021-06-05 04:21:44 +0200 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-05 04:23:50 +0200 | tcard | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2021-06-05 04:24:20 +0200 | xff0x_ | (~xff0x@2001:1a81:53bd:ad00:33b8:39e3:482a:7de0) (Ping timeout: 268 seconds) |
| 2021-06-05 04:24:42 +0200 | xff0x_ | (~xff0x@2001:1a81:53bd:ad00:e0a5:9b7f:4056:a56c) |
| 2021-06-05 04:28:14 +0200 | td_ | (~td@94.134.91.156) (Ping timeout: 272 seconds) |
| 2021-06-05 04:28:37 +0200 | kw | (~user@2605:a601:a615:f600:601:15f2:ebf9:271) (Ping timeout: 244 seconds) |
| 2021-06-05 04:29:20 +0200 | td_ | (~td@muedsl-82-207-238-014.citykom.de) |
| 2021-06-05 04:37:17 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-05 04:42:42 +0200 | pfurla_ | (~pfurla@65.15.195.173.client.static.strong-in52.as13926.net) |
| 2021-06-05 04:43:17 +0200 | Guest31 | (~Guest31@187.83.249.216.dyn.smithville.net) |
| 2021-06-05 04:44:35 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 04:45:09 +0200 | ddellaco_ | (~ddellacos@86.106.121.82) |
| 2021-06-05 04:45:58 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2021-06-05 04:49:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-05 04:50:06 +0200 | ddellaco_ | (~ddellacos@86.106.121.82) (Ping timeout: 264 seconds) |
| 2021-06-05 04:50:27 +0200 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 04:52:42 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-05 04:54:18 +0200 | Guest31 | (~Guest31@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2021-06-05 05:00:01 +0200 | haasn | (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-06-05 05:01:27 +0200 | haasn | (~nand@haasn.dev) |
| 2021-06-05 05:02:12 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 244 seconds) |
| 2021-06-05 05:03:28 +0200 | derelict | (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) |
| 2021-06-05 05:03:33 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 05:08:24 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 244 seconds) |
| 2021-06-05 05:10:07 +0200 | zebrag | (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-06-05 05:12:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 05:13:14 +0200 | Erutuon | (~Erutuon@user/erutuon) (Quit: WeeChat 2.8) |
| 2021-06-05 05:15:31 +0200 | nosewings | (~ncoltharp@2603-8081-3e05-e2d0-79b7-155e-fe6f-5897.res6.spectrum.com) (Ping timeout: 268 seconds) |
| 2021-06-05 05:17:02 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-06-05 05:18:54 +0200 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::8a94) (Remote host closed the connection) |
| 2021-06-05 05:19:24 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-06-05 05:19:58 +0200 | alx741 | (~alx741@186.178.108.209) (Quit: alx741) |
| 2021-06-05 05:24:34 +0200 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::8a94) |
| 2021-06-05 05:26:10 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-06-05 05:28:28 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2021-06-05 05:28:28 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2021-06-05 05:30:56 +0200 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-05 05:31:07 +0200 | xff0x_ | (~xff0x@2001:1a81:53bd:ad00:e0a5:9b7f:4056:a56c) (Ping timeout: 265 seconds) |
| 2021-06-05 05:31:54 +0200 | xff0x_ | (~xff0x@2001:1a81:53bd:ad00:a03e:d591:6a58:dc1c) |
| 2021-06-05 05:31:58 +0200 | pe200012 | (~pe200012@183.63.73.33) (Quit: Konversation terminated!) |
| 2021-06-05 05:33:55 +0200 | Cajun | (~Cajun@ip98-163-211-112.no.no.cox.net) |
| 2021-06-05 05:35:26 +0200 | ddellaco_ | (~ddellacos@89.46.62.43) |
| 2021-06-05 05:38:11 +0200 | otto_s_ | (~user@p5de2f70a.dip0.t-ipconnect.de) |
| 2021-06-05 05:40:06 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-06-05 05:40:11 +0200 | ddellaco_ | (~ddellacos@89.46.62.43) (Ping timeout: 268 seconds) |
| 2021-06-05 05:41:35 +0200 | otto_s | (~user@p5de2f806.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-06-05 05:43:16 +0200 | pfurla_ | (~pfurla@65.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 268 seconds) |
| 2021-06-05 05:46:58 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-05 05:48:22 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 05:53:21 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-06-05 05:54:06 +0200 | jmcarthur | (~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 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 05:56:19 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-06-05 05:56:54 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-05 05:58:51 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-05 05:59:42 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-05 06:00:18 +0200 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-05 06:00:57 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 06:03:55 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-06-05 06:05:28 +0200 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 268 seconds) |
| 2021-06-05 06:06:43 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-06-05 06:07:27 +0200 | ikex | (~ash@user/ikex) |
| 2021-06-05 06:08:30 +0200 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2021-06-05 06:11:49 +0200 | bilegeek | (~bilegeek@2600:1008:b06d:65ed:93d7:e6a:a06d:9e4) |
| 2021-06-05 06:15:21 +0200 | monochrom | (trebla@216.138.220.146) |
| 2021-06-05 06:23:48 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-05 06:24:26 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-06-05 06:25:12 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-05 06:30:46 +0200 | guest65 | (~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 +0200 | wroathe | (~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 +0200 | Bartosz | (~textual@24.35.90.211) |
| 2021-06-05 06:36:15 +0200 | hmmmas | (~chenqisu1@183.217.202.217) (Quit: Leaving.) |
| 2021-06-05 06:37:24 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-05 06:38:12 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-06-05 06:38:18 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-05 06:41:35 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-06-05 06:41:52 +0200 | pe200012 | (~pe200012@183.63.73.33) |
| 2021-06-05 06:48:54 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-05 06:54:43 +0200 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 06:55:15 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-05 06:59:57 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 07:00:01 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-05 07:02:48 +0200 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-06-05 07:03:05 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-05 07:03:50 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-06-05 07:04:39 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 244 seconds) |
| 2021-06-05 07:07:47 +0200 | tose | (~tose@ip-85-160-8-254.eurotel.cz) |
| 2021-06-05 07:10:36 +0200 | tose | (~tose@ip-85-160-8-254.eurotel.cz) (Client Quit) |
| 2021-06-05 07:11:11 +0200 | tose | (~tose@ip-85-160-8-254.eurotel.cz) |
| 2021-06-05 07:12:44 +0200 | guest61 | (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-06-05 07:14:42 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds) |
| 2021-06-05 07:15:18 +0200 | renzhi | (~xp@2607:fa49:6500:bc00::e7b) (Ping timeout: 264 seconds) |
| 2021-06-05 07:16:55 +0200 | lucky | (~joel@user/lucky) (Read error: No route to host) |
| 2021-06-05 07:17:50 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 07:18:01 +0200 | guest61 | (~xxx@47.245.54.240) |
| 2021-06-05 07:18:01 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2021-06-05 07:18:40 +0200 | ikex | (~ash@user/ikex) (Ping timeout: 245 seconds) |
| 2021-06-05 07:18:47 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Client Quit) |
| 2021-06-05 07:18:49 +0200 | guest61 | (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-06-05 07:19:19 +0200 | guest61 | (~xxx@47.245.54.240) |
| 2021-06-05 07:22:33 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-05 07:22:34 +0200 | ikex | (~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 +0200 | bilegeek | (~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 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-06-05 07:32:32 +0200 | UpstreamSalmon | (uid12077@id-12077.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-05 07:36:29 +0200 | ddellaco_ | (~ddellacos@89.46.62.25) |
| 2021-06-05 07:40:45 +0200 | ddellaco_ | (~ddellacos@89.46.62.25) (Ping timeout: 245 seconds) |
| 2021-06-05 07:41:06 +0200 | guest65 | (~user@114.250.138.169) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-06-05 07:43:18 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 07:53:06 +0200 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds) |
| 2021-06-05 07:57:26 +0200 | curiousgay | (~quassel@178.217.208.8) (Ping timeout: 252 seconds) |
| 2021-06-05 07:58:19 +0200 | derelict | (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) (Ping timeout: 268 seconds) |
| 2021-06-05 08:05:27 +0200 | kluk | (~kluk@2603-7000-9b3f-6934-dcad-778f-416c-181b.res6.spectrum.com) |
| 2021-06-05 08:06:25 +0200 | Bartosz | (~textual@24.35.90.211) |
| 2021-06-05 08:06:43 +0200 | node-sh | (~node-sh@223.228.227.129) |
| 2021-06-05 08:06:59 +0200 | fryguybob | (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Ping timeout: 272 seconds) |
| 2021-06-05 08:08:03 +0200 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-05 08:08:36 +0200 | tose | (~tose@ip-85-160-8-254.eurotel.cz) (Quit: WeeChat 3.0) |
| 2021-06-05 08:15:27 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-06-05 08:16:00 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-06-05 08:16:00 +0200 | kluk | (~kluk@2603-7000-9b3f-6934-dcad-778f-416c-181b.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-05 08:17:35 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Remote host closed the connection) |
| 2021-06-05 08:17:35 +0200 | node-sh | (~node-sh@223.228.227.129) (Read error: Connection reset by peer) |
| 2021-06-05 08:17:42 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-05 08:18:17 +0200 | node-sh | (~node-sh@2401:4900:3b31:9a25:5489:f4a4:3182:a2f0) |
| 2021-06-05 08:27:34 +0200 | rk04 | (~rk04@user/rajk) |
| 2021-06-05 08:29:06 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-06-05 08:31:11 +0200 | mc47 | (~yecinem@89.246.239.190) |
| 2021-06-05 08:31:27 +0200 | mc47 | (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-06-05 08:31:51 +0200 | mc47 | (~yecinem@89.246.239.190) |
| 2021-06-05 08:34:51 +0200 | TheRAt | (~TheRAt@user/therat) (Ping timeout: 272 seconds) |
| 2021-06-05 08:35:14 +0200 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 08:36:55 +0200 | notzmv | (~zmv@user/notzmv) (Remote host closed the connection) |
| 2021-06-05 08:37:07 +0200 | aerona | (~aerona@2600:6c54:4600:f300:68ad:c2aa:4825:fdf8) (Quit: Leaving) |
| 2021-06-05 08:38:39 +0200 | img | (~img@2405:6580:b1c0:2500:836a:9768:6f91:445b) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-06-05 08:38:57 +0200 | tcard | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 2021-06-05 08:40:24 +0200 | hmmmas | (~chenqisu1@183.217.202.217) |
| 2021-06-05 08:40:28 +0200 | notzmv | (~zmv@user/notzmv) |
| 2021-06-05 08:40:55 +0200 | img | (~img@2405:6580:b1c0:2500:9987:109a:ace3:e76f) |
| 2021-06-05 08:41:39 +0200 | jmcarthur | (~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 +0200 | bontaq | (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2021-06-05 08:43:00 +0200 | chomwitt | (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) |
| 2021-06-05 08:43:39 +0200 | kluk | (~kluk@2603-7000-9b3f-6934-dcad-778f-416c-181b.res6.spectrum.com) |
| 2021-06-05 08:44:02 +0200 | rk04 | (~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 +0200 | rk04 | (~rk04@user/rajk) |
| 2021-06-05 08:45:58 +0200 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 08:47:43 +0200 | reumeth | (~reumeth@user/reumeth) |
| 2021-06-05 08:48:44 +0200 | mthvedt | (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 +0200 | wonko | (~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 +0200 | fabfianda | (~fabfianda@net-93-148-121-206.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
| 2021-06-05 08:57:00 +0200 | fabfianda | (~fabfianda@mob-5-90-247-94.net.vodafone.it) |
| 2021-06-05 09:03:03 +0200 | kluk | (~kluk@2603-7000-9b3f-6934-dcad-778f-416c-181b.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-05 09:11:59 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 09:13:21 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-05 09:13:40 +0200 | fabfianda | (~fabfianda@mob-5-90-247-94.net.vodafone.it) (Ping timeout: 245 seconds) |
| 2021-06-05 09:14:13 +0200 | fabfianda | (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) |
| 2021-06-05 09:14:56 +0200 | helby | (~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 +0200 | eggplantade | (~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 +0200 | ukari | (~ukari@user/ukari) |
| 2021-06-05 09:22:36 +0200 | eggplantade | (~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 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-05 09:29:29 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-06-05 09:30:20 +0200 | dunkeln | (~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 +0200 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 09:37:42 +0200 | ddellaco_ | (~ddellacos@107.182.237.15) |
| 2021-06-05 09:38:02 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-06-05 09:40:06 +0200 | malvo | (~malvo@malvo.org) (Read error: Connection reset by peer) |
| 2021-06-05 09:41:06 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 264 seconds) |
| 2021-06-05 09:41:42 +0200 | bfrk | (~Thunderbi@200116b845406c003a5dd7b952e89ac0.dip.versatel-1u1.de) |
| 2021-06-05 09:42:14 +0200 | ddellaco_ | (~ddellacos@107.182.237.15) (Ping timeout: 244 seconds) |
| 2021-06-05 09:42:25 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-05 09:46:37 +0200 | fendor | (~fendor@91.141.0.144.wireless.dyn.drei.com) |
| 2021-06-05 09:48:49 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 09:53:23 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-05 09:58:40 +0200 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds) |
| 2021-06-05 10:00:10 +0200 | pe200012 | (~pe200012@183.63.73.33) (Remote host closed the connection) |
| 2021-06-05 10:00:12 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 10:00:40 +0200 | pe200012 | (~pe200012@183.63.73.33) |
| 2021-06-05 10:01:04 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-06-05 10:02:02 +0200 | mpt | (~tom@p57a566f5.dip0.t-ipconnect.de) |
| 2021-06-05 10:04:33 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:c4cd:bb0f:bbfb:d57f) |
| 2021-06-05 10:06:46 +0200 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 10:08:15 +0200 | rk04 | (~rk04@user/rajk) (Ping timeout: 245 seconds) |
| 2021-06-05 10:09:04 +0200 | hendursa1 | (~weechat@user/hendursaga) |
| 2021-06-05 10:09:41 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-05 10:09:58 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-06-05 10:10:49 +0200 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 252 seconds) |
| 2021-06-05 10:11:24 +0200 | neceve | (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) |
| 2021-06-05 10:11:41 +0200 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 244 seconds) |
| 2021-06-05 10:12:45 +0200 | mpt | (~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 +0200 | RatSalad | (~saravana@183.82.176.150) |
| 2021-06-05 10:26:04 +0200 | RatSalad | (~saravana@183.82.176.150) () |
| 2021-06-05 10:27:39 +0200 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) |
| 2021-06-05 10:29:59 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-06-05 10:31:52 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 2021-06-05 10:34:37 +0200 | nosewings | (~ncoltharp@2603-8081-3e05-e2d0-cd7e-03b0-df99-c405.res6.spectrum.com) |
| 2021-06-05 10:35:58 +0200 | nosewings | (~ncoltharp@2603-8081-3e05-e2d0-cd7e-03b0-df99-c405.res6.spectrum.com) (Remote host closed the connection) |
| 2021-06-05 10:41:42 +0200 | wonko | (~wjc@62.115.229.50) (Ping timeout: 264 seconds) |
| 2021-06-05 10:46:30 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 264 seconds) |
| 2021-06-05 10:46:58 +0200 | azeem | (~azeem@176.200.249.211) |
| 2021-06-05 10:53:15 +0200 | azeem | (~azeem@176.200.249.211) (Ping timeout: 245 seconds) |
| 2021-06-05 10:53:41 +0200 | azeem | (~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 +0200 | helby | (~x@alpine/moderator/helby) () |
| 2021-06-05 10:57:09 +0200 | node-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 +0200 | azeem | (~azeem@176.200.249.211) (Read error: Connection reset by peer) |
| 2021-06-05 10:59:21 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-05 11:03:05 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-06-05 11:03:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-06-05 11:17:27 +0200 | zeenk | (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) |
| 2021-06-05 11:19:45 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) |
| 2021-06-05 11:24:35 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 272 seconds) |
| 2021-06-05 11:26:19 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-06-05 11:27:46 +0200 | pe200012 | (~pe200012@183.63.73.33) (Remote host closed the connection) |
| 2021-06-05 11:28:18 +0200 | pe200012 | (~pe200012@120.236.162.25) |
| 2021-06-05 11:38:43 +0200 | ddellaco_ | (~ddellacos@89.46.62.127) |
| 2021-06-05 11:43:15 +0200 | ddellaco_ | (~ddellacos@89.46.62.127) (Ping timeout: 245 seconds) |
| 2021-06-05 11:50:04 +0200 | psydroid | (~psydroidm@2001:470:69fc:105::165) (Changing host) |
| 2021-06-05 11:50:04 +0200 | psydroid | (~psydroidm@user/psydroid) |
| 2021-06-05 11:50:24 +0200 | fizbin | (~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 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 245 seconds) |
| 2021-06-05 11:54:54 +0200 | chomwitt | (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) (Ping timeout: 264 seconds) |
| 2021-06-05 11:57:55 +0200 | tubogram | (~tubogram@203.86.197.210) |
| 2021-06-05 12:02:06 +0200 | river | (~river@tilde.team/user/river) (Quit: Leaving) |
| 2021-06-05 12:05:39 +0200 | wei2912 | (~wei2912@112.199.250.21) |
| 2021-06-05 12:11:35 +0200 | tubogram | (~tubogram@203.86.197.210) (Changing host) |
| 2021-06-05 12:11:35 +0200 | tubogram | (~tubogram@user/tubogram) |
| 2021-06-05 12:12:46 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2021-06-05 12:13:13 +0200 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 12:13:25 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-06-05 12:14:15 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-06-05 12:21:10 +0200 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds) |
| 2021-06-05 12:21:10 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 245 seconds) |
| 2021-06-05 12:21:18 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) |
| 2021-06-05 12:23:56 +0200 | grepcake | (~artyom@77.234.209.96) |
| 2021-06-05 12:26:06 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 264 seconds) |
| 2021-06-05 12:30:21 +0200 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-05 12:32:12 +0200 | oxide | (~lambda@user/oxide) |
| 2021-06-05 12:32:48 +0200 | ukari | (~ukari@user/ukari) |
| 2021-06-05 12:38:25 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 244 seconds) |
| 2021-06-05 12:41:51 +0200 | azeem | (~azeem@176.200.210.238) |
| 2021-06-05 12:42:47 +0200 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) |
| 2021-06-05 12:47:05 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-05 12:51:29 +0200 | malvo | (~malvo@malvo.org) |
| 2021-06-05 12:52:23 +0200 | tremon | (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-06-05 12:52:25 +0200 | azeem | (~azeem@176.200.210.238) (Ping timeout: 245 seconds) |
| 2021-06-05 12:53:24 +0200 | dhil | (~dhil@195.213.192.47) |
| 2021-06-05 12:53:48 +0200 | GIANTWORLDKEEPER | (~pjetcetal@2.95.204.25) (Read error: Connection reset by peer) |
| 2021-06-05 12:55:19 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-05 12:56:05 +0200 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 252 seconds) |
| 2021-06-05 12:56:19 +0200 | GIANTWORLDKEEPER | (~pjetcetal@2.95.204.25) |
| 2021-06-05 12:58:44 +0200 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 12:59:34 +0200 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) |
| 2021-06-05 13:00:15 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 13:03:46 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2021-06-05 13:04:38 +0200 | node-sh | (~node-sh@2401:4900:3b31:9a25:5489:f4a4:3182:a2f0) |
| 2021-06-05 13:09:07 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-05 13:09:18 +0200 | grepcake | (~artyom@77.234.209.96) (Ping timeout: 264 seconds) |
| 2021-06-05 13:16:52 +0200 | grepcake | (~artyom@77.234.209.96) |
| 2021-06-05 13:19:28 +0200 | amahl | (~amahl@dxv5skyjrs0nnb65v1dgy-3.rev.dnainternet.fi) |
| 2021-06-05 13:24:48 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-05 13:27:18 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-05 13:32:02 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-05 13:32:51 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-05 13:34:27 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-06-05 13:39:48 +0200 | ddellaco_ | (~ddellacos@89.46.62.66) |
| 2021-06-05 13:40:30 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2021-06-05 13:44:19 +0200 | rk04 | (~rk04@user/rajk) |
| 2021-06-05 13:44:23 +0200 | __monty__ | (~toonn@user/toonn) |
| 2021-06-05 13:44:36 +0200 | pritambaral | (~pritam@user/pritambaral) |
| 2021-06-05 13:44:42 +0200 | ddellaco_ | (~ddellacos@89.46.62.66) (Ping timeout: 264 seconds) |
| 2021-06-05 13:46:05 +0200 | malvo | (~malvo@malvo.org) (Remote host closed the connection) |
| 2021-06-05 13:46:21 +0200 | malvo | (~malvo@malvo.org) |
| 2021-06-05 13:46:28 +0200 | Deide | (~Deide@wire.desu.ga) |
| 2021-06-05 13:46:29 +0200 | Deide | (~Deide@wire.desu.ga) (Changing host) |
| 2021-06-05 13:46:29 +0200 | Deide | (~Deide@user/deide) |
| 2021-06-05 13:47:06 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 264 seconds) |
| 2021-06-05 13:48:20 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-06-05 13:49:34 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-05 13:49:42 +0200 | henninb | (~henninb@63-226-165-91.mpls.qwest.net) |
| 2021-06-05 13:49:50 +0200 | azeem | (~azeem@176.200.210.238) |
| 2021-06-05 13:50:20 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-06-05 13:52:39 +0200 | hmmmas | (~chenqisu1@183.217.202.217) (Quit: Leaving.) |
| 2021-06-05 13:52:47 +0200 | rk04 | (~rk04@user/rajk) (Ping timeout: 272 seconds) |
| 2021-06-05 13:53:48 +0200 | BestSteve | (~beststeve@220-135-3-239.HINET-IP.hinet.net) |
| 2021-06-05 13:58:37 +0200 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 265 seconds) |
| 2021-06-05 14:02:09 +0200 | xff0x_ | (~xff0x@2001:1a81:53bd:ad00:a03e:d591:6a58:dc1c) (Ping timeout: 268 seconds) |
| 2021-06-05 14:02:37 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-06-05 14:02:47 +0200 | xff0x | (~xff0x@2001:1a81:53bd:ad00:17e2:a38d:f46d:1b9f) |
| 2021-06-05 14:04:05 +0200 | pe200012 | (~pe200012@120.236.162.25) (Ping timeout: 245 seconds) |
| 2021-06-05 14:04:09 +0200 | pe200012_ | (~pe200012@120.236.162.25) |
| 2021-06-05 14:14:29 +0200 | reumeth | (~reumeth@user/reumeth) (Ping timeout: 268 seconds) |
| 2021-06-05 14:22:41 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) |
| 2021-06-05 14:23:52 +0200 | boxscape | (~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 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 264 seconds) |
| 2021-06-05 14:31:35 +0200 | azeem | (~azeem@176.200.210.238) (Ping timeout: 245 seconds) |
| 2021-06-05 14:32:18 +0200 | skn | (~znc@sec.nimmagadda.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-05 14:33:17 +0200 | skn | (~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c) |
| 2021-06-05 14:34:00 +0200 | node-sh | (~node-sh@2401:4900:3b31:9a25:5489:f4a4:3182:a2f0) (Quit: Leaving) |
| 2021-06-05 14:35:43 +0200 | haltux | (~haltux@a89-154-181-47.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-06-05 14:35:58 +0200 | azeem | (~azeem@176.200.210.238) |
| 2021-06-05 14:36:05 +0200 | bfrk | (~Thunderbi@200116b845406c003a5dd7b952e89ac0.dip.versatel-1u1.de) () |
| 2021-06-05 14:40:20 +0200 | azeem | (~azeem@176.200.210.238) (Ping timeout: 245 seconds) |
| 2021-06-05 14:42:55 +0200 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 14:44:44 +0200 | azeem | (~azeem@176.200.210.238) |
| 2021-06-05 14:45:38 +0200 | Xnuk | (~xnuk@45.76.202.58) |
| 2021-06-05 14:46:23 +0200 | chomwitt | (~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 +0200 | grepcake | (~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 +0200 | azeem | (~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 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 14:50:31 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-05 14:51:41 +0200 | azeem | (~azeem@176.201.29.119) |
| 2021-06-05 14:52:37 +0200 | pe200012 | (~pe200012@58.248.179.167) |
| 2021-06-05 14:52:45 +0200 | pe200012_ | (~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 +0200 | pritambaral | (~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 +0200 | lavaman | (~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 +0200 | azeem | (~azeem@176.201.29.119) (Read error: Connection reset by peer) |
| 2021-06-05 15:00:16 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-05 15:00:43 +0200 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-05 15:00:52 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 15:00:58 +0200 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-05 15:01:03 +0200 | alx741 | (~alx741@186.178.108.209) |
| 2021-06-05 15:01:29 +0200 | ukari | (~ukari@user/ukari) |
| 2021-06-05 15:01:55 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-05 15:03:20 +0200 | fryguybob | (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 2021-06-05 15:06:23 +0200 | o1lo01ol_ | (~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 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-05 15:07:00 +0200 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Ping timeout: 245 seconds) |
| 2021-06-05 15:07:27 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-05 15:07:38 +0200 | epolanski | (uid312403@id-312403.brockwell.irccloud.com) |
| 2021-06-05 15:09:26 +0200 | jmcarthur | (~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 +0200 | Brumaire | (~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 +0200 | chomwitt | (~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 244 seconds) |
| 2021-06-05 15:23:24 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-05 15:23:54 +0200 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-05 15:26:02 +0200 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-05 15:26:03 +0200 | o1lo01ol_ | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Read error: Connection reset by peer) |
| 2021-06-05 15:26:46 +0200 | derelict | (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) |
| 2021-06-05 15:26:47 +0200 | favonia_ | (~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 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-06-05 15:30:54 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 15:32:13 +0200 | wei2912 | (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-06-05 15:32:17 +0200 | eight | (~eight@user/eight) (Ping timeout: 252 seconds) |
| 2021-06-05 15:33:23 +0200 | derelict | (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-06-05 15:35:46 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 265 seconds) |
| 2021-06-05 15:37:40 +0200 | dariof4 | (~dario@5.11.108.150) |
| 2021-06-05 15:39:19 +0200 | skn | (~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-05 15:39:39 +0200 | skn | (~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c) |
| 2021-06-05 15:40:58 +0200 | ddellaco_ | (~ddellacos@86.106.121.56) |
| 2021-06-05 15:43:28 +0200 | <stefan-_> | Xnuk, boxscape, thanks |
| 2021-06-05 15:43:54 +0200 | reumeth | (~reumeth@user/reumeth) |
| 2021-06-05 15:46:29 +0200 | ddellaco_ | (~ddellacos@86.106.121.56) (Ping timeout: 244 seconds) |
| 2021-06-05 15:47:50 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-rc1) |
| 2021-06-05 15:47:57 +0200 | dariof4 | (~dario@5.11.108.150) (Quit: WeeChat 3.1) |
| 2021-06-05 15:47:57 +0200 | machinedgod | (~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 +0200 | notzmv | (~zmv@user/notzmv) |
| 2021-06-05 15:54:52 +0200 | ddellacosta | (~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 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-05 15:57:23 +0200 | zebrag | (~chris@user/zebrag) |
| 2021-06-05 15:59:06 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2021-06-05 16:02:27 +0200 | favonia | (~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 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-06-05 16:06:18 +0200 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds) |
| 2021-06-05 16:06:36 +0200 | shapr | (~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 +0200 | eight | (~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 +0200 | pe200012 | (~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 +0200 | pe200012 | (~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 +0200 | neceve | (~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 +0200 | grepcake | (~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 +0200 | dunkeln | (~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 +0200 | grepcake | (~artyom@77.234.209.96) (Client Quit) |
| 2021-06-05 16:17:43 +0200 | safinaskar | (~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 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 16:19:48 +0200 | Natch | (~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 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-05 16:20:32 +0200 | FinnElija | Guest2629 |
| 2021-06-05 16:20:32 +0200 | finn_elija | FinnElija |
| 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 +0200 | grepcake | (~artyom@77.234.209.96) |
| 2021-06-05 16:21:35 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-05 16:21:47 +0200 | favonia | (~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 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-05 16:24:01 +0200 | eggplantade | (~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 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 244 seconds) |
| 2021-06-05 16:28:20 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 244 seconds) |
| 2021-06-05 16:28:26 +0200 | renzhi | (~xp@2607:fa49:6500:bc00::e7b) |
| 2021-06-05 16:28:44 +0200 | Natch | (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-06-05 16:31:26 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 2021-06-05 16:31:49 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 16:32:30 +0200 | ddellacosta | (~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 +0200 | ddellacosta | (~ddellacos@86.106.143.183) (Ping timeout: 264 seconds) |
| 2021-06-05 16:38:39 +0200 | jmcarthur | (~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 +0200 | mc47 | (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-06-05 16:41:52 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-05 16:42:52 +0200 | UpstreamSalmon | (uid12077@id-12077.stonehaven.irccloud.com) |
| 2021-06-05 16:43:00 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-05 16:43:49 +0200 | curiousgay | (~quassel@178.217.208.8) |
| 2021-06-05 16:46:06 +0200 | grepcake | (~artyom@77.234.209.96) (Quit: Konversation terminated!) |
| 2021-06-05 16:46:50 +0200 | pritambaral | (~pritam@user/pritambaral) |
| 2021-06-05 16:47:22 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija) |
| 2021-06-05 16:48:54 +0200 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor) |
| 2021-06-05 16:49:30 +0200 | pbrisbin | (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-06-05 16:50:06 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 264 seconds) |
| 2021-06-05 16:52:27 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-06-05 16:52:48 +0200 | favonia | (~favonia@user/favonia) |
| 2021-06-05 16:54:22 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2021-06-05 16:54:55 +0200 | Guest2629 | (~finn_elij@user/finn-elija/x-0085643) (Quit: Guest2629) |
| 2021-06-05 16:55:13 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-05 16:56:28 +0200 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) |
| 2021-06-05 16:57:43 +0200 | neceve | (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) |
| 2021-06-05 16:59:33 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) |
| 2021-06-05 17:02:25 +0200 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-05 17:03:18 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-05 17:06:33 +0200 | shriekingnoise | (~shrieking@186.137.144.80) (Read error: Connection reset by peer) |
| 2021-06-05 17:10:05 +0200 | ddellacosta | (~ddellacos@86.106.143.100) |
| 2021-06-05 17:10:23 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-05 17:12:45 +0200 | epolanski | (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-05 17:14:33 +0200 | ddellacosta | (~ddellacos@86.106.143.100) (Ping timeout: 268 seconds) |
| 2021-06-05 17:15:35 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: Connection reset by peer) |
| 2021-06-05 17:15:59 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-05 17:16:24 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 268 seconds) |
| 2021-06-05 17:16:36 +0200 | wallymathieu | (~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 +0200 | xff0x | (~xff0x@2001:1a81:53bd:ad00:17e2:a38d:f46d:1b9f) (Ping timeout: 265 seconds) |
| 2021-06-05 17:17:25 +0200 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 244 seconds) |
| 2021-06-05 17:17:59 +0200 | xff0x | (~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 +0200 | derelict | (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) |
| 2021-06-05 17:19:12 +0200 | dixie | (~dixie@real.wilbury.sk) (Ping timeout: 265 seconds) |
| 2021-06-05 17:19:33 +0200 | dixie | (~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 +0200 | favonia | (~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 +0200 | safinaskar | (~user@109.252.90.89) () |
| 2021-06-05 17:26:11 +0200 | aerona | (~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 +0200 | haltux | (~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 +0200 | Raito_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 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Remote host closed the connection) |
| 2021-06-05 17:32:44 +0200 | Core5474 | (~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 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) |
| 2021-06-05 17:35:50 +0200 | chomwitt | (~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 +0200 | leungbk | (~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 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-06-05 17:42:51 +0200 | chomwitt | (~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 +0200 | ddellacosta | (~ddellacos@89.46.62.123) |
| 2021-06-05 17:43:30 +0200 | ddellaco_ | (~ddellacos@86.106.143.144) |
| 2021-06-05 17:44:01 +0200 | bin_ | (~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 +0200 | bontaq | (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-06-05 17:45:58 +0200 | henninb | (~henninb@63-226-165-91.mpls.qwest.net) (Remote host closed the connection) |
| 2021-06-05 17:46:18 +0200 | junkicide | (~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 +0200 | ddellacosta | (~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 +0200 | ddellaco_ | (~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 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: Connection reset by peer) |
| 2021-06-05 17:51:35 +0200 | pe200012 | (~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 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-05 17:53:59 +0200 | mpt | (~tom@p57a566f5.dip0.t-ipconnect.de) |
| 2021-06-05 17:55:39 +0200 | monochrom | (trebla@216.138.220.146) (Ping timeout: 244 seconds) |
| 2021-06-05 17:58:50 +0200 | mpt | (~tom@p57a566f5.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2021-06-05 18:01:31 +0200 | merijn | (~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 +0200 | Bartosz | (~textual@24.35.90.211) |
| 2021-06-05 18:15:07 +0200 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 18:15:12 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-06-05 18:15:36 +0200 | AkechiShiro | (~licht@user/akechishiro) (Ping timeout: 268 seconds) |
| 2021-06-05 18:16:27 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-05 18:16:32 +0200 | AkechiShiro | (~licht@user/akechishiro) |
| 2021-06-05 18:17:18 +0200 | ddellacosta | (~ddellacos@89.46.62.157) |
| 2021-06-05 18:20:02 +0200 | dhil | (~dhil@195.213.192.47) (Ping timeout: 252 seconds) |
| 2021-06-05 18:21:41 +0200 | ddellacosta | (~ddellacos@89.46.62.157) (Ping timeout: 252 seconds) |
| 2021-06-05 18:22:42 +0200 | danidiaz | (~ESDPC@137.101.155.105) |
| 2021-06-05 18:26:31 +0200 | eggplant_ | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-05 18:27:01 +0200 | maerwald | (~maerwald@user/maerwald) (Ping timeout: 272 seconds) |
| 2021-06-05 18:29:14 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 244 seconds) |
| 2021-06-05 18:32:10 +0200 | leungbk | (~user@2603-8000-1201-2dd2-dec4-9dba-549e-1771.res6.spectrum.com) (Remote host closed the connection) |
| 2021-06-05 18:32:45 +0200 | leungbk | (~user@cpe-142-129-149-172.socal.res.rr.com) |
| 2021-06-05 18:35:02 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 18:35:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-06-05 18:35:45 +0200 | maerwald | (~maerwald@mail.hasufell.de) |
| 2021-06-05 18:36:53 +0200 | monochrom | (~trebla@216.138.220.146) |
| 2021-06-05 18:37:59 +0200 | arjun | (~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 +0200 | fizbin | (~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 +0200 | wroathe | (~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 +0200 | enzotib | (~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 +0200 | maerwald | (~maerwald@mail.hasufell.de) (Changing host) |
| 2021-06-05 18:47:28 +0200 | maerwald | (~maerwald@user/maerwald) |
| 2021-06-05 18:48:37 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 18:49:30 +0200 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds) |
| 2021-06-05 18:49:42 +0200 | hendursa1 | (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-06-05 18:50:18 +0200 | hendursaga | (~weechat@user/hendursaga) |
| 2021-06-05 18:50:28 +0200 | ddellacosta | (~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 +0200 | wroathe | (~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 +0200 | ddellacosta | (~ddellacos@86.106.143.53) (Ping timeout: 245 seconds) |
| 2021-06-05 18:54:43 +0200 | samhh | (~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 +0200 | boxscape | (~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 +0200 | motte | (~weechat@82.131.67.98.cable.starman.ee) |
| 2021-06-05 18:59:43 +0200 | hexo | (~hexo@user/hexo) (Ping timeout: 244 seconds) |
| 2021-06-05 18:59:44 +0200 | neceve | (~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 +0200 | ddellacosta | (~ddellacos@89.46.62.43) |
| 2021-06-05 19:02:24 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-06-05 19:03:04 +0200 | ddellaco_ | (~ddellacos@89.46.62.116) |
| 2021-06-05 19:04:21 +0200 | hexo | (~hexo@user/hexo) |
| 2021-06-05 19:04:34 +0200 | Sose | (~username@mobile-access-6df047-172.dhcp.inet.fi) |
| 2021-06-05 19:05:15 +0200 | rk04 | (~rk04@user/rajk) |
| 2021-06-05 19:05:28 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-133-135.cust.tzulo.com) |
| 2021-06-05 19:06:18 +0200 | ddellacosta | (~ddellacos@89.46.62.43) (Ping timeout: 264 seconds) |
| 2021-06-05 19:06:41 +0200 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 19:09:29 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 2021-06-05 19:11:39 +0200 | emliunix | (~emliunix@103.138.74.59) |
| 2021-06-05 19:12:30 +0200 | ddellaco_ | (~ddellacos@89.46.62.116) (Read error: Connection reset by peer) |
| 2021-06-05 19:13:04 +0200 | ddellacosta | (~ddellacos@89.46.62.116) |
| 2021-06-05 19:13:08 +0200 | Bartosz | (~textual@24.35.90.211) |
| 2021-06-05 19:15:52 +0200 | boxscape | (~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 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
| 2021-06-05 19:18:53 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-06-05 19:21:14 +0200 | samhh | (~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 +0200 | aplainze1akind | (~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 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-05 19:23:51 +0200 | anderson | (~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 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2021-06-05 19:25:07 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-05 19:25:11 +0200 | dunkeln | (~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 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 19:28:07 +0200 | ddellaco_ | (~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 +0200 | dunkeln | (~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 +0200 | wonko | (~wjc@62.115.229.50) |
| 2021-06-05 19:31:56 +0200 | Guest60 | (~Guest60@187.83.249.216.dyn.smithville.net) |
| 2021-06-05 19:32:47 +0200 | econo | (uid147250@user/econo) |
| 2021-06-05 19:32:50 +0200 | ddellaco_ | (~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 +0200 | dhil | (~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 +0200 | jmcarthur | (~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 +0200 | Guest60 | (~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 +0200 | reumeth | (~reumeth@user/reumeth) (Ping timeout: 268 seconds) |
| 2021-06-05 19:48:36 +0200 | rk04 | (~rk04@user/rajk) (Quit: rk04) |
| 2021-06-05 19:48:53 +0200 | reumeth | (~reumeth@user/reumeth) |
| 2021-06-05 19:48:57 +0200 | <arjun> | monochrom: nvm, found it. |
| 2021-06-05 19:51:33 +0200 | safinaskar | (~user@109.252.90.89) |
| 2021-06-05 19:52:23 +0200 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 19:52:56 +0200 | reumeth | (~reumeth@user/reumeth) (Ping timeout: 244 seconds) |
| 2021-06-05 19:53:02 +0200 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 19:53:58 +0200 | Bartosz | (~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 +0200 | ddellacosta | (~ddellacos@89.46.62.116) (Remote host closed the connection) |
| 2021-06-05 19:55:47 +0200 | ddellacosta | (~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 +0200 | ddellacosta | (~ddellacos@89.46.62.116) (Remote host closed the connection) |
| 2021-06-05 19:56:27 +0200 | justsomeguy | (~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 +0200 | ddellacosta | (~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 +0200 | ski | glances 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 +0200 | fabfianda | (~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 +0200 | ddellacosta | (~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 +0200 | ddellacosta | (~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 +0200 | ddellaco_ | (~ddellacos@89.45.224.79) |
| 2021-06-05 20:09:26 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-06-05 20:09:57 +0200 | pierrot | (~pi@user/pierrot) |
| 2021-06-05 20:10:19 +0200 | <ski> | no (see "vaporware") |
| 2021-06-05 20:12:09 +0200 | ddellacosta | (~ddellacos@89.46.62.209) (Ping timeout: 268 seconds) |
| 2021-06-05 20:12:50 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
| 2021-06-05 20:13:11 +0200 | danidiaz1 | (~ESDPC@137.101.155.105) |
| 2021-06-05 20:14:58 +0200 | <safinaskar> | ski: ok :( |
| 2021-06-05 20:15:19 +0200 | danidiaz | (~ESDPC@137.101.155.105) (Ping timeout: 272 seconds) |
| 2021-06-05 20:18:56 +0200 | ddellaco_ | (~ddellacos@89.45.224.79) (Ping timeout: 268 seconds) |
| 2021-06-05 20:19:19 +0200 | ddellacosta | (~ddellacos@89.46.62.183) |
| 2021-06-05 20:19:59 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-06-05 20:21:01 +0200 | ddellaco_ | (~ddellacos@89.45.224.222) |
| 2021-06-05 20:23:23 +0200 | ddellaco_ | (~ddellacos@89.45.224.222) (Remote host closed the connection) |
| 2021-06-05 20:23:41 +0200 | ddellaco_ | (~ddellacos@89.45.224.222) |
| 2021-06-05 20:24:10 +0200 | GuerrillaMonkey | (~Jeanne-Ka@static-198-54-128-61.cust.tzulo.com) |
| 2021-06-05 20:24:18 +0200 | ddellacosta | (~ddellacos@89.46.62.183) (Ping timeout: 264 seconds) |
| 2021-06-05 20:27:50 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-133-135.cust.tzulo.com) (Ping timeout: 245 seconds) |
| 2021-06-05 20:30:27 +0200 | UpstreamSalmon | (uid12077@id-12077.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-05 20:30:31 +0200 | arjun | (~user@user/arjun) (Ping timeout: 272 seconds) |
| 2021-06-05 20:30:36 +0200 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 265 seconds) |
| 2021-06-05 20:32:08 +0200 | merijn | (~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 +0200 | ddellaco_ | (~ddellacos@89.45.224.222) (Ping timeout: 245 seconds) |
| 2021-06-05 20:34:52 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 20:35:36 +0200 | ddellacosta | (~ddellacos@89.45.224.222) |
| 2021-06-05 20:36:51 +0200 | leungbk | (~user@cpe-142-129-149-172.socal.res.rr.com) (Ping timeout: 272 seconds) |
| 2021-06-05 20:40:20 +0200 | ddellacosta | (~ddellacos@89.45.224.222) (Ping timeout: 245 seconds) |
| 2021-06-05 20:41:49 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) |
| 2021-06-05 20:41:49 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) (Changing host) |
| 2021-06-05 20:41:49 +0200 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) |
| 2021-06-05 20:42:11 +0200 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) (Read error: Connection reset by peer) |
| 2021-06-05 20:42:43 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-06-05 20:42:50 +0200 | ddellacosta | (~ddellacos@89.46.62.25) |
| 2021-06-05 20:43:09 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-05 20:43:53 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2021-06-05 20:44:19 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-05 20:45:09 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-06-05 20:46:51 +0200 | chexum | (~chexum@2a02:a03f:62f9:3f00:6b71:476f:e71b:80b) (Quit: -) |
| 2021-06-05 20:47:28 +0200 | chexum | (~chexum@2a02:a03f:62f9:3f00:6b71:476f:e71b:80b) |
| 2021-06-05 20:48:06 +0200 | eggplant_ | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
| 2021-06-05 20:48:53 +0200 | ddellaco_ | (~ddellacos@86.106.143.53) |
| 2021-06-05 20:48:57 +0200 | Guest33 | (~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 +0200 | ddellacosta | (~ddellacos@89.46.62.25) (Ping timeout: 245 seconds) |
| 2021-06-05 20:51:25 +0200 | malvo | (~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 +0200 | chexum | (~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 +0200 | chexum | (~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 +0200 | chexum | (~chexum@2a02:a03f:62f9:3f00:6b71:476f:e71b:80b) (Client Quit) |
| 2021-06-05 20:54:54 +0200 | ddellacosta | (~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 +0200 | Scotty_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 +0200 | ddellacosta | (~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 +0200 | jakalx | (~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 +0200 | reumeth | (~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 +0200 | Bartosz | (~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 +0200 | merijn | (~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 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-06-05 21:08:49 +0200 | Bartosz | (~textual@24.35.90.211) |
| 2021-06-05 21:09:37 +0200 | bollu | (~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 +0200 | bollu | (~bollu@139.59.46.74) |
| 2021-06-05 21:10:02 +0200 | chexum | (~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 +0200 | fendor | (~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 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 244 seconds) |
| 2021-06-05 21:13:36 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 21:13:47 +0200 | ddellacosta | (~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 +0200 | wallymathieu | (~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 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-05 21:16:22 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-05 21:18:27 +0200 | ddellacosta | (~ddellacos@86.106.121.100) (Ping timeout: 265 seconds) |
| 2021-06-05 21:18:27 +0200 | fizbin | (~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 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-06-05 21:20:36 +0200 | MQ-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 +0200 | MQ-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 +0200 | fendor | (~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 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 21:24:21 +0200 | sheepduck | (~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 +0200 | sheepduck | (~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 +0200 | pavonia | (~user@user/siracusa) |
| 2021-06-05 21:29:02 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 244 seconds) |
| 2021-06-05 21:30:27 +0200 | ddellacosta | (~ddellacos@86.106.143.144) |
| 2021-06-05 21:30:39 +0200 | xff0x | (~xff0x@2001:1a81:53bd:ad00:82dd:e8fb:f0ad:2e66) (Quit: xff0x) |
| 2021-06-05 21:31:02 +0200 | ddellac__ | (~ddellacos@86.106.121.57) |
| 2021-06-05 21:33:54 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 21:34:47 +0200 | ddellaco_ | (~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 +0200 | ddellac__ | (~ddellacos@86.106.121.57) (Read error: Connection reset by peer) |
| 2021-06-05 21:36:35 +0200 | MQ-17J | (~MQ-17J@8.21.10.116) (Ping timeout: 245 seconds) |
| 2021-06-05 21:37:47 +0200 | xff0x | (~xff0x@2001:1a81:53bd:ad00:cace:1aaf:4d66:6b7f) |
| 2021-06-05 21:38:44 +0200 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-06-05 21:42:37 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 2021-06-05 21:45:48 +0200 | malvo | (~malvo@malvo.org) |
| 2021-06-05 21:46:32 +0200 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-06-05 21:46:35 +0200 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-06-05 21:46:35 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 245 seconds) |
| 2021-06-05 21:46:52 +0200 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::8a94) (Remote host closed the connection) |
| 2021-06-05 21:46:53 +0200 | GuerrillaMonkey | (~Jeanne-Ka@static-198-54-128-61.cust.tzulo.com) (Quit: Leaving) |
| 2021-06-05 21:47:02 +0200 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-06-05 21:47:03 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-128-61.cust.tzulo.com) |
| 2021-06-05 21:47:53 +0200 | malvo | (~malvo@malvo.org) (Remote host closed the connection) |
| 2021-06-05 21:48:00 +0200 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::8a94) |
| 2021-06-05 21:48:06 +0200 | malvo | (~malvo@malvo.org) |
| 2021-06-05 21:48:33 +0200 | malvo | (~malvo@malvo.org) (Remote host closed the connection) |
| 2021-06-05 21:48:59 +0200 | malvo | (~malvo@malvo.org) |
| 2021-06-05 21:49:36 +0200 | river | (~river@tilde.team/user/river) |
| 2021-06-05 21:52:13 +0200 | reumeth | (~reumeth@user/reumeth) (Ping timeout: 272 seconds) |
| 2021-06-05 21:57:00 +0200 | ikex | (~ash@user/ikex) (Ping timeout: 245 seconds) |
| 2021-06-05 21:57:05 +0200 | ddellacosta | (~ddellacos@86.106.143.144) (Remote host closed the connection) |
| 2021-06-05 21:58:25 +0200 | safinaskar | (~user@109.252.90.89) () |
| 2021-06-05 21:59:12 +0200 | ikex | (~ash@user/ikex) |
| 2021-06-05 22:01:24 +0200 | kubes | (~kubes@188.120.84.109) |
| 2021-06-05 22:01:57 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 265 seconds) |
| 2021-06-05 22:02:43 +0200 | kubes | (~kubes@188.120.84.109) (Client Quit) |
| 2021-06-05 22:02:55 +0200 | kubes | (~kubes@188.120.84.109) |
| 2021-06-05 22:05:30 +0200 | kubes | (~kubes@188.120.84.109) (Client Quit) |
| 2021-06-05 22:05:42 +0200 | juhp | (~juhp@128.106.188.199) (Ping timeout: 264 seconds) |
| 2021-06-05 22:06:25 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-05 22:06:35 +0200 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 22:07:38 +0200 | juhp | (~juhp@128.106.188.199) |
| 2021-06-05 22:08:34 +0200 | dkeohane | (~dkeohane@24.224.118.138) |
| 2021-06-05 22:10:00 +0200 | emliunix | (~emliunix@103.138.74.59) (Remote host closed the connection) |
| 2021-06-05 22:10:17 +0200 | emliunix | (~emliunix@103.138.74.59) |
| 2021-06-05 22:11:13 +0200 | ddellacosta | (~ddellacos@86.106.121.209) |
| 2021-06-05 22:11:40 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 22:12:28 +0200 | Heffalump | (~ganesh@urchin.earth.li) |
| 2021-06-05 22:12:34 +0200 | Heffalump | (~ganesh@urchin.earth.li) () |
| 2021-06-05 22:12:35 +0200 | pritambaral | (~pritam@user/pritambaral) (Ping timeout: 265 seconds) |
| 2021-06-05 22:13:09 +0200 | Heffalump | (~ganesh@urchin.earth.li) |
| 2021-06-05 22:13:26 +0200 | Heffalump | (~ganesh@urchin.earth.li) () |
| 2021-06-05 22:17:54 +0200 | mc47 | (~yecinem@89.246.239.190) |
| 2021-06-05 22:19:28 +0200 | ddellacosta | (~ddellacos@86.106.121.209) (Remote host closed the connection) |
| 2021-06-05 22:19:38 +0200 | ddellacosta | (~ddellacos@86.106.121.209) |
| 2021-06-05 22:20:58 +0200 | ddellaco_ | (~ddellacos@86.106.121.170) |
| 2021-06-05 22:21:56 +0200 | jmcarthur | (~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 +0200 | ddellacosta | (~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 +0200 | sayola | (~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 +0200 | ddellaco_ | (~ddellacos@86.106.121.170) (Remote host closed the connection) |
| 2021-06-05 22:30:29 +0200 | Bartosz | (~textual@24.35.90.211) |
| 2021-06-05 22:31:10 +0200 | dkeohane | (~dkeohane@24.224.118.138) (Ping timeout: 245 seconds) |
| 2021-06-05 22:31:29 +0200 | sayola | (~vekto@dslc-082-082-145-205.pools.arcor-ip.net) |
| 2021-06-05 22:32:16 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 22:34:05 +0200 | fendor | (~fendor@91.141.0.144.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-06-05 22:35:47 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 252 seconds) |
| 2021-06-05 22:36:17 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
| 2021-06-05 22:36:36 +0200 | azeem | (~azeem@176.200.190.170) |
| 2021-06-05 22:37:25 +0200 | fendor | (~fendor@91.141.0.144.wireless.dyn.drei.com) |
| 2021-06-05 22:37:58 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-05 22:39:03 +0200 | azeem | (~azeem@176.200.190.170) (Read error: Connection reset by peer) |
| 2021-06-05 22:39:16 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-05 22:40:46 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
| 2021-06-05 22:40:59 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-05 22:41:57 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-05 22:42:18 +0200 | xff0x | (~xff0x@2001:1a81:53bd:ad00:cace:1aaf:4d66:6b7f) (Ping timeout: 264 seconds) |
| 2021-06-05 22:43:59 +0200 | xff0x | (~xff0x@185.65.135.235) |
| 2021-06-05 22:44:28 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 22:48:45 +0200 | Henson | (~kvirc@23-233-1-122.cpe.pppoe.ca) |
| 2021-06-05 22:49:24 +0200 | fizbin | (~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 +0200 | fendor | (~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 +0200 | zeenk | (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!) |
| 2021-06-05 22:53:43 +0200 | xff0x | (~xff0x@185.65.135.235) (Ping timeout: 268 seconds) |
| 2021-06-05 22:53:57 +0200 | fendor | (~fendor@91.141.0.144.wireless.dyn.drei.com) |
| 2021-06-05 22:55:12 +0200 | xff0x | (~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 +0200 | pritambaral | (~pritam@user/pritambaral) |
| 2021-06-05 23:01:10 +0200 | alx741 | (~alx741@186.178.108.209) (Ping timeout: 245 seconds) |
| 2021-06-05 23:02:45 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 23:03:38 +0200 | ddellacosta | (~ddellacos@89.45.224.196) |
| 2021-06-05 23:06:13 +0200 | mc47 | (~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 +0200 | alx741 | (~alx741@186.178.109.11) |
| 2021-06-05 23:14:48 +0200 | ddellaco_ | (~ddellacos@86.106.121.33) |
| 2021-06-05 23:16:58 +0200 | haask | (~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 +0200 | boioioing | (~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 +0200 | jmcarthur | (~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 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 23:19:36 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-05 23:19:37 +0200 | ddellaco_ | (~ddellacos@86.106.121.33) (Ping timeout: 272 seconds) |
| 2021-06-05 23:20:01 +0200 | HarveyPwca | (~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 +0200 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 23:20:25 +0200 | HarveyPwca | (~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 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-06-05 23:21:30 +0200 | mikoto-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 +0200 | raehik | (~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 +0200 | ddellacosta | (~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 +0200 | sayola | (~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 +0200 | Jeanne-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 +0200 | alx741 | (~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 +0200 | jao | (~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 +0200 | merijn | (~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 +0200 | jao | (~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 +0200 | bitmapper | (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-05 23:41:32 +0200 | pieguy128 | (~pieguy128@bas1-quebec14-67-70-101-46.dsl.bell.ca) (Ping timeout: 272 seconds) |
| 2021-06-05 23:42:38 +0200 | pieguy128 | (~pieguy128@bas1-montreal02-65-92-161-178.dsl.bell.ca) |
| 2021-06-05 23:46:22 +0200 | alx741 | (~alx741@186.178.108.47) |
| 2021-06-05 23:47:00 +0200 | ski | . 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 +0200 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 1.9.1) |
| 2021-06-05 23:48:31 +0200 | echoreply | (~echoreply@45.32.163.16) |
| 2021-06-05 23:49:09 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 23:49:21 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-05 23:50:01 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-06-05 23:50:27 +0200 | pieguy128_ | (~pieguy128@bras-base-mtrlpq5031w-grc-57-65-92-163-194.dsl.bell.ca) |
| 2021-06-05 23:50:59 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 23:51:09 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-05 23:51:38 +0200 | echoreply | (~echoreply@45.32.163.16) (Client Quit) |
| 2021-06-05 23:51:55 +0200 | pieguy128 | (~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 +0200 | ddellacosta | (~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 +0200 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2021-06-05 23:58:57 +0200 | ddellaco_ | (~ddellacos@89.46.62.89) |
| 2021-06-05 23:59:14 +0200 | <geekosaur> | there's also Numeric.readHex |
| 2021-06-05 23:59:55 +0200 | ddellacosta | (~ddellacos@89.46.62.235) (Ping timeout: 245 seconds) |