[lokedhs]

Common Lisp is 2 out of those three. Implementations such as SBCL give you a lot of static typing too, even though it's optional.