> A "dynamic" type system isn't actually a type system.

I didn't say it was. I said Lisp was a typed language. Different claim. Lisp can be either dynamically or statically typed, though dynamic typing is more common. See:

http://stackoverflow.com/questions/3323549/is-a-statically-t...

https://www.quora.com/Why-is-Lisp-dynamically-typed

But see my earlier warnings about the possibility of losing your carefully cultivated ignorance.

If you really want to play with fire, read these too:

https://en.wikipedia.org/wiki/Type_system

http://blogs.perl.org/users/ovid/2010/08/what-to-know-before...

Pay particular attention where it says, "Type systems are commonly classified by several words, of which the most common are ... dynamic ..."