Newest at the top
| 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 |
| 2026-01-02 21:51:02 +0100 | <monochrom> | Oh lambdabot is away |
| 2026-01-02 21:50:59 +0100 | califax | (~califax@user/califx) califx |
| 2026-01-02 21:50:37 +0100 | <kuribas> | > [y | x <- [Just 1, Nothing, Just 2], let Just y = x] |
| 2026-01-02 21:50:01 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-01-02 21:49:44 +0100 | kuribas | (~user@2a02-1810-2825-6000-f2d4-59c7-29a4-df97.ip6.access.telenet.be) kuribas |
| 2026-01-02 21:48:05 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 21:47:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 21:46:51 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 21:43:30 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 21:41:47 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 21:36:13 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 21:35:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 21:34:54 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-02 21:29:55 +0100 | <Milan_Vanca> | I didn't expect that! This is really cool. |
| 2026-01-02 21:29:26 +0100 | <monochrom> | Then yes the prefix can be freed. |
| 2026-01-02 21:29:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-02 21:28:58 +0100 | <Milan_Vanca> | Imagine I would split this big list at 10^6 index and then only used everithing after. Could from start to split be garbage collected if it is not used in other functions? |
| 2026-01-02 21:28:15 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-01-02 21:27:51 +0100 | <Milan_Vanca> | So by introducing new function I can enforce what is shared. |