Newest at the top
| 2026-01-02 22:45:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 22:45:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-02 22:45:02 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:43:49 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:37:42 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:36:50 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-01-02 22:36:24 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:35:29 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 260 seconds) |
| 2026-01-02 22:35:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-02 22:35:06 +0100 | acidjnk | (~acidjnk@p200300d6e7171974ecdc66dbb7a91ed3.dip0.t-ipconnect.de) acidjnk |
| 2026-01-02 22:35:00 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-02 22:33:19 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:31:55 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:30:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 22:26:26 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-02 22:24:41 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:23:59 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:22:46 +0100 | <geekosaur> | someone somewhere's done it, I'm sure |
| 2026-01-02 22:21:43 +0100 | <monochrom> | OK, but I will hide behind "I am skeptical until I see a language that does that". :) |
| 2026-01-02 22:19:27 +0100 | <EvanR> | e.g. if predicting costs is too hard |
| 2026-01-02 22:19:04 +0100 | <EvanR> | and if you can't ... the other way doesn't sound plausible |
| 2026-01-02 22:18:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 22:18:52 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:18:35 +0100 | <EvanR> | dedicated to that purpose |
| 2026-01-02 22:18:24 +0100 | <EvanR> | yes but you could have cost meaningful syntactic forms |
| 2026-01-02 22:17:38 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 22:17:22 +0100 | <monochrom> | You can't talk about costs when hiding behind the denotational façade. |
| 2026-01-02 22:15:57 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-01-02 22:15:24 +0100 | <monochrom> | In the case of Haskell, a ton of tweaks ruined the denotational ideal. But I am not surprised; someone has to talk about time costs and space costs. |
| 2026-01-02 22:14:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 22:14:17 +0100 | <monochrom> | Every PL ideology has been broken by even its most ideological language. For example, Prolog added cuts to ruin the nice and symmetric logic programming ideal. |
| 2026-01-02 22:12:14 +0100 | <EvanR> | it seems unhaskelly |
| 2026-01-02 22:11:58 +0100 | <EvanR> | it's annoying that if you care about sharing, whose semantics is beyond the scope of the syntax, you need to rely on spelling it one of several "equivalent" ways and hoping the compiler understands that |
| 2026-01-02 22:11:48 +0100 | <monochrom> | For that example, you could have simply [y | Just y <- [Just 1, Nothing, Just 2]] |
| 2026-01-02 22:07:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-02 22:05:37 +0100 | mmohammadi9812 | (~mohammad@104.28.214.168) (Remote host closed the connection) |
| 2026-01-02 22:02:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 22:02:46 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:02:04 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 21:58:13 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 21:57:56 +0100 | kuribas | (~user@2a02-1810-2825-6000-f2d4-59c7-29a4-df97.ip6.access.telenet.be) (Remote host closed the connection) |
| 2026-01-02 21:56:47 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 21:53:01 +0100 | <yahb2> | [1,2] |
| 2026-01-02 21:53:01 +0100 | <kuribas> | % [y | x <- [Just 1, Nothing, Just 2], Just y <- [x]] |
| 2026-01-02 21:52:23 +0100 | <kuribas> | Shouldn't it partial match on Just? |
| 2026-01-02 21:51:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 21:51:16 +0100 | <yahb2> | *** Exception: <interactive>:143:42-51: Non-exhaustive patterns in Just y ; ; ; HasCallStack backtrace: ; collectBacktraces, called at libraries/ghc-internal/src/GHC/Internal/Exception.hs:169:1... |
| 2026-01-02 21:51:15 +0100 | <monochrom> | % [y | x <- [Just 1, Nothing, Just 2], let Just y = x] |
| 2026-01-02 21:51:09 +0100 | <yahb2> | 2 |
| 2026-01-02 21:51:09 +0100 | <monochrom> | % 1+1 |