Newest at the top
| 2025-12-11 23:01:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 22:59:03 +0100 | Athas | (athas@sigkill.dk) |
| 2025-12-11 22:58:51 +0100 | Athas | (athas@2a01:7c8:aaac:1cf:e9bb:9c42:9519:597d) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-12-11 22:57:07 +0100 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2025-12-11 22:56:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-11 22:55:23 +0100 | milan | (~milan@88.212.61.169) (Quit: WeeChat 4.5.2) |
| 2025-12-11 22:48:37 +0100 | humasect | (~humasect@192.249.132.90) (Ping timeout: 264 seconds) |
| 2025-12-11 22:47:59 +0100 | <bwe> | thanks, mauke, monochrom, Leary, c_wraith and Zemyla |
| 2025-12-11 22:45:44 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) |
| 2025-12-11 22:45:35 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-11 22:43:09 +0100 | humasect | (~humasect@192.249.132.90) |
| 2025-12-11 22:36:17 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-12-11 22:29:33 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-11 22:25:38 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-12-11 22:23:19 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2025-12-11 22:14:56 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-11 22:14:38 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-11 22:14:26 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-11 22:13:58 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-11 22:12:15 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-11 22:06:32 +0100 | <monochrom> | You can furthermore omit the `lift` because ParsercT e s (Reader r) is an instance of MonadReader too. (Generally, ParsecT e s m, if m is an instance of MonadReader). |
| 2025-12-11 22:02:53 +0100 | <bwe> | Leary: wow, that's actually beautiful. |
| 2025-12-11 22:02:13 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-11 21:59:37 +0100 | Square2 | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2025-12-11 21:57:41 +0100 | Pixi__ | (~Pixi@user/pixi) (Quit: Leaving) |
| 2025-12-11 21:56:42 +0100 | Square | (~Square4@user/square) Square |
| 2025-12-11 21:55:46 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2025-12-11 21:55:25 +0100 | <Leary> | bwe: I'm not sure what you're asking. Regardless, the way I'd actually recommend goes like so: https://play.haskell.org/saved/8oJlQyYR |
| 2025-12-11 21:51:04 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-11 21:49:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-11 21:47:41 +0100 | Wygulmage | (~Wygulmage@user/Wygulmage) Wygulmage |
| 2025-12-11 21:45:32 +0100 | <bwe> | Leary: …you do that with `k (`runReaderT` r)` right? |
| 2025-12-11 21:40:10 +0100 | <Leary> | bwe: Re mixing levels, this <https://play.haskell.org/saved/vdNe7NSH> is one option, but you're probably better off reversing the order of `ReaderT` and `ParsecT`, since that way the only operation you need to `lift` is `ask`. |
| 2025-12-11 21:38:10 +0100 | AlexNoo | (~AlexNoo@85.174.180.40) |
| 2025-12-11 21:36:40 +0100 | <lambdabot> | Applicative f => (a1 -> f a2) -> [a1] -> f [a2] |
| 2025-12-11 21:36:39 +0100 | <mauke> | :t \f -> sequenceA . map f |
| 2025-12-11 21:36:18 +0100 | <lambdabot> | Monad m => (a1 -> m a2) -> [a1] -> m [a2] |
| 2025-12-11 21:36:18 +0100 | <mauke> | :t \f -> sequence . map f |
| 2025-12-11 21:35:40 +0100 | <bwe> | My intuition led me to traverse :). |
| 2025-12-11 21:35:12 +0100 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2025-12-11 21:35:11 +0100 | <mauke> | :t traverse |
| 2025-12-11 21:35:01 +0100 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
| 2025-12-11 21:35:00 +0100 | <mauke> | :t sequence |
| 2025-12-11 21:33:43 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-11 21:32:58 +0100 | <monochrom> | Does `sequence` do what you want? |
| 2025-12-11 21:32:25 +0100 | <bwe> | f xs = (_ . map returnsSomeReader $ xs) :: [Text] -> Reader Config [Result] -- how do I transform [Reader Config Result] to `Reader Config [Result]`? |
| 2025-12-11 21:32:14 +0100 | <monochrom> | Oh! Then "lambda lifting" :) |
| 2025-12-11 21:29:11 +0100 | <EvanR> | expression |
| 2025-12-11 21:29:06 +0100 | <EvanR> | but here it boils down to, this express has free variables. But we're calling it a dependency |
| 2025-12-11 21:28:38 +0100 | <EvanR> | evokes a lot of infrastructure |