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. observed · 2026-08-28
Health v2 · maintenance only
38/100
- Activity 12
- Release rhythm 35
- Longevity 100
Flags: no_releases
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 2429
- days_rel: n/a
- days_push: 528
- n_releases_24m: 0
Adoption not part of the score
1161 stars · 22 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
Tao is a statically-typed functional programming language implemented in Rust, featuring generics, typeclasses, sum types, pattern matching, first-class functions, currying, and generalised algebraic effects. It is a hobby/experimental language focused on totality and extreme optimisation, with a compiler and an in-browser playground.
Use cases
- experiment with algebraic effects in a functional language
- learn typeclasses and sum types through a small language
- try a statically-typed functional language in the browser
- study compiler design and MIR optimisation techniques
- write total programs that explicitly handle all inputs
- explore parser combinators in a functional language
When to choose
- you want to experiment with cutting-edge functional language features like algebraic effects and totality
- you are researching type systems or compiler optimisation
- you want a small, readable codebase for learning how languages are implemented
When to avoid
- you need a production-ready language with ecosystem, libraries, and long-term support
- you need guaranteed stability or backwards compatibility
- you prefer imperative or object-oriented programming styles
Facets
cli-tool · maturity experimental
compiler interpreter programming-language type-system parser programming-languages compilers cross-platform rust browser cli functional-language algebraic-effects typeclasses sum-types pattern-matching totality hobby-language diagnostics functional
2 sources
- readme: https://github.com/zesterer/tao · fetched 2026-08-28 · b0a9d03f08be
- homepage: https://tao.jsbarretto.com/ · fetched 2026-08-29 · cf55989e3ab4
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| zesterer/tao | main | 38 |
For agents
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem