LispForum

I'm a little bit of a type theory nerd, but I have a bit of a two tiered answer: Does Common Lisp need a better type system? No, I really don't think it does. I don't think you could really add any kind of static typing without essentially redesigning the whole language a la Qi. I think that it is ...

I have been reading the TAPL books by Pierce lately. I was really suprised how far they can get with type systems starting from the untyped lambda calculus. There are quite a few examples for various things, such as polymorphism, recursive types, subtyping, handling references and mutable state, for...