{"adoption": {"forks": 22, "observed_at": "2026-08-28T04:03:49.246438+00:00", "stars": 1161}, "canonical_url": "https://ross.abutalabs.com/products/zesterer-tao", "card": {"archived": false, "artifact_type": "cli-tool", "description": "A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.", "domain": ["programming-languages", "compilers"], "enriched": true, "function": ["compiler", "interpreter", "programming-language", "type-system", "parser"], "health_score": 28, "homepage": "https://tao.jsbarretto.com/", "language": "Rust", "license": "MPL-2.0", "license_family": "copyleft", "maturity": "experimental", "member_repos": ["zesterer/tao"], "name": "zesterer/tao", "platform": ["cross-platform", "rust", "browser", "cli"], "pushed_at": "2025-03-23T21:36:31+00:00", "repo": "zesterer/tao", "stars": 1161, "tags": ["functional-language", "algebraic-effects", "typeclasses", "sum-types", "pattern-matching", "totality", "hobby-language", "diagnostics", "functional"], "topics": ["functional", "programming-language", "compiler"], "urls": [], "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"], "what_it_is": "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.", "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"], "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"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/zesterer-tao", "repo": "zesterer/tao", "role": "main", "score": 38}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:03:49.246438+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T08:22:58.041647+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b0a9d03f08be440f4e7f45b56bf0ad3a495cea510db038fff16a5c806a7af2c1", "fetched_at": "2026-08-28T04:03:49.246438+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zesterer/tao"}, {"content_hash": "cf55989e3ab4a5b121b28ef8d856009140a910104459c2bff70b2117b21568bb", "fetched_at": "2026-08-29T12:36:14.515173+00:00", "kind": "homepage", "missing": false, "url": "https://tao.jsbarretto.com/"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:03:49.246438+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T08:22:58.041647+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b0a9d03f08be440f4e7f45b56bf0ad3a495cea510db038fff16a5c806a7af2c1", "fetched_at": "2026-08-28T04:03:49.246438+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zesterer/tao"}, {"content_hash": "cf55989e3ab4a5b121b28ef8d856009140a910104459c2bff70b2117b21568bb", "fetched_at": "2026-08-29T12:36:14.515173+00:00", "kind": "homepage", "missing": false, "url": "https://tao.jsbarretto.com/"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T08:22:58.041647+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b0a9d03f08be440f4e7f45b56bf0ad3a495cea510db038fff16a5c806a7af2c1", "fetched_at": "2026-08-28T04:03:49.246438+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zesterer/tao"}, {"content_hash": "cf55989e3ab4a5b121b28ef8d856009140a910104459c2bff70b2117b21568bb", "fetched_at": "2026-08-29T12:36:14.515173+00:00", "kind": "homepage", "missing": false, "url": "https://tao.jsbarretto.com/"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:03:49.246438+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:03:49.246438+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:03:49.246438+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T08:22:58.041647+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b0a9d03f08be440f4e7f45b56bf0ad3a495cea510db038fff16a5c806a7af2c1", "fetched_at": "2026-08-28T04:03:49.246438+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zesterer/tao"}, {"content_hash": "cf55989e3ab4a5b121b28ef8d856009140a910104459c2bff70b2117b21568bb", "fetched_at": "2026-08-29T12:36:14.515173+00:00", "kind": "homepage", "missing": false, "url": "https://tao.jsbarretto.com/"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:03:49.246438+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:03:49.246438+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T08:22:58.041647+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b0a9d03f08be440f4e7f45b56bf0ad3a495cea510db038fff16a5c806a7af2c1", "fetched_at": "2026-08-28T04:03:49.246438+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zesterer/tao"}, {"content_hash": "cf55989e3ab4a5b121b28ef8d856009140a910104459c2bff70b2117b21568bb", "fetched_at": "2026-08-29T12:36:14.515173+00:00", "kind": "homepage", "missing": false, "url": "https://tao.jsbarretto.com/"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:03:49.246438+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:03:49.246438+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:03:49.246438+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T08:22:58.041647+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b0a9d03f08be440f4e7f45b56bf0ad3a495cea510db038fff16a5c806a7af2c1", "fetched_at": "2026-08-28T04:03:49.246438+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zesterer/tao"}, {"content_hash": "cf55989e3ab4a5b121b28ef8d856009140a910104459c2bff70b2117b21568bb", "fetched_at": "2026-08-29T12:36:14.515173+00:00", "kind": "homepage", "missing": false, "url": "https://tao.jsbarretto.com/"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:03:49.246438+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:03:49.246438+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T08:22:58.041647+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b0a9d03f08be440f4e7f45b56bf0ad3a495cea510db038fff16a5c806a7af2c1", "fetched_at": "2026-08-28T04:03:49.246438+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zesterer/tao"}, {"content_hash": "cf55989e3ab4a5b121b28ef8d856009140a910104459c2bff70b2117b21568bb", "fetched_at": "2026-08-29T12:36:14.515173+00:00", "kind": "homepage", "missing": false, "url": "https://tao.jsbarretto.com/"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T08:22:58.041647+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b0a9d03f08be440f4e7f45b56bf0ad3a495cea510db038fff16a5c806a7af2c1", "fetched_at": "2026-08-28T04:03:49.246438+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zesterer/tao"}, {"content_hash": "cf55989e3ab4a5b121b28ef8d856009140a910104459c2bff70b2117b21568bb", "fetched_at": "2026-08-29T12:36:14.515173+00:00", "kind": "homepage", "missing": false, "url": "https://tao.jsbarretto.com/"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T08:22:58.041647+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b0a9d03f08be440f4e7f45b56bf0ad3a495cea510db038fff16a5c806a7af2c1", "fetched_at": "2026-08-28T04:03:49.246438+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zesterer/tao"}, {"content_hash": "cf55989e3ab4a5b121b28ef8d856009140a910104459c2bff70b2117b21568bb", "fetched_at": "2026-08-29T12:36:14.515173+00:00", "kind": "homepage", "missing": false, "url": "https://tao.jsbarretto.com/"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T08:22:58.041647+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b0a9d03f08be440f4e7f45b56bf0ad3a495cea510db038fff16a5c806a7af2c1", "fetched_at": "2026-08-28T04:03:49.246438+00:00", "kind": "readme", "missing": false, "url": "https://github.com/zesterer/tao"}, {"content_hash": "cf55989e3ab4a5b121b28ef8d856009140a910104459c2bff70b2117b21568bb", "fetched_at": "2026-08-29T12:36:14.515173+00:00", "kind": "homepage", "missing": false, "url": "https://tao.jsbarretto.com/"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 12, "longevity": 100, "rhythm": 35}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_releases"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 2429, "days_push": 528, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 38, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}