What Should Haskell Be Replaced With in the AI Era?
satnam6502 · x · 2026-07-12
This repost discusses an article where the author switched their company's tech stack from Haskell to Python, explaining the trade-offs.
Core points:
- In the AI era, the relative value of Haskell's type system has decreased.
- In contrast, Haskell's slow compilation has become more painful.
- The author poses an interesting counterfactual: if they had moved to Lean instead of Python, they might have kept some of Haskell's advantages.
- This is because Lean not only has stronger formalization capabilities, but could also combine with AI theorem provers to prove formal code properties or help AI generate code with formal constraints.
- However, they admit Lean's build speed could still be a problem, though perhaps mitigated with further optimization.
Related event: Haskell to Python Shift Debated in the AI Era(4 posts)→
More from coding & agent
- Building a Secure AI Agent Gateway: Self-Hosting OAuth for Multiple SaaS Apps — Defiant_Cod_2654 · 2026-07-22
- Rowboat launches as an open-source, local-first AI coworker with memory — ycombinator · 2026-07-22
- Scoble says AI “loops” really means long-running multi-agent workspaces — Scobleizer · 2026-07-22
- Kimi Code opens a waitlist as Moonshot rolls out its coding product — Fabulous_Bonus_8981 · 2026-07-22
- Open-source runtime lets each repo define its own AI code reviewer — ibabufrik · 2026-07-22
- Indie Dev Asks: What's Actually Broken in Your AI Agent's Memory Today? — AcceptableTime7937 · 2026-07-22