LLMs Will Cheese Your Types: Fighting Back in Haskell

Sooo yes it’s true, I’ve been integrating LLMs and agentic coding tools in my Haskell coding since the beginning of this year for a lot of my projects, both personal and professional. I do all of my programming in Haskell, a language with a very expressive type system that encourages “type-driven development”. Working with LLMs on writing Haskell is a very unique experience; a lot of similarities…