Newest at the top
| 2025-01-07 20:24:08 +0100 | <int-e> | Square: I'd assume it's something like newtype RWT r w m a = RWT { unRWT :: ReaderT r (WriterT w m a) } deriving (Functor, Applicative, Monad, MonadReader r, MonadWriter w) |
| 2025-01-07 20:23:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-07 20:21:44 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-01-07 20:19:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 20:18:37 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Read error: Connection reset by peer) |
| 2025-01-07 20:18:18 +0100 | noctuks | (bEhVax6CGd@user/noctux) noctux |
| 2025-01-07 20:18:13 +0100 | yushyin | (POR894Vlok@mail.karif.server-speed.net) yushyin |
| 2025-01-07 20:18:13 +0100 | s4msung | (4RaMuLb90c@user/s4msung) s4msung |
| 2025-01-07 20:15:45 +0100 | CiaoSen | (~Jura@2a05:5800:240:da00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-07 20:14:09 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 20:13:31 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 20:08:27 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-01-07 20:08:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-07 20:03:57 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 20:03:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 20:03:20 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 20:02:46 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-07 20:01:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-07 19:57:08 +0100 | <Square> | (For a wrapping the DSL I assume, just not sure what that would look like) |
| 2025-01-07 19:56:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 19:56:16 +0100 | <Square> | I wonder if anyone know what the author means by "some newtype wrappers"? |
| 2025-01-07 19:55:32 +0100 | <Square> | The article says "Of course, all of this is perfectly achievable with regular old monads and some newtype wrappers, but free monads let us get rid of a bit of boilerplate." |
| 2025-01-07 19:55:08 +0100 | <Square> | I'm trying to work myself away from Free monads to be able to have a Monad that handles both MonadReader and MonadWriter at the same time. |
| 2025-01-07 19:54:19 +0100 | <Square> | A question about https://serokell.io/blog/introduction-to-free-monads |
| 2025-01-07 19:53:39 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 19:53:09 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 19:50:43 +0100 | vixenTheFox | (~user@user/Jordin089) (Remote host closed the connection) |
| 2025-01-07 19:46:58 +0100 | polyphem | (~polyphem@p4fc2c86c.dip0.t-ipconnect.de) (Quit: CoreIRC for Android - www.coreirc.com) |
| 2025-01-07 19:46:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-07 19:43:34 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 19:42:58 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 19:41:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-07 19:40:41 +0100 | yushyin | (aC7s4hKZiM@mail.karif.server-speed.net) (Ping timeout: 272 seconds) |
| 2025-01-07 19:40:40 +0100 | s4msung | (YSkIhMhdIR@user/s4msung) (Ping timeout: 272 seconds) |
| 2025-01-07 19:40:12 +0100 | noctuks | (d4toxF5wNA@user/noctux) (Ping timeout: 246 seconds) |
| 2025-01-07 19:38:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-07 19:35:34 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-01-07 19:33:34 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-01-07 19:33:23 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 19:33:08 +0100 | vixenTheFox | (~user@user/Jordin089) Jordin089 |
| 2025-01-07 19:32:47 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 19:32:38 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-07 19:28:11 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-07 19:27:43 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
| 2025-01-07 19:26:58 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-07 19:23:10 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-01-07 19:22:36 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-07 19:16:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-07 19:15:55 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-07 19:15:42 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |