Comment by eru

12 years ago

That's nice. What type system is that? Does it support eg parametricity?

That's the standard type system in Common Lisp.

As for whether Common Lisp supports parametricity, I don't know. It might be one of those things that isn't difficult to implement on your own, like design-by-contract or AMOP.