| 2025-12-15 00:00:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-15 00:02:18 +0000 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-15 00:11:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 00:16:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-15 00:16:53 +0000 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-15 00:17:06 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-15 00:25:20 +0000 | kodachi | (~kodachi@198.105.112.55) |
| 2025-12-15 00:27:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 00:31:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 00:39:43 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-12-15 00:43:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 00:43:15 +0000 | xff0x | (~xff0x@2405:6580:b080:900:656:fa94:6975:5250) (Ping timeout: 245 seconds) |
| 2025-12-15 00:48:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-15 00:52:29 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-15 00:56:40 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-12-15 00:58:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 01:03:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-15 01:11:43 +0000 | kodachi | (~kodachi@198.105.112.55) (Ping timeout: 240 seconds) |
| 2025-12-15 01:14:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 01:19:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-15 01:24:32 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-15 01:24:46 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-15 01:25:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 01:28:50 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-12-15 01:30:02 +0000 | omidmash6 | (~omidmash@user/omidmash) omidmash |
| 2025-12-15 01:30:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-15 01:32:13 +0000 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 2025-12-15 01:32:13 +0000 | omidmash6 | omidmash |
| 2025-12-15 01:32:52 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-15 01:33:49 +0000 | califax | (~califax@user/califx) califx |
| 2025-12-15 01:35:17 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-15 01:40:44 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-15 01:41:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 01:46:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 01:49:36 +0000 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-12-15 01:57:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 02:02:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 02:05:21 +0000 | acidjnk | (~acidjnk@p200300d6e71719388081a3fbb3ac0d85.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-12-15 02:11:46 +0000 | typedfern_ | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 255 seconds) |
| 2025-12-15 02:13:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 02:16:13 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2025-12-15 02:17:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 02:26:14 +0000 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 256 seconds) |
| 2025-12-15 02:26:33 +0000 | typedfern_ | (~Typedfern@53.red-83-37-43.dynamicip.rima-tde.net) |
| 2025-12-15 02:29:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 02:34:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-15 02:44:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 02:45:06 +0000 | myxos | (~myxos@2001:579:8380:f20:5802:a6ab:5db9:e791) myxokephale |
| 2025-12-15 02:49:58 +0000 | ephemient | (uid407513@user/ephemient) (Quit: Connection closed for inactivity) |
| 2025-12-15 02:51:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 03:02:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 03:07:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-15 03:18:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 03:23:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-15 03:34:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 03:38:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 03:40:15 +0000 | td_ | (~td@i53870909.versanet.de) (Ping timeout: 240 seconds) |
| 2025-12-15 03:41:57 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-15 03:42:09 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-15 03:42:19 +0000 | td_ | (~td@i53870904.versanet.de) td_ |
| 2025-12-15 03:48:04 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-12-15 03:49:18 +0000 | annamalai | (~annamalai@157.32.210.253) annamalai |
| 2025-12-15 03:50:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 03:54:16 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2025-12-15 03:54:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 03:55:24 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-12-15 03:57:22 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-15 04:05:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 04:10:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-15 04:16:41 +0000 | AlexNoo_ | (~AlexNoo@178.34.161.6) |
| 2025-12-15 04:18:39 +0000 | AlexZenon | (~alzenon@94.233.240.243) (Ping timeout: 252 seconds) |
| 2025-12-15 04:19:55 +0000 | AlexNoo | (~AlexNoo@94.233.240.243) (Ping timeout: 240 seconds) |
| 2025-12-15 04:21:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 04:22:30 +0000 | AlexZenon | (~alzenon@178.34.161.6) |
| 2025-12-15 04:26:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-15 04:28:22 +0000 | spew | (~spew@user/spew) (Quit: WeeChat 4.7.2) |
| 2025-12-15 04:29:43 +0000 | jmcantrell_ | jmcantrell |
| 2025-12-15 04:29:46 +0000 | <weary-traveler> | it should be possible to do "stack install $pkg" to build a package binary from hackage, correct? |
| 2025-12-15 04:30:20 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-15 04:30:21 +0000 | <weary-traveler> | if so, how do i find out the location of the built artifacts? |
| 2025-12-15 04:30:33 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-15 04:35:36 +0000 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-12-15 04:35:56 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-12-15 04:37:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 04:38:10 +0000 | <geekosaur> | default is ~/.local/bin |
| 2025-12-15 04:39:57 +0000 | <geekosaur> | https://docs.haskellstack.org/en/stable/configure/yaml/non-project/#local-bin-path |
| 2025-12-15 04:41:32 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-15 04:42:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 04:47:43 +0000 | <weary-traveler> | yeah, that's what i thought. odd. i don't see it there. |
| 2025-12-15 04:47:56 +0000 | <weary-traveler> | package in question is citeproc |
| 2025-12-15 04:51:09 +0000 | <geekosaur> | "Unlike pandoc-citeproc, this library does not provide an executable. It will be used in pandoc itself to provide integrated citation support and bibliography format conversion (so the pandoc-citeproc filter will no longer be necessary)." |
| 2025-12-15 04:51:58 +0000 | <geekosaur> | hm, although the cabal file does indeed list a citeproc executable |
| 2025-12-15 04:52:30 +0000 | <geekosaur> | oh, I see. you need to enable the "executable" flag to get it |
| 2025-12-15 04:52:48 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-12-15 04:53:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 04:54:06 +0000 | <geekosaur> | stack install --flag citeproc:executable citeproc |
| 2025-12-15 04:55:53 +0000 | <weary-traveler> | ah it only did the lib by default |
| 2025-12-15 04:56:07 +0000 | trickard_ | trickard |
| 2025-12-15 04:58:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-15 04:59:47 +0000 | <weary-traveler> | geekosaur: thanks! |
| 2025-12-15 05:09:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 05:13:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-15 05:17:47 +0000 | Googulator | (~Googulato@87-97-86-146.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 05:18:06 +0000 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 05:22:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 05:29:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-15 05:30:36 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 2025-12-15 05:32:25 +0000 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 05:32:42 +0000 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 05:34:27 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-15 05:40:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 05:46:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-15 05:47:41 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-15 05:50:57 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-15 05:54:52 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-12-15 05:56:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 06:02:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-15 06:06:22 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2025-12-15 06:12:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 06:14:34 +0000 | michalz | (~michalz@185.246.207.197) |
| 2025-12-15 06:15:37 +0000 | Googulator19 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 06:16:17 +0000 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 06:16:31 +0000 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-15 06:18:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-15 06:19:11 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-15 06:22:08 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-15 06:28:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 06:29:15 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 250 seconds) |
| 2025-12-15 06:32:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 06:44:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 06:49:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-15 06:53:18 +0000 | isovector1 | (~isovector@172.103.213.174.cable.tpia.cipherkey.com) |
| 2025-12-15 06:54:38 +0000 | isovector1 | (~isovector@172.103.213.174.cable.tpia.cipherkey.com) (Client Quit) |
| 2025-12-15 06:55:07 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-15 06:59:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 07:01:24 +0000 | myxokephale | (~myxos@2001:579:8380:f20:595:39f1:fe2a:eca3) myxokephale |
| 2025-12-15 07:03:43 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-15 07:04:29 +0000 | myxos | (~myxos@2001:579:8380:f20:5802:a6ab:5db9:e791) (Ping timeout: 256 seconds) |
| 2025-12-15 07:04:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-15 07:06:07 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-15 07:09:01 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2025-12-15 07:09:16 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-15 07:10:40 +0000 | Googulator19 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 07:10:49 +0000 | Googulator19 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 07:12:16 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-15 07:15:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 07:16:43 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2025-12-15 07:20:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 07:23:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 07:29:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-15 07:35:43 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2025-12-15 07:40:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 07:44:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-15 07:55:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 08:00:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-15 08:00:54 +0000 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-15 08:04:13 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-12-15 08:11:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 08:14:40 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-15 08:15:42 +0000 | Googulator19 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 08:15:46 +0000 | Googulator22 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 08:17:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-15 08:27:07 +0000 | tromp | (~textual@2001:1c00:3487:1b00:6cd5:9506:337d:4c75) |
| 2025-12-15 08:45:41 +0000 | Googulator22 | Googulator |
| 2025-12-15 08:46:27 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-15 08:58:57 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-15 08:59:09 +0000 | acidjnk | (~acidjnk@p200300d6e7171911ece553fa3dd3d975.dip0.t-ipconnect.de) acidjnk |
| 2025-12-15 09:06:42 +0000 | ft | (~ft@p4fc2ab42.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-12-15 09:09:44 +0000 | kuribas | (~user@2a02-1810-2825-6000-7d9c-a0f7-a55d-27ae.ip6.access.telenet.be) kuribas |
| 2025-12-15 09:12:01 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
| 2025-12-15 09:14:21 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-15 09:16:26 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-12-15 09:26:55 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-15 09:27:51 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-15 09:31:50 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-15 09:32:35 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-15 09:32:51 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-15 09:37:35 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-15 09:37:39 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-12-15 09:38:02 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-12-15 09:38:10 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-15 09:53:03 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-12-15 09:59:09 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-12-15 10:05:56 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-15 10:10:35 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-15 10:11:14 +0000 | haritz | (~hrtz@140.228.70.141) |
| 2025-12-15 10:11:15 +0000 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-12-15 10:11:15 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-15 10:13:40 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-15 10:16:15 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds) |
| 2025-12-15 10:19:00 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-15 10:19:36 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-12-15 10:19:55 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-15 10:19:55 +0000 | ljdarj1 | ljdarj |
| 2025-12-15 10:20:47 +0000 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 10:20:48 +0000 | Googulator95 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 10:22:49 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-15 10:24:28 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-12-15 10:26:25 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 264 seconds) |
| 2025-12-15 10:33:37 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-15 10:41:41 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-15 10:49:37 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:ebbd:7760:6c9e:86f6) |
| 2025-12-15 10:49:59 +0000 | trickard_ | trickard |
| 2025-12-15 10:53:05 +0000 | tromp | (~textual@2001:1c00:3487:1b00:6cd5:9506:337d:4c75) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-15 10:54:25 +0000 | tromp | (~textual@2001:1c00:3487:1b00:6cd5:9506:337d:4c75) |
| 2025-12-15 10:56:31 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-15 11:01:47 +0000 | chele | (~chele@user/chele) chele |
| 2025-12-15 11:01:50 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:ebbd:7760:6c9e:86f6) (Changing host) |
| 2025-12-15 11:01:50 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2025-12-15 11:02:41 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-15 11:16:07 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2025-12-15 11:18:23 +0000 | Googulator95 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 11:18:40 +0000 | Googulator95 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 11:21:11 +0000 | xff0x | (~xff0x@2405:6580:b080:900:1f68:a6af:8023:736) |
| 2025-12-15 11:25:23 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-15 11:40:04 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-15 11:43:49 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-12-15 11:45:35 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-15 11:50:25 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-15 11:58:01 +0000 | <gentauro> | I'm trying to build https://github.com/simplex-chat/simplexmq (with) stack (adding stack.yaml after git clone) but I get this error (not helpfull at all): https://paste.tomsmeding.com/0zfYeUxQ Any suggestions? |
| 2025-12-15 12:01:21 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-15 12:01:50 +0000 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-12-15 12:02:04 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-15 12:02:04 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-12-15 12:02:05 +0000 | Guest5078 | (~zero@a89-153-191-69.cpe.netcabo.pt) |
| 2025-12-15 12:03:46 +0000 | fp | (~Thunderbi@2001:708:150:10::7e06) fp |
| 2025-12-15 12:05:48 +0000 | Googulator41 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 12:05:51 +0000 | Googulator95 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 12:06:43 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-12-15 12:07:14 +0000 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-15 12:16:55 +0000 | kodachi | (~kodachi@198.105.112.55) |
| 2025-12-15 12:18:20 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-15 12:19:49 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-15 12:20:42 +0000 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 244 seconds) |
| 2025-12-15 12:21:22 +0000 | Guest5078 | (~zero@a89-153-191-69.cpe.netcabo.pt) (Remote host closed the connection) |
| 2025-12-15 12:21:37 +0000 | Guest3287 | (~zero@a89-153-191-69.cpe.netcabo.pt) |
| 2025-12-15 12:24:13 +0000 | Guest3287 | (~zero@a89-153-191-69.cpe.netcabo.pt) (Changing host) |
| 2025-12-15 12:24:13 +0000 | Guest3287 | (~zero@user/zero) zero |
| 2025-12-15 12:24:39 +0000 | Guest3287 | (~zero@user/zero) (Remote host closed the connection) |
| 2025-12-15 12:24:54 +0000 | yin | (~zero@user/zero) zero |
| 2025-12-15 12:27:10 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-15 12:29:43 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-12-15 12:33:13 +0000 | AlexNoo_ | AlexNoo |
| 2025-12-15 12:33:30 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-15 12:35:44 +0000 | Googulator99 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 12:35:54 +0000 | Googulator41 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 12:36:15 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-15 12:36:40 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-15 12:39:52 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-15 12:40:08 +0000 | tromp | (~textual@2001:1c00:3487:1b00:6cd5:9506:337d:4c75) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-15 12:42:26 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-15 12:42:31 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-15 12:46:38 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-15 12:55:16 +0000 | bggd__ | (~bgg@2a01:e0a:fd5:f510:6bc5:c845:f799:c476) |
| 2025-12-15 12:58:19 +0000 | bggd | (~bgg@user/bggd) (Ping timeout: 244 seconds) |
| 2025-12-15 12:59:32 +0000 | Square | (~Square4@user/square) Square |
| 2025-12-15 13:00:04 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-15 13:04:33 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-15 13:05:45 +0000 | Googulator16 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 13:05:48 +0000 | Googulator99 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 13:06:06 +0000 | Googulator16 | Googulator |
| 2025-12-15 13:06:58 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-12-15 13:09:57 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-12-15 13:13:42 +0000 | tromp | (~textual@2001:1c00:3487:1b00:6cd5:9506:337d:4c75) |
| 2025-12-15 13:34:56 +0000 | jonnie | (~jonnie@user/jonnie) (Remote host closed the connection) |
| 2025-12-15 13:35:31 +0000 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 13:35:42 +0000 | Googulator | (~Googulato@87-97-86-146.pool.digikabel.hu) |
| 2025-12-15 13:43:51 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2025-12-15 13:49:10 +0000 | latticepolytope | (~user@user/isekaijin) isekaijin |
| 2025-12-15 13:54:18 +0000 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-15 14:05:11 +0000 | jonnie | (~jonnie@user/jonnie) jonnie |
| 2025-12-15 14:05:43 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-15 14:05:49 +0000 | Googulator | (~Googulato@87-97-86-146.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 14:05:50 +0000 | Googulator15 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 14:09:29 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-15 14:13:40 +0000 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 245 seconds) |
| 2025-12-15 14:21:26 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-15 14:22:00 +0000 | fp | (~Thunderbi@2001:708:150:10::7e06) (Ping timeout: 252 seconds) |
| 2025-12-15 14:27:56 +0000 | Googulator15 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 14:28:11 +0000 | Googulator15 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 15:00:34 +0000 | isovector1 | (~isovector@172.103.213.174.cable.tpia.cipherkey.com) |
| 2025-12-15 15:00:58 +0000 | myxos | (~myxos@2001:579:8380:f20:fbd3:ef8a:e888:18ad) myxokephale |
| 2025-12-15 15:03:48 +0000 | myxokephale | (~myxos@2001:579:8380:f20:595:39f1:fe2a:eca3) (Ping timeout: 252 seconds) |
| 2025-12-15 15:14:51 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1) |
| 2025-12-15 15:16:43 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-15 15:19:10 +0000 | bggd__ | bggd |
| 2025-12-15 15:19:25 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:6bc5:c845:f799:c476) (Changing host) |
| 2025-12-15 15:19:25 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2025-12-15 15:24:16 +0000 | isovector1 | (~isovector@172.103.213.174.cable.tpia.cipherkey.com) () |
| 2025-12-15 15:24:37 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-15 15:27:40 +0000 | tromp | (~textual@2001:1c00:3487:1b00:6cd5:9506:337d:4c75) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-15 15:28:25 +0000 | spew | (~spew@user/spew) spew |
| 2025-12-15 15:32:19 +0000 | rekahsoft | (~rekahsoft@70.51.99.245) (Ping timeout: 246 seconds) |
| 2025-12-15 15:34:36 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-15 15:35:46 +0000 | Googulator15 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 15:36:07 +0000 | Googulator15 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 15:38:16 +0000 | acarrico | (~acarrico@pppoe-209-99-221-186.greenmountainaccess.net) (Ping timeout: 246 seconds) |
| 2025-12-15 15:48:55 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-15 15:49:20 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-15 16:05:00 +0000 | tromp | (~textual@2001:1c00:3487:1b00:6cd5:9506:337d:4c75) |
| 2025-12-15 16:10:31 +0000 | <tomsmeding> | gentauro: nice, very helpful error. Could it be that it ran out of memory and was killed by the OOM killer? |
| 2025-12-15 16:22:55 +0000 | kuribas | (~user@2a02-1810-2825-6000-7d9c-a0f7-a55d-27ae.ip6.access.telenet.be) (Ping timeout: 244 seconds) |
| 2025-12-15 16:30:42 +0000 | lucabtz | (~lucabtz@user/lucabtz) (Quit: Lost terminal) |
| 2025-12-15 16:38:01 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-15 16:42:05 +0000 | acarrico | (~acarrico@pppoe-209-99-221-186.greenmountainaccess.net) |
| 2025-12-15 16:45:43 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-12-15 16:56:10 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-12-15 16:58:34 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-15 17:07:34 +0000 | <gentauro> | tomsmeding: I doubt it. I have like +30 GB of free mem when it shows that. And since it's like 154 / 155. It takes 3 min to reproduce :-\ |
| 2025-12-15 17:08:23 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-15 17:08:43 +0000 | acarrico | (~acarrico@pppoe-209-99-221-186.greenmountainaccess.net) (Ping timeout: 264 seconds) |
| 2025-12-15 17:17:31 +0000 | Googulator15 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 17:17:52 +0000 | Googulator15 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 17:18:32 +0000 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-15 17:18:55 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-15 17:19:13 +0000 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 2025-12-15 17:19:28 +0000 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-12-15 17:19:31 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-12-15 17:22:05 +0000 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-15 17:22:19 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-15 17:29:07 +0000 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-12-15 17:29:26 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-12-15 17:31:05 +0000 | tromp | (~textual@2001:1c00:3487:1b00:6cd5:9506:337d:4c75) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-15 17:33:55 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-15 17:34:32 +0000 | acarrico | (~acarrico@2001:18b0:c000:7433:aee:5563:d876:718f) |
| 2025-12-15 17:51:40 +0000 | Googulator15 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 17:51:56 +0000 | Googulator15 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 17:54:30 +0000 | latticepolytope | (~user@user/isekaijin) (Quit: brb) |
| 2025-12-15 17:58:17 +0000 | Square2 | (~Square@user/square) Square |
| 2025-12-15 18:01:17 +0000 | Square | (~Square4@user/square) (Ping timeout: 250 seconds) |
| 2025-12-15 18:05:34 +0000 | latticepolytope | (~user@2800:200:e840:356e:90cc:fccb:4c3b:fc80) |
| 2025-12-15 18:05:59 +0000 | latticepolytope | (~user@2800:200:e840:356e:90cc:fccb:4c3b:fc80) (Remote host closed the connection) |
| 2025-12-15 18:13:37 +0000 | latticepolytope | (~user@user/isekaijin) isekaijin |
| 2025-12-15 18:19:42 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) |
| 2025-12-15 18:43:57 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-15 18:55:58 +0000 | ft | (~ft@p4fc2ab42.dip0.t-ipconnect.de) ft |
| 2025-12-15 19:04:21 +0000 | latticepolytope | (~user@user/isekaijin) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2025-12-15 19:15:43 +0000 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 19:16:56 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-15 19:18:05 +0000 | milan2 | (~milan@88.212.61.169) |
| 2025-12-15 19:19:31 +0000 | Googulator15 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-15 19:20:29 +0000 | <milan2> | Hello is there something like >>= but for different types? I have "Either" and I want to chain it with "Maybe" so Left goes to Nothing and Right to Just? |
| 2025-12-15 19:23:17 +0000 | <gentauro> | milan2: I don't know about operators, but, Hoogle is your friend ;) `https://hoogle.haskell.org/?hoogle=Either%20a%20b%20-%3E%20Maybe%20a` |
| 2025-12-15 19:24:05 +0000 | <int-e> | :t listToMaybe . rights . pure |
| 2025-12-15 19:24:06 +0000 | <lambdabot> | Either a1 a2 -> Maybe a2 |
| 2025-12-15 19:24:29 +0000 | <int-e> | (very intuitive ;-) ) |
| 2025-12-15 19:25:23 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-15 19:25:24 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-15 19:25:27 +0000 | <gentauro> | int-e: and you only rely on `base`. That's nice :) |
| 2025-12-15 19:25:44 +0000 | <gentauro> | :t rights |
| 2025-12-15 19:25:45 +0000 | <lambdabot> | [Either a b] -> [b] |
| 2025-12-15 19:26:26 +0000 | <milan2> | gentauro: TY, I didn't know I can search by type signature. Thank you int-e :) |
| 2025-12-15 19:27:00 +0000 | <int-e> | :t \e -> do Right a <- pure e; pure a |
| 2025-12-15 19:27:01 +0000 | <lambdabot> | MonadFail m => Either a b -> m b |
| 2025-12-15 19:27:18 +0000 | califax | (~califax@user/califx) califx |
| 2025-12-15 19:27:18 +0000 | <gentauro> | milan2: This is actually the right signature to search for -> https://hoogle.haskell.org/?hoogle=Either%20a%20b%20-%3E%20Maybe%20b `Either a b -> Maybe b` |
| 2025-12-15 19:28:11 +0000 | <gentauro> | https://hackage-content.haskell.org/package/ghc-9.12.2/docs/src/GHC.Data.Maybe.html#rightToMaybe |
| 2025-12-15 19:28:25 +0000 | <milan2> | Yeah I am looking at that right now :) |
| 2025-12-15 19:29:15 +0000 | aku | (aku@65.108.245.241) (Quit: Lost terminal) |
| 2025-12-15 19:30:33 +0000 | aku | (aku@65.108.245.241) eagleflo |
| 2025-12-15 19:32:15 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-15 19:33:03 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2025-12-15 19:35:09 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-12-15 19:41:23 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 250 seconds) |
| 2025-12-15 19:42:34 +0000 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 19:42:54 +0000 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 19:43:37 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-12-15 19:43:44 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-15 19:53:35 +0000 | <chromoblob> | why not `return` |
| 2025-12-15 19:54:20 +0000 | <monochrom> | We like the name "pure" more. :) |
| 2025-12-15 19:54:43 +0000 | <int-e> | it only took a decade to retrain myself to actually use `pure`. |
| 2025-12-15 19:55:16 +0000 | <monochrom> | I just installed a new device driver in my head. :) |
| 2025-12-15 19:55:37 +0000 | <int-e> | chromoblob: `pure` is shorter and doesn't have the misleading imperative programming connotations that `return` has. |
| 2025-12-15 19:55:49 +0000 | <monochrom> | Yeah I like shorter too. :) |
| 2025-12-15 19:56:27 +0000 | <int-e> | > (do return 1; return 2) :: Maybe Int |
| 2025-12-15 19:56:28 +0000 | <monochrom> | When I teach a language course, my excuse for saying "term" for "expression" is: "term" is shorter. :) |
| 2025-12-15 19:56:28 +0000 | <lambdabot> | Just 2 |
| 2025-12-15 19:56:51 +0000 | <int-e> | monochrom: I'm all for short term rewards as well. |
| 2025-12-15 19:57:20 +0000 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 19:57:25 +0000 | <monochrom> | haha |
| 2025-12-15 19:57:40 +0000 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 20:00:40 +0000 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Client Quit) |
| 2025-12-15 20:00:54 +0000 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 20:03:16 +0000 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-15 20:03:35 +0000 | <chromoblob> | `return` is historic |
| 2025-12-15 20:04:06 +0000 | <monochrom> | `pure` is modern :) |
| 2025-12-15 20:04:40 +0000 | <chromoblob> | also, `return` signifies that you're using Monad |
| 2025-12-15 20:05:56 +0000 | <monochrom> | IMO unimportant. |
| 2025-12-15 20:08:37 +0000 | lockna | (~obr@089144192027.atnat0001.highway.a1.net) lockna |
| 2025-12-15 20:10:11 +0000 | <monochrom> | Eq has (==), Ord is a subclass, and we don't propose to add (===) to Ord to be a synonym of (==) such that when we compare two integers we use (===) to "signify that I'm using Ord". |
| 2025-12-15 20:10:38 +0000 | <monochrom> | If `return` is historic, then it means that it was a historical mistake. |
| 2025-12-15 20:11:23 +0000 | <monochrom> | Or more moderately, s/mistake/oversight/ |
| 2025-12-15 20:13:11 +0000 | <c_wraith> | oversight would be accurate, I think. No one had yet realized that Applicative was a useful middle ground. |
| 2025-12-15 20:13:27 +0000 | <int-e> | Or maybe in 1998 Haskell was less concerned with applications. |
| 2025-12-15 20:14:07 +0000 | <int-e> | (remember when it was called "Idiom" for a while... that would've been awful.) |
| 2025-12-15 20:14:43 +0000 | <monochrom> | Monad was called "triple" at the beginning, too. :) |
| 2025-12-15 20:15:24 +0000 | <Rembane> | That's a way less scary word! :D |
| 2025-12-15 20:15:26 +0000 | <c_wraith> | I don't think Applicative was really recognized as useful (in two directions - rich enough to have practical applications, simple enough that it can have useful instances that can't be monads) until the development of applicative parsers |
| 2025-12-15 20:15:38 +0000 | <int-e> | Rembane: but it's way too generic |
| 2025-12-15 20:15:53 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-15 20:15:59 +0000 | <int-e> | Rembane: It's like calling a company Meta because it's about something. ;-) |
| 2025-12-15 20:16:47 +0000 | <monochrom> | Hey wouldn't it be nice! class Tuploid f where pure :: a -> f a; (<*>) :: f a -> f b -> f (a,b); class Tuploid f => Triploid f where (>>=) :: ... |
| 2025-12-15 20:16:52 +0000 | gf3 | (~gf3@user/gf3) (Ping timeout: 246 seconds) |
| 2025-12-15 20:17:04 +0000 | <Rembane> | int-e: Indeed, it doesn't mean anything. :) |
| 2025-12-15 20:17:05 +0000 | <int-e> | (FWIW I call the underlying failed product Facebook 3D out of spite.) |
| 2025-12-15 20:17:42 +0000 | <monochrom> | Alpha and Meta :) |
| 2025-12-15 20:17:54 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-15 20:18:18 +0000 | <Rembane> | There was something in the regular automata course that was a quintuple of "basically trivial things" I can't remember what though, maybe a turing machine or regular expression or something. |
| 2025-12-15 20:20:58 +0000 | <int-e> | one way to get a quintuple is to have symbols, states, accepting states, rejecting states, transitions |
| 2025-12-15 20:21:11 +0000 | lockna | (~obr@089144192027.atnat0001.highway.a1.net) (Quit: Leaving) |
| 2025-12-15 20:21:27 +0000 | lockna | (~obr@089144192027.atnat0001.highway.a1.net) |
| 2025-12-15 20:22:03 +0000 | <int-e> | Which you might do for a Turing machine. Another way is to split transitions into transitions and epsilon-transitions, but not have rejecting states... so a typical NFA. |
| 2025-12-15 20:23:52 +0000 | <Rembane> | Both sound distantly familiar, so at least one of those. |
| 2025-12-15 20:23:54 +0000 | lockna | (~obr@089144192027.atnat0001.highway.a1.net) (Client Quit) |
| 2025-12-15 20:24:08 +0000 | lockna | (~obr@089144192027.atnat0001.highway.a1.net) |
| 2025-12-15 20:24:10 +0000 | l0ckna | (~obr@089144192027.atnat0001.highway.a1.net) |
| 2025-12-15 20:24:33 +0000 | l0ckna | (~obr@089144192027.atnat0001.highway.a1.net) (Remote host closed the connection) |
| 2025-12-15 20:24:34 +0000 | lockna | (~obr@089144192027.atnat0001.highway.a1.net) (Remote host closed the connection) |
| 2025-12-15 20:24:48 +0000 | lockna | (~obr@089144192027.atnat0001.highway.a1.net) |
| 2025-12-15 20:24:50 +0000 | l0ckna | (~obr@089144192027.atnat0001.highway.a1.net) |
| 2025-12-15 20:25:05 +0000 | lockna | (~obr@089144192027.atnat0001.highway.a1.net) (Client Quit) |
| 2025-12-15 20:25:05 +0000 | l0ckna | (~obr@089144192027.atnat0001.highway.a1.net) (Remote host closed the connection) |
| 2025-12-15 20:26:39 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-15 20:31:56 +0000 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 20:32:20 +0000 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 20:35:16 +0000 | bggd__ | (~bgg@2a01:e0a:fd5:f510:6bc5:c845:f799:c476) |
| 2025-12-15 20:35:40 +0000 | Googulator37 | Googulator |
| 2025-12-15 20:35:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 20:36:41 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-15 20:38:47 +0000 | bggd | (~bgg@user/bggd) (Read error: Connection reset by peer) |
| 2025-12-15 20:40:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 20:42:14 +0000 | <c_wraith> | woo, I got a practical example of unsafeInterleaveST breaking "pure" code! |
| 2025-12-15 20:42:25 +0000 | <milan2> | Guyz I am thinking about prorotyping web app. Async is a big thing in IO heavy apps. Can I expect that I will be able to create fully async web api from fully async db client, http client and |
| 2025-12-15 20:42:28 +0000 | <milan2> | ? |
| 2025-12-15 20:44:48 +0000 | <[exa]> | milan2: in short yes |
| 2025-12-15 20:45:30 +0000 | <c_wraith> | I decided to go back and rewrite Day 8 of the AoC using ST to make all the updates O(1) instead of just throwing all the indirection into a Map. It turned out slower, and I realized this was due to a loss of laziness from generating a summary of the disjoint set strictly at every iteration even though it was only used once. |
| 2025-12-15 20:46:27 +0000 | <c_wraith> | I threw in an unsafeInterleaveST to recover laziness, but I was already using unsafeInterleaveST to run Kruskal's algorithm on demand. |
| 2025-12-15 20:47:03 +0000 | <c_wraith> | Thus I introduced an order dependence in a "pure" expression. |
| 2025-12-15 20:47:13 +0000 | <c_wraith> | The moral of the story: immutability is pretty cool. |
| 2025-12-15 20:48:51 +0000 | <c_wraith> | (It also only sped up to matching performance when I introduced that problem. Not a win!) |
| 2025-12-15 20:49:02 +0000 | <[exa]> | milan2: in longer, make a stupid serial prototype first and then you can switch the backend for whichever concurrent webserver matches your expected workload |
| 2025-12-15 20:50:07 +0000 | califax_ | (~califax@user/califx) califx |
| 2025-12-15 20:50:48 +0000 | <[exa]> | c_wraith: nice way to show that tbh |
| 2025-12-15 20:51:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 20:52:01 +0000 | <milan2> | [exa]: ty |
| 2025-12-15 20:52:51 +0000 | <c_wraith> | I could probably make it a lot faster if I went with an array representation instead of STRef chasing. But I'd still lose on laziness unless I changed a lot of the API. |
| 2025-12-15 20:52:53 +0000 | eron | (~eron@187.56.156.228) lidenbrock |
| 2025-12-15 20:53:13 +0000 | califax | (~califax@user/califx) (Ping timeout: 252 seconds) |
| 2025-12-15 20:53:13 +0000 | califax_ | califax |
| 2025-12-15 20:53:41 +0000 | <c_wraith> | Also, doing it via STRef chasing is *hard*. So many fiddly details. I wanted to practice with them. |
| 2025-12-15 20:56:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-15 21:00:37 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2025-12-15 21:00:44 +0000 | Googulator21 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 21:01:27 +0000 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 21:05:06 +0000 | gf32 | (~gf3@user/gf3) gf3 |
| 2025-12-15 21:06:00 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-12-15 21:06:19 +0000 | eron | (~eron@187.56.156.228) (Quit: Client closed) |
| 2025-12-15 21:07:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 21:12:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 21:13:58 +0000 | <gentauro> | chromoblob: but int-e is using `do-notation` so it's also `Monadic` right? |
| 2025-12-15 21:14:07 +0000 | <gentauro> | you can see that from the signature |
| 2025-12-15 21:14:23 +0000 | <c_wraith> | > do () |
| 2025-12-15 21:14:24 +0000 | <lambdabot> | () |
| 2025-12-15 21:14:25 +0000 | <gentauro> | I recall Marlow expanding `Applicative` to have `do-notation` as well |
| 2025-12-15 21:14:25 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-15 21:14:28 +0000 | <c_wraith> | () is monadic now |
| 2025-12-15 21:14:37 +0000 | <gentauro> | but, You needed to do a bit more |
| 2025-12-15 21:14:50 +0000 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-15 21:14:51 +0000 | <c_wraith> | there is an ApplicativeDo extension |
| 2025-12-15 21:15:19 +0000 | <c_wraith> | It attempts to convert a do block into uses of <*> and <$> with a lot of tupling |
| 2025-12-15 21:15:40 +0000 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-15 21:15:58 +0000 | <gentauro> | https://dl.acm.org/doi/10.1145/3341694 |
| 2025-12-15 21:16:12 +0000 | <c_wraith> | If it fails to do that conversion, it uses the standard >> and >>= desugaring |
| 2025-12-15 21:16:20 +0000 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-15 21:16:48 +0000 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-15 21:18:31 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 240 seconds) |
| 2025-12-15 21:18:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 21:18:44 +0000 | <gentauro> | I just find the `(\ _ x _ -> x) <$> foo <*> bar <*> baz` more readable than anything else. I rarely use (as in never) monands when I do monadic parsing. |
| 2025-12-15 21:18:53 +0000 | <gentauro> | monadic parsing = parser combinators |
| 2025-12-15 21:19:07 +0000 | <gentauro> | (bad habbits kicking in xD) |
| 2025-12-15 21:20:18 +0000 | <gentauro> | `… <$> … <*> …` combined with `<|>` (Alternate) and you are good to go :) |
| 2025-12-15 21:23:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 21:31:34 +0000 | myme | (~myme@2a01:799:d5e:5f00:e46f:4150:c7c:78b) (Ping timeout: 260 seconds) |
| 2025-12-15 21:32:41 +0000 | myme | (~myme@2a01:799:d5e:5f00:5e12:8326:f92:1a30) myme |
| 2025-12-15 21:34:04 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-15 21:34:43 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-15 21:34:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 21:38:10 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-15 21:39:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 21:39:37 +0000 | <c_wraith> | gentauro: you genually need monadic parsing when the source is context-sensitive. Applicative + Alternative doesn't give you a way to choose parsers based on a value previously parsed. |
| 2025-12-15 21:40:55 +0000 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-15 21:50:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 21:55:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 22:00:31 +0000 | Googulator21 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 22:00:50 +0000 | Googulator21 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 22:03:06 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-15 22:03:45 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-15 22:06:08 +0000 | Googulator21 | Googulator |
| 2025-12-15 22:06:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 22:07:41 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-15 22:08:16 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-15 22:15:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 22:29:02 +0000 | <chromoblob> | c_wraith: how is () a Monad? there is no type parameter in (), and a monad must have a parameter |
| 2025-12-15 22:29:22 +0000 | <chromoblob> | :t () |
| 2025-12-15 22:29:23 +0000 | <lambdabot> | () |
| 2025-12-15 22:30:44 +0000 | Googulator85 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 22:30:47 +0000 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 22:33:21 +0000 | milan2 | (~milan@88.212.61.169) (Quit: WeeChat 4.5.2) |
| 2025-12-15 22:38:48 +0000 | <davean> | chromoblob: that do uses no nonactic things, so it entails no monad class functions |
| 2025-12-15 22:38:55 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-15 22:39:15 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 240 seconds) |
| 2025-12-15 22:39:30 +0000 | <davean> | Thus nothing contradicts it |
| 2025-12-15 22:39:34 +0000 | <chromoblob> | :t return 5 :: () |
| 2025-12-15 22:39:35 +0000 | <lambdabot> | error: [GHC-83865] |
| 2025-12-15 22:39:35 +0000 | <lambdabot> | • Couldn't match expected type ‘()’ with actual type ‘m0 a0’ |
| 2025-12-15 22:39:35 +0000 | <lambdabot> | • In the expression: return 5 :: () |
| 2025-12-15 22:40:13 +0000 | <davean> | Yes, because that *does* entail Monad because you used return |
| 2025-12-15 22:40:17 +0000 | <chromoblob> | :t do (); () |
| 2025-12-15 22:40:18 +0000 | <lambdabot> | error: [GHC-83865] |
| 2025-12-15 22:40:18 +0000 | <lambdabot> | • Couldn't match expected type ‘m a0’ with actual type ‘()’ |
| 2025-12-15 22:40:18 +0000 | <lambdabot> | • In a stmt of a 'do' block: () |
| 2025-12-15 22:40:55 +0000 | <davean> | :t do (); |
| 2025-12-15 22:40:55 +0000 | <lambdabot> | () |
| 2025-12-15 22:40:57 +0000 | <chromoblob> | so, what can i do with this? why make `do` behave so? |
| 2025-12-15 22:41:17 +0000 | <davean> | Its not making it do behave so, its what do is. |
| 2025-12-15 22:41:55 +0000 | <davean> | Do desugars procedurally, via monad functions, or applicitive, none of those are used so the resultant code has no issues |
| 2025-12-15 22:42:03 +0000 | <davean> | do () just becomes () |
| 2025-12-15 22:42:16 +0000 | <davean> | () is a value and nothing in your do interacts with it |
| 2025-12-15 22:42:20 +0000 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2025-12-15 22:42:26 +0000 | <tomsmeding> | 'do' is syntactic sugar: 'do a; b' ~> 'a >> b'; 'do x <- a; b' ~> 'a >>= \x -> b'; 'do let { x = a }; b' ~> 'let x = a in b'; 'do a' ~> 'a' |
| 2025-12-15 22:42:26 +0000 | <chromoblob> | :t do pure 5 |
| 2025-12-15 22:42:27 +0000 | <lambdabot> | (Applicative f, Num a) => f a |
| 2025-12-15 22:42:37 +0000 | <chromoblob> | :t do return 5 |
| 2025-12-15 22:42:38 +0000 | <lambdabot> | (Monad m, Num a) => m a |
| 2025-12-15 22:42:46 +0000 | Googulator85 | Googulator |
| 2025-12-15 22:42:49 +0000 | <tomsmeding> | a trivial 'do' like 'do ()' falls in the final, default case and just desugars to '()' |
| 2025-12-15 22:43:08 +0000 | <davean> | do is a way of templating out code |
| 2025-12-15 22:43:22 +0000 | <tomsmeding> | @hackage acme-dont |
| 2025-12-15 22:43:22 +0000 | <lambdabot> | https://hackage.haskell.org/package/acme-dont |
| 2025-12-15 22:44:38 +0000 | <davean> | chromoblob: the problem here is you think "do" is something it isn't |
| 2025-12-15 22:45:46 +0000 | <chromoblob> | ok, i see, `do` is a sugar which desugars trivially in `do x` case |
| 2025-12-15 22:46:00 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-12-15 22:46:13 +0000 | <chromoblob> | i might have known/learned this in past, i just forgot |
| 2025-12-15 22:46:56 +0000 | <tomsmeding> | (you can observe this desugaring even more directly if you turn on RebindableSyntax, which just calls whatever (>>=) and (>>) are in scope https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/rebindable_syntax.html#extension-Re… ) |
| 2025-12-15 22:47:25 +0000 | <tomsmeding> | (I omitted 'fail' from my desugaring above) |
| 2025-12-15 22:47:49 +0000 | <davean> | Thats because fail is an error |
| 2025-12-15 22:48:01 +0000 | <tomsmeding> | it is in the desugaring though |
| 2025-12-15 22:48:35 +0000 | <davean> | Not if you don't fuck up designing the language |
| 2025-12-15 22:55:05 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-15 22:55:15 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-15 23:01:47 +0000 | myxokephale | (~myxos@2001:579:8380:f20:50ce:9e79:bbea:e21f) myxokephale |
| 2025-12-15 23:04:34 +0000 | myxos | (~myxos@2001:579:8380:f20:fbd3:ef8a:e888:18ad) (Ping timeout: 255 seconds) |
| 2025-12-15 23:04:43 +0000 | <dolio> | It's fine, just don't put it in Monad. |
| 2025-12-15 23:05:41 +0000 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 23:05:46 +0000 | Googulator33 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 23:06:01 +0000 | <dolio> | Originally I think failable patterns would desugar to MonadZero. |
| 2025-12-15 23:10:17 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-15 23:17:31 +0000 | <jackdk> | The H98 report, s3.14, desugars `do { p <- e; stmts }` to `let { ok p = do {stmts}; ok _ = fail "..." in e >>= ok }` |
| 2025-12-15 23:18:07 +0000 | <jackdk> | (And specifies that `fail` is an operation of `class Monad`) |
| 2025-12-15 23:19:50 +0000 | <haskellbridge> | <loonycyborg> "do" can be used in pure code to together with BlockArguments kill even more parentheses :P |
| 2025-12-15 23:20:16 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-12-15 23:20:29 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-15 23:22:24 +0000 | Googulator33 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 23:22:41 +0000 | Googulator33 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 23:24:14 +0000 | <chromoblob> | ... = ... $ do ... |
| 2025-12-15 23:24:43 +0000 | <haskellbridge> | <loonycyborg> +to |
| 2025-12-15 23:24:56 +0000 | <chromoblob> | `$` is how i kill parentheses :p |
| 2025-12-15 23:28:38 +0000 | <chromoblob> | and i have even defined `($$) = flip ($)` in past, to do `... $$ ... $$ ...` - iirc |
| 2025-12-15 23:33:29 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 260 seconds) |
| 2025-12-15 23:34:21 +0000 | Googulator33 | Googulator |
| 2025-12-15 23:36:04 +0000 | Googulator96 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 23:36:19 +0000 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 23:38:37 +0000 | Googulator96 | Googulator |
| 2025-12-15 23:40:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 23:41:31 +0000 | mange | (~mange@user/mange) mange |
| 2025-12-15 23:43:44 +0000 | bggd__ | (~bgg@2a01:e0a:fd5:f510:6bc5:c845:f799:c476) (Remote host closed the connection) |
| 2025-12-15 23:44:00 +0000 | latticepolytope | (~user@user/isekaijin) isekaijin |
| 2025-12-15 23:44:03 +0000 | tromp | (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-15 23:44:09 +0000 | <jackdk> | chromoblob: Your ($$) is (Data.Function.&), since base-4.8 (ghc 7.10.1, April 2015) |
| 2025-12-15 23:45:24 +0000 | <chromoblob> | yeah, i did this in 2014 lol |
| 2025-12-15 23:45:37 +0000 | <chromoblob> | :i & |
| 2025-12-15 23:45:48 +0000 | <chromoblob> | no work... |
| 2025-12-15 23:46:10 +0000 | <jackdk> | % :i & |
| 2025-12-15 23:46:10 +0000 | <yahb2> | <interactive>:1:1: error: [GHC-76037] Not in scope: ‘&’ |
| 2025-12-15 23:46:53 +0000 | <geekosaur> | % :i Data.Function.& |
| 2025-12-15 23:46:53 +0000 | <yahb2> | (GHC.Internal.Data.Function.&) :: a -> (a -> b) -> b ; -- Defined in ‘GHC.Internal.Data.Function’ ; infixl 1 GHC.Internal.Data.Function.& |
| 2025-12-15 23:48:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-15 23:54:46 +0000 | <chromoblob> | wait, i mixed it up |
| 2025-12-15 23:55:15 +0000 | <chromoblob> | i mean that ($$) is same that ($) but has left associativity |
| 2025-12-15 23:55:17 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-15 23:55:31 +0000 | <chromoblob> | that -> as |
| 2025-12-15 23:58:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |