... Yes. Of course they can. Lisp is usually an academic language, which means r...

... Yes. Of course they can.

Lisp is usually an academic language, which means research into type systems and type safety frequently takes place in it.

ACL2 is a theorum prover written in Common Lisp [0]. And not just a random project either, but something AMD, ARM, IBM, etc. have used.

jcora on Dec 20, 2019 [–]

This is not a practical language with dependent types tho lol