Newest at the top
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 |
2025-01-16 21:29:24 +0100 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) (Quit: Leaving) |
2025-01-16 21:26:46 +0100 | ColinRobinson | (~00000000@user/JuanDaugherty) (Quit: Client closed) |
2025-01-16 21:24:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-16 21:21:19 +0100 | <juri_> | website's back up. :P |
2025-01-16 21:13:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-16 21:06:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-16 21:06:02 +0100 | JuanDaugherty | ColinRobinson |
2025-01-16 21:02:00 +0100 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
2025-01-16 21:00:41 +0100 | caconym | (~caconym@user/caconym) caconym |
2025-01-16 21:00:34 +0100 | Digitteknohippie | (~user@user/digit) Digit |
2025-01-16 21:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-01-16 20:58:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-01-16 20:55:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2025-01-16 20:54:24 +0100 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) SlackCoder |
2025-01-16 20:51:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-16 20:50:10 +0100 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
2025-01-16 20:48:53 +0100 | JuanDaugherty | (~00000000@user/JuanDaugherty) JuanDaugherty |
2025-01-16 20:45:59 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
2025-01-16 20:44:07 +0100 | <[exa]> | lol I meant that github ranking from above |
2025-01-16 20:41:33 +0100 | <hellwolf> | it might be an infinite list, it all depends on if you keep consume it. |
2025-01-16 20:39:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2025-01-16 20:37:30 +0100 | [exa] | discovers patat |
2025-01-16 20:37:20 +0100 | <[exa]> | oh wow that's a good list |