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 d

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.