A statically-typed functional language with polymorphism, typeclasses, algebraic effects, sum types, pattern-matching, first-class functions, currying, good diagnostics, and more!
Tao is still under heavy development. Expect to find bugs, unfinished features, and even soundness issues!