Yes
LLMs + Haskell is an extremely productive combo
cosmic_quanta on Hacker News
In the thread “After 7 years in production, Scarf has reluctantly moved away from Haskell”
Helped: Expressive types and compiler feedback allow agents to converge quickly.
For what it's worth, I've been using Haskell in production at Bitnomial, a financial exchange, and LLMs + Haskell is an extremely productive combo. Since Opus 4.6, LLMs have been pretty clever at using fancy types with libraries like Servant and Beam. …