Newest at the top
| 2025-02-12 15:56:22 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-12 15:49:03 +0100 | zungi | (~tory@user/andrewchawk) (Quit: BRB.) |
| 2025-02-12 15:33:06 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-12 15:30:15 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-12 15:28:07 +0100 | albet70 | (~xxx@2400:8905::f03c:92ff:fe60:98d8) |
| 2025-02-12 15:26:57 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-12 15:24:25 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-12 15:22:55 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-12 15:21:54 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-12 15:21:48 +0100 | albet70 | (~xxx@2400:8905::f03c:92ff:fe60:98d8) (Ping timeout: 276 seconds) |
| 2025-02-12 15:21:41 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-02-12 15:17:54 +0100 | alp | (~alp@user/alp) (Ping timeout: 248 seconds) |
| 2025-02-12 15:17:23 +0100 | Wygulmage | (~Wygulmage@user/Wygulmage) Wygulmage |
| 2025-02-12 15:15:10 +0100 | alp_ | (~alp@5.226.4.112) |
| 2025-02-12 15:12:09 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2025-02-12 15:11:12 +0100 | Crypt-Lab | CryptLab |
| 2025-02-12 15:10:53 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-02-12 15:09:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-02-12 15:08:16 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-02-12 15:04:52 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2025-02-12 15:00:22 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-12 14:56:48 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-12 14:55:10 +0100 | alp | (~alp@user/alp) alp |
| 2025-02-12 14:55:10 +0100 | alp | (~alp@5.226.4.112) (Changing host) |
| 2025-02-12 14:55:05 +0100 | alp | (~alp@5.226.4.112) |
| 2025-02-12 14:52:26 +0100 | forell | (~forell@user/forell) forell |
| 2025-02-12 14:51:25 +0100 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2025-02-12 14:51:12 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-02-12 14:49:17 +0100 | brachyrhynchos | (~brachyrhy@user/brachyrhynchos) (Remote host closed the connection) |
| 2025-02-12 14:43:15 +0100 | brachyrhynchos | (~brachyrhy@user/brachyrhynchos) brachyrhynchos |
| 2025-02-12 14:38:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-12 14:36:32 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-02-12 14:35:22 +0100 | <haskellbridge> | <Profpatsch> I mean the decoupling of DecodeAction and actual decoding is super interesting |
| 2025-02-12 14:34:10 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-12 14:34:10 +0100 | <bgamari> | but cborg shows that this isn't the only path to a decent parser |
| 2025-02-12 14:32:54 +0100 | <bgamari> | in particular, intermediate structures can be deforested readily |
| 2025-02-12 14:32:36 +0100 | <bgamari> | since it optimises specific parsers reasonably well |
| 2025-02-12 14:31:56 +0100 | <bgamari> | when people think of "high performance" parsing in Haskell they often resort of CPS'd style |
| 2025-02-12 14:31:16 +0100 | <bgamari> | indeed cborg is an interesting design (primarily Duncan's) |
| 2025-02-12 14:31:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-02-12 14:30:46 +0100 | <bgamari> | so evaluation order is irrelevant (since the bytestring is immutable) and duplication doesn't change semantics (for the same reason) |
| 2025-02-12 14:30:00 +0100 | <bgamari> | regarding unsafeDupablePerformIO, the argument is that we "own" the bytestring and none of the operations under `withBsPtr` are side-effecting (e.g. writes) |
| 2025-02-12 14:29:08 +0100 | <bgamari> | since you will gain nothing by suspending the work of the parsing (which is typically fairly "light" computationally) |
| 2025-02-12 14:28:44 +0100 | <bgamari> | the short answer is: when you are parsing and can't incrementally consume the parsed result then you likely want to be strict |
| 2025-02-12 14:27:59 +0100 | <bgamari> | fair enough |
| 2025-02-12 14:27:48 +0100 | <haskellbridge> | <Profpatsch> but even just an explanation of what needs to be strict and what doesn’t would be super helpful since it’s such a black art |
| 2025-02-12 14:27:47 +0100 | Digit | (~user@user/digit) Digit |
| 2025-02-12 14:27:43 +0100 | <bgamari> | yes |
| 2025-02-12 14:27:10 +0100 | <haskellbridge> | <Profpatsch> well I’m assuming "return $!" is used everywhere because you want to be strict in the return values in the ST |
| 2025-02-12 14:27:02 +0100 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |