I've tried various LLMs with Haskell and I'm generally disappointed, but maybe I should give it another go. By its restrictive nature, the Haskell compiler wil

I've tried various LLMs with Haskell and I'm generally disappointed, but maybe I should give it another go. By its restrictive nature, the Haskell compiler will admit fewer buggier programs than another language. But that doesn't mean an LLM will be better at producing code (as opposed to plausible nonsense) I always preferred the Idris approach of code generation, which predates this deep learning fad. It's a proof search, where you supply the input types and the output types and Idris will find a correct implementation between the two.