Newest at the top
| 2025-05-03 21:39:21 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-05-03 21:39:01 +0200 | euleritian | (~euleritia@dynamic-176-000-010-081.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-03 21:36:24 +0200 | euleritian | (~euleritia@dynamic-176-000-010-081.176.0.pool.telefonica.de) |
| 2025-05-03 21:35:27 +0200 | euleritian | (~euleritia@dynamic-176-006-129-007.176.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2025-05-03 21:32:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-03 21:30:27 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-03 21:28:35 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
| 2025-05-03 21:28:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-03 21:25:02 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) |
| 2025-05-03 21:22:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-03 21:21:36 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-03 21:21:01 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 21:21:00 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-03 21:20:33 +0200 | <[exa]> | Liamzee: and yeah with the prototype it doesn't really matter if it's super broken or not. :D |
| 2025-05-03 21:20:05 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-03 21:19:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-05-03 21:18:39 +0200 | <[exa]> | but yeah more like I'm doing it wrong |
| 2025-05-03 21:18:22 +0200 | <[exa]> | monochrom: at the minimum it gives ways to describe both stuff with all references "resolved" and stuff where things are behind references. And likely many states in between. |
| 2025-05-03 21:18:04 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-03 21:00:42 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-03 21:00:03 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-03 20:55:57 +0200 | <haskellbridge> | <Liamzee> thanks |
| 2025-05-03 20:55:34 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-05-03 20:54:37 +0200 | <monochrom> | Or maybe I still don't heh. |
| 2025-05-03 20:54:36 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-05-03 20:54:28 +0200 | <monochrom> | Or should it be "{name :: String, age :: Int, id :: f ()}"? Then I can see what to do with f. |
| 2025-05-03 20:53:20 +0200 | <monochrom> | [exa]: How does HKT help? Do I have like "data T f = {name :: f String, age :: f Int}"? For now I can't think of what to use for f for references. |
| 2025-05-03 20:49:25 +0200 | ljdarj1 | ljdarj |
| 2025-05-03 20:49:25 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-05-03 20:48:41 +0200 | <[exa]> | I'd say follow unix, prototype it first to the working state, then you can trash it constructively, with much less ambiguity |
| 2025-05-03 20:48:02 +0200 | <haskellbridge> | <Liamzee> *in progress |
| 2025-05-03 20:47:53 +0200 | <haskellbridge> | <Liamzee> mine |
| 2025-05-03 20:47:47 +0200 | <[exa]> | "your" as on one's own or other people's ? |
| 2025-05-03 20:47:41 +0200 | <haskellbridge> | <Liamzee> I have a library in process, but I feel like, the more I explore the space the more I think my fundamental library architecture is broken (for instance, I think splitting it into a core and callers for API is a good idea now) |
| 2025-05-03 20:46:55 +0200 | <haskellbridge> | <Liamzee> What's the Haskell community's guidance on rewriting your libraries? |
| 2025-05-03 20:45:10 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-03 20:36:07 +0200 | <[exa]> | ah I meant the usual HKD |
| 2025-05-03 20:34:31 +0200 | <EvanR> | ? |
| 2025-05-03 20:34:16 +0200 | <EvanR> | higher order types |
| 2025-05-03 20:34:13 +0200 | <EvanR> | what's the politically correct name for higher kinded types |
| 2025-05-03 20:32:53 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-03 20:31:49 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-03 20:31:20 +0200 | <[exa]> | hm, beam hides the references by higher-kinded types, not bad |
| 2025-05-03 20:30:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-03 20:29:01 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f7604057216e123cf7a.dip0.t-ipconnect.de) acidjnk |
| 2025-05-03 20:27:13 +0200 | <[exa]> | ok well I guess I'm hitting the same wall as ORMs |
| 2025-05-03 20:19:16 +0200 | <[exa]> | :] |
| 2025-05-03 20:19:05 +0200 | <[exa]> | monochrom: nah the bottled one is called beer |
| 2025-05-03 20:18:06 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-05-03 20:17:48 +0200 | <monochrom> | Um, is that code for LSD? >:) |