The impression I have from reading the comments, seems to indicated that many believe Common Lisp not to have types ! With CLOS (and :before methods!), and opt

The impression I have from reading the comments, seems to indicated that many believe Common Lisp not to have types ! With CLOS (and :before methods!), and optional type declarations, and the awesome implementations which do type inferencing, you tend to catch far more bugs compared to say, something like Python. Yes, dear brethren, Common Lisp code (with SBCL) will not compile if the ftype conflicts with the inferred types of the arguments. Edit: Besides, the author, does not seem to have the same opinion about Lisp vs Haskell today.