A Lisp with an HM type system and good error messages might be ideal for LLMs (if you don't want dependent types).