Newest at the top
| 2026-04-19 20:56:25 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 20:49:13 +0000 | <monochrom> | (The ideal, just writing "map f xs", requires meta-inferring whether f is a type or a term in the first place, for backward compatibility. Doable but a mess, not worth it.) |
| 2026-04-19 20:46:47 +0000 | <monochrom> | OK OK a hypothetical compromise is you can write "map _ _ f xs" meaning "please infer the ObTypeApplication". Then the syntax is unambiguous. It is still a bit annoying though. |
| 2026-04-19 20:41:42 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-04-19 20:41:33 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 255 seconds) |
| 2026-04-19 20:36:50 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 20:33:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-19 20:31:32 +0000 | zeenk | (~zeenk@2a02:2f04:a30e:6d00::879) (Quit: Konversation terminated!) |
| 2026-04-19 20:26:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 20:17:34 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
| 2026-04-19 20:17:34 +0000 | edwtjo | (~edwtjo@h-46-59-61-249.A213.priv.bahnhof.se) (Changing host) |
| 2026-04-19 20:17:34 +0000 | edwtjo | (~edwtjo@h-46-59-61-249.A213.priv.bahnhof.se) |
| 2026-04-19 20:15:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-19 20:14:27 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-04-19 20:10:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 20:10:30 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2026-04-19 20:05:53 +0000 | <monochrom> | I think it may be too late to enable type inference in Dhall now. Too hard to add it and has backward compatibility. |
| 2026-04-19 20:05:49 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-04-19 20:05:38 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 248 seconds) |
| 2026-04-19 20:05:06 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 248 seconds) |
| 2026-04-19 20:00:35 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-04-19 20:00:29 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-04-19 19:59:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-19 19:59:42 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 255 seconds) |
| 2026-04-19 19:59:05 +0000 | <monochrom> | I am not disgusted, don't worry. In the worst case, I could always go back to sufficient old versions. |
| 2026-04-19 19:59:00 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 19:58:49 +0000 | <janus> | ( i suppose those are the LLM related changes) |
| 2026-04-19 19:58:16 +0000 | <janus> | Grace just got a burst of activity after staying dormant for two years: https://github.com/Gabriella439/grace/graphs/contributors |
| 2026-04-19 19:58:01 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2026-04-19 19:57:45 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-04-19 19:55:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 19:55:08 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-04-19 19:53:54 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2026-04-19 19:46:35 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-19 19:45:36 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-19 19:44:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-19 19:44:07 +0000 | uli-fem | (~uli-fem@115.128.71.34) (Ping timeout: 264 seconds) |
| 2026-04-19 19:40:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-19 19:39:17 +0000 | uli-fem | (~uli-fem@115.128.71.34) |
| 2026-04-19 19:36:53 +0000 | <janus> | i imagine the current LLM spin disgusts you :) but can't it just be disregarded? |
| 2026-04-19 19:35:56 +0000 | <janus> | i wonder whether there ever was the follow-up post about 'standardizing bidirectional type checking for Dhall'? |
| 2026-04-19 19:34:54 +0000 | <janus> | 'ready-to-fork' seems nice, and that is also the approach taken in TaPL (they keep forking their own minimal language) |
| 2026-04-19 19:34:13 +0000 | <janus> | not sure how important backwards compat is for students? |
| 2026-04-19 19:34:06 +0000 | <janus> | the article emphasizes how she wanted to break backwards compat |
| 2026-04-19 19:32:31 +0000 | <janus> | https://haskellforall.com/2021/09/fall-from-grace-ready-to-fork |
| 2026-04-19 19:32:28 +0000 | <janus> | monochrom: the pitch for Grace points at some advantages that might make sense in education |
| 2026-04-19 19:32:24 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-19 19:29:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-19 19:28:56 +0000 | internatetional | (~nate@180.243.14.54) internatetional |
| 2026-04-19 19:28:27 +0000 | <EvanR> | nice |