Newest at the top
| 2025-12-02 12:22:36 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b577:52ee:470:5943) |
| 2025-12-02 12:20:49 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 12:20:42 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 12:17:50 +0100 | wbooze | (~wbooze@cgn-195-14-217-157.nc.de) Inline |
| 2025-12-02 12:16:40 +0100 | wbooze | (~wbooze@cgn-195-14-217-157.nc.de) (Quit: Leaving) |
| 2025-12-02 12:15:47 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-02 12:15:32 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-02 12:11:36 +0100 | wbooze | (~wbooze@cgn-195-14-217-157.nc.de) Inline |
| 2025-12-02 12:11:15 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 240 seconds) |
| 2025-12-02 12:11:02 +0100 | energizer | (~energizer@user/energizer) energizer |
| 2025-12-02 12:10:22 +0100 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-12-02 12:08:40 +0100 | energizer | (~energizer@user/energizer) (Quit: ZNC 1.7.0+deb0+xenial1 - https://znc.in) |
| 2025-12-02 12:07:08 +0100 | <kuribas> | I could 1) dockerize it, 2) rewrite in python/clojure/... |
| 2025-12-02 12:06:53 +0100 | <kuribas> | I have a haskell script that I made for my own use. But there may be interest, though like not haskell :-( |
| 2025-12-02 12:05:40 +0100 | <lambdabot> | (Unwrapped (m (t b)) ~ (s -> (t b, s)), Rewrapped (m b) (m (t b)), Rewrapped (m (t b)) (m b), MonadState s m, Traversable t) => (a -> Unwrapped (m b)) -> t a -> Unwrapped (m (t b)) |
| 2025-12-02 12:05:38 +0100 | <kuribas> | :t alaf state traverse |
| 2025-12-02 11:51:48 +0100 | <lambdabot> | (Traversable t, Monad m') => (a -> s' -> m' (a', s')) -> t a -> s' -> m' (t a', s') |
| 2025-12-02 11:51:46 +0100 | <kuribas> | :t alaf StateT traverse |
| 2025-12-02 11:50:51 +0100 | Googulator56 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 11:50:50 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 11:50:34 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-02 11:50:32 +0100 | <lambdabot> | k1} {a}. (Foldable t, Monoid (Ap g b)) => (a -> g b) -> t a -> g b |
| 2025-12-02 11:50:30 +0100 | <kuribas> | :t alaf Ap foldMap |
| 2025-12-02 11:49:51 +0100 | <lambdabot> | (Functor f, Rewrapping s t) => (Unwrapped s -> s) -> ((Unwrapped t -> t) -> f s) -> f (Unwrapped s) |
| 2025-12-02 11:49:49 +0100 | <kuribas> | :t ala |
| 2025-12-02 11:46:02 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4073:6a24:b181:8b56) |
| 2025-12-02 11:45:47 +0100 | dhil | (~dhil@5.151.29.141) dhil |
| 2025-12-02 11:45:42 +0100 | <Leary> | Yes, `foldMap`. It sure doesn't sound like you need `traverse`. |
| 2025-12-02 11:44:25 +0100 | <kuribas> | foldmap? |
| 2025-12-02 11:42:46 +0100 | trickard_ | trickard |
| 2025-12-02 11:40:19 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-02 11:40:19 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-12-02 11:40:19 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-12-02 11:39:43 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4073:6a24:b181:8b56) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-02 11:38:49 +0100 | <Leary> | Or flip the args and call it `forA`, even better. |
| 2025-12-02 11:38:39 +0100 | <Leary> | kuribas: How about `foldA :: (Foldable t, Applicative f, Monoid b) => (a -> f b) -> t a -> f b; foldA f = getAp . foldMap (Ap . f)`? `f` can be `State s`, `b` can be a list ... |
| 2025-12-02 11:37:35 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-12-02 11:37:35 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-02 11:37:15 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 240 seconds) |
| 2025-12-02 11:32:23 +0100 | <tomsmeding> | oh |
| 2025-12-02 11:32:15 +0100 | <kuribas> | I forgot a colon. |
| 2025-12-02 11:32:04 +0100 | <tomsmeding> | then what's github's syntax highlighter up about |
| 2025-12-02 11:31:51 +0100 | <tomsmeding> | oh right |
| 2025-12-02 11:31:42 +0100 | <tomsmeding> | is it? |
| 2025-12-02 11:31:38 +0100 | <kuribas> | elif is valid python |
| 2025-12-02 11:31:31 +0100 | <tomsmeding> | (= instead of ==, elif instead of else if) |
| 2025-12-02 11:31:18 +0100 | <kuribas> | actually I have |
| 2025-12-02 11:31:05 +0100 | <tomsmeding> | although the 'break' may be tricky |
| 2025-12-02 11:30:56 +0100 | <tomsmeding> | I see you haven't been programming python recently with the syntax errors, but otherwise yes :p |
| 2025-12-02 11:30:24 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |