Newest at the top
| 2025-12-15 23:15:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 23:08:16 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-15 23:07:41 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-15 23:06:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 23:06:08 +0100 | Googulator21 | Googulator |
| 2025-12-15 23:03:45 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-15 23:03:06 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-15 23:00:50 +0100 | Googulator21 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 23:00:31 +0100 | Googulator21 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 22:55:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 22:50:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 22:40:55 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-15 22:39:37 +0100 | <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 22:39:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 22:38:10 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-15 22:34:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 22:34:43 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-15 22:34:04 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-15 22:32:41 +0100 | myme | (~myme@2a01:799:d5e:5f00:5e12:8326:f92:1a30) myme |
| 2025-12-15 22:31:34 +0100 | myme | (~myme@2a01:799:d5e:5f00:e46f:4150:c7c:78b) (Ping timeout: 260 seconds) |
| 2025-12-15 22:23:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 22:20:18 +0100 | <gentauro> | `… <$> … <*> …` combined with `<|>` (Alternate) and you are good to go :) |
| 2025-12-15 22:19:07 +0100 | <gentauro> | (bad habbits kicking in xD) |
| 2025-12-15 22:18:53 +0100 | <gentauro> | monadic parsing = parser combinators |
| 2025-12-15 22:18:44 +0100 | <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 22:18:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 22:18:31 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 240 seconds) |
| 2025-12-15 22:16:48 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-15 22:16:20 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-15 22:16:12 +0100 | <c_wraith> | If it fails to do that conversion, it uses the standard >> and >>= desugaring |
| 2025-12-15 22:15:58 +0100 | <gentauro> | https://dl.acm.org/doi/10.1145/3341694 |
| 2025-12-15 22:15:40 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-15 22:15:19 +0100 | <c_wraith> | It attempts to convert a do block into uses of <*> and <$> with a lot of tupling |
| 2025-12-15 22:14:51 +0100 | <c_wraith> | there is an ApplicativeDo extension |
| 2025-12-15 22:14:50 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-15 22:14:37 +0100 | <gentauro> | but, You needed to do a bit more |
| 2025-12-15 22:14:28 +0100 | <c_wraith> | () is monadic now |
| 2025-12-15 22:14:25 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-15 22:14:25 +0100 | <gentauro> | I recall Marlow expanding `Applicative` to have `do-notation` as well |
| 2025-12-15 22:14:24 +0100 | <lambdabot> | () |
| 2025-12-15 22:14:23 +0100 | <c_wraith> | > do () |
| 2025-12-15 22:14:07 +0100 | <gentauro> | you can see that from the signature |
| 2025-12-15 22:13:58 +0100 | <gentauro> | chromoblob: but int-e is using `do-notation` so it's also `Monadic` right? |
| 2025-12-15 22:12:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-15 22:07:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-15 22:06:19 +0100 | eron | (~eron@187.56.156.228) (Quit: Client closed) |
| 2025-12-15 22:06:00 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-12-15 22:05:06 +0100 | gf32 | (~gf3@user/gf3) gf3 |
| 2025-12-15 22:01:27 +0100 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 22:00:44 +0100 | Googulator21 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |