← All repos

zesterer/tao

View on GitHub ↗ ★ 1,162 Rust

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

7 mentions on Hacker News by 2 people: 1 story, 6 comments · first 2022-04-13 · latest 2022-07-05