News for hackers. Stuff that matters.

A comment on A technical vision for the Haskell ecosystem. Parent comment

Re:A technical vision for the Haskell ecosystem by 3836293648 on Friday November 13, 2026 @03:27PM (#50489166)
Just reading chain of thought traces for Agda (I'm using Qwen 3.8-Flash-Next) and it's struggling so hard with just the syntax, long before it can struggle with semantics or type errors.

Admittedly I'm not much better, Agda has some crazy scoping rules at times and its operators are a mess, so much worse than Haskell, but at least I don't have to re-learn from scratch after every compaction.

[ Parent | on HN ]
Re:A technical vision for the Haskell ecosystem by calebkaiser on Friday November 13, 2026 @04:30PM (#50490053)
Yeah I know this pain. I actually have had some success by giving the agent a style guide for Lean that is strictly not conventional. The nice syntactic shortcuts and different modes that make Lean more ergonomic for humans, in my experience, actually make it easier for an agent to trip itself up.
[ Parent | on HN ]