Newest at the top
| 2025-12-02 10:32:34 +0100 | kuribas | (~user@2a02:1808:d1:d243:9821:bd8c:f208:7dc) (Ping timeout: 260 seconds) |
| 2025-12-02 10:32:25 +0100 | <lambdabot> | Traversable t => (s -> a -> (s, b)) -> s -> t a -> (s, t b) |
| 2025-12-02 10:32:23 +0100 | <Axman6> | :t mapAccumL |
| 2025-12-02 10:32:20 +0100 | <Axman6> | that definitely sounds like mapAccumL to me ... |
| 2025-12-02 10:32:09 +0100 | <sprout> | not everything has to be a monad |
| 2025-12-02 10:32:02 +0100 | <sprout> | I just wrote a foldl_with_state in Egel |
| 2025-12-02 10:29:10 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-12-02 10:27:53 +0100 | <kuribas> | But she is doing clojure now. |
| 2025-12-02 10:27:46 +0100 | <kuribas> | Funny, one of my colleages went to university in Glasgow, she never did haskell because it was to complicated... |
| 2025-12-02 10:27:17 +0100 | <Axman6> | or mapAccumL/R |
| 2025-12-02 10:26:54 +0100 | <kuribas> | Concretely, I want to generate some SQL query, but I need to generate aliases for tables, like alias1, alias2 (the state). |
| 2025-12-02 10:26:10 +0100 | <lambdabot> | (b -> a -> b) -> b -> [a] -> [b] |
| 2025-12-02 10:26:09 +0100 | <Lycurgus> | state u dont even think about hardly |
| 2025-12-02 10:26:08 +0100 | <kuribas> | :t scanl |
| 2025-12-02 10:25:55 +0100 | chele | (~chele@user/chele) chele |
| 2025-12-02 10:25:52 +0100 | <kuribas> | So I could: 1) use traverse on the list, using an inner state monad, then flatten. 2) make a list and state monad. 3) do an explicit tail recursive loop. |
| 2025-12-02 10:25:39 +0100 | <merijn> | kuribas: That just sounds like scanl + flatten? |
| 2025-12-02 10:25:37 +0100 | <Lycurgus> | easy state anywho |
| 2025-12-02 10:25:23 +0100 | <Lycurgus> | wrong lang 4 state |
| 2025-12-02 10:24:49 +0100 | <kuribas> | Funny how haskell makes easy things harder sometimes. I have a list of items, and I need to produce another list, but flatten it (so like a list monad). But I also want to have some state variable. |
| 2025-12-02 10:23:39 +0100 | kuribas | (~user@2a02:1808:d1:d243:9821:bd8c:f208:7dc) kuribas |
| 2025-12-02 10:21:23 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-02 10:20:45 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 10:20:43 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 10:17:39 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-02 10:17:25 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-02 10:14:45 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-02 10:10:37 +0100 | <chromoblob> | dminuoso: mind sharing which IRC client you use? interesting |
| 2025-12-02 10:10:02 +0100 | dhs | (~dhs@user/dhscholb) () |
| 2025-12-02 10:09:30 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-02 10:05:31 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-02 10:05:18 +0100 | Inline | (~inlinE@2001-4dd3-7fc8-0-2be-fec0-ba58-7d11.ipv6dyn.netcologne.de) Inline |
| 2025-12-02 10:04:59 +0100 | Inline | (~inlinE@2001-4dd3-7fc8-0-2be-fec0-ba58-7d11.ipv6dyn.netcologne.de) (Remote host closed the connection) |
| 2025-12-02 10:04:46 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-12-02 10:03:54 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-12-02 10:02:54 +0100 | <lucabtz> | Rembane yeah i made one with takeWhile and dropWhile |
| 2025-12-02 09:55:39 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-02 09:52:20 +0100 | <dminuoso> | Especially when its people from different fields/languages/paradigms... |
| 2025-12-02 09:51:56 +0100 | <dminuoso> | Heck, if you just go through pure math publications, you see so many conflicting notation styles or conflicting terminology choices... its best to not dwell on what people call things and just be able to adjust your reference frame in a discussion... |
| 2025-12-02 09:50:47 +0100 | <dminuoso> | Human language is messy, imprecise and under constant change. |
| 2025-12-02 09:50:43 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 09:50:42 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 09:50:10 +0100 | <dminuoso> | 21:18:59 tomsmeding │ it seems the theme of today is "words mean different things to different people" |
| 2025-12-02 09:44:22 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-12-02 09:43:45 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-02 09:41:56 +0100 | <Rembane> | lucabtz: There's span and break and partition and take and drop and takeWhile and dropWhile |
| 2025-12-02 09:41:19 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-02 09:41:06 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-02 09:39:34 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 246 seconds) |
| 2025-12-02 09:34:40 +0100 | <lucabtz> | there is no string splitting in base? |