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 dcss_gardener on Friday November 13, 2026 @01:09PM (#50487401)
The ideal language for the AI has very short feedback loops with highly localized errors and minimal up front reasoning about types that itself provides a surface for flailing and errors. I'm not familiar enough with haskell to say for sure but I don't think this describes the language very well.

The ideal language for the engineering driving the agent has maximum comprehensibility, since review and understanding are the real bottlenecks now. I'm also pretty sure this doesn't describe haskell. It doesn't really describe rust either.

It does describe ocaml. And also gleam. And moonbit, developed by someone who is a proven expert in exactly this domain and explicitly targeting this problem space.

[ Parent | on HN ]
Re:A technical vision for the Haskell ecosystem by jose_zap on Friday November 13, 2026 @02:22PM (#50488438)
Yet, "short feedback loops with highly localized errors" is exactly what Haskell is. You can start Haskell in interpreter mode (ghci) and you get instant feedback. Errors are always localized. Although my experience with claude in the last few months shows that it rarely hits a compilation error at all.
[ Parent | on HN ]