Comment by drwallace

And that type system is written in a Lisp (Scheme).