Comment by internet_points

There are lots of people successfully using agents with Haskell, for example

* https://github.com/digitallyinduced/ihp/ is mainly written with Claude now

* https://jappie.me/haskell-vibes.html is gushing over agent-written Haskell

* https://discourse.haskell.org/t/anti-llm-sentiment-considere... huge thread about the divisiveness of LLM's from some person who loves using them with Haskell

I can see how agent coding is a nice fit for Haskell, since LLM's tend to be best at tasks where you can easily verify the output – and GHC lets you easily verify much more of your domain than say Python (sure you can test some of what dynamic typing doesn't catch, but LLM-written tests do not always do what you think they should[0]). At the same time, the LLMs tend to not code golf unless asked to, and they don't care if they have to wait for dependencies to compile, so that takes away the two major Haskell time sinks.

[0] https://haskellforall.com/2026/05/type-out-the-code#:~:text=...