Common lisp is dynamically typed. There are type hints that you can give the compiler, but I believe that's only useful for generating faster assembly. Also y

Common lisp is dynamically typed. There are type hints that you can give the compiler, but I believe that's only useful for generating faster assembly. Also you can get compile time warnings from macros, but that's much closer in nature to getting a parse error (something pretty much every language does that I'm aware of static or dynamically typed). I wouldn't be surprised to learn that there exists a common lisp typing extension that someone made with macros (after all racket has something like that iirc), however if it exists I didn't use it regardless.