Doesn't Clojure already have optional static type annotations like Common Lisp? I thought it did when I looked through the tutorials. In Common Lisp you can de

Doesn't Clojure already have optional static type annotations like Common Lisp? I thought it did when I looked through the tutorials. In Common Lisp you can define pretty much any type (with deftype), you can define algebraic types and even value dependent types. Once you add full type declarations to your code, you will get warnings for inconsistent and violated type declarations.