Tao

A statically-typed functional language with polymorphism, typeclasses, sum types, pattern-matching, first-class functions, currying, and good diagnostics.