| 2022-10-27 00:01:03 +0000 | mixfix41 | (~sdeny9ee@user/mixfix41) |
| 2022-10-27 00:01:57 +0000 | ubert | (~Thunderbi@178.165.192.156.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2022-10-27 00:03:29 +0000 | redmp | (~redmp@166.170.42.41) |
| 2022-10-27 00:03:53 +0000 | ubert | (~Thunderbi@178.165.169.91) |
| 2022-10-27 00:06:59 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2022-10-27 00:08:23 +0000 | califax | (~califax@user/califx) |
| 2022-10-27 00:10:26 +0000 | mmhat | (~mmh@p200300f1c73076a6ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7.1) |
| 2022-10-27 00:11:22 +0000 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2022-10-27 00:14:11 +0000 | nate2 | (~nate@98.45.169.16) |
| 2022-10-27 00:17:40 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2022-10-27 00:18:10 +0000 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-10-27 00:18:57 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-10-27 00:23:31 +0000 | califax | (~califax@user/califx) |
| 2022-10-27 00:24:12 +0000 | redmp | (~redmp@166.170.42.41) (Ping timeout: 272 seconds) |
| 2022-10-27 00:33:39 +0000 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2022-10-27 00:33:42 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-10-27 00:36:17 +0000 | talismanick | (~talismani@76.133.152.122) (Remote host closed the connection) |
| 2022-10-27 00:45:31 +0000 | polo_ | (~polo@user/polo) |
| 2022-10-27 00:46:42 +0000 | quintasan | (~quassel@quintasan.pl) () |
| 2022-10-27 00:47:41 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-10-27 00:47:41 +0000 | quintasan | (~quassel@188.226.239.107) |
| 2022-10-27 00:49:08 +0000 | polo | (~polo@user/polo) (Ping timeout: 276 seconds) |
| 2022-10-27 00:51:17 +0000 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 240 seconds) |
| 2022-10-27 00:52:20 +0000 | polo_ | (~polo@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-27 00:52:27 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-10-27 00:53:24 +0000 | polo | (~polo@user/polo) |
| 2022-10-27 00:53:43 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-27 00:58:14 +0000 | polo | (~polo@user/polo) (Ping timeout: 276 seconds) |
| 2022-10-27 00:59:36 +0000 | redmp | (~redmp@mobile-166-177-249-89.mycingular.net) |
| 2022-10-27 01:00:05 +0000 | Kaipei | (~Kaiepi@108.175.84.104) |
| 2022-10-27 01:04:29 +0000 | Kaiepi | (~Kaiepi@108.175.84.104) (Ping timeout: 272 seconds) |
| 2022-10-27 01:07:59 +0000 | beteigeuze | (~Thunderbi@2001:8a0:61b5:6101:9233:19e9:6537:6e73) (Ping timeout: 276 seconds) |
| 2022-10-27 01:08:06 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-10-27 01:08:06 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-10-27 01:08:06 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-27 01:10:33 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-10-27 01:16:16 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2022-10-27 01:17:12 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-10-27 01:17:26 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-10-27 01:18:17 +0000 | xff0x | (~xff0x@2405:6580:b080:900:658c:a3a:4ac3:c2c4) (Ping timeout: 240 seconds) |
| 2022-10-27 01:21:02 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2022-10-27 01:25:37 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-10-27 01:48:11 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-10-27 01:48:17 +0000 | crns | (~netcrns@user/crns) (Ping timeout: 240 seconds) |
| 2022-10-27 01:49:30 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2022-10-27 01:49:58 +0000 | crns | (~netcrns@user/crns) |
| 2022-10-27 01:56:18 +0000 | grantonthenet | (~Grant@72.47.110.194) |
| 2022-10-27 01:58:51 +0000 | inversed | (~inversed@bcdcac82.skybroadband.com) (Read error: Connection reset by peer) |
| 2022-10-27 01:59:32 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-10-27 02:00:43 +0000 | razetime | (~quassel@49.207.192.79) |
| 2022-10-27 02:01:25 +0000 | nate2 | (~nate@98.45.169.16) |
| 2022-10-27 02:01:47 +0000 | xff0x | (~xff0x@125.103.176.34) |
| 2022-10-27 02:02:44 +0000 | inversed | (~inversed@bcdcac82.skybroadband.com) |
| 2022-10-27 02:04:55 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 272 seconds) |
| 2022-10-27 02:09:37 +0000 | td_ | (~td@83.135.9.27) (Ping timeout: 240 seconds) |
| 2022-10-27 02:11:36 +0000 | td_ | (~td@83.135.9.51) |
| 2022-10-27 02:17:08 +0000 | nate3 | (~nate@98.45.169.16) |
| 2022-10-27 02:17:09 +0000 | nate2 | (~nate@98.45.169.16) (Read error: Connection reset by peer) |
| 2022-10-27 02:17:32 +0000 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-27 02:18:25 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-10-27 02:18:25 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-10-27 02:18:25 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-27 02:19:18 +0000 | <sm> | Text not always > String: |
| 2022-10-27 02:19:18 +0000 | <sm> | "inliner is getting really happy with certain combinations of <> for Text. The <> for String doesn't appear to cause any issues at all, and memory use holds prety consistent around 150MB." |
| 2022-10-27 02:20:09 +0000 | xff0x | (~xff0x@125.103.176.34) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | quintasan | (~quassel@188.226.239.107) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | ubert | (~Thunderbi@178.165.169.91) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | EvanR | (~EvanR@user/evanr) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | cytokine_storm | (~cytokine_@user/cytokine-storm/x-1083107) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | Sauvin | (~sauvin@user/Sauvin) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | m5zs7k | (aquares@web10.mydevil.net) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | ajb | (~ajb@mimas.whatbox.ca) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | teddyc | (theodorc@cassarossa.samfundet.no) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | AkechiShiro | (~licht@user/akechishiro) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | mcfrdy | (~mcfrdy@user/mcfrdy) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | hexology | (~hexology@user/hexology) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | earthy | (~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | lieven | (~mal@ns2.wyrd.be) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | spaced | (uid572193@user/spaced) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | rembo10 | (~rembo10@main.remulis.com) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | lechner | (lechner@debian/lechner) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | lagash | (lagash@lagash.shelltalk.net) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | Luj3 | (~Luj@2a01:e0a:5f9:9681:9cda:ce1d:ce82:c3dd) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | Unhammer | (~Unhammer@user/unhammer) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | anderson | (~ande@user/anderson) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | PHO` | (~pho@akari.cielonegro.org) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | p3n | (~p3n@217.198.124.246) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | Aleksejs | (~Aleksejs@107.170.21.106) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | acertain | (sid470584@2a03:5180:f:4::7:2e38) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | b20n | (sid115913@2a03:5180:f:5::1:c4c9) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | davetapley_ | (sid666@2a03:5180:f:5::29a) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | Firedancer | (sid336191@2a03:5180:f:4::5:213f) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | lally | (sid388228@2a03:5180:f:5::5:ec84) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | liskin | (~liskin@xmonad/liskin) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | aristid | (sid1599@2a03:5180:f:5::63f) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | conjunctive | (sid433686@id-433686.helmsley.irccloud.com) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | _\_ | (~o@user/offon) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | nisstyre | (wes@user/nisstyre) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | shinjipf | (~shinjipf@2a01:4f8:1c1c:c1be::1) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | tomku | (~tomku@user/tomku) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | bonz060 | (~quassel@2001:bc8:47a4:a23::1) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | Yumemi | (~Yumemi@chamoin.net) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | Moyst | (~moyst@user/moyst) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | immae | (~immae@2a01:4f8:141:53e7::) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | lbseale | (~quassel@user/ep1ctetus) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | haasn | (~nand@haasn.dev) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (*.net *.split) |
| 2022-10-27 02:20:09 +0000 | jackhill | (~jackhill@kalessin.dragonsnail.net) (*.net *.split) |
| 2022-10-27 02:20:18 +0000 | tomku | (~tomku@user/tomku) |
| 2022-10-27 02:20:20 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-10-27 02:20:20 +0000 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 2022-10-27 02:20:21 +0000 | lagash | (lagash@lagash.shelltalk.net) |
| 2022-10-27 02:20:23 +0000 | ajb | (~ajb@mimas.whatbox.ca) |
| 2022-10-27 02:20:24 +0000 | edwtjo | (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) |
| 2022-10-27 02:20:26 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-10-27 02:20:29 +0000 | bonz060 | (~quassel@2001:bc8:47a4:a23::1) |
| 2022-10-27 02:20:32 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-10-27 02:20:34 +0000 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) |
| 2022-10-27 02:20:35 +0000 | quintasan | (~quassel@quintasan.pl) |
| 2022-10-27 02:20:36 +0000 | acertain | (sid470584@id-470584.hampstead.irccloud.com) |
| 2022-10-27 02:20:37 +0000 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) |
| 2022-10-27 02:20:38 +0000 | spaced | (uid572193@user/spaced) |
| 2022-10-27 02:20:38 +0000 | <sm> | https://github.com/yesodweb/persistent/pull/1434 |
| 2022-10-27 02:20:39 +0000 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
| 2022-10-27 02:20:39 +0000 | shinjipf | (~shinjipf@2a01:4f8:1c1c:c1be::1) |
| 2022-10-27 02:20:39 +0000 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
| 2022-10-27 02:20:41 +0000 | lieven | (~mal@ns2.wyrd.be) |
| 2022-10-27 02:20:42 +0000 | liskin | (~liskin@ackle.nomi.cz) |
| 2022-10-27 02:20:42 +0000 | lechner | (lechner@linode.us-core.com) |
| 2022-10-27 02:20:43 +0000 | lally | (sid388228@id-388228.uxbridge.irccloud.com) |
| 2022-10-27 02:20:44 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-10-27 02:20:45 +0000 | Unhammer | (~Unhammer@2a01:799:40:f700::237) |
| 2022-10-27 02:20:46 +0000 | edwtjo | (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) (Changing host) |
| 2022-10-27 02:20:46 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) |
| 2022-10-27 02:20:47 +0000 | teddyc | (theodorc@cassarossa.samfundet.no) |
| 2022-10-27 02:20:48 +0000 | AkechiShiro | (~licht@2a01:e0a:5f9:9681:53a9:19ec:6934:da62) |
| 2022-10-27 02:20:49 +0000 | earthy | (~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) |
| 2022-10-27 02:20:50 +0000 | Firedancer | (sid336191@hampstead.irccloud.com) |
| 2022-10-27 02:20:50 +0000 | conjunctive | (sid433686@id-433686.helmsley.irccloud.com) |
| 2022-10-27 02:21:07 +0000 | nisstyre | (~wes@li798-187.members.linode.com) |
| 2022-10-27 02:21:09 +0000 | davetapley_ | (sid666@uxbridge.irccloud.com) |
| 2022-10-27 02:21:12 +0000 | lechner | (lechner@linode.us-core.com) (Changing host) |
| 2022-10-27 02:21:12 +0000 | lechner | (lechner@debian/lechner) |
| 2022-10-27 02:21:12 +0000 | liskin | (~liskin@ackle.nomi.cz) (Changing host) |
| 2022-10-27 02:21:12 +0000 | liskin | (~liskin@xmonad/liskin) |
| 2022-10-27 02:21:12 +0000 | Unhammer | (~Unhammer@2a01:799:40:f700::237) (Changing host) |
| 2022-10-27 02:21:12 +0000 | Unhammer | (~Unhammer@user/unhammer) |
| 2022-10-27 02:21:54 +0000 | ubert | (~Thunderbi@178.165.169.91.wireless.dyn.drei.com) |
| 2022-10-27 02:21:54 +0000 | Yumemi | (~Yumemi@chamoin.net) |
| 2022-10-27 02:22:00 +0000 | Sauvin | (~sauvin@user/Sauvin) |
| 2022-10-27 02:22:01 +0000 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2022-10-27 02:22:03 +0000 | hexology | (~hexology@user/hexology) |
| 2022-10-27 02:22:09 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) |
| 2022-10-27 02:22:11 +0000 | m5zs7k | (aquares@web10.mydevil.net) |
| 2022-10-27 02:22:16 +0000 | EvanR | (~EvanR@user/evanr) |
| 2022-10-27 02:22:21 +0000 | _\_ | (~o@user/offon) |
| 2022-10-27 02:22:24 +0000 | lbseale | (~quassel@user/ep1ctetus) |
| 2022-10-27 02:22:32 +0000 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) |
| 2022-10-27 02:22:32 +0000 | haasn | (~nand@haasn.dev) |
| 2022-10-27 02:22:39 +0000 | anderson | (~ande@user/anderson) |
| 2022-10-27 02:22:45 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2022-10-27 02:22:46 +0000 | PHO` | (~pho@akari.cielonegro.org) |
| 2022-10-27 02:22:47 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2022-10-27 02:22:54 +0000 | mcfrdy | (~mcfrdy@user/mcfrdy) |
| 2022-10-27 02:23:11 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-10-27 02:23:30 +0000 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) |
| 2022-10-27 02:24:57 +0000 | Moyst | (~moyst@user/moyst) |
| 2022-10-27 02:25:22 +0000 | jackhill | (~jackhill@kalessin.dragonsnail.net) |
| 2022-10-27 02:25:24 +0000 | cytokine_storm | (~cytokine_@user/cytokine-storm/x-1083107) |
| 2022-10-27 02:26:41 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-10-27 02:27:40 +0000 | polo | (~polo@user/polo) |
| 2022-10-27 02:27:55 +0000 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-27 02:29:48 +0000 | Aleksejs | (~Aleksejs@107.170.21.106) |
| 2022-10-27 02:34:20 +0000 | grantonthenet | (~Grant@72.47.110.194) (Remote host closed the connection) |
| 2022-10-27 02:37:31 +0000 | polo | (~polo@user/polo) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-10-27 02:42:01 +0000 | boxscape | (~boxscape@81.191.27.107) |
| 2022-10-27 02:43:40 +0000 | fluxit | (~fluxit@2604:a880:1:20::ab:1001) |
| 2022-10-27 02:44:14 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 250 seconds) |
| 2022-10-27 02:47:39 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-10-27 02:47:39 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-27 02:47:39 +0000 | finn_elija | FinnElija |
| 2022-10-27 02:49:56 +0000 | <boxscape> | a little surprised that this compiles https://paste.tomsmeding.com/rZ1L7KIV |
| 2022-10-27 02:50:01 +0000 | boxscape | boxscape_ |
| 2022-10-27 02:50:04 +0000 | <EvanR> | as much crap as haskell gets for String Text etc I appreciate having options when it comes to performance. Though it's still a questionable situation not having a good standard for when you specifically don't care about performance |
| 2022-10-27 02:53:21 +0000 | <boxscape_> | (Also, just found out my link is parsed *not* as `do f a b c d e`, but instead as `(do f) a b c d e`) |
| 2022-10-27 02:54:21 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Remote host closed the connection) |
| 2022-10-27 03:01:42 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-10-27 03:04:11 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 272 seconds) |
| 2022-10-27 03:04:45 +0000 | boxscape_ | (~boxscape@81.191.27.107) (Remote host closed the connection) |
| 2022-10-27 03:04:57 +0000 | boxscape | (~boxscape@81.191.27.107) |
| 2022-10-27 03:04:57 +0000 | boxscape | boxscape_ |
| 2022-10-27 03:04:59 +0000 | nate3 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2022-10-27 03:05:37 +0000 | HackingSpring | (~haru@189-69-2-94.dsl.telesp.net.br) (Remote host closed the connection) |
| 2022-10-27 03:09:41 +0000 | jargon | (~jargon@184.101.208.112) |
| 2022-10-27 03:21:22 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2022-10-27 03:22:13 +0000 | dfee | (~dfee@162-227-164-101.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2022-10-27 03:32:20 +0000 | cytokine_storm | (~cytokine_@user/cytokine-storm/x-1083107) (Ping timeout: 250 seconds) |
| 2022-10-27 03:32:42 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-10-27 03:32:43 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-10-27 03:32:43 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-27 03:39:08 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2022-10-27 03:40:08 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2022-10-27 03:40:09 +0000 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer) |
| 2022-10-27 03:41:22 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-10-27 03:43:26 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-10-27 04:02:20 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-10-27 04:03:54 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-10-27 04:04:10 +0000 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) |
| 2022-10-27 04:04:54 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-10-27 04:05:31 +0000 | dfee | (~dfee@162-227-164-101.lightspeed.sntcca.sbcglobal.net) |
| 2022-10-27 04:06:35 +0000 | dfee | (~dfee@162-227-164-101.lightspeed.sntcca.sbcglobal.net) (Client Quit) |
| 2022-10-27 04:07:26 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds) |
| 2022-10-27 04:07:37 +0000 | phma | (~phma@host-67-44-208-129.hnremote.net) (Read error: Connection reset by peer) |
| 2022-10-27 04:07:45 +0000 | img | (~img@user/img) |
| 2022-10-27 04:08:31 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-10-27 04:08:33 +0000 | phma | (phma@2001:5b0:212a:d108:940:4877:1056:c32c) |
| 2022-10-27 04:10:29 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-10-27 04:10:29 +0000 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer) |
| 2022-10-27 04:11:06 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-10-27 04:12:06 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-27 04:13:27 +0000 | kjak | (~kjak@pool-108-31-114-135.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2022-10-27 04:22:43 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-10-27 04:25:50 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-10-27 04:27:24 +0000 | califax | (~califax@user/califx) |
| 2022-10-27 04:29:55 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-10-27 04:30:09 +0000 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) |
| 2022-10-27 04:38:38 +0000 | kenran | (~user@user/kenran) |
| 2022-10-27 04:44:51 +0000 | kjak | (~kjak@pool-108-31-114-135.washdc.fios.verizon.net) |
| 2022-10-27 04:46:02 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2022-10-27 04:46:59 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-10-27 04:47:55 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-10-27 04:50:01 +0000 | kmein | (~weechat@user/kmein) |
| 2022-10-27 04:55:58 +0000 | cytokine_storm | (~cytokine_@user/cytokine-storm/x-1083107) |
| 2022-10-27 04:57:02 +0000 | mbuf | (~Shakthi@49.205.82.97) |
| 2022-10-27 05:03:20 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2022-10-27 05:09:46 +0000 | foul_owl | (~kerry@23.82.194.107) (Ping timeout: 246 seconds) |
| 2022-10-27 05:18:51 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-10-27 05:22:02 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2022-10-27 05:22:17 +0000 | cytokine_storm | (~cytokine_@user/cytokine-storm/x-1083107) (Ping timeout: 240 seconds) |
| 2022-10-27 05:26:40 +0000 | foul_owl | (~kerry@174-21-75-230.tukw.qwest.net) |
| 2022-10-27 05:31:45 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 272 seconds) |
| 2022-10-27 05:33:04 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-10-27 05:35:37 +0000 | redmp | (~redmp@mobile-166-177-249-89.mycingular.net) (Ping timeout: 240 seconds) |
| 2022-10-27 05:36:24 +0000 | chomwitt | (~chomwitt@2a02:587:dc10:8200:1ac0:4dff:fedb:a3f1) |
| 2022-10-27 05:37:43 +0000 | redmp | (~redmp@mobile-166-170-43-19.mycingular.net) |
| 2022-10-27 05:48:59 +0000 | sleym | (~sleym@user/sleym) |
| 2022-10-27 05:56:29 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-10-27 05:59:16 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-10-27 06:06:10 +0000 | michalz | (~michalz@185.246.207.205) |
| 2022-10-27 06:19:06 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz) |
| 2022-10-27 06:23:31 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-10-27 06:26:20 +0000 | ft | (~ft@p3e9bc845.dip0.t-ipconnect.de) (Quit: leaving) |
| 2022-10-27 06:26:48 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-27 06:29:57 +0000 | chele | (~chele@user/chele) |
| 2022-10-27 06:30:03 +0000 | nate3 | (~nate@98.45.169.16) |
| 2022-10-27 06:33:52 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-10-27 06:34:48 +0000 | nate3 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-10-27 06:36:13 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-27 06:36:15 +0000 | titibandit | (~titibandi@xdsl-87-78-36-34.nc.de) |
| 2022-10-27 06:36:55 +0000 | cytokine_storm | (~cytokine_@user/cytokine-storm/x-1083107) |
| 2022-10-27 06:43:17 +0000 | redmp | (~redmp@mobile-166-170-43-19.mycingular.net) (Ping timeout: 240 seconds) |
| 2022-10-27 06:45:11 +0000 | boxscape_ | (~boxscape@81.191.27.107) (Remote host closed the connection) |
| 2022-10-27 06:45:31 +0000 | freeside | (~mengwong@122.11.214.170) |
| 2022-10-27 06:46:07 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-10-27 06:50:02 +0000 | mncheck | (~mncheck@193.224.205.254) |
| 2022-10-27 06:55:45 +0000 | phma | (phma@2001:5b0:212a:d108:940:4877:1056:c32c) (Read error: Connection reset by peer) |
| 2022-10-27 06:56:11 +0000 | zeenk | (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) |
| 2022-10-27 06:56:39 +0000 | phma | (phma@2001:5b0:211b:f7d8:de0a:370f:6369:177e) |
| 2022-10-27 06:59:34 +0000 | sleym | (~sleym@user/sleym) (Quit: sleym) |
| 2022-10-27 07:00:40 +0000 | phma_ | (phma@2001:5b0:212a:dc08:e5cf:eb43:fa9d:159c) |
| 2022-10-27 07:02:49 +0000 | phma | (phma@2001:5b0:211b:f7d8:de0a:370f:6369:177e) (Ping timeout: 246 seconds) |
| 2022-10-27 07:04:02 +0000 | phma_ | phma |
| 2022-10-27 07:14:57 +0000 | jargon | (~jargon@184.101.208.112) (Remote host closed the connection) |
| 2022-10-27 07:18:30 +0000 | phma_ | (phma@2001:5b0:211b:bac8:e3f1:be8:3db9:1c2a) |
| 2022-10-27 07:20:34 +0000 | phma | (phma@2001:5b0:212a:dc08:e5cf:eb43:fa9d:159c) (Ping timeout: 255 seconds) |
| 2022-10-27 07:22:57 +0000 | birdgoose | (~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe) |
| 2022-10-27 07:23:17 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-10-27 07:24:57 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 240 seconds) |
| 2022-10-27 07:25:13 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2022-10-27 07:25:58 +0000 | m5zs7k | (aquares@web10.mydevil.net) |
| 2022-10-27 07:26:55 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-10-27 07:27:02 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a55391cdc3ed67ec87a.dip0.t-ipconnect.de) |
| 2022-10-27 07:27:02 +0000 | acidjnk | (~acidjnk@p200300d6e7137a55391cdc3ed67ec87a.dip0.t-ipconnect.de) |
| 2022-10-27 07:28:04 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-10-27 07:36:39 +0000 | phma_ | phma |
| 2022-10-27 07:37:29 +0000 | nschoe | (~q@141.101.51.197) |
| 2022-10-27 07:40:40 +0000 | Luj3 | (~Luj@2a01:e0a:5f9:9681:bbd7:4981:7fe5:6e34) |
| 2022-10-27 07:43:15 +0000 | danza | (~francesco@151.68.190.47) |
| 2022-10-27 07:50:42 +0000 | <Profpatsch> | It’s pretty arbitrary that Just a <> Nothing == Just a right? |
| 2022-10-27 07:50:45 +0000 | <Profpatsch> | Might as well be Nothing |
| 2022-10-27 07:51:02 +0000 | <Profpatsch> | Or is there any deeper meaning to having this instance? |
| 2022-10-27 07:51:30 +0000 | <Franciman> | hi Profpatsch |
| 2022-10-27 07:51:50 +0000 | <Franciman> | it's in that way so that Nothing works as identity for <> |
| 2022-10-27 07:52:05 +0000 | <Franciman> | and it renders `Maybe a` a monoid too |
| 2022-10-27 07:52:40 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) (Remote host closed the connection) |
| 2022-10-27 07:53:14 +0000 | <Profpatsch> | Ah, right |
| 2022-10-27 07:53:17 +0000 | <Profpatsch> | thx |
| 2022-10-27 07:53:49 +0000 | <Franciman> | actually `Maybe a` is a monoid if `a` is a monoid |
| 2022-10-27 07:53:54 +0000 | <Franciman> | because you have |
| 2022-10-27 07:54:02 +0000 | <Franciman> | Just x <> Just y == Just (x <> y) |
| 2022-10-27 07:54:09 +0000 | gurkenglas | (~gurkengla@84.138.199.46) |
| 2022-10-27 07:54:35 +0000 | <Profpatsch> | Franciman: Semigroup |
| 2022-10-27 07:54:43 +0000 | <Franciman> | yes sorry |
| 2022-10-27 07:54:46 +0000 | <Profpatsch> | you can also have the other way, but then you need a Monoid |
| 2022-10-27 07:54:54 +0000 | <Profpatsch> | they are both equally feasible |
| 2022-10-27 07:55:01 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-10-27 07:55:20 +0000 | <Profpatsch> | one uses Nothing as the mempty, the other `Just mempty` |
| 2022-10-27 07:55:48 +0000 | <Profpatsch> | Unless I got something wrong? |
| 2022-10-27 07:57:30 +0000 | <[Leary]> | Introducting a special element and making it the indentity by definition is a standard algebraic construction. Maybe, it was decided, should have the corresponding instance. The other one can be used via `Ap` anyway. |
| 2022-10-27 07:58:53 +0000 | <[Leary]> | > Nothing <> Just [] |
| 2022-10-27 07:58:54 +0000 | danza | (~francesco@151.68.190.47) (Read error: Connection reset by peer) |
| 2022-10-27 07:58:55 +0000 | <lambdabot> | Just [] |
| 2022-10-27 07:59:01 +0000 | <[Leary]> | > Ap Nothing <> Ap (Just []) |
| 2022-10-27 07:59:02 +0000 | <lambdabot> | Ap {getAp = Nothing} |
| 2022-10-27 08:00:53 +0000 | CiaoSen | (~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-10-27 08:01:36 +0000 | <chreekat> | Ap is a mystery to me. I understood it once, in 2020, for about 20 minutes |
| 2022-10-27 08:03:31 +0000 | <[Leary]> | There's nothing complicated about it; it's just a newtype to host instances that con be produced by lifting over Applicative. |
| 2022-10-27 08:03:51 +0000 | <[Leary]> | So (<>) on the underlying becomes liftA2 (<>) on the Applicative, etc. |
| 2022-10-27 08:05:36 +0000 | <chreekat> | The first thing that's complicated about it is its description. ;) "witnesses the lifting of a Monoid into an Applicative pointwise". |
| 2022-10-27 08:05:54 +0000 | <chreekat> | "lift" means about 10 different things, so which is it in this case? and I do not know what "pointwise" means |
| 2022-10-27 08:07:18 +0000 | <chreekat> | "witness" is (I think) a term from theorem proving? |
| 2022-10-27 08:08:49 +0000 | <[Leary]> | To "lift pointwise" is exactly Applicative's `liftA2`. It's "lifting" an `g :: a -> b -> c` to a `f a -> f b -> f c` by applying `g` to `a`s and `b`s produced by `f` "pointwise". |
| 2022-10-27 08:09:56 +0000 | <[Leary]> | A key point to note is that Applicative cannot produce an `f c` without matching every single `a` with `b`, so there's a kind of zipping up going on. |
| 2022-10-27 08:10:33 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-10-27 08:10:46 +0000 | <[Leary]> | And yeah, a witness is basically just something that proves a result by fact of its existence. |
| 2022-10-27 08:11:18 +0000 | <[Leary]> | Rather than reading the description of `Ap`, I guess it's more helpful to read the Semigroup, Monoid and Num instances. |
| 2022-10-27 08:11:29 +0000 | <[Leary]> | Though the latter is unfortunately unlawful. |
| 2022-10-27 08:12:48 +0000 | <chreekat> | Indeed, I think just writing the Semigroup instance out would be better documentation. From that, I can see how you can make a Monoid out of an (f a) if a is a Semigroup and f is an Monoid. What's funny is Maybe is both an Applicative *and* 'Maybe a' is already a Monoid (if a is a Semigroup). So `Ap Maybe` is another applicative with a different Monoid instance! |
| 2022-10-27 08:13:03 +0000 | <chreekat> | typo, 'if f is an Applicative' |
| 2022-10-27 08:13:08 +0000 | fserucas|eod | (~fserucas|@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-10-27 08:13:50 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6ed5:a768:4b55:2df1) |
| 2022-10-27 08:15:58 +0000 | vglfr | (~vglfr@145.224.100.164) (Remote host closed the connection) |
| 2022-10-27 08:15:58 +0000 | mmhat | (~mmh@p200300f1c73076a6ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-27 08:16:32 +0000 | vglfr | (~vglfr@145.224.100.164) |
| 2022-10-27 08:21:22 +0000 | freeside | (~mengwong@122.11.214.170) (Read error: Connection reset by peer) |
| 2022-10-27 08:21:37 +0000 | <Profpatsch> | chreekat: yeah, I’m tempted to do a docs pass over the base docs |
| 2022-10-27 08:22:07 +0000 | <Profpatsch> | The one thing with the most payoff the Haskell foundation could do would be to hire one of the technical writers that were fired by Mozilla |
| 2022-10-27 08:22:23 +0000 | <Profpatsch> | the ones that wrote the original rust stdlib documentation |
| 2022-10-27 08:22:39 +0000 | <Profpatsch> | Hecate: ^ |
| 2022-10-27 08:23:07 +0000 | gurkenglas | (~gurkengla@84.138.199.46) (Ping timeout: 260 seconds) |
| 2022-10-27 08:23:16 +0000 | <Profpatsch> | e.g. the documentation for `Monoid (Maybe a)` should probably just read: `mempty = Nothing` |
| 2022-10-27 08:23:29 +0000 | <Profpatsch> | instead of whatever stuff it says right now |
| 2022-10-27 08:23:36 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-27 08:27:13 +0000 | titibandit | (~titibandi@xdsl-87-78-36-34.nc.de) (Remote host closed the connection) |
| 2022-10-27 08:27:30 +0000 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2022-10-27 08:27:41 +0000 | <Hecate> | hello |
| 2022-10-27 08:28:11 +0000 | <Hecate> | yes we have the money to hire technical writers |
| 2022-10-27 08:30:11 +0000 | freeside | (~mengwong@122.11.214.170) |
| 2022-10-27 08:32:47 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-10-27 08:36:49 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-10-27 08:53:08 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) |
| 2022-10-27 08:55:20 +0000 | birdgoose | (~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe) (Ping timeout: 244 seconds) |
| 2022-10-27 08:57:20 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) (Ping timeout: 250 seconds) |
| 2022-10-27 08:59:46 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-10-27 09:01:37 +0000 | birdgoose | (~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe) |
| 2022-10-27 09:03:45 +0000 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-10-27 09:09:37 +0000 | razetime | (~quassel@49.207.192.79) (Ping timeout: 240 seconds) |
| 2022-10-27 09:13:23 +0000 | DavidBinder | (~DavidBind@134.2.10.18) |
| 2022-10-27 09:22:37 +0000 | Batzy_ | (~quassel@user/batzy) |
| 2022-10-27 09:24:43 +0000 | Batzy | (~quassel@user/batzy) (Ping timeout: 246 seconds) |
| 2022-10-27 09:31:44 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-10-27 09:34:50 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-27 09:42:12 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) |
| 2022-10-27 09:44:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-27 09:49:45 +0000 | kenran | (~user@user/kenran) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 29.0.50)) |
| 2022-10-27 09:51:25 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-27 09:54:14 +0000 | CiaoSen | (~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-10-27 09:57:20 +0000 | birdgoose | (~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe) (Ping timeout: 244 seconds) |
| 2022-10-27 09:57:28 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-10-27 09:58:16 +0000 | nschoe | (~q@141.101.51.197) (Quit: Switching off) |
| 2022-10-27 09:58:24 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-10-27 10:04:05 +0000 | freeside | (~mengwong@122.11.214.170) (Read error: Connection reset by peer) |
| 2022-10-27 10:04:40 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-10-27 10:05:14 +0000 | nschoe | (~q@141.101.51.197) |
| 2022-10-27 10:06:37 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 272 seconds) |
| 2022-10-27 10:09:03 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-10-27 10:09:03 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-10-27 10:10:15 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-10-27 10:10:40 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-10-27 10:12:57 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-27 10:18:00 +0000 | <jackdk> | The challenge is to do it in a way that adds the technical terms to the reader's vocabulary |
| 2022-10-27 10:18:39 +0000 | kraftwerk28_ | (~kraftwerk@178.62.210.83) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-10-27 10:23:47 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-27 10:24:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-10-27 10:26:08 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6ed5:a768:4b55:2df1) (Ping timeout: 252 seconds) |
| 2022-10-27 10:27:17 +0000 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-10-27 10:28:20 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 244 seconds) |
| 2022-10-27 10:29:02 +0000 | <chreekat> | Why? :) I don't learn the technical terms of astrophysics to sit in the warm sun |
| 2022-10-27 10:31:31 +0000 | nate3 | (~nate@98.45.169.16) |
| 2022-10-27 10:31:47 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-27 10:32:43 +0000 | razetime | (~quassel@49.207.192.79) |
| 2022-10-27 10:35:19 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-10-27 10:36:19 +0000 | nate3 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-10-27 10:39:52 +0000 | ubert | (~Thunderbi@178.165.169.91.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2022-10-27 10:40:05 +0000 | ubert | (~Thunderbi@178.165.169.91.wireless.dyn.drei.com) |
| 2022-10-27 10:44:51 +0000 | axeman | (~quassel@2a02:8109:a380:78:1814:a548:47e3:820e) |
| 2022-10-27 10:47:12 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-10-27 10:49:03 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-10-27 10:55:26 +0000 | DavidBinder | (~DavidBind@134.2.10.18) (Remote host closed the connection) |
| 2022-10-27 10:56:45 +0000 | <probie> | Are there any widely used alternatives to aeson? |
| 2022-10-27 11:04:14 +0000 | yoneda | (~mike@193.206.102.122) |
| 2022-10-27 11:05:37 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-10-27 11:06:43 +0000 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
| 2022-10-27 11:06:53 +0000 | CiaoSen | (~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-10-27 11:09:10 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4ce0:8375:d2a4:aff0) |
| 2022-10-27 11:09:53 +0000 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 276 seconds) |
| 2022-10-27 11:12:58 +0000 | mixfix41 | (~sdeny9ee@user/mixfix41) |
| 2022-10-27 11:13:10 +0000 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-10-27 11:13:33 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-10-27 11:13:56 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:637b:a50c:b6e4:f848) |
| 2022-10-27 11:15:55 +0000 | kraftwerk28 | (~kraftwerk@178.62.210.83) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-10-27 11:17:13 +0000 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
| 2022-10-27 11:18:05 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-10-27 11:23:23 +0000 | detuneattune | (~detuneatt@user/detuneattune) |
| 2022-10-27 11:26:43 +0000 | cytokine_storm | (~cytokine_@user/cytokine-storm/x-1083107) (Ping timeout: 244 seconds) |
| 2022-10-27 11:26:51 +0000 | ubert | (~Thunderbi@178.165.169.91.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2022-10-27 11:27:06 +0000 | ubert | (~Thunderbi@178.165.169.91.wireless.dyn.drei.com) |
| 2022-10-27 11:27:30 +0000 | vglfr | (~vglfr@145.224.100.164) (Remote host closed the connection) |
| 2022-10-27 11:27:46 +0000 | cytokine_storm | (~cytokine_@user/cytokine-storm/x-1083107) |
| 2022-10-27 11:28:05 +0000 | vglfr | (~vglfr@145.224.100.164) |
| 2022-10-27 11:28:32 +0000 | ubert | (~Thunderbi@178.165.169.91.wireless.dyn.drei.com) (Client Quit) |
| 2022-10-27 11:28:48 +0000 | ubert | (~Thunderbi@178.165.169.91.wireless.dyn.drei.com) |
| 2022-10-27 11:31:40 +0000 | ubert | (~Thunderbi@178.165.169.91.wireless.dyn.drei.com) (Client Quit) |
| 2022-10-27 11:31:57 +0000 | ubert | (~Thunderbi@178.165.169.91.wireless.dyn.drei.com) |
| 2022-10-27 11:32:00 +0000 | <jackdk> | no. there is waargonaut and I only just heard of hermes-json, because I saw it used in something the other day |
| 2022-10-27 11:32:38 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-27 11:32:44 +0000 | <tomsmeding> | there is the 'json' package, which is not _widely_ used but is used, and is very simple |
| 2022-10-27 11:33:46 +0000 | razetime | (~quassel@49.207.192.79) (Ping timeout: 250 seconds) |
| 2022-10-27 11:35:05 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-10-27 11:36:52 +0000 | axeman | (~quassel@2a02:8109:a380:78:1814:a548:47e3:820e) (Ping timeout: 246 seconds) |
| 2022-10-27 11:41:08 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-27 11:45:19 +0000 | cytokine_storm | (~cytokine_@user/cytokine-storm/x-1083107) (Ping timeout: 244 seconds) |
| 2022-10-27 11:57:23 +0000 | Alex_test | (~al_test@178.34.162.124) (Read error: Connection reset by peer) |
| 2022-10-27 11:57:23 +0000 | AlexNoo | (~AlexNoo@178.34.162.124) (Read error: Connection reset by peer) |
| 2022-10-27 11:57:23 +0000 | AlexZenon | (~alzenon@178.34.162.124) (Read error: Connection reset by peer) |
| 2022-10-27 11:57:52 +0000 | AlexNoo | (~AlexNoo@178.34.162.124) |
| 2022-10-27 12:00:03 +0000 | Alex_test | (~al_test@178.34.162.124) |
| 2022-10-27 12:01:38 +0000 | AlexZenon | (~alzenon@178.34.162.124) |
| 2022-10-27 12:04:27 +0000 | <dminuoso> | One thing that additionally comes to mind, is that haddock documentation on instances is somewhat lacking. |
| 2022-10-27 12:04:52 +0000 | <dminuoso> | I would like being able to document individual methods on an instance somehow |
| 2022-10-27 12:05:35 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-27 12:09:31 +0000 | lyle | (~lyle@104.246.145.85) |
| 2022-10-27 12:19:10 +0000 | <chreekat> | Yes, that would be nice |
| 2022-10-27 12:19:15 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-10-27 12:29:17 +0000 | nschoe | (~q@141.101.51.197) (Ping timeout: 260 seconds) |
| 2022-10-27 12:31:12 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-10-27 12:32:07 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-10-27 12:32:30 +0000 | <dminuoso> | Does someone have some intuition as to why `arbitraryChar` might generate a \NUL character here? https://gist.github.com/dminuoso/dd9faad54d7719392319032ed8430916 |
| 2022-10-27 12:32:46 +0000 | <dminuoso> | Im using QuickCheck-2.14.2, and arbitraryPrintableChar is not shadowed |
| 2022-10-27 12:33:15 +0000 | <dminuoso> | arbitraryPrintableChar = arbitrary `suchThat` isPrint |
| 2022-10-27 12:33:20 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-10-27 12:33:20 +0000 | <dminuoso> | % import Data.Char |
| 2022-10-27 12:33:20 +0000 | <yahb2> | <no output> |
| 2022-10-27 12:33:25 +0000 | <dminuoso> | % isPrint '\NUL' |
| 2022-10-27 12:33:25 +0000 | <yahb2> | False |
| 2022-10-27 12:34:19 +0000 | nschoe | (~q@141.101.51.197) |
| 2022-10-27 12:42:14 +0000 | cytokine_storm | (~cytokine_@user/cytokine-storm/x-1083107) |
| 2022-10-27 12:46:17 +0000 | cytokine_storm | (~cytokine_@user/cytokine-storm/x-1083107) (Ping timeout: 244 seconds) |
| 2022-10-27 12:47:04 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-10-27 12:48:05 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2022-10-27 12:49:27 +0000 | <[Leary]> | % isPrint . Data.Char.chr <$> [256,512..25600] |
| 2022-10-27 12:49:27 +0000 | <yahb2> | [True,True,True,True,True,False,True,True,True,False,False,True,True,False,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,Tr... |
| 2022-10-27 12:49:32 +0000 | <[Leary]> | % BS8.pack $ Data.Char.chr <$> [256,512..25600] |
| 2022-10-27 12:49:32 +0000 | <yahb2> | "\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL... |
| 2022-10-27 12:49:42 +0000 | <[Leary]> | dminuoso: Probably truncation. |
| 2022-10-27 12:54:34 +0000 | <dminuoso> | [Leary]: Good catch, thank you very much |
| 2022-10-27 12:58:31 +0000 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) |
| 2022-10-27 12:59:49 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a55391cdc3ed67ec87a.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2022-10-27 12:59:49 +0000 | acidjnk | (~acidjnk@p200300d6e7137a55391cdc3ed67ec87a.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2022-10-27 13:03:59 +0000 | phma_ | (phma@2001:5b0:211f:28f8:a44f:c2f6:a710:7cf) |
| 2022-10-27 13:06:04 +0000 | phma | (phma@2001:5b0:211b:bac8:e3f1:be8:3db9:1c2a) (Ping timeout: 250 seconds) |
| 2022-10-27 13:12:34 +0000 | Raito_Bezarius | (~Raito@2a01:e0a:5f9:9681:92a1:cfc4:8cb0:c6ed) (Ping timeout: 250 seconds) |
| 2022-10-27 13:12:44 +0000 | AkechiShiro | (~licht@2a01:e0a:5f9:9681:53a9:19ec:6934:da62) (Ping timeout: 276 seconds) |
| 2022-10-27 13:12:46 +0000 | Luj3 | (~Luj@2a01:e0a:5f9:9681:bbd7:4981:7fe5:6e34) (Ping timeout: 246 seconds) |
| 2022-10-27 13:15:03 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-10-27 13:16:27 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-27 13:17:04 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-27 13:25:31 +0000 | kuribas | (~user@silversquare.silversquare.eu) (Read error: Connection reset by peer) |
| 2022-10-27 13:26:11 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-10-27 13:26:14 +0000 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-10-27 13:27:31 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Read error: Connection reset by peer) |
| 2022-10-27 13:29:01 +0000 | mastarija | (~mastarija@188.252.199.190) |
| 2022-10-27 13:29:22 +0000 | king_gs | (~Thunderbi@2806:103e:29:947b:a1c6:4fd:b072:5aa3) |
| 2022-10-27 13:29:45 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-10-27 13:32:25 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2022-10-27 13:32:30 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2022-10-27 13:32:33 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-10-27 13:37:28 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-10-27 13:49:23 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-10-27 13:52:17 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2022-10-27 13:53:43 +0000 | ccapndave | (~ccapndave@mob-194-230-161-192.cgn.sunrise.net) |
| 2022-10-27 13:56:09 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-10-27 13:57:35 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 244 seconds) |
| 2022-10-27 13:57:47 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) |
| 2022-10-27 14:01:17 +0000 | kuribas | (~user@silversquare.silversquare.eu) (Ping timeout: 240 seconds) |
| 2022-10-27 14:01:52 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2022-10-27 14:01:58 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) (Ping timeout: 250 seconds) |
| 2022-10-27 14:03:13 +0000 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-10-27 14:08:49 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 2022-10-27 14:08:51 +0000 | irrgit_ | (~irrgit@176.113.74.138) |
| 2022-10-27 14:09:10 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2022-10-27 14:09:40 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-27 14:11:34 +0000 | ccapndave | (~ccapndave@mob-194-230-161-192.cgn.sunrise.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-27 14:17:27 +0000 | Luj3 | (~Luj@2a01:e0a:5f9:9681:8793:bc4b:8d3c:489e) |
| 2022-10-27 14:19:29 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-10-27 14:20:13 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-10-27 14:22:05 +0000 | ccapndave | (~ccapndave@mob-194-230-161-192.cgn.sunrise.net) |
| 2022-10-27 14:22:56 +0000 | ssw | (~ssw@user/ssw) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2022-10-27 14:23:11 +0000 | ssw | (~ssw@user/ssw) |
| 2022-10-27 14:23:21 +0000 | <Profpatsch> | probie: why do you ask? |
| 2022-10-27 14:23:38 +0000 | <Profpatsch> | I don’t like the aeson interface very much, either, but I use libraries like https://hackage.haskell.org/package/aeson-better-errors to work around it |
| 2022-10-27 14:24:32 +0000 | <Profpatsch> | With OverloadedRecordDot, is there a way to automatically import the fields of recursive types? |
| 2022-10-27 14:25:07 +0000 | <Profpatsch> | I made the decision (mistake?) to enable NoFieldSelectors, but now I get a very confusing “no HasField instance” error every time I forget to import a nested field |
| 2022-10-27 14:25:32 +0000 | <Profpatsch> | I guess it’s not directly related to NoFieldSelectors, just to the bad UX of dot syntax atm |
| 2022-10-27 14:27:02 +0000 | <merijn> | All the record extensions are a mistake :p |
| 2022-10-27 14:27:13 +0000 | <merijn> | With the exception of NamedFieldPuns and NoFieldSelectors :p |
| 2022-10-27 14:27:28 +0000 | <merijn> | RecordWildCard is a mistake, but also guilty pleasure :p |
| 2022-10-27 14:31:10 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 244 seconds) |
| 2022-10-27 14:33:02 +0000 | nate3 | (~nate@98.45.169.16) |
| 2022-10-27 14:34:00 +0000 | <AndreasK> | bgamari: are you around |
| 2022-10-27 14:37:56 +0000 | nate3 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2022-10-27 14:38:16 +0000 | <Profpatsch> | merijn: I don’t believe so. With OverloadedRecordDot I can finally in good conscience recommend Haskell as a modern language |
| 2022-10-27 14:38:29 +0000 | <Profpatsch> | Well, if the error message & hls support were better, but I hope it’s getting there |
| 2022-10-27 14:38:34 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-27 14:39:37 +0000 | king_gs | (~Thunderbi@2806:103e:29:947b:a1c6:4fd:b072:5aa3) (Ping timeout: 240 seconds) |
| 2022-10-27 14:41:31 +0000 | phma_ | phma |
| 2022-10-27 14:43:27 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-10-27 14:46:55 +0000 | mastarija | (~mastarija@188.252.199.190) (Quit: Leaving) |
| 2022-10-27 14:46:58 +0000 | razetime | (~quassel@49.207.192.79) |
| 2022-10-27 14:48:20 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4ce0:8375:d2a4:aff0) (Ping timeout: 250 seconds) |
| 2022-10-27 14:48:54 +0000 | ccapndave | (~ccapndave@mob-194-230-161-192.cgn.sunrise.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-10-27 14:51:07 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-10-27 14:58:07 +0000 | yrlnry | (~yrlnry@pool-108-36-173-41.phlapa.fios.verizon.net) (Quit: Leaving...) |
| 2022-10-27 15:01:21 +0000 | <maralorn> | Yeah, the no instance thingy is really stupid. Because in Haskell missing instance nearly never means that you just forgot to import it. |
| 2022-10-27 15:06:34 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 2022-10-27 15:08:53 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-27 15:09:06 +0000 | phma | (phma@2001:5b0:211f:28f8:a44f:c2f6:a710:7cf) (Read error: Connection reset by peer) |
| 2022-10-27 15:09:42 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4ce0:8375:d2a4:aff0) |
| 2022-10-27 15:09:59 +0000 | phma | (phma@2001:5b0:211f:9a38:3171:77a0:4a89:d9f6) |
| 2022-10-27 15:10:57 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-27 15:15:36 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 244 seconds) |
| 2022-10-27 15:23:52 +0000 | CiaoSen | (~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-10-27 15:24:39 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 2022-10-27 15:25:20 +0000 | Kaipei | (~Kaiepi@108.175.84.104) (Remote host closed the connection) |
| 2022-10-27 15:25:40 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-27 15:25:44 +0000 | Kaipei | (~Kaiepi@108.175.84.104) |
| 2022-10-27 15:28:21 +0000 | constxd | (~brad@47.55.121.233) (Ping timeout: 272 seconds) |
| 2022-10-27 15:30:20 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit) |
| 2022-10-27 15:30:21 +0000 | king_gs | (~Thunderbi@187.201.47.251) |
| 2022-10-27 15:31:22 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-27 15:31:46 +0000 | Kaipii | (~Kaiepi@108.175.84.104) |
| 2022-10-27 15:34:12 +0000 | Kaipei | (~Kaiepi@108.175.84.104) (Ping timeout: 260 seconds) |
| 2022-10-27 15:34:38 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2022-10-27 15:35:27 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-27 15:38:10 +0000 | razetime | (~quassel@49.207.192.79) (Ping timeout: 252 seconds) |
| 2022-10-27 15:42:28 +0000 | <AlexZenon> | C:\Program Files\Borland\Delphi5 |
| 2022-10-27 15:42:29 +0000 | <AlexZenon> | C:\Program Files\Common Files\Borland Shared\ |
| 2022-10-27 15:42:29 +0000 | <AlexZenon> | C:\Program Files\Common Files\Borland Shared\BDE\ |
| 2022-10-27 15:42:29 +0000 | <AlexZenon> | C:\Program Files\Borland\Database Desktop\ |
| 2022-10-27 15:42:29 +0000 | <AlexZenon> | C:\PROGRA~1\Borland\vbroker |
| 2022-10-27 15:43:06 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-27 15:43:09 +0000 | <geekosaur> | ? |
| 2022-10-27 15:43:25 +0000 | <Alex_test> | ��. |
| 2022-10-27 15:43:25 +0000 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) (Remote host closed the connection) |
| 2022-10-27 15:43:48 +0000 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) |
| 2022-10-27 15:43:50 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-10-27 15:47:18 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-11.elisa-laajakaista.fi) |
| 2022-10-27 15:47:43 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 255 seconds) |
| 2022-10-27 15:50:15 +0000 | razetime | (~quassel@49.207.192.79) |
| 2022-10-27 15:50:32 +0000 | king_gs1 | (~Thunderbi@2806:103e:29:947b:a1c6:4fd:b072:5aa3) |
| 2022-10-27 15:50:40 +0000 | king_gs | (~Thunderbi@187.201.47.251) (Read error: Connection reset by peer) |
| 2022-10-27 15:50:40 +0000 | king_gs1 | king_gs |
| 2022-10-27 15:51:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-27 15:52:49 +0000 | slac31229 | (~slack1256@191.125.227.73) |
| 2022-10-27 15:54:16 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a04040206df7d69f9dc.dip0.t-ipconnect.de) |
| 2022-10-27 15:54:16 +0000 | acidjnk | (~acidjnk@p200300d6e7137a04040206df7d69f9dc.dip0.t-ipconnect.de) |
| 2022-10-27 15:55:11 +0000 | slack1256 | (~slack1256@186.11.17.82) (Ping timeout: 260 seconds) |
| 2022-10-27 15:58:51 +0000 | <probie> | Profpatsch: On a personal note, I think Aeson has too many dependencies and it doesn't care about key ordering (or at least didn't). On a practical note, I want to be able to "stream" values |
| 2022-10-27 16:04:02 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-10-27 16:07:00 +0000 | <probie> | I guess I just really want a dumb parser/printer instead of a full serialisation library (or at least separate from it). I'll probably just write what I want, since none of the alternatives seem much better |
| 2022-10-27 16:08:15 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-27 16:11:43 +0000 | <Profpatsch> | probie: yeah, the parser does not keep the order of elements in object |
| 2022-10-27 16:11:50 +0000 | <Profpatsch> | that’s a hard technical limitation if you need that |
| 2022-10-27 16:12:03 +0000 | kuribas | (~user@silversquare.silversquare.eu) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2022-10-27 16:12:11 +0000 | <Profpatsch> | But I *think* you could re-use the underlying parser combinators if you need that |
| 2022-10-27 16:12:36 +0000 | <Profpatsch> | I wouldn’t really recommend writing a json parser yourself if it can be avoided |
| 2022-10-27 16:12:43 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:637b:a50c:b6e4:f848) (Quit: WeeChat 2.8) |
| 2022-10-27 16:13:47 +0000 | <Profpatsch> | probie: this is the parser you need: https://hackage.haskell.org/package/aeson-2.1.1.0/docs/Data-Aeson-Parser-Internal.html#v:jsonWith |
| 2022-10-27 16:15:49 +0000 | <Profpatsch> | or well, it’s the thing you need to change slightly to be useful to you |
| 2022-10-27 16:16:34 +0000 | king_gs | (~Thunderbi@2806:103e:29:947b:a1c6:4fd:b072:5aa3) (Ping timeout: 244 seconds) |
| 2022-10-27 16:16:47 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-27 16:21:04 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 246 seconds) |
| 2022-10-27 16:24:09 +0000 | boxscape | (~boxscape@81.191.27.107) |
| 2022-10-27 16:26:05 +0000 | econo | (uid147250@user/econo) |
| 2022-10-27 16:27:07 +0000 | Kephasp | (~Kephasp@2a01:e34:ec26:6b40:3666:f94b:8042:c0cb) |
| 2022-10-27 16:28:39 +0000 | kenran | (~user@user/kenran) |
| 2022-10-27 16:31:30 +0000 | Guest76 | (~Guest76@lfbn-idf2-1-1285-246.w92-169.abo.wanadoo.fr) |
| 2022-10-27 16:33:26 +0000 | boxscape | (~boxscape@81.191.27.107) (Remote host closed the connection) |
| 2022-10-27 16:33:50 +0000 | constxd | (~brad@nat-137-186-18-122.wireless.telus.com) |
| 2022-10-27 16:36:07 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-10-27 16:36:55 +0000 | Guest76 | (~Guest76@lfbn-idf2-1-1285-246.w92-169.abo.wanadoo.fr) (Quit: Client closed) |
| 2022-10-27 16:37:46 +0000 | yoneda | (~mike@193.206.102.122) (Quit: leaving) |
| 2022-10-27 16:40:02 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-10-27 16:42:16 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) |
| 2022-10-27 16:44:21 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2022-10-27 16:44:27 +0000 | king_gs | (~Thunderbi@187.201.47.251) |
| 2022-10-27 16:47:56 +0000 | CiaoSen | (~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-10-27 16:49:13 +0000 | jtomas | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) |
| 2022-10-27 16:49:21 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-27 16:50:45 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-27 16:51:50 +0000 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 250 seconds) |
| 2022-10-27 16:52:11 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-10-27 16:53:26 +0000 | <EvanR> | Alex_test is on DOS and their IRC client and C compiler address space collided |
| 2022-10-27 16:53:34 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-10-27 16:53:57 +0000 | <EvanR> | s/C/Delphi/ |
| 2022-10-27 16:54:34 +0000 | Kaipei | (~Kaiepi@108.175.84.104) |
| 2022-10-27 16:55:13 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 255 seconds) |
| 2022-10-27 16:55:27 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-10-27 16:57:54 +0000 | Kaipii | (~Kaiepi@108.175.84.104) (Ping timeout: 250 seconds) |
| 2022-10-27 17:02:06 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-10-27 17:03:06 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 250 seconds) |
| 2022-10-27 17:05:25 +0000 | <geekosaur> | qemm worked better than that usually 🙂 |
| 2022-10-27 17:06:17 +0000 | <geekosaur> | well, desqview, it took more than just an emm to get multiple dos programs running that way |
| 2022-10-27 17:06:27 +0000 | <geekosaur> | maybe windows 3.10 |
| 2022-10-27 17:06:55 +0000 | <geekosaur> | desqview was always more reliable for me |
| 2022-10-27 17:07:12 +0000 | constxd | (~brad@nat-137-186-18-122.wireless.telus.com) (Ping timeout: 244 seconds) |
| 2022-10-27 17:07:12 +0000 | nschoe | (~q@141.101.51.197) (Ping timeout: 244 seconds) |
| 2022-10-27 17:09:14 +0000 | constxd | (~brad@nat-137-186-18-122.wireless.telus.com) |
| 2022-10-27 17:10:00 +0000 | fserucas|eod | (~fserucas|@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Quit: Leaving) |
| 2022-10-27 17:10:50 +0000 | redmp | (~redmp@lib-02-subnet-194.rdns.cenic.net) |
| 2022-10-27 17:16:08 +0000 | Kaipii | (~Kaiepi@108.175.84.104) |
| 2022-10-27 17:16:29 +0000 | razetime | (~quassel@49.207.192.79) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-10-27 17:19:37 +0000 | Kaipei | (~Kaiepi@108.175.84.104) (Ping timeout: 240 seconds) |
| 2022-10-27 17:23:40 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-27 17:23:40 +0000 | king_gs | (~Thunderbi@187.201.47.251) (Read error: Connection reset by peer) |
| 2022-10-27 17:23:55 +0000 | king_gs | (~Thunderbi@2806:103e:29:947b:a1c6:4fd:b072:5aa3) |
| 2022-10-27 17:27:52 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 244 seconds) |
| 2022-10-27 17:30:25 +0000 | slac31229 | (~slack1256@191.125.227.73) (Read error: Connection reset by peer) |
| 2022-10-27 17:30:31 +0000 | slack1256 | (~slack1256@186.11.17.82) |
| 2022-10-27 17:30:52 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Ping timeout: 260 seconds) |
| 2022-10-27 17:33:39 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-27 17:35:01 +0000 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 272 seconds) |
| 2022-10-27 17:35:03 +0000 | ft | (~ft@p3e9bc845.dip0.t-ipconnect.de) |
| 2022-10-27 17:35:21 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-10-27 17:36:28 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2022-10-27 17:37:27 +0000 | <EvanR> | TIL DOS could multitask. But I guess windows 3.1 had to somehow |
| 2022-10-27 17:37:41 +0000 | mbuf | (~Shakthi@49.205.82.97) (Quit: Leaving) |
| 2022-10-27 17:38:42 +0000 | <Athas> | Cooperatively, right? |
| 2022-10-27 17:38:49 +0000 | <Athas> | Basically the concurrency monad. |
| 2022-10-27 17:39:10 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 2022-10-27 17:39:36 +0000 | <jean-paul[m]> | is there a way to point a stack `extra-deps` item at a local filesystem directory (not a .zip)? |
| 2022-10-27 17:40:50 +0000 | <geekosaur> | Athas, yes unless the program had support for preemptive multitasking and declarerd it via the appropriate API |
| 2022-10-27 17:41:18 +0000 | <geekosaur> | quite a few programs knew how to use the DV API. I don't recall if Windows for DOS had such an API |
| 2022-10-27 17:42:10 +0000 | <geekosaur> | there were other programs which supported internal cooperative threading (notably NOS.EXE variants used in ham radio) |
| 2022-10-27 17:43:14 +0000 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-10-27 17:43:24 +0000 | <EvanR> | concurrency monad? |
| 2022-10-27 17:44:42 +0000 | <geekosaur> | if only it were that organized 🙂 |
| 2022-10-27 17:45:07 +0000 | <geekosaur> | setjmp-based multitasking was always a hack |
| 2022-10-27 17:47:17 +0000 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 240 seconds) |
| 2022-10-27 17:48:51 +0000 | <Athas> | Well, so is the concurrency monad! |
| 2022-10-27 17:48:53 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-10-27 17:48:57 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-10-27 17:49:37 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-27 17:49:37 +0000 | <EvanR> | what is >>= for the concurrency monad |
| 2022-10-27 17:50:16 +0000 | <Athas> | Either sequential composition or a switch to another "thread". |
| 2022-10-27 17:50:27 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) (Remote host closed the connection) |
| 2022-10-27 17:50:28 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-10-27 17:50:30 +0000 | <Athas> | The concurrency monad really isn't as interesting as it sounds. |
| 2022-10-27 17:51:45 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-10-27 17:52:41 +0000 | <jean-paul[m]> | (extra-deps accepts a local path as a string ... duh) |
| 2022-10-27 17:52:55 +0000 | <EvanR> | is it like, a rebranded List monad |
| 2022-10-27 17:53:30 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-27 17:54:07 +0000 | <Athas> | EvanR: to be frank, there is no *the* concurrency monad, but it's basically a kind of continuation monad with multiple running continuations: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A369E310ADAE4455020C918FC1… |
| 2022-10-27 17:55:09 +0000 | Kephasp | (~Kephasp@2a01:e34:ec26:6b40:3666:f94b:8042:c0cb) (Quit: Client closed) |
| 2022-10-27 17:56:17 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-10-27 17:56:48 +0000 | <EvanR> | the title a poor man's concurrency monad implies there is a proper privileged concurrency monad somewhere and we won't be implementing that xD |
| 2022-10-27 17:57:21 +0000 | desantra | (~skykanin@user/skykanin) |
| 2022-10-27 17:57:50 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 244 seconds) |
| 2022-10-27 17:58:17 +0000 | <Athas> | A rich man's concurrency monad actually uses proper platform concurrency primitives. |
| 2022-10-27 17:58:32 +0000 | <Athas> | But the proletariat can only afford longjmp(). |
| 2022-10-27 17:58:51 +0000 | <EvanR> | ah ok, IO |
| 2022-10-27 17:59:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-27 18:00:53 +0000 | iteratee | (~kyle@162.218.222.107) |
| 2022-10-27 18:01:14 +0000 | desantra | (~skykanin@user/skykanin) (Client Quit) |
| 2022-10-27 18:05:35 +0000 | redmp | (~redmp@lib-02-subnet-194.rdns.cenic.net) (Ping timeout: 244 seconds) |
| 2022-10-27 18:07:47 +0000 | desantra | (~skykanin@user/skykanin) |
| 2022-10-27 18:07:57 +0000 | constxd | (~brad@nat-137-186-18-122.wireless.telus.com) (Ping timeout: 272 seconds) |
| 2022-10-27 18:08:11 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) |
| 2022-10-27 18:09:45 +0000 | iteratee_ | (~kyle@162.218.222.107) |
| 2022-10-27 18:11:06 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-27 18:11:12 +0000 | iteratee | (~kyle@162.218.222.107) (Quit: leaving) |
| 2022-10-27 18:11:29 +0000 | iteratee_ | iteratee |
| 2022-10-27 18:12:24 +0000 | <EvanR> | ah MonadPlus for such a monad is parallel composition |
| 2022-10-27 18:15:04 +0000 | Kaipei | (~Kaiepi@108.175.84.104) |
| 2022-10-27 18:15:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-27 18:18:04 +0000 | Kaipii | (~Kaiepi@108.175.84.104) (Ping timeout: 250 seconds) |
| 2022-10-27 18:18:47 +0000 | constxd | (~brad@nat-137-186-18-122.wireless.telus.com) |
| 2022-10-27 18:19:22 +0000 | king_gs | (~Thunderbi@2806:103e:29:947b:a1c6:4fd:b072:5aa3) (Ping timeout: 250 seconds) |
| 2022-10-27 18:20:03 +0000 | <EvanR> | in two places in the paper they refer to "non-proper morphisms of [some monad]" |
| 2022-10-27 18:20:16 +0000 | <EvanR> | what is a proper / non-proper morphism |
| 2022-10-27 18:21:48 +0000 | <darkling> | I'd guess that a proper morphism excludes the identity? |
| 2022-10-27 18:26:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-27 18:27:35 +0000 | dkeohane | (~dkeohane@csm-wl-dhcp-205-230.mines.edu) |
| 2022-10-27 18:30:21 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-10-27 18:31:12 +0000 | <EvanR> | like, it lists 3 functions used to access IORefs in the IO monad, it calls all 3 non-proper morphisms of IO. Maybe some weird historical jargon |
| 2022-10-27 18:32:45 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-27 18:34:07 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-10-27 18:34:31 +0000 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.7.1) |
| 2022-10-27 18:34:31 +0000 | nate3 | (~nate@98.45.169.16) |
| 2022-10-27 18:35:37 +0000 | Kaipei | (~Kaiepi@108.175.84.104) (Ping timeout: 260 seconds) |
| 2022-10-27 18:39:37 +0000 | nate3 | (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 2022-10-27 18:40:00 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) (Remote host closed the connection) |
| 2022-10-27 18:47:26 +0000 | CiaoSen | (~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-10-27 18:51:34 +0000 | constxd | (~brad@nat-137-186-18-122.wireless.telus.com) (Ping timeout: 244 seconds) |
| 2022-10-27 18:58:42 +0000 | gqplox | (~textual@2a02:c7c:941d:fd00:4102:e413:2c06:9bc1) |
| 2022-10-27 18:58:44 +0000 | Kaipei | (~Kaiepi@108.175.84.104) |
| 2022-10-27 19:00:13 +0000 | slac73716 | (~slack1256@191.125.227.73) |
| 2022-10-27 19:01:06 +0000 | talismanick | (~talismani@76.133.152.122) |
| 2022-10-27 19:01:50 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-10-27 19:03:06 +0000 | slack1256 | (~slack1256@186.11.17.82) (Ping timeout: 272 seconds) |
| 2022-10-27 19:05:03 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-27 19:06:10 +0000 | Guest6 | (~Guest6@host-87-18-171-201.retail.telecomitalia.it) |
| 2022-10-27 19:06:17 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-10-27 19:07:16 +0000 | Guest6 | (~Guest6@host-87-18-171-201.retail.telecomitalia.it) (Client Quit) |
| 2022-10-27 19:14:22 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-10-27 19:15:05 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 272 seconds) |
| 2022-10-27 19:17:21 +0000 | mixfix41 | (~sdeny9ee@user/mixfix41) (Quit: channeling away) |
| 2022-10-27 19:18:21 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-10-27 19:19:22 +0000 | Sauvin | (~sauvin@user/Sauvin) (Ping timeout: 260 seconds) |
| 2022-10-27 19:21:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-27 19:29:36 +0000 | <energizer> | is python the only language that has a variadic `zip`? |
| 2022-10-27 19:34:12 +0000 | Sauvin | (~sauvin@user/Sauvin) |
| 2022-10-27 19:34:21 +0000 | <EvanR> | lisp |
| 2022-10-27 19:34:29 +0000 | <energizer> | which one |
| 2022-10-27 19:37:22 +0000 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2022-10-27 19:39:42 +0000 | <EvanR> | while trying to find the answer to that, I also found a variadic zip function in R |
| 2022-10-27 19:40:29 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) |
| 2022-10-27 19:41:17 +0000 | <energizer> | what's it called in R? |
| 2022-10-27 19:43:29 +0000 | <energizer> | i'm trying to figure out what a variadic zip should do with zero arguments |
| 2022-10-27 19:44:15 +0000 | constxd | (~brad@nat-137-186-18-122.wireless.telus.com) |
| 2022-10-27 19:44:47 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) (Ping timeout: 244 seconds) |
| 2022-10-27 19:45:09 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-27 19:45:37 +0000 | <EvanR> | zip |
| 2022-10-27 19:46:19 +0000 | <probie> | does lisp have variadic zip, or is it just something like `(map list arg1 arg2 arg3 .. argn)`? |
| 2022-10-27 19:46:24 +0000 | <EvanR> | if you think of zip as a matrix transpose, then zero arguments could indicate a 0xN Nx0 or 0x0 matrix transpose |
| 2022-10-27 19:46:46 +0000 | <EvanR> | i.e. not usually expressible using lists |
| 2022-10-27 19:47:02 +0000 | <EvanR> | or, not distinguishable |
| 2022-10-27 19:48:27 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-27 19:49:00 +0000 | pavonia | (~user@user/siracusa) |
| 2022-10-27 19:54:43 +0000 | <energizer> | EvanR: zip seems to be about creating zip archives https://www.rdocumentation.org/packages/utils/versions/3.6.2/topics/zip |
| 2022-10-27 19:54:46 +0000 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 255 seconds) |
| 2022-10-27 19:55:06 +0000 | <probie> | I think that zip with zero args should be `repeat ()` |
| 2022-10-27 19:55:28 +0000 | <energizer> | probie: can you explain why |
| 2022-10-27 19:57:32 +0000 | <EvanR> | repeat () is one of the interpretations of the matrix transpose |
| 2022-10-27 19:57:42 +0000 | constxd | (~brad@nat-137-186-18-122.wireless.telus.com) (Ping timeout: 244 seconds) |
| 2022-10-27 19:57:59 +0000 | <EvanR> | since the size of the matrix is unknown and not represented we don't know what the answer should be |
| 2022-10-27 19:59:04 +0000 | <probie> | I'd like `zip a (zip b c)`, `zip a b c`, `zip (zip a b) c` to provide the same answer, modulo some tuple-juggling |
| 2022-10-27 19:59:42 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 255 seconds) |
| 2022-10-27 20:01:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-27 20:01:25 +0000 | slac73716 | (~slack1256@191.125.227.73) (Read error: Connection reset by peer) |
| 2022-10-27 20:01:33 +0000 | irrgit_ | (~irrgit@176.113.74.138) (Read error: Connection reset by peer) |
| 2022-10-27 20:02:54 +0000 | slack1256 | (~slack1256@186.11.17.82) |
| 2022-10-27 20:02:56 +0000 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) |
| 2022-10-27 20:02:59 +0000 | irrgit_ | (~irrgit@176.113.74.130) |
| 2022-10-27 20:03:17 +0000 | <EvanR> | well I closed the tab with that zip function in R and I can't find it |
| 2022-10-27 20:04:10 +0000 | LambdaDuck | (~anka@ksit.fixme.fi) (Ping timeout: 246 seconds) |
| 2022-10-27 20:04:19 +0000 | LambdaDuck | (~anka@ksit.fixme.fi) |
| 2022-10-27 20:04:33 +0000 | <EvanR> | the graphical linear algebra blob also motivates the well-typed matrix view of this |
| 2022-10-27 20:04:50 +0000 | <EvanR> | which list of list isn't a good example |
| 2022-10-27 20:05:01 +0000 | <EvanR> | blog* |
| 2022-10-27 20:05:36 +0000 | <gqplox> | Hi guys |
| 2022-10-27 20:05:38 +0000 | <gqplox> | how's it going |
| 2022-10-27 20:06:08 +0000 | <gqplox> | Please could you give some feedback on my code |
| 2022-10-27 20:07:01 +0000 | <gqplox> | http://sprunge.us/PXE7if?hs |
| 2022-10-27 20:08:03 +0000 | <gqplox> | (Somewhat similar thing in python) http://sprunge.us/Q59Oql?py |
| 2022-10-27 20:09:36 +0000 | <gqplox> | My main "concern" is that it is really inefficient. However n practice I ran this script on an 80k word string and it took 0.2 sec so it's not an issue and I've heard that the Haskell compiler is pretty smart. |
| 2022-10-27 20:12:11 +0000 | <EvanR> | if it runs fast, that's great. But it may be using egregious amount of memory, which you can see by profiling. And if it's fast and not using a lot of memory, I question the question's premise xD |
| 2022-10-27 20:13:20 +0000 | <probie> | frequencies is a lot slower than it needs to be, since you "count" frequencies once for every word in your input, not once for every distinct word |
| 2022-10-27 20:13:36 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-27 20:14:14 +0000 | <gqplox> | Haha fair enough, what I mean to say is from my naiive understanding for example to calculate the count of each word i loop through the entire array whereas in the python one is O(n) |
| 2022-10-27 20:14:57 +0000 | <gqplox> | anyway Im an extreme beginner so if you had tips on improving the clarity of the code or how to make it more efficient i would be very grateful |
| 2022-10-27 20:14:58 +0000 | <EvanR> | looping through an array and looping through a list is O(n) regardless |
| 2022-10-27 20:15:29 +0000 | <gqplox> | But for each word if i loop over the words array then it's O(n^2) total as i have to calculate count of each word |
| 2022-10-27 20:15:31 +0000 | <probie> | also, it's probably preferable to go `length (filter p xs)` instead of `foldr (\x r -> if p x then 1 + r else r) 0 xs`. |
| 2022-10-27 20:15:55 +0000 | <EvanR> | also it should be foldl there (prime) |
| 2022-10-27 20:16:56 +0000 | <EvanR> | yeah you can avoid n^2 by using a Map of seen words and their counts |
| 2022-10-27 20:18:47 +0000 | <gqplox> | oh yeah the length filter is cool thank you |
| 2022-10-27 20:18:52 +0000 | <gqplox> | i didn't think of that lol |
| 2022-10-27 20:19:42 +0000 | <gqplox> | sorry what do you mean foldl (prime)? |
| 2022-10-27 20:20:04 +0000 | <EvanR> | foldl and foldl' is basically for when you want to loop over a list and accumulate something |
| 2022-10-27 20:20:19 +0000 | <EvanR> | or any Foldable |
| 2022-10-27 20:20:20 +0000 | <probie> | There's foldr and foldl. You almost never want to use foldl. Instead you want foldl' from Data.List |
| 2022-10-27 20:20:40 +0000 | <gqplox> | Oh right |
| 2022-10-27 20:20:48 +0000 | <gqplox> | ah that's why :t foldl' didnt work |
| 2022-10-27 20:20:56 +0000 | <gqplox> | ill read up on the difference thx |
| 2022-10-27 20:21:03 +0000 | <EvanR> | strictness analysis can make foldl work like foldl', I just mentioned foldl because mentioning ONLY foldl' might lead to a huge discussion about what happened to foldl, and so here we are anyway xD |
| 2022-10-27 20:21:12 +0000 | <gqplox> | but what was wrong with foldr there? |
| 2022-10-27 20:21:16 +0000 | <EvanR> | but they are both logically for the same purpose |
| 2022-10-27 20:21:29 +0000 | <alexfmpe[m]> | explanation of foldl vs foldr vs strict variants: https://github.com/hasura/graphql-engine/pull/2933#discussion_r328821960 |
| 2022-10-27 20:21:43 +0000 | <probie> | If you're curious, here's my attempt at translating your python into Haskell https://paste.tomsmeding.com/qWTsnlOh |
| 2022-10-27 20:21:48 +0000 | <EvanR> | foldr would still technically work but inefficiently, and is just inappropriate |
| 2022-10-27 20:21:59 +0000 | <EvanR> | foldr is constructor replacement |
| 2022-10-27 20:22:11 +0000 | <EvanR> | it's quite lazy |
| 2022-10-27 20:22:36 +0000 | <gqplox> | wow cool thank you probie |
| 2022-10-27 20:22:45 +0000 | <gqplox> | time to look at what all that stuff does now :) |
| 2022-10-27 20:26:43 +0000 | <EvanR> | that discussion of foldl and foldr for lists makes it seem more symmetric than it is, especially once the folding is over some other structure |
| 2022-10-27 20:28:13 +0000 | <EvanR> | advice I never got, they are totally different and for different purposes |
| 2022-10-27 20:30:06 +0000 | <geekosaur> | right, that foldr works the way it does on lists is more or less an accidental correspondence with how lists are defined |
| 2022-10-27 20:30:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-27 20:30:53 +0000 | <energizer> | EvanR: how is `repeat ()` a matrix transpose? |
| 2022-10-27 20:31:11 +0000 | boxscape | (~boxscape@81.191.27.107) |
| 2022-10-27 20:33:13 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-10-27 20:33:15 +0000 | <EvanR> | if you represent a matrix as a list of rows where rows are tuples, repeat () is inf x 0 matrix |
| 2022-10-27 20:33:40 +0000 | <EvanR> | so a transpose of a 0 x inf matrix |
| 2022-10-27 20:34:23 +0000 | <EvanR> | which I guess you could represent as [], but ymmv |
| 2022-10-27 20:39:58 +0000 | ozkutuk | (~ozkutuk@176.240.173.153) |
| 2022-10-27 20:44:12 +0000 | mmhat | (~mmh@p200300f1c73076a6ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-10-27 20:44:20 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-10-27 20:45:35 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-10-27 20:48:01 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-27 20:48:20 +0000 | jtomas | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 244 seconds) |
| 2022-10-27 20:48:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-27 20:58:23 +0000 | mmhat | (~mmh@p200300f1c730768bee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-27 21:03:45 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2022-10-27 21:06:26 +0000 | desantra | (~skykanin@user/skykanin) (Quit: WeeChat 3.6) |
| 2022-10-27 21:07:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-27 21:07:27 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-10-27 21:11:05 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-10-27 21:12:53 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-27 21:25:56 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-27 21:28:15 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-10-27 21:40:09 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-10-27 21:41:44 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-10-27 21:43:15 +0000 | caryhartline | (~caryhartl@107.140.218.181) |
| 2022-10-27 21:43:52 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds) |
| 2022-10-27 21:45:20 +0000 | iteratee | (~kyle@162.218.222.107) (Remote host closed the connection) |
| 2022-10-27 21:46:25 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-27 21:47:40 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-10-27 21:50:20 +0000 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2022-10-27 21:56:52 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-10-27 21:57:52 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-10-27 21:58:15 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-27 22:06:10 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-27 22:10:22 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2022-10-27 22:11:03 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 2022-10-27 22:11:13 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-10-27 22:11:46 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-27 22:13:13 +0000 | boxscape | (~boxscape@81.191.27.107) (Remote host closed the connection) |
| 2022-10-27 22:19:54 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-10-27 22:20:33 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-27 22:23:47 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-10-27 22:24:27 +0000 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 272 seconds) |
| 2022-10-27 22:30:39 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-10-27 22:35:51 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2022-10-27 22:36:03 +0000 | nate3 | (~nate@98.45.169.16) |
| 2022-10-27 22:37:57 +0000 | Kaipei | (~Kaiepi@108.175.84.104) (Ping timeout: 240 seconds) |
| 2022-10-27 22:38:57 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a04040206df7d69f9dc.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-10-27 22:38:57 +0000 | acidjnk | (~acidjnk@p200300d6e7137a04040206df7d69f9dc.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-10-27 22:40:17 +0000 | dkeohane | (~dkeohane@csm-wl-dhcp-205-230.mines.edu) (Ping timeout: 272 seconds) |
| 2022-10-27 22:41:12 +0000 | nate3 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-10-27 22:46:04 +0000 | boxscape | (~boxscape@81.191.27.107) |
| 2022-10-27 22:46:06 +0000 | boxscape | boxscape_ |
| 2022-10-27 22:49:18 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-27 22:49:26 +0000 | aaronv | (~aaronv@user/aaronv) |
| 2022-10-27 22:50:14 +0000 | iteratee | (~kyle@162.218.222.107) |
| 2022-10-27 22:51:16 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-10-27 22:55:05 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt juan@acm.org) |
| 2022-10-27 22:55:17 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-27 23:02:03 +0000 | <talismanick> | How do I desugar `\x -> do {foo x; bar}`? |
| 2022-10-27 23:03:03 +0000 | <jackdk> | @undo \x -> do {foo x; bar} |
| 2022-10-27 23:03:03 +0000 | <lambdabot> | \ x -> foo x >> bar |
| 2022-10-27 23:03:07 +0000 | <alexfmpe[m]> | desugar? |
| 2022-10-27 23:03:54 +0000 | <talismanick> | jackdk: huh, that... was simpler than I thought |
| 2022-10-27 23:04:11 +0000 | <jackdk> | The rules are in s3.14 of the report: https://www.haskell.org/onlinereport/exps.html |
| 2022-10-27 23:04:14 +0000 | <davean> | alexfmpe[m]: desugaring is the process of translating the syntax sugar into the base code the sugar represents |
| 2022-10-27 23:04:34 +0000 | <davean> | talismanick: do notation is VERY simple |
| 2022-10-27 23:05:08 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-10-27 23:05:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-10-27 23:08:04 +0000 | phma | (phma@2001:5b0:211f:9a38:3171:77a0:4a89:d9f6) (Read error: Connection reset by peer) |
| 2022-10-27 23:08:39 +0000 | phma | (~phma@host-67-44-208-88.hnremote.net) |
| 2022-10-27 23:08:58 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-10-27 23:09:42 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 250 seconds) |
| 2022-10-27 23:10:57 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-27 23:11:44 +0000 | <talismanick> | Might as well ask now... if I have a scoped-typevar lambda, how might I make it pointfree? |
| 2022-10-27 23:12:16 +0000 | <Axman6> | "scoped-typevar lambda"? |
| 2022-10-27 23:12:42 +0000 | <talismanick> | \(err :: IOError) -> foo . bar $ show err |
| 2022-10-27 23:13:19 +0000 | <hpc> | (foo . bar . show :: IOError -> Something Else) -- or something like that |
| 2022-10-27 23:13:23 +0000 | <Axman6> | foo . bar . show @IOError |
| 2022-10-27 23:14:13 +0000 | AlexNoo | (~AlexNoo@178.34.162.124) (Read error: Connection reset by peer) |
| 2022-10-27 23:14:35 +0000 | nibelungen | (~asturias@2001:19f0:7001:638:5400:3ff:fef3:8725) (Quit: ZNC 1.8.2+deb1+focal2 - https://znc.in) |
| 2022-10-27 23:14:36 +0000 | AlexNoo | (~AlexNoo@178.34.162.124) |
| 2022-10-27 23:14:44 +0000 | nibelungen | (~asturias@2001:19f0:7001:638:5400:3ff:fef3:8725) |
| 2022-10-27 23:14:48 +0000 | sa | (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 264 seconds) |
| 2022-10-27 23:15:27 +0000 | <talismanick> | the former worked |
| 2022-10-27 23:16:20 +0000 | <alexfmpe[m]> | you can also ask lambdabot for pointfree transformations (in a DM so as not to spam chat) |
| 2022-10-27 23:16:20 +0000 | <alexfmpe[m]> | example: |
| 2022-10-27 23:16:28 +0000 | <alexfmpe[m]> | @pl (err :: IOError) -> foo . bar $ show err |
| 2022-10-27 23:16:29 +0000 | <lambdabot> | (line 1, column 20): |
| 2022-10-27 23:16:29 +0000 | <lambdabot> | unexpected '>' |
| 2022-10-27 23:16:29 +0000 | <lambdabot> | expecting operator |
| 2022-10-27 23:16:41 +0000 | <alexfmpe[m]> | huuuh what |
| 2022-10-27 23:16:42 +0000 | <talismanick> | The latter complained about "illegal visible application" |
| 2022-10-27 23:17:06 +0000 | <geekosaur> | "@pl" doesn't understand types in patterns |
| 2022-10-27 23:17:08 +0000 | <talismanick> | alexfmpe[m]: I'm asking because pointfree doesn't support anything to do with explicit typing or do-notation :) |
| 2022-10-27 23:17:40 +0000 | <geekosaur> | "@. pl undo" is a thing for the latter, though |
| 2022-10-27 23:17:40 +0000 | <alexfmpe[m]> | "support anything" ? I'd expect it to be completely independent |
| 2022-10-27 23:17:49 +0000 | sa | (sid1055@id-1055.tinside.irccloud.com) |
| 2022-10-27 23:17:52 +0000 | <geekosaur> | it still has to be able to parse it |
| 2022-10-27 23:17:53 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-11.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-10-27 23:18:04 +0000 | <geekosaur> | it's not using ghc for that parse |
| 2022-10-27 23:18:17 +0000 | <geekosaur> | it's a simple substitution engine |
| 2022-10-27 23:18:39 +0000 | redmp | (~redmp@mobile-166-170-43-64.mycingular.net) |
| 2022-10-27 23:19:07 +0000 | polo | (~polo@user/polo) |
| 2022-10-27 23:19:26 +0000 | <hpc> | @pl \case of example -> example |
| 2022-10-27 23:19:26 +0000 | <lambdabot> | const (const id) |
| 2022-10-27 23:19:27 +0000 | <alexfmpe[m]> | talismanick: `z = foo . bar . show @IOError` worked for me just fine with {-# LANGUAGE TypeApplications #-} |
| 2022-10-27 23:19:51 +0000 | <talismanick> | so... many... extensions |
| 2022-10-27 23:20:06 +0000 | <hpc> | er, that wasn't quite right, but in any event that's an example of something that should have been completely different |
| 2022-10-27 23:21:12 +0000 | <alexfmpe[m]> | you usually only need that one to disambiguate, which is likely not the case for you if the other version worked |
| 2022-10-27 23:21:44 +0000 | <alexfmpe[m]> | but imagine if you had something like |
| 2022-10-27 23:21:44 +0000 | <alexfmpe[m]> | show . parse |
| 2022-10-27 23:22:07 +0000 | <alexfmpe[m]> | that'd work for any Show a, so the type needs to be provided somehow |
| 2022-10-27 23:23:36 +0000 | <alexfmpe[m]> | er, show . read |
| 2022-10-27 23:24:11 +0000 | <Axman6> | IMO Type Applications should be enabled by default, they're just so useful |
| 2022-10-27 23:25:53 +0000 | redmp | (~redmp@mobile-166-170-43-64.mycingular.net) (Ping timeout: 272 seconds) |
| 2022-10-27 23:26:49 +0000 | <yushyin> | Axman6: they are for GHC2021, https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/control.html#extension-GHC2021 |
| 2022-10-27 23:27:07 +0000 | <Axman6> | Success! |
| 2022-10-27 23:28:50 +0000 | darkstardevx | (~darkstard@50.126.124.156) (Remote host closed the connection) |
| 2022-10-27 23:29:50 +0000 | <hpc> | that's only 4 billion seconds from now! |
| 2022-10-27 23:30:58 +0000 | <hpc> | hmm, why only GADTSyntax and not GADTs? |
| 2022-10-27 23:31:17 +0000 | darkstardevx | (~darkstard@50.126.124.156) |
| 2022-10-27 23:31:35 +0000 | <dolio> | GADTs entails other things that might not be desirable by default. |
| 2022-10-27 23:31:44 +0000 | <dolio> | As I recall. |
| 2022-10-27 23:31:54 +0000 | <hpc> | ah, i suppose |
| 2022-10-27 23:35:50 +0000 | darkstardevx | (~darkstard@50.126.124.156) (Max SendQ exceeded) |
| 2022-10-27 23:37:23 +0000 | <geekosaur> | RankNTypes which kinda kills type inference |
| 2022-10-27 23:38:57 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-27 23:39:42 +0000 | <hpc> | lol that would do it |
| 2022-10-27 23:40:38 +0000 | <hpc> | hmm, GADTs doesn't imply RankNTypes though? https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/gadt.html seems perfectly fine to me |
| 2022-10-27 23:41:23 +0000 | <hpc> | maybe it's MonoLocalBinds though |
| 2022-10-27 23:41:41 +0000 | <hpc> | i haven't had any issues with it, but i can see someone getting annoyed by it |
| 2022-10-27 23:41:47 +0000 | <geekosaur> | whoops, I meant existential quantification, not rankntyoes |
| 2022-10-27 23:42:05 +0000 | <geekosaur> | s/tyoes/types/ |
| 2022-10-27 23:43:11 +0000 | <geekosaur> | I seem to be making a bunch of dumb mistakes today 😞 |
| 2022-10-27 23:43:14 +0000 | <hpc> | ExistentialQuantification is in ghc2021 :P |
| 2022-10-27 23:43:25 +0000 | <hpc> | geekosaur: honestly, i am just relieved it's not me this time :D |
| 2022-10-27 23:43:29 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 244 seconds) |
| 2022-10-27 23:43:55 +0000 | zeenk | (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) (Quit: Konversation terminated!) |
| 2022-10-27 23:48:02 +0000 | <monochrom> | GADTs implies MonoLocalBinds because it's noticed that GADTs doesn't play well with let-polymorphism. |
| 2022-10-27 23:50:37 +0000 | darkstardevx | (~darkstard@50.126.124.156) |
| 2022-10-27 23:52:29 +0000 | darkstardevx | (~darkstard@50.126.124.156) (Max SendQ exceeded) |
| 2022-10-27 23:53:20 +0000 | darkstardevx | (~darkstard@50.126.124.156) |
| 2022-10-27 23:55:45 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-27 23:58:40 +0000 | chomwitt | (~chomwitt@2a02:587:dc10:8200:1ac0:4dff:fedb:a3f1) (Ping timeout: 255 seconds) |