Newest at the top
| 2025-01-16 22:58:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 22:55:39 +0100 | <geekosaur> | wow |
| 2025-01-16 22:53:16 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) ft |
| 2025-01-16 22:52:22 +0100 | jespada | (~jespada@2800:a4:9f:7800:6da5:a33b:4775:882d) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-16 22:49:57 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2025-01-16 22:47:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-16 22:47:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-01-16 22:45:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-16 22:45:28 +0100 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-01-16 22:42:28 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-16 22:41:52 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-16 22:41:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 22:40:46 +0100 | <lambdabot> | Consider it noted. |
| 2025-01-16 22:40:46 +0100 | <tomsmeding> | @tell maerwald ghc 9.12.1 is quite broken https://gitlab.haskell.org/ghc/ghc/-/issues/25653 |
| 2025-01-16 22:39:03 +0100 | hgolden__ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-16 22:38:54 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 244 seconds) |
| 2025-01-16 22:30:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-16 22:25:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 22:25:16 +0100 | Guest1364 | (~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer) |
| 2025-01-16 22:19:38 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-16 22:17:55 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-16 22:15:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-16 22:14:13 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-16 22:10:49 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-16 22:10:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 22:07:42 +0100 | <EvanR> | if you expect / agree that this mapping results in a list of the same size and shape |
| 2025-01-16 22:07:41 +0100 | <haskellbridge> | <sm> +1! even without power or in the even of a cyberpocalypse, I can read / reconstruct the data from a printout |
| 2025-01-16 22:07:23 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-16 22:07:23 +0100 | <EvanR> | to simply map a type level list, it's not that bad |
| 2025-01-16 22:06:43 +0100 | <c_wraith> | err, *without* the tools |
| 2025-01-16 22:06:32 +0100 | <c_wraith> | there's a lot to be said for plain-text accounting. Tools automate lots of tasks, but with the tools all the info is still easily available. |
| 2025-01-16 22:05:42 +0100 | <haskellbridge> | <sm> it's a sign! |
| 2025-01-16 22:05:32 +0100 | <constxd> | i was just joking with my friend saying i'm going to start using GnuCash to track my finances and now 2mins later i stumble on this |
| 2025-01-16 22:04:45 +0100 | <constxd> | wow cool i think i will play around with this hledger thing |
| 2025-01-16 22:03:41 +0100 | <c_wraith> | There really isn't any way to approach type-level lists elegantly. By their nature, they require the types to reflect the terms in a way that just creates a lot of bookkeeping. |
| 2025-01-16 21:59:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-16 21:57:38 +0100 | haskellbridge | sm went down a rabbit hole gathering old notes: https://joyful.com/Haskell |
| 2025-01-16 21:55:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 21:51:55 +0100 | <fr33domlover> | elegant way... are we still waiting for the golden Haskell feature that will solve that? |
| 2025-01-16 21:51:55 +0100 | <fr33domlover> | o/ is there an elegant way to do type-level list mapping? I used to do it with FCF but much type/instance inference didn't happen and I ended up finding a workaround using Vinyl instead. But whenever I need type level list mapping (this starts repeating, let's call it TLLM :p) again I keep looking for ways to avoid it... sometimes there's no |
| 2025-01-16 21:49:31 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-01-16 21:44:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-16 21:43:08 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-16 21:39:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 21:39:45 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2025-01-16 21:39:37 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-16 21:39:02 +0100 | Digitteknohippie | Digit |
| 2025-01-16 21:33:33 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-16 21:29:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-16 21:29:27 +0100 | weary-traveler | (~user@user/user363627) user363627 |