Logs: liberachat/#haskell
| 2026-04-19 19:24:35 | × | tristanC quits (~tristanC@2602:61:712f:b700:a215:c067:33c4:f43e) (Changing host) |
| 2026-04-19 19:24:35 | → | tristanC joins (~tristanC@user/tristanc) |
| 2026-04-19 19:24:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-19 19:26:04 | → | internatetional joins (~nate@180.243.14.54) |
| 2026-04-19 19:26:11 | × | internatetional quits (~nate@180.243.14.54) (Client Quit) |
| 2026-04-19 19:28:27 | <EvanR> | nice |
| 2026-04-19 19:28:56 | → | internatetional joins (~nate@180.243.14.54) |
| 2026-04-19 19:29:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-19 19:32:24 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-19 19:32:28 | <janus> | monochrom: the pitch for Grace points at some advantages that might make sense in education |
| 2026-04-19 19:32:31 | <janus> | https://haskellforall.com/2021/09/fall-from-grace-ready-to-fork |
| 2026-04-19 19:34:06 | <janus> | the article emphasizes how she wanted to break backwards compat |
| 2026-04-19 19:34:13 | <janus> | not sure how important backwards compat is for students? |
| 2026-04-19 19:34:54 | <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:35:56 | <janus> | i wonder whether there ever was the follow-up post about 'standardizing bidirectional type checking for Dhall'? |
| 2026-04-19 19:36:53 | <janus> | i imagine the current LLM spin disgusts you :) but can't it just be disregarded? |
| 2026-04-19 19:39:17 | → | uli-fem joins (~uli-fem@115.128.71.34) |
| 2026-04-19 19:40:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-19 19:44:07 | × | uli-fem quits (~uli-fem@115.128.71.34) (Ping timeout: 264 seconds) |
| 2026-04-19 19:44:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-19 19:45:36 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-19 19:46:35 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-04-19 19:53:54 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2026-04-19 19:55:08 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-04-19 19:55:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-19 19:57:45 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-04-19 19:58:01 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2026-04-19 19:58:16 | <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:49 | <janus> | ( i suppose those are the LLM related changes) |
| 2026-04-19 19:59:00 | → | uli-fem joins (~uli-fem@115.128.71.34) |
| 2026-04-19 19:59:05 | <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:42 | × | target_i quits (~target_i@user/target-i/x-6023099) (Ping timeout: 255 seconds) |
| 2026-04-19 19:59:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-19 20:00:29 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-04-19 20:00:35 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-04-19 20:05:06 | × | target_i quits (~target_i@user/target-i/x-6023099) (Ping timeout: 248 seconds) |
| 2026-04-19 20:05:38 | × | uli-fem quits (~uli-fem@115.128.71.34) (Ping timeout: 248 seconds) |
| 2026-04-19 20:05:49 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-04-19 20:05:53 | <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:10:30 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2026-04-19 20:10:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-19 20:14:27 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 2026-04-19 20:15:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-19 20:17:34 | → | edwtjo joins (~edwtjo@h-46-59-61-249.A213.priv.bahnhof.se) |
| 2026-04-19 20:17:34 | × | edwtjo quits (~edwtjo@h-46-59-61-249.A213.priv.bahnhof.se) (Changing host) |
| 2026-04-19 20:17:34 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 2026-04-19 20:26:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-19 20:31:32 | × | zeenk quits (~zeenk@2a02:2f04:a30e:6d00::879) (Quit: Konversation terminated!) |
| 2026-04-19 20:33:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-19 20:36:50 | → | uli-fem joins (~uli-fem@115.128.71.34) |
| 2026-04-19 20:41:33 | × | uli-fem quits (~uli-fem@115.128.71.34) (Ping timeout: 255 seconds) |
| 2026-04-19 20:41:42 | → | troojg joins (~troojg@user/troojg) |
| 2026-04-19 20:46:47 | <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:49:13 | <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:56:25 | → | uli-fem joins (~uli-fem@115.128.71.34) |
| 2026-04-19 21:00:43 | × | uli-fem quits (~uli-fem@115.128.71.34) (Ping timeout: 244 seconds) |
| 2026-04-19 21:06:30 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-04-19 21:22:00 | → | connrs joins (~connrs@user/connrs) |
| 2026-04-19 21:22:31 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 264 seconds) |
| 2026-04-19 21:25:31 | × | internatetional quits (~nate@180.243.14.54) (Ping timeout: 264 seconds) |
| 2026-04-19 21:32:43 | → | uli-fem joins (~uli-fem@115.128.71.34) |
| 2026-04-19 21:36:59 | × | uli-fem quits (~uli-fem@115.128.71.34) (Ping timeout: 244 seconds) |
| 2026-04-19 21:48:11 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-19 21:52:05 | → | uli-fem joins (~uli-fem@115.128.71.34) |
| 2026-04-19 21:56:25 | × | uli-fem quits (~uli-fem@115.128.71.34) (Ping timeout: 248 seconds) |
| 2026-04-19 21:57:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-19 22:01:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-19 22:04:08 | × | tromp quits (~textual@2001:1c00:340e:2700:bd40:ea59:f230:b9cd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-19 22:11:30 | → | bggd joins (~bgg@2a01:e0a:fd5:f510:67c4:f6a6:5b85:b61c) |
| 2026-04-19 22:11:30 | × | bggd quits (~bgg@2a01:e0a:fd5:f510:67c4:f6a6:5b85:b61c) (Changing host) |
| 2026-04-19 22:11:30 | → | bggd joins (~bgg@user/bggd) |
| 2026-04-19 22:12:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-19 22:15:40 | × | srazkvt quits (~sarah@user/srazkvt) (Ping timeout: 276 seconds) |
| 2026-04-19 22:17:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-19 22:20:38 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-19 22:21:59 | → | uli-fem joins (~uli-fem@115.128.71.34) |
| 2026-04-19 22:26:24 | × | uli-fem quits (~uli-fem@115.128.71.34) (Ping timeout: 246 seconds) |
| 2026-04-19 22:28:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-19 22:28:47 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-04-19 22:32:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-19 22:33:21 | → | zalo-rocky joins (~flyingzal@186.19.88.142) |
| 2026-04-19 22:42:04 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-19 22:43:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-19 22:45:51 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 2026-04-19 22:47:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-19 22:49:26 | × | xff0x quits (~xff0x@2405:6580:b080:900:327f:cd1:7644:a0b0) (Quit: xff0x) |
| 2026-04-19 22:49:57 | × | zalo-rocky quits (~flyingzal@186.19.88.142) (Remote host closed the connection) |
| 2026-04-19 22:50:44 | → | zalo-rocky joins (~flyingzal@186.19.88.142) |
| 2026-04-19 22:52:58 | → | xff0x joins (~xff0x@2405:6580:b080:900:c26a:a1dc:fa20:1b1c) |
| 2026-04-19 22:53:27 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:59ef:a853:adea:227e) |
| 2026-04-19 22:53:27 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:59ef:a853:adea:227e) (Changing host) |
| 2026-04-19 22:53:27 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-19 22:54:29 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-04-19 22:54:40 | × | zalo-rocky quits (~flyingzal@186.19.88.142) (Client Quit) |
| 2026-04-19 22:55:26 | → | zalo-rocky joins (~flyingzal@186.19.88.142) |
| 2026-04-19 22:58:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-19 23:01:39 | → | havochunter joins (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) |
| 2026-04-19 23:03:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-19 23:08:52 | × | zalo-rocky quits (~flyingzal@186.19.88.142) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-19 23:09:08 | → | zalo-rocky joins (~flyingzal@186.19.88.142) |
All times are in UTC.