6 ms·
A Lisp with an HM type system and good error messages might be ideal for LLMs (if you don't want dependent types).
by sn9 1mo ago
A Lisp with an HM type system and good error messages might be ideal for LLMs (if you don't want dependent types).