Newest at the top
| 2025-06-14 19:55:13 +0200 | <haskellbridge> | <maerwald> We're going to get GHC LTS releases |
| 2025-06-14 19:55:02 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-06-14 19:51:22 +0200 | <monochrom> | BTW last time an installer got stuck (and locked up the whole system heh) was KiCS2 (a Curry compiler) and it was just taking up 7GB of memory so my system went into perpetual swapping. |
| 2025-06-14 19:50:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-14 19:49:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-14 19:47:32 +0200 | <monochrom> | BTW about "old version": If you have watched the Haskell ecosystem for a while, you will realize that latest GHC versions can be buggy, maximum surprise, and incompatible with most libraries. It's why ghcup's recommendation plays wait-and-see. |
| 2025-06-14 19:45:15 +0200 | <monochrom> | The only one time I got a failure from ghcup with default settings/options was just disk full. |
| 2025-06-14 19:42:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-14 19:41:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-14 19:40:05 +0200 | <humasect> | ghcup stuck, i will just go plainly. |
| 2025-06-14 19:39:18 +0200 | inline | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) Inline |
| 2025-06-14 19:36:21 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-06-14 19:35:09 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.122) (Ping timeout: 260 seconds) |
| 2025-06-14 19:35:07 +0200 | FANTOM | (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 2025-06-14 19:33:09 +0200 | jle` | (~jle`@2603:8001:3b00:11:5d33:cae7:6ac0:fc3b) jle` |
| 2025-06-14 19:32:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-14 19:31:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-14 19:31:31 +0200 | <humasect> | hmm |
| 2025-06-14 19:31:26 +0200 | <humasect> | it seems one-directional, like flow of time (toward depth also) ; why i mention prolog, can go backwards as well |
| 2025-06-14 19:31:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-14 19:29:42 +0200 | iNomad | (~iNomad@user/iNomad) (Quit: leaving) |
| 2025-06-14 19:29:07 +0200 | <segfaultfizzbuzz> | or maybe there are better ways to specify these identities |
| 2025-06-14 19:28:53 +0200 | <segfaultfizzbuzz> | so like "higher arity means much greater difficulty in specifying algebraic identities for functions"... therefore algebraic identites are unnatural, or functions most naturally only combine pairs? i can't tell |
| 2025-06-14 19:27:52 +0200 | <segfaultfizzbuzz> | sure you can do f (a, b, c) -> d if you want, but that is rather less common in fp |
| 2025-06-14 19:27:34 +0200 | prdak1 | prdak |
| 2025-06-14 19:27:34 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 2025-06-14 19:27:29 +0200 | <humasect> | tuples...? |
| 2025-06-14 19:27:06 +0200 | <segfaultfizzbuzz> | in other words, it feels like these identities make sense when you only have functions which look like f(a, b) -> c, rather than the more common f a -> b -> c -> d -> e -> z |
| 2025-06-14 19:26:16 +0200 | <segfaultfizzbuzz> | but in the real world practice of programming, often you have higher arity, which feels like it conflicts with these kinds of identities,... |
| 2025-06-14 19:26:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-14 19:25:54 +0200 | <humasect> | ? |
| 2025-06-14 19:25:54 +0200 | <humasect> | prolog + DGC |
| 2025-06-14 19:25:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-14 19:25:39 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-06-14 19:25:35 +0200 | <segfaultfizzbuzz> | i was thinking about algebraic identities and the possibility that it might be useful to have a programming language which emphasizes declaring these identities (such as associativity, commutativity, etc) |
| 2025-06-14 19:24:54 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-06-14 19:24:35 +0200 | segfaultfizzbuzz | (~segfaultf@12.172.219.122) segfaultfizzbuzz |
| 2025-06-14 19:24:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-06-14 19:23:12 +0200 | <humasect> | hm ghcup just gets stuck |
| 2025-06-14 19:22:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-14 19:22:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-14 19:17:58 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-06-14 19:15:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-14 19:14:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-14 19:13:13 +0200 | acidjnk | (~acidjnk@p200300d6e70b6648710c04c5f76896ce.dip0.t-ipconnect.de) acidjnk |
| 2025-06-14 19:12:17 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-06-14 19:11:06 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a4b8:ab64:447c:a2d0) |
| 2025-06-14 19:08:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-14 19:08:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-14 19:07:29 +0200 | inline | (~inline@ip-005-146-196-202.um05.pools.vodafone-ip.de) (Quit: Leaving) |