Comment by reikonomusha

SBCL has pretty good inference and compile-time checking for basic types when you declare your types. It's not so good at polymorphic types, custom types, etc. in terms of compile-the checking. But for that, Coalton lets you get something like Haskell or OCaml type checking at the cost of writing code in a more constrained manner.