tao
Rust
★ 1.2k
updated 1y ago
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
No plain-English explanation yet — one is being written right now. Check back in a minute.