Infer Project - A Statically-typed Dialect of Scheme
Infer combines many of the best features of Scheme and ML