Clojure is awesome for LLMs (if you shim in an automatic paren balancer).

But that's because it's tight, token efficient, and above all local. Pure functions don't require much context to reason about effectively.

However, you do miss the benefit of types, which are also good for LLMs.

The "ideal" LLM language would have the immutability and functional nature of Clojure combined with a solid type system.

Haskell or OCaml immediately come to mind, but I'm not sure how much the relative lack of training data hurts... curious if anyone has any experiences there.

I was ripping through an OCaml project of mine over the weekend with Gemini 3 Flash. Could have fooled me there's a training data shortage!