3 ms·
... 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 i
by shakna 7y ago
... 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 https://en.wikipedia.org/wiki/ACL2
- jcora 7y agoThis is not a practical language with dependent types tho lol