Newest at the top
| 2025-12-02 17:28:13 +0100 | trickard_ | trickard |
| 2025-12-02 17:27:45 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-02 17:26:38 +0100 | pr1sm | (~pr1sm@24.91.163.31) |
| 2025-12-02 17:26:11 +0100 | <haskellbridge> | <Zemyla> Is there a module for semi-ordered hashmaps, ones that require (Ord k, Hashable k), and as such have O(log n) worst-case performance? |
| 2025-12-02 17:25:45 +0100 | pr1sm | (~pr1sm@2600:1000:b115:c9f2:64b7:10e9:a90c:5331) (Ping timeout: 245 seconds) |
| 2025-12-02 17:25:04 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-02 17:20:24 +0100 | pr1sm | (~pr1sm@2600:1000:b115:c9f2:64b7:10e9:a90c:5331) |
| 2025-12-02 17:20:01 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds) |
| 2025-12-02 17:15:51 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-02 17:15:24 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-12-02 17:14:38 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-02 17:14:06 +0100 | Enrico63 | (~Enrico63@host-212-171-79-170.pool212171.interbusiness.it) (Quit: Client closed) |
| 2025-12-02 17:11:52 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-02 17:09:29 +0100 | Square | (~Square@user/square) (Ping timeout: 250 seconds) |
| 2025-12-02 17:05:09 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 260 seconds) |
| 2025-12-02 16:54:46 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-02 16:53:15 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-02 16:52:55 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: bbl) |
| 2025-12-02 16:50:55 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-12-02 16:50:33 +0100 | <kuribas> | I've been wanting to port my SAX parser to rust, which has a monad macro. |
| 2025-12-02 16:49:23 +0100 | trickard_ | trickard |
| 2025-12-02 16:42:02 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-02 16:41:43 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-02 16:36:54 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-02 16:36:25 +0100 | <kuribas> | because of monadic abstractions. |
| 2025-12-02 16:35:55 +0100 | <tomsmeding> | because of laziness? |
| 2025-12-02 16:35:41 +0100 | <kuribas> | So easy to write a SAX parser in haskell without callback hell. |
| 2025-12-02 16:35:06 +0100 | <kuribas> | Which we actually have here. |
| 2025-12-02 16:35:01 +0100 | <kuribas> | But when you actually need streaming, constant space algorithms without manual plumbing, suddenly the haskell becomes way more elegant than equivalent java. |
| 2025-12-02 16:34:06 +0100 | <tomsmeding> | yes |
| 2025-12-02 16:33:51 +0100 | <kuribas> | But it's fun :) |
| 2025-12-02 16:33:45 +0100 | <kuribas> | This just proves my point that something simple becomes complex in haskell, and suddenly opens a hole world of abstractions to get lost in. |
| 2025-12-02 16:33:02 +0100 | <tomsmeding> | please go forth and add more monads |
| 2025-12-02 16:32:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-02 16:32:48 +0100 | <tomsmeding> | under the moniker of "I want to see how this stuff works" suddenly a whole lot of things become fair game :) |
| 2025-12-02 16:32:35 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-02 16:32:34 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2025-12-02 16:31:49 +0100 | <kuribas> | But this would be bad production code. |
| 2025-12-02 16:31:17 +0100 | <kuribas> | I just wanted to explore ListT and ST monad. |
| 2025-12-02 16:31:02 +0100 | <kuribas> | Sure, this is overcomplication for this usecase, I fully agree :) |
| 2025-12-02 16:30:53 +0100 | <tomsmeding> | it's okay if you disagree |
| 2025-12-02 16:30:40 +0100 | <tomsmeding> | I mean, my dislike of ListT here is subjective :p |
| 2025-12-02 16:30:27 +0100 | <kuribas> | Except you want the concat to be explicit? |
| 2025-12-02 16:30:22 +0100 | <tomsmeding> | kuribas: my fmap concat . forM does not use WriterT |
| 2025-12-02 16:30:04 +0100 | <kuribas> | tomsmeding: yes, but that's actually what I wanted here. |
| 2025-12-02 16:29:56 +0100 | <tomsmeding> | that's what I think when I see ListT |
| 2025-12-02 16:29:49 +0100 | <tomsmeding> | "pure nondeterminism" |
| 2025-12-02 16:29:45 +0100 | <tomsmeding> | kuribas: I'm not talking about actual randomness, I'm talking about "let's throw a die, let's throw another one, add the two results, and see what answers we get" |
| 2025-12-02 16:29:36 +0100 | <kuribas> | tomsmeding: but you just showed WriterT is inefficient? |
| 2025-12-02 16:29:31 +0100 | RMSBach | RSBach |