| 2021-06-05 00:01:53 +0000 | ddellacosta | (~ddellacos@86.106.121.82) (Ping timeout: 268 seconds) |
| 2021-06-05 00:11:50 +0000 | renzhi | (~xp@2607:fa49:6500:bc00::e7b) |
| 2021-06-05 00:13:36 +0000 | pritambaral | (~pritam@user/pritambaral) (Ping timeout: 268 seconds) |
| 2021-06-05 00:16:15 +0000 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:dc99:9b3a:b6b8:6bb9) (Quit: Leaving) |
| 2021-06-05 00:20:42 +0000 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds) |
| 2021-06-05 00:22:47 +0000 | UpstreamSalmon | (uid12077@id-12077.stonehaven.irccloud.com) |
| 2021-06-05 00:22:47 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-06-05 00:22:55 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-06-05 00:23:32 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-05 00:25:22 +0000 | stardust1p | (~sd@45.12.220.116) (Ping timeout: 272 seconds) |
| 2021-06-05 00:26:55 +0000 | pe200012 | (~pe200012@183.63.73.33) |
| 2021-06-05 00:27:10 +0000 | ddellacosta | (~ddellacos@86.106.121.108) |
| 2021-06-05 00:27:59 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 2021-06-05 00:31:21 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-05 00:31:35 +0000 | ddellacosta | (~ddellacos@86.106.121.108) (Ping timeout: 245 seconds) |
| 2021-06-05 00:34:05 +0000 | dhil | (~dhil@195.213.192.47) (Ping timeout: 245 seconds) |
| 2021-06-05 00:35:59 +0000 | novasenco | nova |
| 2021-06-05 00:37:50 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 245 seconds) |
| 2021-06-05 00:38:08 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-05 00:39:39 +0000 | ddellacosta | (~ddellacos@89.45.224.118) |
| 2021-06-05 00:40:45 +0000 | Deide | (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 2021-06-05 00:40:59 +0000 | <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 00:42:02 +0000 | ddellaco_ | (~ddellacos@107.182.237.18) |
| 2021-06-05 00:42:04 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 00:43:56 +0000 | <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 00:44:26 +0000 | ddellacosta | (~ddellacos@89.45.224.118) (Ping timeout: 268 seconds) |
| 2021-06-05 00:46:30 +0000 | <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 00:46:54 +0000 | ddellaco_ | (~ddellacos@107.182.237.18) (Ping timeout: 268 seconds) |
| 2021-06-05 00:48:23 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 244 seconds) |
| 2021-06-05 00:49:27 +0000 | kadoban[m] | (~kadobanem@2001:470:69fc:105::f34) |
| 2021-06-05 00:50:20 +0000 | kadoban | mud |
| 2021-06-05 00:51:06 +0000 | kadoban[m] | (~kadobanem@2001:470:69fc:105::f34) (Client Quit) |
| 2021-06-05 00:51:13 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-05 00:51:19 +0000 | kadoban[m] | (~kadoban@user/kadoban) |
| 2021-06-05 00:51:25 +0000 | kadoban[m] | kadoban |
| 2021-06-05 00:52:57 +0000 | <arahael> | So what's the "simplest" way to do this in haskell? |
| 2021-06-05 00:53:04 +0000 | <arahael> | Code my own routine, or? |
| 2021-06-05 00:57:14 +0000 | hmmmas | (~chenqisu1@183.217.202.217) |
| 2021-06-05 01:00:36 +0000 | ddellacosta | (~ddellacos@86.106.121.87) |
| 2021-06-05 01:02:25 +0000 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 245 seconds) |
| 2021-06-05 01:04:17 +0000 | <geekosaur> | I'd just code it up myself over the output of the standard date formatting stuff |
| 2021-06-05 01:04:36 +0000 | alx741 | (~alx741@186.178.108.209) (Quit: alx741) |
| 2021-06-05 01:04:55 +0000 | ddellacosta | (~ddellacos@86.106.121.87) (Ping timeout: 245 seconds) |
| 2021-06-05 01:05:17 +0000 | alx741 | (~alx741@186.178.108.209) |
| 2021-06-05 01:09:26 +0000 | <arahael> | pragmatic :) |
| 2021-06-05 01:10:55 +0000 | mud | kadobanana |
| 2021-06-05 01:10:57 +0000 | xff0x_ | (~xff0x@2001:1a81:5380:1300:997a:5bba:2f5a:1c40) (Ping timeout: 268 seconds) |
| 2021-06-05 01:11:17 +0000 | xff0x_ | (~xff0x@2001:1a81:5380:1300:de6d:d78:3575:a268) |
| 2021-06-05 01:13:26 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 01:14:18 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-05 01:16:17 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-06-05 01:17:32 +0000 | ddellacosta | (~ddellacos@89.46.62.39) |
| 2021-06-05 01:19:22 +0000 | ddellaco_ | (~ddellacos@89.46.62.17) |
| 2021-06-05 01:19:26 +0000 | epolanski | (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-05 01:22:30 +0000 | ddellacosta | (~ddellacos@89.46.62.39) (Ping timeout: 264 seconds) |
| 2021-06-05 01:24:19 +0000 | haltux | (~haltux@a89-154-181-47.cpe.netcabo.pt) |
| 2021-06-05 01:26:04 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 01:26:30 +0000 | nosewings | (~ncoltharp@2603-8081-3e05-e2d0-79b7-155e-fe6f-5897.res6.spectrum.com) |
| 2021-06-05 01:30:45 +0000 | xff0x_ | (~xff0x@2001:1a81:5380:1300:de6d:d78:3575:a268) (Ping timeout: 244 seconds) |
| 2021-06-05 01:30:56 +0000 | ddellacosta | (~ddellacos@86.106.121.235) |
| 2021-06-05 01:32:30 +0000 | xff0x_ | (~xff0x@2001:1a81:53bd:ad00:33b8:39e3:482a:7de0) |
| 2021-06-05 01:35:05 +0000 | zeenk | (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!) |
| 2021-06-05 01:38:14 +0000 | learner-monad | (~ehanneken@user/learner-monad) (Quit: WeeChat 3.1) |
| 2021-06-05 01:41:26 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-06-05 01:42:38 +0000 | learner-monad | (~ehanneken@user/learner-monad) |
| 2021-06-05 01:45:54 +0000 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-06-05 01:51:10 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 245 seconds) |
| 2021-06-05 01:51:46 +0000 | listofoptions | (~haha@047-005-156-009.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-05 01:55:32 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 01:57:37 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2021-06-05 02:00:05 +0000 | biberu\ | (~biberu@user/biberu) |
| 2021-06-05 02:00:26 +0000 | ddellaco_ | (~ddellacos@89.46.62.17) (Remote host closed the connection) |
| 2021-06-05 02:00:55 +0000 | ddellaco_ | (~ddellacos@89.46.62.17) |
| 2021-06-05 02:03:18 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 244 seconds) |
| 2021-06-05 02:03:18 +0000 | biberu | (~biberu@user/biberu) (Ping timeout: 244 seconds) |
| 2021-06-05 02:03:18 +0000 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 2021-06-05 02:03:18 +0000 | biberu\ | biberu |
| 2021-06-05 02:03:30 +0000 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-06-05 02:03:35 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2021-06-05 02:03:35 +0000 | ddellac__ | (~ddellacos@89.46.62.48) |
| 2021-06-05 02:03:46 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-05 02:03:47 +0000 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 272 seconds) |
| 2021-06-05 02:04:13 +0000 | Chobbes | (~Chobbes@user/chobbes) (Ping timeout: 272 seconds) |
| 2021-06-05 02:04:19 +0000 | dy | (~dy@user/dy) (Excess Flood) |
| 2021-06-05 02:04:51 +0000 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-06-05 02:05:03 +0000 | Chobbes | (~Chobbes@user/chobbes) |
| 2021-06-05 02:05:42 +0000 | ddellaco_ | (~ddellacos@89.46.62.17) (Ping timeout: 264 seconds) |
| 2021-06-05 02:07:02 +0000 | dy | (~dy@user/dy) |
| 2021-06-05 02:10:04 +0000 | learner-monad | (~ehanneken@user/learner-monad) (Quit: WeeChat 3.1) |
| 2021-06-05 02:10:11 +0000 | bilegeek | (~bilegeek@2600:1008:b06d:65ed:93d7:e6a:a06d:9e4) (Quit: Leaving) |
| 2021-06-05 02:12:54 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 264 seconds) |
| 2021-06-05 02:14:03 +0000 | ddellac__ | (~ddellacos@89.46.62.48) (Remote host closed the connection) |
| 2021-06-05 02:14:14 +0000 | aerona | (~aerona@2600:6c54:4600:f300:68ad:c2aa:4825:fdf8) |
| 2021-06-05 02:14:20 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-05 02:14:33 +0000 | ddellaco_ | (~ddellacos@89.46.62.48) |
| 2021-06-05 02:16:12 +0000 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-06-05 02:16:36 +0000 | dwt_ | (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) |
| 2021-06-05 02:16:53 +0000 | derelict | (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-06-05 02:18:40 +0000 | ddellaco_ | (~ddellacos@89.46.62.48) (Ping timeout: 245 seconds) |
| 2021-06-05 02:21:44 +0000 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-05 02:23:50 +0000 | tcard | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2021-06-05 02:24:20 +0000 | xff0x_ | (~xff0x@2001:1a81:53bd:ad00:33b8:39e3:482a:7de0) (Ping timeout: 268 seconds) |
| 2021-06-05 02:24:42 +0000 | xff0x_ | (~xff0x@2001:1a81:53bd:ad00:e0a5:9b7f:4056:a56c) |
| 2021-06-05 02:28:14 +0000 | td_ | (~td@94.134.91.156) (Ping timeout: 272 seconds) |
| 2021-06-05 02:28:37 +0000 | kw | (~user@2605:a601:a615:f600:601:15f2:ebf9:271) (Ping timeout: 244 seconds) |
| 2021-06-05 02:29:20 +0000 | td_ | (~td@muedsl-82-207-238-014.citykom.de) |
| 2021-06-05 02:37:17 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-05 02:42:42 +0000 | pfurla_ | (~pfurla@65.15.195.173.client.static.strong-in52.as13926.net) |
| 2021-06-05 02:43:17 +0000 | Guest31 | (~Guest31@187.83.249.216.dyn.smithville.net) |
| 2021-06-05 02:44:35 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 02:45:09 +0000 | ddellaco_ | (~ddellacos@86.106.121.82) |
| 2021-06-05 02:45:58 +0000 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2021-06-05 02:49:06 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-05 02:50:06 +0000 | ddellaco_ | (~ddellacos@86.106.121.82) (Ping timeout: 264 seconds) |
| 2021-06-05 02:50:27 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 02:52:42 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-05 02:54:18 +0000 | Guest31 | (~Guest31@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2021-06-05 03:00:01 +0000 | haasn | (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-06-05 03:01:27 +0000 | haasn | (~nand@haasn.dev) |
| 2021-06-05 03:02:12 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 244 seconds) |
| 2021-06-05 03:03:28 +0000 | derelict | (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) |
| 2021-06-05 03:03:33 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 03:08:24 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 244 seconds) |
| 2021-06-05 03:10:07 +0000 | zebrag | (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-06-05 03:12:40 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 03:13:14 +0000 | Erutuon | (~Erutuon@user/erutuon) (Quit: WeeChat 2.8) |
| 2021-06-05 03:15:31 +0000 | nosewings | (~ncoltharp@2603-8081-3e05-e2d0-79b7-155e-fe6f-5897.res6.spectrum.com) (Ping timeout: 268 seconds) |
| 2021-06-05 03:17:02 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-06-05 03:18:54 +0000 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::8a94) (Remote host closed the connection) |
| 2021-06-05 03:19:24 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-06-05 03:19:58 +0000 | alx741 | (~alx741@186.178.108.209) (Quit: alx741) |
| 2021-06-05 03:24:34 +0000 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::8a94) |
| 2021-06-05 03:26:10 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-06-05 03:28:28 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2021-06-05 03:28:28 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2021-06-05 03:30:56 +0000 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-05 03:31:07 +0000 | xff0x_ | (~xff0x@2001:1a81:53bd:ad00:e0a5:9b7f:4056:a56c) (Ping timeout: 265 seconds) |
| 2021-06-05 03:31:54 +0000 | xff0x_ | (~xff0x@2001:1a81:53bd:ad00:a03e:d591:6a58:dc1c) |
| 2021-06-05 03:31:58 +0000 | pe200012 | (~pe200012@183.63.73.33) (Quit: Konversation terminated!) |
| 2021-06-05 03:33:55 +0000 | Cajun | (~Cajun@ip98-163-211-112.no.no.cox.net) |
| 2021-06-05 03:35:26 +0000 | ddellaco_ | (~ddellacos@89.46.62.43) |
| 2021-06-05 03:38:11 +0000 | otto_s_ | (~user@p5de2f70a.dip0.t-ipconnect.de) |
| 2021-06-05 03:40:06 +0000 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-06-05 03:40:11 +0000 | ddellaco_ | (~ddellacos@89.46.62.43) (Ping timeout: 268 seconds) |
| 2021-06-05 03:41:35 +0000 | otto_s | (~user@p5de2f806.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-06-05 03:43:16 +0000 | pfurla_ | (~pfurla@65.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 268 seconds) |
| 2021-06-05 03:46:58 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-05 03:48:22 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 03:53:21 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-06-05 03:54:06 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-05 03:56:01 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 03:56:19 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-06-05 03:56:54 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-05 03:58:51 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-05 03:59:42 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-05 04:00:18 +0000 | chaosite | (~chaosite@user/chaosite) |
| 2021-06-05 04:00:57 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 04:03:55 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-06-05 04:05:28 +0000 | chaosite | (~chaosite@user/chaosite) (Ping timeout: 268 seconds) |
| 2021-06-05 04:06:43 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-06-05 04:07:27 +0000 | ikex | (~ash@user/ikex) |
| 2021-06-05 04:08:30 +0000 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2021-06-05 04:11:49 +0000 | bilegeek | (~bilegeek@2600:1008:b06d:65ed:93d7:e6a:a06d:9e4) |
| 2021-06-05 04:15:21 +0000 | monochrom | (trebla@216.138.220.146) |
| 2021-06-05 04:23:48 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-05 04:24:26 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-06-05 04:25:12 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-05 04:30:46 +0000 | guest65 | (~user@114.250.138.169) |
| 2021-06-05 04:30:59 +0000 | <guest65> | how to do sleep or delay in async? |
| 2021-06-05 04:31:00 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 04:31:31 +0000 | <guest65> | Control.Cocurrent.Async |
| 2021-06-05 04:34:03 +0000 | <glguy> | There isn't an async specific way |
| 2021-06-05 04:34:11 +0000 | <glguy> | You can use Control.Concurrent.threadDelay |
| 2021-06-05 04:35:58 +0000 | Bartosz | (~textual@24.35.90.211) |
| 2021-06-05 04:36:15 +0000 | hmmmas | (~chenqisu1@183.217.202.217) (Quit: Leaving.) |
| 2021-06-05 04:37:24 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-05 04:38:12 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-06-05 04:38:18 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-05 04:41:35 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-06-05 04:41:52 +0000 | pe200012 | (~pe200012@183.63.73.33) |
| 2021-06-05 04:48:54 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-05 04:54:43 +0000 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 04:55:15 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-05 04:59:57 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 05:00:01 +0000 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-05 05:02:48 +0000 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-06-05 05:03:05 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-05 05:03:50 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-06-05 05:04:39 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 244 seconds) |
| 2021-06-05 05:07:47 +0000 | tose | (~tose@ip-85-160-8-254.eurotel.cz) |
| 2021-06-05 05:10:36 +0000 | tose | (~tose@ip-85-160-8-254.eurotel.cz) (Client Quit) |
| 2021-06-05 05:11:11 +0000 | tose | (~tose@ip-85-160-8-254.eurotel.cz) |
| 2021-06-05 05:12:44 +0000 | guest61 | (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-06-05 05:14:42 +0000 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds) |
| 2021-06-05 05:15:18 +0000 | renzhi | (~xp@2607:fa49:6500:bc00::e7b) (Ping timeout: 264 seconds) |
| 2021-06-05 05:16:55 +0000 | lucky | (~joel@user/lucky) (Read error: No route to host) |
| 2021-06-05 05:17:50 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 05:18:01 +0000 | guest61 | (~xxx@47.245.54.240) |
| 2021-06-05 05:18:01 +0000 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2021-06-05 05:18:40 +0000 | ikex | (~ash@user/ikex) (Ping timeout: 245 seconds) |
| 2021-06-05 05:18:47 +0000 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Client Quit) |
| 2021-06-05 05:18:49 +0000 | guest61 | (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-06-05 05:19:19 +0000 | guest61 | (~xxx@47.245.54.240) |
| 2021-06-05 05:22:33 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-05 05:22:34 +0000 | ikex | (~ash@user/ikex) |
| 2021-06-05 05:24:29 +0000 | <guest65> | could ghc run on debian 10 on arm? |
| 2021-06-05 05:24:57 +0000 | <guest65> | I see there's only a version available on debian 9 |
| 2021-06-05 05:25:03 +0000 | bilegeek | (~bilegeek@2600:1008:b06d:65ed:93d7:e6a:a06d:9e4) (Quit: Leaving) |
| 2021-06-05 05:25:14 +0000 | <guest65> | llvm9 is specified |
| 2021-06-05 05:27:11 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-06-05 05:32:32 +0000 | UpstreamSalmon | (uid12077@id-12077.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-05 05:36:29 +0000 | ddellaco_ | (~ddellacos@89.46.62.25) |
| 2021-06-05 05:40:45 +0000 | ddellaco_ | (~ddellacos@89.46.62.25) (Ping timeout: 245 seconds) |
| 2021-06-05 05:41:06 +0000 | guest65 | (~user@114.250.138.169) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-06-05 05:43:18 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 05:53:06 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds) |
| 2021-06-05 05:57:26 +0000 | curiousgay | (~quassel@178.217.208.8) (Ping timeout: 252 seconds) |
| 2021-06-05 05:58:19 +0000 | derelict | (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) (Ping timeout: 268 seconds) |
| 2021-06-05 06:05:27 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-dcad-778f-416c-181b.res6.spectrum.com) |
| 2021-06-05 06:06:25 +0000 | Bartosz | (~textual@24.35.90.211) |
| 2021-06-05 06:06:43 +0000 | node-sh | (~node-sh@223.228.227.129) |
| 2021-06-05 06:06:59 +0000 | fryguybob | (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Ping timeout: 272 seconds) |
| 2021-06-05 06:08:03 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-05 06:08:36 +0000 | tose | (~tose@ip-85-160-8-254.eurotel.cz) (Quit: WeeChat 3.0) |
| 2021-06-05 06:15:27 +0000 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-06-05 06:16:00 +0000 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-06-05 06:16:00 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-dcad-778f-416c-181b.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-05 06:17:35 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Remote host closed the connection) |
| 2021-06-05 06:17:35 +0000 | node-sh | (~node-sh@223.228.227.129) (Read error: Connection reset by peer) |
| 2021-06-05 06:17:42 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-05 06:18:17 +0000 | node-sh | (~node-sh@2401:4900:3b31:9a25:5489:f4a4:3182:a2f0) |
| 2021-06-05 06:27:34 +0000 | rk04 | (~rk04@user/rajk) |
| 2021-06-05 06:29:06 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-06-05 06:31:11 +0000 | mc47 | (~yecinem@89.246.239.190) |
| 2021-06-05 06:31:27 +0000 | mc47 | (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-06-05 06:31:51 +0000 | mc47 | (~yecinem@89.246.239.190) |
| 2021-06-05 06:34:51 +0000 | TheRAt | (~TheRAt@user/therat) (Ping timeout: 272 seconds) |
| 2021-06-05 06:35:14 +0000 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 06:36:55 +0000 | notzmv | (~zmv@user/notzmv) (Remote host closed the connection) |
| 2021-06-05 06:37:07 +0000 | aerona | (~aerona@2600:6c54:4600:f300:68ad:c2aa:4825:fdf8) (Quit: Leaving) |
| 2021-06-05 06:38:39 +0000 | img | (~img@2405:6580:b1c0:2500:836a:9768:6f91:445b) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-06-05 06:38:57 +0000 | tcard | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 2021-06-05 06:40:24 +0000 | hmmmas | (~chenqisu1@183.217.202.217) |
| 2021-06-05 06:40:28 +0000 | notzmv | (~zmv@user/notzmv) |
| 2021-06-05 06:40:55 +0000 | img | (~img@2405:6580:b1c0:2500:9987:109a:ace3:e76f) |
| 2021-06-05 06:41:39 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-05 06:42:25 +0000 | bontaq | (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2021-06-05 06:43:00 +0000 | chomwitt | (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) |
| 2021-06-05 06:43:39 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-dcad-778f-416c-181b.res6.spectrum.com) |
| 2021-06-05 06:44:02 +0000 | rk04 | (~rk04@user/rajk) (Quit: rk04) |
| 2021-06-05 06:44:36 +0000 | <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 06:44:52 +0000 | rk04 | (~rk04@user/rajk) |
| 2021-06-05 06:45:58 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 06:47:43 +0000 | reumeth | (~reumeth@user/reumeth) |
| 2021-06-05 06:48:44 +0000 | mthvedt | (uid501949@id-501949.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-05 06:49:35 +0000 | <pavonia> | kluk: Define "doesn't work" |
| 2021-06-05 06:49:58 +0000 | <kluk> | pavonia : "Could not find module ‘Data.Vector.Mutable’" |
| 2021-06-05 06:50:42 +0000 | <pavonia> | The cabal compilation was without errors? |
| 2021-06-05 06:52:39 +0000 | wonko | (~wjc@62.115.229.50) |
| 2021-06-05 06:52:59 +0000 | <kluk> | pavonia : ah, I was missing "cabal install --lib vector". Thanks! |
| 2021-06-05 06:56:10 +0000 | fabfianda | (~fabfianda@net-93-148-121-206.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
| 2021-06-05 06:57:00 +0000 | fabfianda | (~fabfianda@mob-5-90-247-94.net.vodafone.it) |
| 2021-06-05 07:03:03 +0000 | kluk | (~kluk@2603-7000-9b3f-6934-dcad-778f-416c-181b.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-05 07:11:59 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 07:13:21 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-05 07:13:40 +0000 | fabfianda | (~fabfianda@mob-5-90-247-94.net.vodafone.it) (Ping timeout: 245 seconds) |
| 2021-06-05 07:14:13 +0000 | fabfianda | (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) |
| 2021-06-05 07:14:56 +0000 | helby | (~x@alpine/moderator/helby) |
| 2021-06-05 07:16:00 +0000 | <[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 07:16:42 +0000 | <maerwald> | like an actual DSL? |
| 2021-06-05 07:18:01 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) |
| 2021-06-05 07:18:02 +0000 | <[exa]> | not really sure |
| 2021-06-05 07:18:25 +0000 | <[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 07:18:46 +0000 | <[exa]> | I need to expand that to pages for each variant of the functions + reasonable crosslinks and preferably an index |
| 2021-06-05 07:20:25 +0000 | <[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 07:20:30 +0000 | ukari | (~ukari@user/ukari) |
| 2021-06-05 07:22:36 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 244 seconds) |
| 2021-06-05 07:23:27 +0000 | <[exa]> | What I wanted to avoid is making sure that the links and paths and everything is allright manually |
| 2021-06-05 07:23:53 +0000 | <[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 07:27:10 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-05 07:29:29 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-06-05 07:30:20 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds) |
| 2021-06-05 07:32:18 +0000 | [exa] | eyes `slick` |
| 2021-06-05 07:36:34 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 07:37:42 +0000 | ddellaco_ | (~ddellacos@107.182.237.15) |
| 2021-06-05 07:38:02 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-06-05 07:40:06 +0000 | malvo | (~malvo@malvo.org) (Read error: Connection reset by peer) |
| 2021-06-05 07:41:06 +0000 | oxide | (~lambda@user/oxide) (Ping timeout: 264 seconds) |
| 2021-06-05 07:41:42 +0000 | bfrk | (~Thunderbi@200116b845406c003a5dd7b952e89ac0.dip.versatel-1u1.de) |
| 2021-06-05 07:42:14 +0000 | ddellaco_ | (~ddellacos@107.182.237.15) (Ping timeout: 244 seconds) |
| 2021-06-05 07:42:25 +0000 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-05 07:46:37 +0000 | fendor | (~fendor@91.141.0.144.wireless.dyn.drei.com) |
| 2021-06-05 07:48:49 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 07:53:23 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-05 07:58:40 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds) |
| 2021-06-05 08:00:10 +0000 | pe200012 | (~pe200012@183.63.73.33) (Remote host closed the connection) |
| 2021-06-05 08:00:12 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 08:00:40 +0000 | pe200012 | (~pe200012@183.63.73.33) |
| 2021-06-05 08:01:04 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-06-05 08:02:02 +0000 | mpt | (~tom@p57a566f5.dip0.t-ipconnect.de) |
| 2021-06-05 08:04:33 +0000 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:c4cd:bb0f:bbfb:d57f) |
| 2021-06-05 08:06:46 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 08:08:15 +0000 | rk04 | (~rk04@user/rajk) (Ping timeout: 245 seconds) |
| 2021-06-05 08:09:04 +0000 | hendursa1 | (~weechat@user/hendursaga) |
| 2021-06-05 08:09:41 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-05 08:09:58 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-06-05 08:10:49 +0000 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 252 seconds) |
| 2021-06-05 08:11:24 +0000 | neceve | (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) |
| 2021-06-05 08:11:41 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 244 seconds) |
| 2021-06-05 08:12:45 +0000 | mpt | (~tom@p57a566f5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-06-05 08:17:26 +0000 | <sm[m]> | [exa], maybe Shake + (blaze-html or lucid) |
| 2021-06-05 08:18:10 +0000 | <sm[m]> | also, for rendering md files I can recommend mdbook as a simpler sphinx |
| 2021-06-05 08:23:15 +0000 | <[exa]> | yeah I found slick which is basically shake + some template renderer |
| 2021-06-05 08:23:31 +0000 | <[exa]> | kinda expecting I'll just factor out slick to end up with shake+something |
| 2021-06-05 08:23:43 +0000 | <[exa]> | (likely pandoc and ginger) |
| 2021-06-05 08:25:00 +0000 | <[exa]> | mdbook look cool thanks |
| 2021-06-05 08:25:46 +0000 | RatSalad | (~saravana@183.82.176.150) |
| 2021-06-05 08:26:04 +0000 | RatSalad | (~saravana@183.82.176.150) () |
| 2021-06-05 08:27:39 +0000 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) |
| 2021-06-05 08:29:59 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-06-05 08:31:52 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 2021-06-05 08:34:37 +0000 | nosewings | (~ncoltharp@2603-8081-3e05-e2d0-cd7e-03b0-df99-c405.res6.spectrum.com) |
| 2021-06-05 08:35:58 +0000 | nosewings | (~ncoltharp@2603-8081-3e05-e2d0-cd7e-03b0-df99-c405.res6.spectrum.com) (Remote host closed the connection) |
| 2021-06-05 08:41:42 +0000 | wonko | (~wjc@62.115.229.50) (Ping timeout: 264 seconds) |
| 2021-06-05 08:46:30 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 264 seconds) |
| 2021-06-05 08:46:58 +0000 | azeem | (~azeem@176.200.249.211) |
| 2021-06-05 08:53:15 +0000 | azeem | (~azeem@176.200.249.211) (Ping timeout: 245 seconds) |
| 2021-06-05 08:53:41 +0000 | azeem | (~azeem@176.200.249.211) |
| 2021-06-05 08:54:58 +0000 | <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 08:55:06 +0000 | helby | (~x@alpine/moderator/helby) () |
| 2021-06-05 08:57:09 +0000 | node-sh | (~node-sh@2401:4900:3b31:9a25:5489:f4a4:3182:a2f0) (Ping timeout: 244 seconds) |
| 2021-06-05 08:57:34 +0000 | <sm[m]> | or will it be less work to write it all yourself to do just what you need ? tough call |
| 2021-06-05 08:58:21 +0000 | azeem | (~azeem@176.200.249.211) (Read error: Connection reset by peer) |
| 2021-06-05 08:59:21 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-05 09:03:05 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-06-05 09:03:40 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-06-05 09:17:27 +0000 | zeenk | (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) |
| 2021-06-05 09:19:45 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) |
| 2021-06-05 09:24:35 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 272 seconds) |
| 2021-06-05 09:26:19 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-06-05 09:27:46 +0000 | pe200012 | (~pe200012@183.63.73.33) (Remote host closed the connection) |
| 2021-06-05 09:28:18 +0000 | pe200012 | (~pe200012@120.236.162.25) |
| 2021-06-05 09:38:43 +0000 | ddellaco_ | (~ddellacos@89.46.62.127) |
| 2021-06-05 09:43:15 +0000 | ddellaco_ | (~ddellacos@89.46.62.127) (Ping timeout: 245 seconds) |
| 2021-06-05 09:50:04 +0000 | psydroid | (~psydroidm@2001:470:69fc:105::165) (Changing host) |
| 2021-06-05 09:50:04 +0000 | psydroid | (~psydroidm@user/psydroid) |
| 2021-06-05 09:50:24 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 09:51:33 +0000 | <[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 09:54:30 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 245 seconds) |
| 2021-06-05 09:54:54 +0000 | chomwitt | (~Pitsikoko@2a02:587:dc02:b00:b16c:5166:feb8:97d5) (Ping timeout: 264 seconds) |
| 2021-06-05 09:57:55 +0000 | tubogram | (~tubogram@203.86.197.210) |
| 2021-06-05 10:02:06 +0000 | river | (~river@tilde.team/user/river) (Quit: Leaving) |
| 2021-06-05 10:05:39 +0000 | wei2912 | (~wei2912@112.199.250.21) |
| 2021-06-05 10:11:35 +0000 | tubogram | (~tubogram@203.86.197.210) (Changing host) |
| 2021-06-05 10:11:35 +0000 | tubogram | (~tubogram@user/tubogram) |
| 2021-06-05 10:12:46 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2021-06-05 10:13:13 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 10:13:25 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-06-05 10:14:15 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-06-05 10:21:10 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds) |
| 2021-06-05 10:21:10 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 245 seconds) |
| 2021-06-05 10:21:18 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) |
| 2021-06-05 10:23:56 +0000 | grepcake | (~artyom@77.234.209.96) |
| 2021-06-05 10:26:06 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 264 seconds) |
| 2021-06-05 10:30:21 +0000 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-05 10:32:12 +0000 | oxide | (~lambda@user/oxide) |
| 2021-06-05 10:32:48 +0000 | ukari | (~ukari@user/ukari) |
| 2021-06-05 10:38:25 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 244 seconds) |
| 2021-06-05 10:41:51 +0000 | azeem | (~azeem@176.200.210.238) |
| 2021-06-05 10:42:47 +0000 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) |
| 2021-06-05 10:47:05 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-05 10:51:29 +0000 | malvo | (~malvo@malvo.org) |
| 2021-06-05 10:52:23 +0000 | tremon | (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-06-05 10:52:25 +0000 | azeem | (~azeem@176.200.210.238) (Ping timeout: 245 seconds) |
| 2021-06-05 10:53:24 +0000 | dhil | (~dhil@195.213.192.47) |
| 2021-06-05 10:53:48 +0000 | GIANTWORLDKEEPER | (~pjetcetal@2.95.204.25) (Read error: Connection reset by peer) |
| 2021-06-05 10:55:19 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-05 10:56:05 +0000 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 252 seconds) |
| 2021-06-05 10:56:19 +0000 | GIANTWORLDKEEPER | (~pjetcetal@2.95.204.25) |
| 2021-06-05 10:58:44 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 10:59:34 +0000 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) |
| 2021-06-05 11:00:15 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 11:03:46 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2021-06-05 11:04:38 +0000 | node-sh | (~node-sh@2401:4900:3b31:9a25:5489:f4a4:3182:a2f0) |
| 2021-06-05 11:09:07 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-05 11:09:18 +0000 | grepcake | (~artyom@77.234.209.96) (Ping timeout: 264 seconds) |
| 2021-06-05 11:16:52 +0000 | grepcake | (~artyom@77.234.209.96) |
| 2021-06-05 11:19:28 +0000 | amahl | (~amahl@dxv5skyjrs0nnb65v1dgy-3.rev.dnainternet.fi) |
| 2021-06-05 11:24:48 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-05 11:27:18 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-05 11:32:02 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-05 11:32:51 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-05 11:34:27 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-06-05 11:39:48 +0000 | ddellaco_ | (~ddellacos@89.46.62.66) |
| 2021-06-05 11:40:30 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2021-06-05 11:44:19 +0000 | rk04 | (~rk04@user/rajk) |
| 2021-06-05 11:44:23 +0000 | __monty__ | (~toonn@user/toonn) |
| 2021-06-05 11:44:36 +0000 | pritambaral | (~pritam@user/pritambaral) |
| 2021-06-05 11:44:42 +0000 | ddellaco_ | (~ddellacos@89.46.62.66) (Ping timeout: 264 seconds) |
| 2021-06-05 11:46:05 +0000 | malvo | (~malvo@malvo.org) (Remote host closed the connection) |
| 2021-06-05 11:46:21 +0000 | malvo | (~malvo@malvo.org) |
| 2021-06-05 11:46:28 +0000 | Deide | (~Deide@wire.desu.ga) |
| 2021-06-05 11:46:29 +0000 | Deide | (~Deide@wire.desu.ga) (Changing host) |
| 2021-06-05 11:46:29 +0000 | Deide | (~Deide@user/deide) |
| 2021-06-05 11:47:06 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 264 seconds) |
| 2021-06-05 11:48:20 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-06-05 11:49:34 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-05 11:49:42 +0000 | henninb | (~henninb@63-226-165-91.mpls.qwest.net) |
| 2021-06-05 11:49:50 +0000 | azeem | (~azeem@176.200.210.238) |
| 2021-06-05 11:50:20 +0000 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-06-05 11:52:39 +0000 | hmmmas | (~chenqisu1@183.217.202.217) (Quit: Leaving.) |
| 2021-06-05 11:52:47 +0000 | rk04 | (~rk04@user/rajk) (Ping timeout: 272 seconds) |
| 2021-06-05 11:53:48 +0000 | BestSteve | (~beststeve@220-135-3-239.HINET-IP.hinet.net) |
| 2021-06-05 11:58:37 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 265 seconds) |
| 2021-06-05 12:02:09 +0000 | xff0x_ | (~xff0x@2001:1a81:53bd:ad00:a03e:d591:6a58:dc1c) (Ping timeout: 268 seconds) |
| 2021-06-05 12:02:37 +0000 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-06-05 12:02:47 +0000 | xff0x | (~xff0x@2001:1a81:53bd:ad00:17e2:a38d:f46d:1b9f) |
| 2021-06-05 12:04:05 +0000 | pe200012 | (~pe200012@120.236.162.25) (Ping timeout: 245 seconds) |
| 2021-06-05 12:04:09 +0000 | pe200012_ | (~pe200012@120.236.162.25) |
| 2021-06-05 12:14:29 +0000 | reumeth | (~reumeth@user/reumeth) (Ping timeout: 268 seconds) |
| 2021-06-05 12:22:41 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) |
| 2021-06-05 12:23:52 +0000 | boxscape | (~boxscape@user/boxscape) |
| 2021-06-05 12:24:49 +0000 | <boxscape> | % sizeOf 0 |
| 2021-06-05 12:24:49 +0000 | <yahb> | boxscape: 8 |
| 2021-06-05 12:25:02 +0000 | <boxscape> | I'm quite surprised that ghc is able to figure out that this is supposed to be Int |
| 2021-06-05 12:25:12 +0000 | <boxscape> | rather than saying "ambiguous type variable" |
| 2021-06-05 12:26:32 +0000 | <boxscape> | If there's a Storable instance for Integer, it chooses that instead |
| 2021-06-05 12:27:18 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 264 seconds) |
| 2021-06-05 12:31:35 +0000 | azeem | (~azeem@176.200.210.238) (Ping timeout: 245 seconds) |
| 2021-06-05 12:32:18 +0000 | skn | (~znc@sec.nimmagadda.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-05 12:33:17 +0000 | skn | (~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c) |
| 2021-06-05 12:34:00 +0000 | node-sh | (~node-sh@2401:4900:3b31:9a25:5489:f4a4:3182:a2f0) (Quit: Leaving) |
| 2021-06-05 12:35:43 +0000 | haltux | (~haltux@a89-154-181-47.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-06-05 12:35:58 +0000 | azeem | (~azeem@176.200.210.238) |
| 2021-06-05 12:36:05 +0000 | bfrk | (~Thunderbi@200116b845406c003a5dd7b952e89ac0.dip.versatel-1u1.de) () |
| 2021-06-05 12:40:20 +0000 | azeem | (~azeem@176.200.210.238) (Ping timeout: 245 seconds) |
| 2021-06-05 12:42:55 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 12:44:44 +0000 | azeem | (~azeem@176.200.210.238) |
| 2021-06-05 12:45:38 +0000 | Xnuk | (~xnuk@45.76.202.58) |
| 2021-06-05 12:46:23 +0000 | chomwitt | (~Pitsikoko@athedsl-20549.home.otenet.gr) |
| 2021-06-05 12:46:29 +0000 | <Xnuk> | >> unwords ["Hello", "world"] |
| 2021-06-05 12:46:35 +0000 | <Xnuk> | > unwords ["Hello", "world"] |
| 2021-06-05 12:46:36 +0000 | <lambdabot> | "Hello world" |
| 2021-06-05 12:48:24 +0000 | grepcake | (~artyom@77.234.209.96) (Ping timeout: 268 seconds) |
| 2021-06-05 12:49:05 +0000 | <malvo> | > let hi = hi in hi |
| 2021-06-05 12:49:07 +0000 | <lambdabot> | *Exception: <<loop>> |
| 2021-06-05 12:49:30 +0000 | azeem | (~azeem@176.200.210.238) (Ping timeout: 264 seconds) |
| 2021-06-05 12:49:33 +0000 | <malvo> | that's too bad |
| 2021-06-05 12:49:39 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 12:50:31 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-05 12:51:41 +0000 | azeem | (~azeem@176.201.29.119) |
| 2021-06-05 12:52:37 +0000 | pe200012 | (~pe200012@58.248.179.167) |
| 2021-06-05 12:52:45 +0000 | pe200012_ | (~pe200012@120.236.162.25) (Ping timeout: 244 seconds) |
| 2021-06-05 12:53:05 +0000 | <Xnuk> | Can I expect no more spams in this server? |
| 2021-06-05 12:53:30 +0000 | <malvo> | yes, sorry |
| 2021-06-05 12:53:51 +0000 | <malvo> | just wanted to know what would happen ._. |
| 2021-06-05 12:53:54 +0000 | <boxscape> | malvo not sure that was referring to you |
| 2021-06-05 12:54:34 +0000 | pritambaral | (~pritam@user/pritambaral) (Ping timeout: 268 seconds) |
| 2021-06-05 12:54:37 +0000 | <Xnuk> | yes I'm not referring you |
| 2021-06-05 12:54:40 +0000 | <Xnuk> | sorry |
| 2021-06-05 12:54:43 +0000 | <malvo> | ah ok |
| 2021-06-05 12:54:43 +0000 | <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 12:55:30 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 264 seconds) |
| 2021-06-05 12:55:31 +0000 | <malvo> | good to know, thanks! |
| 2021-06-05 12:55:39 +0000 | <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 12:56:10 +0000 | <Xnuk> | thats good |
| 2021-06-05 12:58:38 +0000 | azeem | (~azeem@176.201.29.119) (Read error: Connection reset by peer) |
| 2021-06-05 13:00:16 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-05 13:00:43 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-05 13:00:52 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 13:00:58 +0000 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-05 13:01:03 +0000 | alx741 | (~alx741@186.178.108.209) |
| 2021-06-05 13:01:29 +0000 | ukari | (~ukari@user/ukari) |
| 2021-06-05 13:01:55 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-05 13:03:20 +0000 | fryguybob | (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 2021-06-05 13:06:23 +0000 | o1lo01ol_ | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-05 13:06:40 +0000 | <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 13:06:40 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-05 13:07:00 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Ping timeout: 245 seconds) |
| 2021-06-05 13:07:27 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-05 13:07:38 +0000 | epolanski | (uid312403@id-312403.brockwell.irccloud.com) |
| 2021-06-05 13:09:26 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-05 13:12:25 +0000 | <Xnuk> | JSON spec doesn't covers object fields' order, do you mean orders in Haskell's data type? |
| 2021-06-05 13:13:50 +0000 | <stefan-_> | Xnuk, i mean the object field order, when the aeson Object is encoded to json text |
| 2021-06-05 13:15:54 +0000 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 264 seconds) |
| 2021-06-05 13:17:17 +0000 | <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 13:18:04 +0000 | chomwitt | (~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 244 seconds) |
| 2021-06-05 13:23:24 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-05 13:23:54 +0000 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-05 13:26:02 +0000 | o1lo01ol1o | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-05 13:26:03 +0000 | o1lo01ol_ | (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Read error: Connection reset by peer) |
| 2021-06-05 13:26:46 +0000 | derelict | (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) |
| 2021-06-05 13:26:47 +0000 | favonia_ | (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-06-05 13:27:02 +0000 | <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 13:27:53 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-06-05 13:30:54 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 13:32:13 +0000 | wei2912 | (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-06-05 13:32:17 +0000 | eight | (~eight@user/eight) (Ping timeout: 252 seconds) |
| 2021-06-05 13:33:23 +0000 | derelict | (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-06-05 13:35:46 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 265 seconds) |
| 2021-06-05 13:37:40 +0000 | dariof4 | (~dario@5.11.108.150) |
| 2021-06-05 13:39:19 +0000 | skn | (~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-05 13:39:39 +0000 | skn | (~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c) |
| 2021-06-05 13:40:58 +0000 | ddellaco_ | (~ddellacos@86.106.121.56) |
| 2021-06-05 13:43:28 +0000 | <stefan-_> | Xnuk, boxscape, thanks |
| 2021-06-05 13:43:54 +0000 | reumeth | (~reumeth@user/reumeth) |
| 2021-06-05 13:46:29 +0000 | ddellaco_ | (~ddellacos@86.106.121.56) (Ping timeout: 244 seconds) |
| 2021-06-05 13:47:50 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-rc1) |
| 2021-06-05 13:47:57 +0000 | dariof4 | (~dario@5.11.108.150) (Quit: WeeChat 3.1) |
| 2021-06-05 13:47:57 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-06-05 13:53:21 +0000 | <boxscape> | % class A a where test :: a -> () |
| 2021-06-05 13:53:21 +0000 | <yahb> | boxscape: |
| 2021-06-05 13:53:23 +0000 | <boxscape> | % instance A a where test = const () |
| 2021-06-05 13:53:23 +0000 | <yahb> | boxscape: |
| 2021-06-05 13:53:25 +0000 | <boxscape> | % test 45 |
| 2021-06-05 13:53:26 +0000 | <yahb> | boxscape: () |
| 2021-06-05 13:53:29 +0000 | <boxscape> | errr |
| 2021-06-05 13:53:33 +0000 | <boxscape> | % instance A Int where test = const () |
| 2021-06-05 13:53:33 +0000 | <yahb> | boxscape: |
| 2021-06-05 13:53:35 +0000 | <boxscape> | % test 45 |
| 2021-06-05 13:53:35 +0000 | <yahb> | boxscape: () |
| 2021-06-05 13:53:37 +0000 | <boxscape> | dammit |
| 2021-06-05 13:53:50 +0000 | <boxscape> | I must have messed up because I expected to get an ambiguous type variable error |
| 2021-06-05 13:54:06 +0000 | <boxscape> | and was going to ask why it doesn't happen with sizeOf 45 |
| 2021-06-05 13:54:15 +0000 | notzmv | (~zmv@user/notzmv) |
| 2021-06-05 13:54:52 +0000 | ddellacosta | (~ddellacos@86.106.121.235) (Remote host closed the connection) |
| 2021-06-05 13:55:08 +0000 | <boxscape> | % class A a where test :: a -> () -- need to redefine the class to get rid of the first instance |
| 2021-06-05 13:55:08 +0000 | <yahb> | boxscape: |
| 2021-06-05 13:55:13 +0000 | <boxscape> | % instance A Int where test = const () |
| 2021-06-05 13:55:13 +0000 | <yahb> | boxscape: |
| 2021-06-05 13:55:16 +0000 | <boxscape> | % test 45 |
| 2021-06-05 13:55:16 +0000 | <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 13:55:39 +0000 | <boxscape> | % sizeOf 45 -- so, uh, yeah, why don't I get that error message here? |
| 2021-06-05 13:55:39 +0000 | <yahb> | boxscape: 8 |
| 2021-06-05 13:56:09 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-05 13:57:23 +0000 | zebrag | (~chris@user/zebrag) |
| 2021-06-05 13:59:06 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2021-06-05 14:02:27 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-05 14:03:50 +0000 | <janus> | maybe it is something lambdabot specific? |
| 2021-06-05 14:04:11 +0000 | <boxscape> | janus no, it happens in ghci as well |
| 2021-06-05 14:04:55 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-06-05 14:06:18 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds) |
| 2021-06-05 14:06:36 +0000 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-06-05 14:09:38 +0000 | <ski> | % test (45 :: Int) |
| 2021-06-05 14:09:38 +0000 | <yahb> | ski: () |
| 2021-06-05 14:09:44 +0000 | eight | (~eight@user/eight) |
| 2021-06-05 14:10:32 +0000 | <ski> | % instance A Integer where test !_ = () |
| 2021-06-05 14:10:32 +0000 | <yahb> | ski: |
| 2021-06-05 14:10:40 +0000 | pe200012 | (~pe200012@58.248.179.167) (Remote host closed the connection) |
| 2021-06-05 14:10:46 +0000 | <ski> | % test (undefined :: Int) |
| 2021-06-05 14:10:46 +0000 | <yahb> | ski: () |
| 2021-06-05 14:10:51 +0000 | <ski> | % test (undefined :: Integer) |
| 2021-06-05 14:10:51 +0000 | <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 14:11:07 +0000 | <boxscape> | % test 45 |
| 2021-06-05 14:11:07 +0000 | <yahb> | boxscape: () |
| 2021-06-05 14:11:18 +0000 | pe200012 | (~pe200012@120.236.162.25) |
| 2021-06-05 14:11:27 +0000 | <ski> | well, in this case, i suppose it defaults to `Integer' |
| 2021-06-05 14:11:36 +0000 | <boxscape> | yeah |
| 2021-06-05 14:12:16 +0000 | <ski> | % class A a where {test :: a -> ()}; instance A Int where {test = const ()}; instance A Bool where {test !_ = ()} |
| 2021-06-05 14:12:17 +0000 | <yahb> | ski: |
| 2021-06-05 14:12:22 +0000 | <ski> | % test 45 |
| 2021-06-05 14:12:22 +0000 | <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 14:12:50 +0000 | neceve | (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 244 seconds) |
| 2021-06-05 14:13:07 +0000 | <ski> | satisfied ? |
| 2021-06-05 14:13:36 +0000 | <boxscape> | ski erm, I'm still not sure why I don't get that error message with sizeOf |
| 2021-06-05 14:13:47 +0000 | <boxscape> | % sizeOf (45 :: Integer) |
| 2021-06-05 14:13:47 +0000 | <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 14:13:57 +0000 | <boxscape> | it's not defaulting to Integer, in that case, so.. |
| 2021-06-05 14:14:16 +0000 | grepcake | (~artyom@77.234.209.96) |
| 2021-06-05 14:14:24 +0000 | <geekosaur> | defaulting to Double? |
| 2021-06-05 14:15:00 +0000 | <janus> | % sizeOf (45 :: _) |
| 2021-06-05 14:15:00 +0000 | <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 14:15:08 +0000 | <geekosaur> | and ExtendedDefaultRules so it applies this to Storable instead of just the builtin ones |
| 2021-06-05 14:15:08 +0000 | <boxscape> | ahh, okay |
| 2021-06-05 14:15:22 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 14:15:23 +0000 | <geekosaur> | (iirc) |
| 2021-06-05 14:15:38 +0000 | <boxscape> | % :set -XNoExtendedDefaultRules |
| 2021-06-05 14:15:38 +0000 | <yahb> | boxscape: |
| 2021-06-05 14:15:45 +0000 | <boxscape> | % sizeOf (45 :: _) |
| 2021-06-05 14:15:45 +0000 | <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 14:15:53 +0000 | <boxscape> | yep, thanks geekosaur |
| 2021-06-05 14:17:36 +0000 | grepcake | (~artyom@77.234.209.96) (Client Quit) |
| 2021-06-05 14:17:43 +0000 | safinaskar | (~user@109.252.90.89) |
| 2021-06-05 14:17:58 +0000 | <safinaskar> | is there some guide "how to design good haskell APIs"? |
| 2021-06-05 14:18:49 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 14:19:48 +0000 | Natch | (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 2021-06-05 14:20:28 +0000 | <janus> | % default (Int) |
| 2021-06-05 14:20:28 +0000 | <yahb> | janus: |
| 2021-06-05 14:20:31 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-05 14:20:32 +0000 | FinnElija | Guest2629 |
| 2021-06-05 14:20:32 +0000 | finn_elija | FinnElija |
| 2021-06-05 14:20:33 +0000 | <janus> | % sizeOf (45 :: _) |
| 2021-06-05 14:20:33 +0000 | <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 14:20:56 +0000 | <janus> | % :set -XExtendedDefaultRules |
| 2021-06-05 14:20:56 +0000 | <yahb> | janus: |
| 2021-06-05 14:20:59 +0000 | <janus> | % sizeOf (45 :: _) |
| 2021-06-05 14:20:59 +0000 | <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 14:21:14 +0000 | <janus> | oooh i did not know this default syntax :O |
| 2021-06-05 14:21:14 +0000 | grepcake | (~artyom@77.234.209.96) |
| 2021-06-05 14:21:35 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-05 14:21:47 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-06-05 14:22:11 +0000 | <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 14:22:39 +0000 | <janus> | % default _ |
| 2021-06-05 14:22:39 +0000 | <yahb> | janus: ; <interactive>:51:9: error: parse error on input `_' |
| 2021-06-05 14:23:03 +0000 | <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 14:23:15 +0000 | <boxscape> | oh |
| 2021-06-05 14:23:20 +0000 | <boxscape> | because you typed default (Int) |
| 2021-06-05 14:23:27 +0000 | <janus> | right, i am a hax0r |
| 2021-06-05 14:23:31 +0000 | <boxscape> | :) |
| 2021-06-05 14:23:54 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-05 14:24:01 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) |
| 2021-06-05 14:25:11 +0000 | <safinaskar> | janus: thanks |
| 2021-06-05 14:25:45 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 244 seconds) |
| 2021-06-05 14:28:20 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 244 seconds) |
| 2021-06-05 14:28:26 +0000 | renzhi | (~xp@2607:fa49:6500:bc00::e7b) |
| 2021-06-05 14:28:44 +0000 | Natch | (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-06-05 14:31:26 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 2021-06-05 14:31:49 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 14:32:30 +0000 | ddellacosta | (~ddellacos@86.106.143.183) |
| 2021-06-05 14:35:55 +0000 | <boxscape> | % class A a where {test :: a -> ()}; instance A Int where {test = const ()} |
| 2021-06-05 14:35:55 +0000 | <yahb> | boxscape: |
| 2021-06-05 14:35:56 +0000 | <boxscape> | % test 45 |
| 2021-06-05 14:35:56 +0000 | <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 14:35:58 +0000 | <boxscape> | % class A a where {test :: a -> ()}; instance A Int where {test = const ()}; instance A Double where {test = const ()} |
| 2021-06-05 14:35:58 +0000 | <yahb> | boxscape: |
| 2021-06-05 14:36:00 +0000 | <boxscape> | % test 45 |
| 2021-06-05 14:36:00 +0000 | <yahb> | boxscape: () |
| 2021-06-05 14:36:10 +0000 | <boxscape> | it does seem strange to me that adding an instance makes things *less* ambiguous |
| 2021-06-05 14:36:13 +0000 | <boxscape> | but I guess I can accept it |
| 2021-06-05 14:36:49 +0000 | <geekosaur> | defaulting's a bit odd |
| 2021-06-05 14:37:13 +0000 | <geekosaur> | the list of classes that can be defaulted through without ExtendedDefaultRules is also a bit arbitrary |
| 2021-06-05 14:37:30 +0000 | ddellacosta | (~ddellacos@86.106.143.183) (Ping timeout: 264 seconds) |
| 2021-06-05 14:38:39 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 14:39:06 +0000 | <boxscape> | yeah, Num or any subclass of Num that's "defined in the Prelude or a standard library" |
| 2021-06-05 14:39:32 +0000 | <janus> | standard library is more than just base? |
| 2021-06-05 14:39:42 +0000 | <boxscape> | who knows, they don't say |
| 2021-06-05 14:39:50 +0000 | <boxscape> | in the report, on that page |
| 2021-06-05 14:41:00 +0000 | <janus> | ah, then it probably refers to the Haskell 2010 libraries : https://www.haskell.org/onlinereport/haskell2010/haskellpa2.html |
| 2021-06-05 14:41:07 +0000 | <boxscape> | ah, right |
| 2021-06-05 14:41:46 +0000 | mc47 | (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-06-05 14:41:52 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-05 14:42:52 +0000 | UpstreamSalmon | (uid12077@id-12077.stonehaven.irccloud.com) |
| 2021-06-05 14:43:00 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-05 14:43:49 +0000 | curiousgay | (~quassel@178.217.208.8) |
| 2021-06-05 14:46:06 +0000 | grepcake | (~artyom@77.234.209.96) (Quit: Konversation terminated!) |
| 2021-06-05 14:46:50 +0000 | pritambaral | (~pritam@user/pritambaral) |
| 2021-06-05 14:47:22 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija) |
| 2021-06-05 14:48:54 +0000 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor) |
| 2021-06-05 14:49:30 +0000 | pbrisbin | (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-06-05 14:50:06 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 264 seconds) |
| 2021-06-05 14:52:27 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-06-05 14:52:48 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-05 14:54:22 +0000 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2021-06-05 14:54:55 +0000 | Guest2629 | (~finn_elij@user/finn-elija/x-0085643) (Quit: Guest2629) |
| 2021-06-05 14:55:13 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-05 14:56:28 +0000 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) |
| 2021-06-05 14:57:43 +0000 | neceve | (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) |
| 2021-06-05 14:59:33 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) |
| 2021-06-05 15:02:25 +0000 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-05 15:03:18 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-05 15:06:33 +0000 | shriekingnoise | (~shrieking@186.137.144.80) (Read error: Connection reset by peer) |
| 2021-06-05 15:10:05 +0000 | ddellacosta | (~ddellacos@86.106.143.100) |
| 2021-06-05 15:10:23 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-05 15:12:45 +0000 | epolanski | (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-05 15:14:33 +0000 | ddellacosta | (~ddellacos@86.106.143.100) (Ping timeout: 268 seconds) |
| 2021-06-05 15:15:35 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: Connection reset by peer) |
| 2021-06-05 15:15:59 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-05 15:16:24 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 268 seconds) |
| 2021-06-05 15:16:36 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 15:17:13 +0000 | <systemfault> | It may be obvious... but was wondering: Can monoids always be combined in parallel? |
| 2021-06-05 15:17:16 +0000 | xff0x | (~xff0x@2001:1a81:53bd:ad00:17e2:a38d:f46d:1b9f) (Ping timeout: 265 seconds) |
| 2021-06-05 15:17:25 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 244 seconds) |
| 2021-06-05 15:17:59 +0000 | xff0x | (~xff0x@2001:1a81:53bd:ad00:82dd:e8fb:f0ad:2e66) |
| 2021-06-05 15:18:29 +0000 | <[exa]> | systemfault: semigroups should guarantee that (a<>b)<>(c<>d) == a<>(b<>(c<>d)) right? |
| 2021-06-05 15:18:40 +0000 | <systemfault> | Yeah, I believe so |
| 2021-06-05 15:18:50 +0000 | <[exa]> | because lawful ones should be associative |
| 2021-06-05 15:19:08 +0000 | derelict | (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) |
| 2021-06-05 15:19:12 +0000 | dixie | (~dixie@real.wilbury.sk) (Ping timeout: 265 seconds) |
| 2021-06-05 15:19:33 +0000 | dixie | (~dixie@real.wilbury.sk) |
| 2021-06-05 15:20:59 +0000 | <sshine> | systemfault, associativity should ensure that, yes |
| 2021-06-05 15:21:26 +0000 | <sshine> | systemfault, so lawful Monoids :) |
| 2021-06-05 15:21:35 +0000 | <systemfault> | Great :) Thank you |
| 2021-06-05 15:22:12 +0000 | <sshine> | but does (==) guarantee structural equivalence? |
| 2021-06-05 15:22:36 +0000 | favonia | (~favonia@user/favonia) |
| 2021-06-05 15:23:01 +0000 | <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 15:23:26 +0000 | <systemfault> | I'm glad that it's not an issue in my current case |
| 2021-06-05 15:25:16 +0000 | <ski> | "but does (==) guarantee structural equivalence?" -- do you mean that internal representation is structurally the same ? |
| 2021-06-05 15:25:20 +0000 | safinaskar | (~user@109.252.90.89) () |
| 2021-06-05 15:26:11 +0000 | aerona | (~aerona@2600:6c54:4600:f300:8166:afd5:9294:f1a6) |
| 2021-06-05 15:26:14 +0000 | <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 15:26:22 +0000 | <boxscape> | I guess it's a bit ambiguous what exactly = means here |
| 2021-06-05 15:26:47 +0000 | <monochrom> | Data.Set.Set (==) does not use structural equivalence. |
| 2021-06-05 15:26:49 +0000 | <ski> | observational equivalence, i suppose ? |
| 2021-06-05 15:26:58 +0000 | <[exa]> | "preferably nothing very specific" |
| 2021-06-05 15:27:10 +0000 | <boxscape> | ski i.e. equivalent wrt all functions exposed in the API for that type? |
| 2021-06-05 15:27:42 +0000 | haltux | (~haltux@a89-154-181-47.cpe.netcabo.pt) |
| 2021-06-05 15:27:43 +0000 | <monochrom> | "=" is mathematical equality. |
| 2021-06-05 15:27:59 +0000 | <boxscape> | monochrom that's still ambiguous :P |
| 2021-06-05 15:28:21 +0000 | <monochrom> | I think it is actually beneficial to leave it open. |
| 2021-06-05 15:28:41 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2021-06-05 15:29:27 +0000 | <boxscape> | Idris has VerifiedSemigroup which uses structural equality IIUC |
| 2021-06-05 15:29:42 +0000 | <boxscape> | but also has a non-verified Semigroup interface |
| 2021-06-05 15:29:47 +0000 | <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 15:29:53 +0000 | <boxscape> | er, I think, anyway |
| 2021-06-05 15:30:59 +0000 | <ski> | i suppose Idris doesn't have quotient types (?) |
| 2021-06-05 15:30:59 +0000 | <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 15:31:18 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Remote host closed the connection) |
| 2021-06-05 15:32:44 +0000 | Core5474 | (~Core5474@2600:1700:7720:cf80:e124:f2c6:8838:3b4c) |
| 2021-06-05 15:32:47 +0000 | <boxscape> | ski I believe that's right |
| 2021-06-05 15:32:52 +0000 | <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 15:34:56 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) |
| 2021-06-05 15:35:50 +0000 | chomwitt | (~Pitsikoko@athedsl-20549.home.otenet.gr) |
| 2021-06-05 15:37:26 +0000 | <ski> | .. i wonder how much sense it would make to have a monad `Indet', used to model multiple possible representations |
| 2021-06-05 15:38:00 +0000 | leungbk | (~user@2603-8000-1201-2dd2-dec4-9dba-549e-1771.res6.spectrum.com) |
| 2021-06-05 15:39:21 +0000 | <ski> | so you would have `newtype Set a = MkSet (Indet (SetRepresentation a))', possibly, with `promiseEquivalentSolutions :: (Indet a -> b) -> (a -> b)' |
| 2021-06-05 15:40:59 +0000 | <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 15:41:25 +0000 | <ski> | s/with just/will just/ |
| 2021-06-05 15:41:39 +0000 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-06-05 15:42:51 +0000 | chomwitt | (~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 245 seconds) |
| 2021-06-05 15:43:01 +0000 | <ski> | (i wonder if there'd be any "interesting" interactions with nonstrictness) |
| 2021-06-05 15:43:06 +0000 | ddellacosta | (~ddellacos@89.46.62.123) |
| 2021-06-05 15:43:30 +0000 | ddellaco_ | (~ddellacos@86.106.143.144) |
| 2021-06-05 15:44:01 +0000 | bin_ | (~bin@user/bin/x-1583188) |
| 2021-06-05 15:44:46 +0000 | _bin | (~bin@user/bin/x-1583188) (Ping timeout: 268 seconds) |
| 2021-06-05 15:45:26 +0000 | bontaq | (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-06-05 15:45:58 +0000 | henninb | (~henninb@63-226-165-91.mpls.qwest.net) (Remote host closed the connection) |
| 2021-06-05 15:46:18 +0000 | junkicide | (~user@2a01:e0a:195:20c0:a95e:73ee:468d:e1b6) |
| 2021-06-05 15:46:49 +0000 | <junkicide> | is there some value x in haskell such that x:l == l for any list l? |
| 2021-06-05 15:47:12 +0000 | <geekosaur> | no |
| 2021-06-05 15:47:30 +0000 | <ski> | a list could always be empty |
| 2021-06-05 15:47:51 +0000 | ddellacosta | (~ddellacos@89.46.62.123) (Ping timeout: 268 seconds) |
| 2021-06-05 15:48:05 +0000 | <janus> | sounds like a homework question ;) |
| 2021-06-05 15:48:07 +0000 | <ski> | (and `x:l' is never empty) |
| 2021-06-05 15:48:18 +0000 | ddellaco_ | (~ddellacos@86.106.143.144) (Ping timeout: 264 seconds) |
| 2021-06-05 15:49:09 +0000 | <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 15:49:40 +0000 | <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 15:50:01 +0000 | <boxscape> | ski: or is it :P https://gitlab.haskell.org/ghc/ghc/-/issues/19917 |
| 2021-06-05 15:50:17 +0000 | <boxscape> | ski to be fair that's an optimization that makes it appear empty, it's not actually |
| 2021-06-05 15:50:50 +0000 | <monochrom> | An error message that says "OK" :) |
| 2021-06-05 15:51:11 +0000 | <monochrom> | A fire situation that says "this is fine" :) |
| 2021-06-05 15:51:16 +0000 | <boxscape> | hah |
| 2021-06-05 15:51:20 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: Connection reset by peer) |
| 2021-06-05 15:51:35 +0000 | pe200012 | (~pe200012@120.236.162.25) (Ping timeout: 265 seconds) |
| 2021-06-05 15:51:45 +0000 | <[exa]> | one loud way to report success. :D |
| 2021-06-05 15:52:16 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-05 15:53:59 +0000 | mpt | (~tom@p57a566f5.dip0.t-ipconnect.de) |
| 2021-06-05 15:55:39 +0000 | monochrom | (trebla@216.138.220.146) (Ping timeout: 244 seconds) |
| 2021-06-05 15:58:50 +0000 | mpt | (~tom@p57a566f5.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2021-06-05 16:01:31 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 16:03:02 +0000 | <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 16:03:18 +0000 | <janus> | maybe i am missing some subtlety of your question |
| 2021-06-05 16:04:43 +0000 | Bartosz | (~textual@24.35.90.211) |
| 2021-06-05 16:15:07 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 16:15:12 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-06-05 16:15:36 +0000 | AkechiShiro | (~licht@user/akechishiro) (Ping timeout: 268 seconds) |
| 2021-06-05 16:16:27 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-05 16:16:32 +0000 | AkechiShiro | (~licht@user/akechishiro) |
| 2021-06-05 16:17:18 +0000 | ddellacosta | (~ddellacos@89.46.62.157) |
| 2021-06-05 16:20:02 +0000 | dhil | (~dhil@195.213.192.47) (Ping timeout: 252 seconds) |
| 2021-06-05 16:21:41 +0000 | ddellacosta | (~ddellacos@89.46.62.157) (Ping timeout: 252 seconds) |
| 2021-06-05 16:22:42 +0000 | danidiaz | (~ESDPC@137.101.155.105) |
| 2021-06-05 16:26:31 +0000 | eggplant_ | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-05 16:27:01 +0000 | maerwald | (~maerwald@user/maerwald) (Ping timeout: 272 seconds) |
| 2021-06-05 16:29:14 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 244 seconds) |
| 2021-06-05 16:32:10 +0000 | leungbk | (~user@2603-8000-1201-2dd2-dec4-9dba-549e-1771.res6.spectrum.com) (Remote host closed the connection) |
| 2021-06-05 16:32:45 +0000 | leungbk | (~user@cpe-142-129-149-172.socal.res.rr.com) |
| 2021-06-05 16:35:02 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 16:35:26 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-06-05 16:35:45 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2021-06-05 16:36:53 +0000 | monochrom | (~trebla@216.138.220.146) |
| 2021-06-05 16:37:59 +0000 | arjun | (~user@user/arjun) |
| 2021-06-05 16:38:17 +0000 | <arjun> | am i missing something with documentation of hackage packages ? : P |
| 2021-06-05 16:38:36 +0000 | <arjun> | by missing i mean, i really can't find any documentation : P |
| 2021-06-05 16:39:20 +0000 | <c_wraith> | what package? |
| 2021-06-05 16:39:29 +0000 | <geekosaur> | anything dependent on a C library only has documentation if it's been uploaded, for one |
| 2021-06-05 16:39:30 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 245 seconds) |
| 2021-06-05 16:41:01 +0000 | <arjun> | https://hackage.haskell.org/package/filepath ? |
| 2021-06-05 16:41:52 +0000 | <c_wraith> | Docs look pretty good to me |
| 2021-06-05 16:42:07 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-05 16:42:16 +0000 | <c_wraith> | The primary entry point to the documentation is the "Modules" section |
| 2021-06-05 16:42:27 +0000 | <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 16:43:13 +0000 | <c_wraith> | and even that re-export behavior is documented on the top-level page |
| 2021-06-05 16:44:48 +0000 | enzotib | (~enzotib@user/enzotib) () |
| 2021-06-05 16:45:25 +0000 | <arjun> | c_wraith: do i click the index button there? |
| 2021-06-05 16:45:50 +0000 | <arjun> | i am mostly looking for what types it has, what functions it has and how do i use those functions? |
| 2021-06-05 16:45:53 +0000 | <c_wraith> | that will give you the index. that's great for finding stuff, but not the primary docs |
| 2021-06-05 16:45:58 +0000 | <c_wraith> | click on a module name |
| 2021-06-05 16:46:33 +0000 | <arjun> | https://hackage.haskell.org/package/filepath-1.4.2.1/docs/System-FilePath.html |
| 2021-06-05 16:46:49 +0000 | <arjun> | looks like a re-export. so i clicked again |
| 2021-06-05 16:47:01 +0000 | <arjun> | got me here:- https://hackage.haskell.org/package/filepath-1.4.2.1/docs/System-FilePath-Posix.html |
| 2021-06-05 16:47:04 +0000 | <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 16:47:25 +0000 | <c_wraith> | Like, as far as documentation goes, I'd say that's really important information |
| 2021-06-05 16:47:25 +0000 | <arjun> | c_wraith: yea, i caught that |
| 2021-06-05 16:47:27 +0000 | maerwald | (~maerwald@mail.hasufell.de) (Changing host) |
| 2021-06-05 16:47:28 +0000 | maerwald | (~maerwald@user/maerwald) |
| 2021-06-05 16:48:37 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 16:49:30 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds) |
| 2021-06-05 16:49:42 +0000 | hendursa1 | (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-06-05 16:50:18 +0000 | hendursaga | (~weechat@user/hendursaga) |
| 2021-06-05 16:50:28 +0000 | ddellacosta | (~ddellacos@86.106.143.53) |
| 2021-06-05 16:53:19 +0000 | <Hanicef> | is it common to use `do` a lot when writing IO-heavy code? |
| 2021-06-05 16:53:27 +0000 | <c_wraith> | yes |
| 2021-06-05 16:53:42 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-05 16:53:46 +0000 | <Hanicef> | ok, that's reassuring to hear |
| 2021-06-05 16:54:30 +0000 | ddellacosta | (~ddellacos@86.106.143.53) (Ping timeout: 245 seconds) |
| 2021-06-05 16:54:43 +0000 | samhh | (~samhh@90.252.97.14) |
| 2021-06-05 16:54:54 +0000 | <maerwald> | I >>= only >>= use >>= monad >>= bind |
| 2021-06-05 16:55:03 +0000 | <maerwald> | because >>= it's >>= more >>= readable |
| 2021-06-05 16:55:06 +0000 | <yushyin> | the alternative would be to use a lot of >>= and hardly anyone wants to do that, right? |
| 2021-06-05 16:55:14 +0000 | boxscape | (~boxscape@user/boxscape) (Ping timeout: 252 seconds) |
| 2021-06-05 16:55:15 +0000 | <yushyin> | ok maerwald wants to :D |
| 2021-06-05 16:55:35 +0000 | <maerwald> | yushyin: I have key macros for >>= and =<< :p |
| 2021-06-05 16:55:39 +0000 | <maerwald> | so I don't mind |
| 2021-06-05 16:56:03 +0000 | <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 16:57:43 +0000 | motte | (~weechat@82.131.67.98.cable.starman.ee) |
| 2021-06-05 16:59:43 +0000 | hexo | (~hexo@user/hexo) (Ping timeout: 244 seconds) |
| 2021-06-05 16:59:44 +0000 | neceve | (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 265 seconds) |
| 2021-06-05 17:00:08 +0000 | <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 17:00:34 +0000 | ddellacosta | (~ddellacos@89.46.62.43) |
| 2021-06-05 17:02:24 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-06-05 17:03:04 +0000 | ddellaco_ | (~ddellacos@89.46.62.116) |
| 2021-06-05 17:04:21 +0000 | hexo | (~hexo@user/hexo) |
| 2021-06-05 17:04:34 +0000 | Sose | (~username@mobile-access-6df047-172.dhcp.inet.fi) |
| 2021-06-05 17:05:15 +0000 | rk04 | (~rk04@user/rajk) |
| 2021-06-05 17:05:28 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-133-135.cust.tzulo.com) |
| 2021-06-05 17:06:18 +0000 | ddellacosta | (~ddellacos@89.46.62.43) (Ping timeout: 264 seconds) |
| 2021-06-05 17:06:41 +0000 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 17:09:29 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 2021-06-05 17:11:39 +0000 | emliunix | (~emliunix@103.138.74.59) |
| 2021-06-05 17:12:30 +0000 | ddellaco_ | (~ddellacos@89.46.62.116) (Read error: Connection reset by peer) |
| 2021-06-05 17:13:04 +0000 | ddellacosta | (~ddellacos@89.46.62.116) |
| 2021-06-05 17:13:08 +0000 | Bartosz | (~textual@24.35.90.211) |
| 2021-06-05 17:15:52 +0000 | boxscape | (~boxscape@user/boxscape) |
| 2021-06-05 17:18:00 +0000 | <boxscape> | motte what are the types before you convert it to JSON? |
| 2021-06-05 17:18:25 +0000 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
| 2021-06-05 17:18:53 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-06-05 17:21:14 +0000 | samhh | (~samhh@90.252.97.14) (Quit: samhh) |
| 2021-06-05 17:21:46 +0000 | <motte> | [Tree a], and [b], where a and b are my own defined data types |
| 2021-06-05 17:22:50 +0000 | <motte> | paste: http://ix.io/3oRf |
| 2021-06-05 17:22:55 +0000 | aplainze1akind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-06-05 17:23:27 +0000 | <motte> | essentially i'd like to do "children" .= children ++ targets |
| 2021-06-05 17:23:39 +0000 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-05 17:23:51 +0000 | anderson | (~ande@134.209.221.71) |
| 2021-06-05 17:24:06 +0000 | <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 17:24:16 +0000 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2021-06-05 17:25:07 +0000 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-05 17:25:11 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 17:25:19 +0000 | <motte> | thanks, i'll try it out |
| 2021-06-05 17:25:50 +0000 | <ski> | boxscape : did you mean `data HasJSON = forall a. ToJSON a => HasJSON a' ? |
| 2021-06-05 17:26:15 +0000 | <boxscape> | ski erm, yes, I suppose I did |
| 2021-06-05 17:26:19 +0000 | <boxscape> | ^ motte |
| 2021-06-05 17:26:19 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 17:28:07 +0000 | ddellaco_ | (~ddellacos@86.106.121.196) |
| 2021-06-05 17:30:06 +0000 | <ski> | i guess if one wanted `FromJSON HasJSON' too, that'd be harder |
| 2021-06-05 17:30:59 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 252 seconds) |
| 2021-06-05 17:31:10 +0000 | <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 17:31:37 +0000 | wonko | (~wjc@62.115.229.50) |
| 2021-06-05 17:31:56 +0000 | Guest60 | (~Guest60@187.83.249.216.dyn.smithville.net) |
| 2021-06-05 17:32:47 +0000 | econo | (uid147250@user/econo) |
| 2021-06-05 17:32:50 +0000 | ddellaco_ | (~ddellacos@86.106.121.196) (Ping timeout: 245 seconds) |
| 2021-06-05 17:34:20 +0000 | <ski> | could the JSON representation of a tree look the same as the one for a target ? |
| 2021-06-05 17:36:11 +0000 | dhil | (~dhil@195.213.192.47) |
| 2021-06-05 17:38:47 +0000 | <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 17:41:24 +0000 | <arjun> | can i make an absolute path from a relative FilePath like sourcePath = "../source/contents/" |
| 2021-06-05 17:41:42 +0000 | <arjun> | how can i * |
| 2021-06-05 17:42:09 +0000 | <monochrom> | If you also know the current working directory, you can compute it, or just do concatenation. |
| 2021-06-05 17:42:09 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-05 17:42:24 +0000 | <arjun> | System.Directory (makeAblsoulte) introduces a ".." in the path |
| 2021-06-05 17:42:34 +0000 | Guest60 | (~Guest60@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2021-06-05 17:42:58 +0000 | <monochrom> | probably because the author just does concatenation. I mean why bother. |
| 2021-06-05 17:43:04 +0000 | <arjun> | monochrom: it's outside my currentDir. but sure, i can get my cd |
| 2021-06-05 17:44:16 +0000 | <arjun> | like i have to go a level up and 2 levels down |
| 2021-06-05 17:46:52 +0000 | reumeth | (~reumeth@user/reumeth) (Ping timeout: 268 seconds) |
| 2021-06-05 17:48:36 +0000 | rk04 | (~rk04@user/rajk) (Quit: rk04) |
| 2021-06-05 17:48:53 +0000 | reumeth | (~reumeth@user/reumeth) |
| 2021-06-05 17:48:57 +0000 | <arjun> | monochrom: nvm, found it. |
| 2021-06-05 17:51:33 +0000 | safinaskar | (~user@109.252.90.89) |
| 2021-06-05 17:52:23 +0000 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 17:52:56 +0000 | reumeth | (~reumeth@user/reumeth) (Ping timeout: 244 seconds) |
| 2021-06-05 17:53:02 +0000 | dunkeln | (~dunkeln@94.129.65.28) |
| 2021-06-05 17:53:58 +0000 | Bartosz | (~textual@24.35.90.211) |
| 2021-06-05 17:54:32 +0000 | <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 17:55:08 +0000 | <ski> | lookup d =<< lookup a b |
| 2021-06-05 17:55:38 +0000 | ddellacosta | (~ddellacos@89.46.62.116) (Remote host closed the connection) |
| 2021-06-05 17:55:47 +0000 | ddellacosta | (~ddellacos@89.46.62.116) |
| 2021-06-05 17:55:52 +0000 | <safinaskar> | ski: yes, but what to do in more complicated cases? i will provide example |
| 2021-06-05 17:56:14 +0000 | <safinaskar> | let's assume safeDiv is safe division with type Int -> Int -> Maybe Int |
| 2021-06-05 17:56:15 +0000 | ddellacosta | (~ddellacos@89.46.62.116) (Remote host closed the connection) |
| 2021-06-05 17:56:27 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-06-05 17:56:42 +0000 | <ski> | i have a (vaporware) syntax (with type system rules, and translation rules), including such brackets |
| 2021-06-05 17:56:44 +0000 | ddellacosta | (~ddellacos@89.46.62.116) |
| 2021-06-05 17:56:55 +0000 | <safinaskar> | now consider this: do { x <- (a + b) `safeDiv` (c + d); x * y + z `safeDiv` 2; } |
| 2021-06-05 17:57:22 +0000 | <boxscape> | vaporwave syntax? |
| 2021-06-05 17:57:40 +0000 | <boxscape> | oh wait |
| 2021-06-05 17:57:44 +0000 | <boxscape> | I misread, lol |
| 2021-06-05 17:57:51 +0000 | ski | glances around nervously |
| 2021-06-05 17:58:07 +0000 | <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 17:58:17 +0000 | <monochrom> | haha |
| 2021-06-05 17:58:46 +0000 | <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 17:58:53 +0000 | <c_wraith> | now I want syntax with lots of neon pink and blue |
| 2021-06-05 18:00:09 +0000 | fabfianda | (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) (Ping timeout: 265 seconds) |
| 2021-06-05 18:00:15 +0000 | <justsomeguy> | I want syntax highlighting that makes parenthesis taller when they enclose another pair of parenthesis. |
| 2021-06-05 18:00:57 +0000 | <justsomeguy> | Sorry, that was random. |
| 2021-06-05 18:01:10 +0000 | ddellacosta | (~ddellacos@89.46.62.116) (Ping timeout: 245 seconds) |
| 2021-06-05 18:01:40 +0000 | <monochrom> | No, that's a natural desire. |
| 2021-06-05 18:02:01 +0000 | <monochrom> | Random would be "I want parenthesis height to be random" :D |
| 2021-06-05 18:02:10 +0000 | <justsomeguy> | :D |
| 2021-06-05 18:02:54 +0000 | <mrmonday> | the kerning should be just a little bit different at each level |
| 2021-06-05 18:03:09 +0000 | <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 18:03:29 +0000 | <safinaskar> | ski: please, show that your software |
| 2021-06-05 18:05:39 +0000 | <ski> | ⌜ ⟨ ⌞ (a + b) `safeDiv` (c + d) ⌟ * y + z `safeDiv` 2 ⟩ ⌝ |
| 2021-06-05 18:05:59 +0000 | <ski> | alternatively |
| 2021-06-05 18:06:20 +0000 | <ski> | ⌜ ⟨ ⟨ (a + b) `safeDiv` (c + d) ⟩ * y + z `safeDiv` 2 ⟩ ⌝ |
| 2021-06-05 18:07:14 +0000 | ddellacosta | (~ddellacos@89.46.62.209) |
| 2021-06-05 18:07:26 +0000 | <ski> | (innermost unquotes can be replaced by "splices") |
| 2021-06-05 18:07:56 +0000 | <safinaskar> | ski: does actual tool exist, which accept such syntax? |
| 2021-06-05 18:09:19 +0000 | ddellaco_ | (~ddellacos@89.45.224.79) |
| 2021-06-05 18:09:26 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-06-05 18:09:57 +0000 | pierrot | (~pi@user/pierrot) |
| 2021-06-05 18:10:19 +0000 | <ski> | no (see "vaporware") |
| 2021-06-05 18:12:09 +0000 | ddellacosta | (~ddellacos@89.46.62.209) (Ping timeout: 268 seconds) |
| 2021-06-05 18:12:50 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
| 2021-06-05 18:13:11 +0000 | danidiaz1 | (~ESDPC@137.101.155.105) |
| 2021-06-05 18:14:58 +0000 | <safinaskar> | ski: ok :( |
| 2021-06-05 18:15:19 +0000 | danidiaz | (~ESDPC@137.101.155.105) (Ping timeout: 272 seconds) |
| 2021-06-05 18:18:56 +0000 | ddellaco_ | (~ddellacos@89.45.224.79) (Ping timeout: 268 seconds) |
| 2021-06-05 18:19:19 +0000 | ddellacosta | (~ddellacos@89.46.62.183) |
| 2021-06-05 18:19:59 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-06-05 18:21:01 +0000 | ddellaco_ | (~ddellacos@89.45.224.222) |
| 2021-06-05 18:23:23 +0000 | ddellaco_ | (~ddellacos@89.45.224.222) (Remote host closed the connection) |
| 2021-06-05 18:23:41 +0000 | ddellaco_ | (~ddellacos@89.45.224.222) |
| 2021-06-05 18:24:10 +0000 | GuerrillaMonkey | (~Jeanne-Ka@static-198-54-128-61.cust.tzulo.com) |
| 2021-06-05 18:24:18 +0000 | ddellacosta | (~ddellacos@89.46.62.183) (Ping timeout: 264 seconds) |
| 2021-06-05 18:27:50 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-133-135.cust.tzulo.com) (Ping timeout: 245 seconds) |
| 2021-06-05 18:30:27 +0000 | UpstreamSalmon | (uid12077@id-12077.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-05 18:30:31 +0000 | arjun | (~user@user/arjun) (Ping timeout: 272 seconds) |
| 2021-06-05 18:30:36 +0000 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 265 seconds) |
| 2021-06-05 18:32:08 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 18:33:54 +0000 | <ski> | (and i'm pretty sure those banana brackets are entirely unrelated to what you wanted) |
| 2021-06-05 18:34:05 +0000 | ddellaco_ | (~ddellacos@89.45.224.222) (Ping timeout: 245 seconds) |
| 2021-06-05 18:34:52 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 18:35:36 +0000 | ddellacosta | (~ddellacos@89.45.224.222) |
| 2021-06-05 18:36:51 +0000 | leungbk | (~user@cpe-142-129-149-172.socal.res.rr.com) (Ping timeout: 272 seconds) |
| 2021-06-05 18:40:20 +0000 | ddellacosta | (~ddellacos@89.45.224.222) (Ping timeout: 245 seconds) |
| 2021-06-05 18:41:49 +0000 | v01d4lph4 | (~v01d4lph4@122.160.65.250) |
| 2021-06-05 18:41:49 +0000 | v01d4lph4 | (~v01d4lph4@122.160.65.250) (Changing host) |
| 2021-06-05 18:41:49 +0000 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) |
| 2021-06-05 18:42:11 +0000 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) (Read error: Connection reset by peer) |
| 2021-06-05 18:42:43 +0000 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-06-05 18:42:50 +0000 | ddellacosta | (~ddellacos@89.46.62.25) |
| 2021-06-05 18:43:09 +0000 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-05 18:43:53 +0000 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2021-06-05 18:44:19 +0000 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-05 18:45:09 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-06-05 18:46:51 +0000 | chexum | (~chexum@2a02:a03f:62f9:3f00:6b71:476f:e71b:80b) (Quit: -) |
| 2021-06-05 18:47:28 +0000 | chexum | (~chexum@2a02:a03f:62f9:3f00:6b71:476f:e71b:80b) |
| 2021-06-05 18:48:06 +0000 | eggplant_ | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
| 2021-06-05 18:48:53 +0000 | ddellaco_ | (~ddellacos@86.106.143.53) |
| 2021-06-05 18:48:57 +0000 | Guest33 | (~Guest33@d24-141-46-200.home.cgocable.net) |
| 2021-06-05 18:49:32 +0000 | <Guest33> | Hi guys, I'm stuck with a problem and I need some help if anyone can give me some direction. |
| 2021-06-05 18:50:22 +0000 | <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 18:50:50 +0000 | <Guest33> | and return the modified list |
| 2021-06-05 18:51:10 +0000 | ddellacosta | (~ddellacos@89.46.62.25) (Ping timeout: 245 seconds) |
| 2021-06-05 18:51:25 +0000 | malvo | (~malvo@malvo.org) (Ping timeout: 272 seconds) |
| 2021-06-05 18:51:31 +0000 | <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 18:51:39 +0000 | <boxscape> | err |
| 2021-06-05 18:51:44 +0000 | chexum | (~chexum@2a02:a03f:62f9:3f00:6b71:476f:e71b:80b) (Client Quit) |
| 2021-06-05 18:51:48 +0000 | <boxscape> | [(Node {getNodeID = 0, getNodeVal = 'A'},[2]),(Node {getNodeID = 2, getNodeVal = 'C'},[2])]? |
| 2021-06-05 18:51:51 +0000 | <boxscape> | is that the goal? |
| 2021-06-05 18:51:55 +0000 | <Guest33> | no get [2] ya |
| 2021-06-05 18:52:05 +0000 | <boxscape> | are you familiar with fmap? |
| 2021-06-05 18:52:21 +0000 | chexum | (~chexum@2a02:a03f:62f9:3f00:6b71:476f:e71b:80b) |
| 2021-06-05 18:52:37 +0000 | <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 18:53:25 +0000 | <boxscape> | do you remember what you were writing that gave [[2]]? |
| 2021-06-05 18:54:41 +0000 | chexum | (~chexum@2a02:a03f:62f9:3f00:6b71:476f:e71b:80b) (Client Quit) |
| 2021-06-05 18:54:54 +0000 | ddellacosta | (~ddellacos@107.182.237.15) |
| 2021-06-05 18:55:00 +0000 | <Guest33> | my bad that was for another function where I was inserting an edge. |
| 2021-06-05 18:55:10 +0000 | <Guest33> | fmap (\x -> snd(x) ++ [3]) (filter (\n -> getNodeID (fst (n)) == 0 ) exGraph) |
| 2021-06-05 18:55:18 +0000 | <Guest33> | gives [[1,2,3]] |
| 2021-06-05 18:55:36 +0000 | <Guest33> | but I want [(Node {getNodeID = 0, getNodeVal = 'A'},[1,2,3]),(Node {getNodeID = 2, getNodeVal = 'C'},[1])] |
| 2021-06-05 18:56:00 +0000 | Scotty_Trees | (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving) |
| 2021-06-05 18:56:32 +0000 | <Guest33> | I guess if I can figure out any one of them I can get both :D |
| 2021-06-05 18:56:42 +0000 | <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 18:56:50 +0000 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-06-05 18:57:29 +0000 | <Guest33> | just append 3 to the list in the first element is fine for now |
| 2021-06-05 18:57:43 +0000 | <boxscape> | will the outer list always have two elements? |
| 2021-06-05 18:59:05 +0000 | ddellacosta | (~ddellacos@107.182.237.15) (Ping timeout: 245 seconds) |
| 2021-06-05 18:59:11 +0000 | <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 18:59:42 +0000 | <boxscape> | ah, hm |
| 2021-06-05 19:00:57 +0000 | <_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 19:00:57 +0000 | <_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 19:01:08 +0000 | <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 19:01:35 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-06-05 19:01:36 +0000 | <boxscape> | er, that should be `if id /= 0 then xs else <a modified version of xs>` |
| 2021-06-05 19:01:36 +0000 | <Guest33> | Let me try. Thank you in advance!! |
| 2021-06-05 19:02:08 +0000 | reumeth | (~reumeth@user/reumeth) |
| 2021-06-05 19:02:09 +0000 | <_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 19:04:02 +0000 | <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 19:04:20 +0000 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 19:04:26 +0000 | <boxscape> | nope, now I forgot to apply the first correction, the `val` in the if should be `id` :) |
| 2021-06-05 19:04:38 +0000 | <boxscape> | err, no, it should be xs |
| 2021-06-05 19:06:18 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-06-05 19:07:51 +0000 | <boxscape> | _73 looks like you need instance Memory MyMemory Integer String where |
| 2021-06-05 19:08:47 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-06-05 19:08:49 +0000 | Bartosz | (~textual@24.35.90.211) |
| 2021-06-05 19:09:37 +0000 | bollu | (~bollu@139.59.46.74) (Quit: Ping timeout (120 seconds)) |
| 2021-06-05 19:09:45 +0000 | <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 19:09:53 +0000 | bollu | (~bollu@139.59.46.74) |
| 2021-06-05 19:10:02 +0000 | chexum | (~chexum@gateway/tor-sasl/chexum) |
| 2021-06-05 19:10:10 +0000 | <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 19:10:13 +0000 | fendor | (~fendor@91.141.0.144.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-06-05 19:10:53 +0000 | <Guest33> | basically it's working but not giving me the first modified list but the inner list |
| 2021-06-05 19:11:01 +0000 | <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 19:11:26 +0000 | <_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 19:12:30 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 244 seconds) |
| 2021-06-05 19:13:36 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 19:13:47 +0000 | ddellacosta | (~ddellacos@86.106.121.100) |
| 2021-06-05 19:14:02 +0000 | <Guest33> | OMG you are actully a god boxcape |
| 2021-06-05 19:14:04 +0000 | <Guest33> | thank you!!!!!!!!!!!!!!!! |
| 2021-06-05 19:14:11 +0000 | <boxscape> | you're welcome :) |
| 2021-06-05 19:15:03 +0000 | <_73> | boxscape: I was able to get it to work by adding FlexibleInstances |
| 2021-06-05 19:15:38 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-05 19:15:43 +0000 | <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 19:15:43 +0000 | <boxscape> | mem uniquely determines k and v, which can help with type inference |
| 2021-06-05 19:15:50 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-05 19:16:22 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-05 19:18:27 +0000 | ddellacosta | (~ddellacos@86.106.121.100) (Ping timeout: 265 seconds) |
| 2021-06-05 19:18:27 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 265 seconds) |
| 2021-06-05 19:18:58 +0000 | <_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 19:20:36 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-06-05 19:20:36 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-06-05 19:20:40 +0000 | <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 19:20:52 +0000 | MQ-17J | (~MQ-17J@8.21.10.116) |
| 2021-06-05 19:23:19 +0000 | <_73> | boxscape: So with your suggestion I couldn't have both `MyMemory Integer String` and `MyMemory Float Double`? |
| 2021-06-05 19:23:26 +0000 | fendor | (~fendor@91.141.0.144.wireless.dyn.drei.com) |
| 2021-06-05 19:23:51 +0000 | <boxscape> | right |
| 2021-06-05 19:23:56 +0000 | <_73> | couldn't have Memory instances for both those types I should say |
| 2021-06-05 19:24:13 +0000 | <boxscape> | you can |
| 2021-06-05 19:24:16 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 19:24:21 +0000 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::8a94) (Remote host closed the connection) |
| 2021-06-05 19:24:23 +0000 | <boxscape> | but it can't be that both use MyMemoty |
| 2021-06-05 19:24:26 +0000 | <boxscape> | s/t/s |
| 2021-06-05 19:24:29 +0000 | <boxscape> | err |
| 2021-06-05 19:24:30 +0000 | <boxscape> | s/t/r |
| 2021-06-05 19:25:13 +0000 | <boxscape> | oh, sorry, that's what you meant anyway |
| 2021-06-05 19:26:12 +0000 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::8a94) |
| 2021-06-05 19:26:21 +0000 | <_73> | I understand. I am going to revisit functional dependencies now. thanks |
| 2021-06-05 19:27:41 +0000 | pavonia | (~user@user/siracusa) |
| 2021-06-05 19:29:02 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 244 seconds) |
| 2021-06-05 19:30:27 +0000 | ddellacosta | (~ddellacos@86.106.143.144) |
| 2021-06-05 19:30:39 +0000 | xff0x | (~xff0x@2001:1a81:53bd:ad00:82dd:e8fb:f0ad:2e66) (Quit: xff0x) |
| 2021-06-05 19:31:02 +0000 | ddellac__ | (~ddellacos@86.106.121.57) |
| 2021-06-05 19:33:54 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 19:34:47 +0000 | ddellaco_ | (~ddellacos@86.106.143.53) (Ping timeout: 268 seconds) |
| 2021-06-05 19:35:01 +0000 | <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 19:35:08 +0000 | ddellac__ | (~ddellacos@86.106.121.57) (Read error: Connection reset by peer) |
| 2021-06-05 19:36:35 +0000 | MQ-17J | (~MQ-17J@8.21.10.116) (Ping timeout: 245 seconds) |
| 2021-06-05 19:37:47 +0000 | xff0x | (~xff0x@2001:1a81:53bd:ad00:cace:1aaf:4d66:6b7f) |
| 2021-06-05 19:38:44 +0000 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-06-05 19:42:37 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 2021-06-05 19:45:48 +0000 | malvo | (~malvo@malvo.org) |
| 2021-06-05 19:46:32 +0000 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-06-05 19:46:35 +0000 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-06-05 19:46:35 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 245 seconds) |
| 2021-06-05 19:46:52 +0000 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::8a94) (Remote host closed the connection) |
| 2021-06-05 19:46:53 +0000 | GuerrillaMonkey | (~Jeanne-Ka@static-198-54-128-61.cust.tzulo.com) (Quit: Leaving) |
| 2021-06-05 19:47:02 +0000 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-06-05 19:47:03 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-128-61.cust.tzulo.com) |
| 2021-06-05 19:47:53 +0000 | malvo | (~malvo@malvo.org) (Remote host closed the connection) |
| 2021-06-05 19:48:00 +0000 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::8a94) |
| 2021-06-05 19:48:06 +0000 | malvo | (~malvo@malvo.org) |
| 2021-06-05 19:48:33 +0000 | malvo | (~malvo@malvo.org) (Remote host closed the connection) |
| 2021-06-05 19:48:59 +0000 | malvo | (~malvo@malvo.org) |
| 2021-06-05 19:49:36 +0000 | river | (~river@tilde.team/user/river) |
| 2021-06-05 19:52:13 +0000 | reumeth | (~reumeth@user/reumeth) (Ping timeout: 272 seconds) |
| 2021-06-05 19:57:00 +0000 | ikex | (~ash@user/ikex) (Ping timeout: 245 seconds) |
| 2021-06-05 19:57:05 +0000 | ddellacosta | (~ddellacos@86.106.143.144) (Remote host closed the connection) |
| 2021-06-05 19:58:25 +0000 | safinaskar | (~user@109.252.90.89) () |
| 2021-06-05 19:59:12 +0000 | ikex | (~ash@user/ikex) |
| 2021-06-05 20:01:24 +0000 | kubes | (~kubes@188.120.84.109) |
| 2021-06-05 20:01:57 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 265 seconds) |
| 2021-06-05 20:02:43 +0000 | kubes | (~kubes@188.120.84.109) (Client Quit) |
| 2021-06-05 20:02:55 +0000 | kubes | (~kubes@188.120.84.109) |
| 2021-06-05 20:05:30 +0000 | kubes | (~kubes@188.120.84.109) (Client Quit) |
| 2021-06-05 20:05:42 +0000 | juhp | (~juhp@128.106.188.199) (Ping timeout: 264 seconds) |
| 2021-06-05 20:06:25 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-05 20:06:35 +0000 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 20:07:38 +0000 | juhp | (~juhp@128.106.188.199) |
| 2021-06-05 20:08:34 +0000 | dkeohane | (~dkeohane@24.224.118.138) |
| 2021-06-05 20:10:00 +0000 | emliunix | (~emliunix@103.138.74.59) (Remote host closed the connection) |
| 2021-06-05 20:10:17 +0000 | emliunix | (~emliunix@103.138.74.59) |
| 2021-06-05 20:11:13 +0000 | ddellacosta | (~ddellacos@86.106.121.209) |
| 2021-06-05 20:11:40 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 20:12:28 +0000 | Heffalump | (~ganesh@urchin.earth.li) |
| 2021-06-05 20:12:34 +0000 | Heffalump | (~ganesh@urchin.earth.li) () |
| 2021-06-05 20:12:35 +0000 | pritambaral | (~pritam@user/pritambaral) (Ping timeout: 265 seconds) |
| 2021-06-05 20:13:09 +0000 | Heffalump | (~ganesh@urchin.earth.li) |
| 2021-06-05 20:13:26 +0000 | Heffalump | (~ganesh@urchin.earth.li) () |
| 2021-06-05 20:17:54 +0000 | mc47 | (~yecinem@89.246.239.190) |
| 2021-06-05 20:19:28 +0000 | ddellacosta | (~ddellacos@86.106.121.209) (Remote host closed the connection) |
| 2021-06-05 20:19:38 +0000 | ddellacosta | (~ddellacos@86.106.121.209) |
| 2021-06-05 20:20:58 +0000 | ddellaco_ | (~ddellacos@86.106.121.170) |
| 2021-06-05 20:21:56 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-05 20:24:05 +0000 | ddellacosta | (~ddellacos@86.106.121.209) (Ping timeout: 245 seconds) |
| 2021-06-05 20:24:53 +0000 | <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 20:24:54 +0000 | <lambdabot> | <hint>:1:56: error: parse error on input ‘Integer’ |
| 2021-06-05 20:27:25 +0000 | sayola | (~vekto@dslc-082-082-145-205.pools.arcor-ip.net) (Ping timeout: 245 seconds) |
| 2021-06-05 20:27:52 +0000 | <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 20:28:51 +0000 | <hololeap> | ok, my bad |
| 2021-06-05 20:30:17 +0000 | ddellaco_ | (~ddellacos@86.106.121.170) (Remote host closed the connection) |
| 2021-06-05 20:30:29 +0000 | Bartosz | (~textual@24.35.90.211) |
| 2021-06-05 20:31:10 +0000 | dkeohane | (~dkeohane@24.224.118.138) (Ping timeout: 245 seconds) |
| 2021-06-05 20:31:29 +0000 | sayola | (~vekto@dslc-082-082-145-205.pools.arcor-ip.net) |
| 2021-06-05 20:32:16 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 20:34:05 +0000 | fendor | (~fendor@91.141.0.144.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-06-05 20:35:47 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 252 seconds) |
| 2021-06-05 20:36:17 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
| 2021-06-05 20:36:36 +0000 | azeem | (~azeem@176.200.190.170) |
| 2021-06-05 20:37:25 +0000 | fendor | (~fendor@91.141.0.144.wireless.dyn.drei.com) |
| 2021-06-05 20:37:58 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-05 20:39:03 +0000 | azeem | (~azeem@176.200.190.170) (Read error: Connection reset by peer) |
| 2021-06-05 20:39:16 +0000 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-05 20:40:46 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
| 2021-06-05 20:40:59 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-05 20:41:57 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-05 20:42:18 +0000 | xff0x | (~xff0x@2001:1a81:53bd:ad00:cace:1aaf:4d66:6b7f) (Ping timeout: 264 seconds) |
| 2021-06-05 20:43:59 +0000 | xff0x | (~xff0x@185.65.135.235) |
| 2021-06-05 20:44:28 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 20:48:45 +0000 | Henson | (~kvirc@23-233-1-122.cpe.pppoe.ca) |
| 2021-06-05 20:49:24 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-05 20:49:26 +0000 | <Henson> | has the freenode #haskell channel moved to here? |
| 2021-06-05 20:49:36 +0000 | <boxscape> | Henson, yes |
| 2021-06-05 20:50:05 +0000 | <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 20:50:42 +0000 | <boxscape> | (it also fails to compile for me) |
| 2021-06-05 20:51:30 +0000 | <boxscape> | (because apparently you need to select nightly instead of stable at the top) |
| 2021-06-05 20:52:51 +0000 | fendor | (~fendor@91.141.0.144.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-06-05 20:53:23 +0000 | <monochrom> | :) |
| 2021-06-05 20:53:39 +0000 | zeenk | (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!) |
| 2021-06-05 20:53:43 +0000 | xff0x | (~xff0x@185.65.135.235) (Ping timeout: 268 seconds) |
| 2021-06-05 20:53:57 +0000 | fendor | (~fendor@91.141.0.144.wireless.dyn.drei.com) |
| 2021-06-05 20:55:12 +0000 | xff0x | (~xff0x@2001:1a81:53bd:ad00:cace:1aaf:4d66:6b7f) |
| 2021-06-05 20:56:09 +0000 | <maerwald> | no one runs stable |
| 2021-06-05 20:56:29 +0000 | pritambaral | (~pritam@user/pritambaral) |
| 2021-06-05 21:01:10 +0000 | alx741 | (~alx741@186.178.108.209) (Ping timeout: 245 seconds) |
| 2021-06-05 21:02:45 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 21:03:38 +0000 | ddellacosta | (~ddellacos@89.45.224.196) |
| 2021-06-05 21:06:13 +0000 | mc47 | (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-06-05 21:13:25 +0000 | <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 21:14:31 +0000 | alx741 | (~alx741@186.178.109.11) |
| 2021-06-05 21:14:48 +0000 | ddellaco_ | (~ddellacos@86.106.121.33) |
| 2021-06-05 21:16:58 +0000 | haask | (~harry@92.234.0.237) |
| 2021-06-05 21:16:59 +0000 | <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 21:17:00 +0000 | boioioing | (~boioioing@cpe-76-84-141-127.neb.res.rr.com) (Ping timeout: 245 seconds) |
| 2021-06-05 21:17:05 +0000 | <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 21:17:18 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-05 21:18:04 +0000 | <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 21:18:12 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 21:19:36 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-05 21:19:37 +0000 | ddellaco_ | (~ddellacos@86.106.121.33) (Ping timeout: 272 seconds) |
| 2021-06-05 21:20:01 +0000 | HarveyPwca | (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Remote host closed the connection) |
| 2021-06-05 21:20:04 +0000 | <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 21:20:22 +0000 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 21:20:25 +0000 | HarveyPwca | (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 2021-06-05 21:21:13 +0000 | <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 21:21:26 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-06-05 21:21:30 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Quit: mikoto-chan) |
| 2021-06-05 21:21:33 +0000 | <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 21:21:44 +0000 | <boxscape> | oh, hm |
| 2021-06-05 21:21:59 +0000 | <boxscape> | let me see how I got there |
| 2021-06-05 21:22:12 +0000 | <boxscape> | (I don't think I've ever been on rust-lang.org before) |
| 2021-06-05 21:22:23 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-06-05 21:22:47 +0000 | <boxscape> | it's what I got after clicking on the first link for "try rust online" in google |
| 2021-06-05 21:22:47 +0000 | <mrmonday> | I always find interesting code there that I'd forgotten about |
| 2021-06-05 21:23:07 +0000 | <mrmonday> | most of the rust playground links I click are people doing weird things with the type system |
| 2021-06-05 21:23:28 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-05 21:23:30 +0000 | <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 21:23:53 +0000 | <mrmonday> | yeah, it sticks around forever |
| 2021-06-05 21:25:38 +0000 | <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 21:26:23 +0000 | ddellacosta | (~ddellacos@89.45.224.196) (Ping timeout: 252 seconds) |
| 2021-06-05 21:27:20 +0000 | <mrmonday> | there's gonna be some really exciting and really horrifying code when that feature stabilises, I'm sure :) |
| 2021-06-05 21:27:42 +0000 | <boxscape> | hah, yeah |
| 2021-06-05 21:27:43 +0000 | sayola | (~vekto@dslc-082-082-145-205.pools.arcor-ip.net) (Quit: Leaving.) |
| 2021-06-05 21:28:17 +0000 | <boxscape> | (though I wouldn't know, I've never seen rust snippets longer than 3 lines, save for that gist) |
| 2021-06-05 21:29:06 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-128-61.cust.tzulo.com) (Ping timeout: 264 seconds) |
| 2021-06-05 21:29:13 +0000 | <mrmonday> | I've seen a full implementation of the standard suite of haskell classes using stable Rust before, that was... interesting |
| 2021-06-05 21:31:05 +0000 | <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 21:33:11 +0000 | alx741 | (~alx741@186.178.109.11) (Ping timeout: 268 seconds) |
| 2021-06-05 21:33:34 +0000 | <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 21:33:39 +0000 | <boxscape> | in Java |
| 2021-06-05 21:33:41 +0000 | <boxscape> | not in Haskell |
| 2021-06-05 21:33:45 +0000 | <boxscape> | that would be somewhat redundant |
| 2021-06-05 21:33:58 +0000 | <ski> | mrmonday : including higher-order ones, like `Functor' ? |
| 2021-06-05 21:34:25 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-06-05 21:34:26 +0000 | <dibblego> | ya can't in Java |
| 2021-06-05 21:34:28 +0000 | <boxscape> | wait |
| 2021-06-05 21:34:32 +0000 | <boxscape> | that repo is secret isn't it |
| 2021-06-05 21:35:00 +0000 | <boxscape> | https://paste.tomsmeding.com/1PbbTe9e is the code that link points to |
| 2021-06-05 21:35:15 +0000 | <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 21:35:17 +0000 | <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 21:35:48 +0000 | <dibblego> | boxscape: yes we did this 15 years ago https://functionaljava.org/ |
| 2021-06-05 21:36:14 +0000 | <boxscape> | dibblego ah, nice, I've been on that website a few times |
| 2021-06-05 21:36:37 +0000 | <mrmonday> | ski: yeah, there are some really interesting tricks you can use in stable rust to "implement" Functor |
| 2021-06-05 21:36:50 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-05 21:36:51 +0000 | <dibblego> | also Java 7 lambdas http://javac.info |
| 2021-06-05 21:36:54 +0000 | <mrmonday> | implement feels like the wrong word to use there :P |
| 2021-06-05 21:37:17 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-05 21:37:52 +0000 | <dibblego> | the fake is called "Lightweight Higher-Kinded Polymorphism" and "lightweight" is a generous adjective |
| 2021-06-05 21:39:01 +0000 | bitmapper | (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-05 21:41:32 +0000 | pieguy128 | (~pieguy128@bas1-quebec14-67-70-101-46.dsl.bell.ca) (Ping timeout: 272 seconds) |
| 2021-06-05 21:42:38 +0000 | pieguy128 | (~pieguy128@bas1-montreal02-65-92-161-178.dsl.bell.ca) |
| 2021-06-05 21:46:22 +0000 | alx741 | (~alx741@186.178.108.47) |
| 2021-06-05 21:47:00 +0000 | 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 21:48:03 +0000 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 1.9.1) |
| 2021-06-05 21:48:31 +0000 | echoreply | (~echoreply@45.32.163.16) |
| 2021-06-05 21:49:09 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 21:49:21 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-05 21:50:01 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-06-05 21:50:27 +0000 | pieguy128_ | (~pieguy128@bras-base-mtrlpq5031w-grc-57-65-92-163-194.dsl.bell.ca) |
| 2021-06-05 21:50:59 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 21:51:09 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-05 21:51:38 +0000 | echoreply | (~echoreply@45.32.163.16) (Client Quit) |
| 2021-06-05 21:51:55 +0000 | pieguy128 | (~pieguy128@bas1-montreal02-65-92-161-178.dsl.bell.ca) (Ping timeout: 264 seconds) |
| 2021-06-05 21:51:59 +0000 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2021-06-05 21:52:12 +0000 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-06-05 21:54:41 +0000 | <_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 21:55:38 +0000 | ddellacosta | (~ddellacos@89.46.62.235) |
| 2021-06-05 21:56:57 +0000 | <_73> | err derives Num as well |
| 2021-06-05 21:57:38 +0000 | <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 21:57:46 +0000 | <unyu> | If your Hex type derives Num, this means that you want to do arithmetic using it, right? |
| 2021-06-05 21:57:59 +0000 | <unyu> | Why would you use anything other than ordinary numeric types for that? |
| 2021-06-05 21:58:36 +0000 | <enikar> | % read @Int "0x3b" |
| 2021-06-05 21:58:36 +0000 | <yahb> | enikar: 59 |
| 2021-06-05 21:58:45 +0000 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2021-06-05 21:58:57 +0000 | ddellaco_ | (~ddellacos@89.46.62.89) |
| 2021-06-05 21:59:14 +0000 | <geekosaur> | there's also Numeric.readHex |
| 2021-06-05 21:59:55 +0000 | ddellacosta | (~ddellacos@89.46.62.235) (Ping timeout: 245 seconds) |
| 2021-06-05 22:00:13 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 22:00:39 +0000 | <_73> | Ok I got it now thanks |
| 2021-06-05 22:02:20 +0000 | Scotty_Trees | (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-06-05 22:03:31 +0000 | ddellaco_ | (~ddellacos@89.46.62.89) (Ping timeout: 244 seconds) |
| 2021-06-05 22:03:51 +0000 | <monochrom> | "Here's a bonus note with Java performance tips": "perform loop invariant code motion yourself", "perform common subexpression elimination yourself", "perform induction variable optimization yourself", "while you can't perform register allocation yourself, you can nudge it by copying data to local variables yourself", "perform TC->loop optimization yourself" |
| 2021-06-05 22:04:53 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
| 2021-06-05 22:07:25 +0000 | ikex | (~ash@user/ikex) (Ping timeout: 245 seconds) |
| 2021-06-05 22:09:10 +0000 | <boxscape> | fun |
| 2021-06-05 22:09:52 +0000 | <Cajun> | and java still doesnt have TCO/TCE lol |
| 2021-06-05 22:10:30 +0000 | fendor | (~fendor@91.141.0.144.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-06-05 22:11:29 +0000 | wonko | (~wjc@62.115.229.50) (Ping timeout: 252 seconds) |
| 2021-06-05 22:13:40 +0000 | Guest6926 | (~Guest69@p4fee78f5.dip0.t-ipconnect.de) |
| 2021-06-05 22:14:00 +0000 | Guest6926 | (~Guest69@p4fee78f5.dip0.t-ipconnect.de) (Client Quit) |
| 2021-06-05 22:14:32 +0000 | shriekingnoise | (~shrieking@186.137.144.80) |
| 2021-06-05 22:14:56 +0000 | shriekingnoise | (~shrieking@186.137.144.80) (Client Quit) |
| 2021-06-05 22:16:45 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-06-05 22:19:33 +0000 | derelict | (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-06-05 22:20:50 +0000 | <unyu> | What is the current blessed way to use databases in Haskell? I mean, while avoiding the extremes of “stringly typed queries” and “need to use a lot of Template Haskell magic to generate types for every single table and view”. |
| 2021-06-05 22:21:44 +0000 | egoist | (~egoist@186.235.82.52) |
| 2021-06-05 22:23:08 +0000 | blizzard | (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) |
| 2021-06-05 22:24:58 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 2021-06-05 22:28:01 +0000 | ddellacosta | (~ddellacos@107.182.237.14) |
| 2021-06-05 22:28:36 +0000 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-06-05 22:28:50 +0000 | <[exa]> | unyu: we used selda, it was cool |
| 2021-06-05 22:29:35 +0000 | <unyu> | Thanks, checking it out. |
| 2021-06-05 22:29:50 +0000 | <[exa]> | it works with overloaded labels and generics, pretty good imho |
| 2021-06-05 22:30:47 +0000 | <jiribenes> | yeah, selda is pretty cool (not too basic, not too advanced IMO) |
| 2021-06-05 22:30:57 +0000 | <[exa]> | honestly the labels are mildly scary for the first time |
| 2021-06-05 22:31:15 +0000 | <[exa]> | but you can chew through it |
| 2021-06-05 22:31:33 +0000 | <[exa]> | (I didn't even look up what the # really does yet, it just worked) |
| 2021-06-05 22:32:33 +0000 | shriekingnoise | (~shrieking@186.137.144.80) |
| 2021-06-05 22:33:00 +0000 | ddellacosta | (~ddellacos@107.182.237.14) (Ping timeout: 268 seconds) |
| 2021-06-05 22:33:12 +0000 | <unyu> | Thanks. :-) |
| 2021-06-05 22:44:39 +0000 | danidiaz1 | (~ESDPC@137.101.155.105) () |
| 2021-06-05 22:47:03 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-06-05 22:49:05 +0000 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.6.4 - http://znc.in) |
| 2021-06-05 22:49:40 +0000 | pierrot | (~pi@user/pierrot) |
| 2021-06-05 22:53:06 +0000 | xff0x | (~xff0x@2001:1a81:53bd:ad00:cace:1aaf:4d66:6b7f) (Ping timeout: 264 seconds) |
| 2021-06-05 22:53:25 +0000 | xff0x | (~xff0x@2001:1a81:53bd:ad00:83e3:594a:8633:1f79) |
| 2021-06-05 22:58:02 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-05 23:03:27 +0000 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-05 23:03:44 +0000 | pritambaral | (~pritam@user/pritambaral) (Ping timeout: 252 seconds) |
| 2021-06-05 23:05:15 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-05 23:09:54 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Ping timeout: 264 seconds) |
| 2021-06-05 23:11:05 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-06-05 23:12:10 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-05 23:13:22 +0000 | wagle | (~wagle@quassel.wagle.io) (Ping timeout: 272 seconds) |
| 2021-06-05 23:15:21 +0000 | amahl | (~amahl@dxv5skyjrs0nnb65v1dgy-3.rev.dnainternet.fi) (Remote host closed the connection) |
| 2021-06-05 23:16:50 +0000 | dkeohane | (~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) |
| 2021-06-05 23:17:05 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-05 23:17:15 +0000 | wagle | (~wagle@quassel.wagle.io) |
| 2021-06-05 23:18:26 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 244 seconds) |
| 2021-06-05 23:30:21 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 23:33:20 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
| 2021-06-05 23:33:22 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 23:37:34 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-05 23:38:57 +0000 | Core5474 | (~Core5474@2600:1700:7720:cf80:e124:f2c6:8838:3b4c) (Ping timeout: 272 seconds) |
| 2021-06-05 23:38:58 +0000 | tremon | (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-06-05 23:43:14 +0000 | dhil | (~dhil@195.213.192.47) (Ping timeout: 244 seconds) |
| 2021-06-05 23:50:42 +0000 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds) |
| 2021-06-05 23:51:00 +0000 | notzmv | (~zmv@user/notzmv) |
| 2021-06-05 23:53:48 +0000 | Guest33 | (~Guest33@d24-141-46-200.home.cgocable.net) (Ping timeout: 250 seconds) |
| 2021-06-05 23:58:48 +0000 | smunix | (~username@lnsm4-montreal02-142-118-222-113.internet.virginmobile.ca) |
| 2021-06-05 23:59:20 +0000 | smunix | (~username@lnsm4-montreal02-142-118-222-113.internet.virginmobile.ca) (Remote host closed the connection) |