And Common Lisp actually allows adding type declarations[1], which can make code much more performant! Also, if you really, really want types, as in Haskell-li

And Common Lisp actually allows adding type declarations[1], which can make code much more performant! Also, if you really, really want types, as in Haskell-like types... there's Coalton[2], a language that's embedded in Common Lisp (CL is that powerful it allows things like this) with a ML type system and more "modern" idioms for people used to functional programming. [1] https://lispcookbook.github.io/cl-cookbook/type.html https://lispcookbook.github.io/cl-cookbook/type.html [2] https://coalton-lang.github.io/ https://coalton-lang.github.io/