4 ms·
What do you mean by a "proper type system"? In SBCL, if you set the optimization (SAFETY 3) then the system can catch many type errors in advance. Finally, ho
by madmax96 9y ago
What do you mean by a "proper type system"?
In SBCL, if you set the optimization (SAFETY 3) then the system can catch many type errors in advance.
Finally, homoiconicity simply means that the text of a program generally resembles the AST of the language. Adding type annotations (which you can do in CL, clojure, and typed racket) is therefore not incompatible with the principle of homoiconicity.
- tombert 9y agoI think that I got confused based on some post talking about difficulties of implementing a Hindley Milner type system in Lisp. So much for relying on three-year-old memories.