Pretty sure both Common Lisp and Clojure use static types for performance. And as far as I know, they and Haskell are pretty much in the same ballpark when it c

Pretty sure both Common Lisp and Clojure use static types for performance. And as far as I know, they and Haskell are pretty much in the same ballpark when it comes to performance. I can understand you wanting static type checks for auto-complete, refactoring and minor correctness checks, but I don't think performance plays into it.