Comment Comment by shakna ... 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.[0] https://en.wikipedia.org/wiki/ACL2 parent shakna 6 years ago
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.
[0] https://en.wikipedia.org/wiki/ACL2