I like common lisp, where sbcl will catch the worst type errors while compiling, but you can also specify types and they will speed up your code.