I like Common Lisp's ability to annotate functions with types *for performance*. It removes much of the dynamic typing overhead.