Common Lisp is strongly typed (type mismatches result in a sensible error), but is by default dynamically typed, unless you annotate.

The type system is not capable of useful, extensible polymorphic types, though.