zesterer/tao

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

257 best points · 97 comments · 1 Hacker News post · 1,162 GitHub stars · View on GitHub

Hacker News discussions

• Tao: A statically-typed functional language (257 points, 97 comments, by memorable, 2022-07-04)