{"adoption": {"forks": 75, "observed_at": "2026-08-28T04:05:09.849744+00:00", "stars": 1603}, "canonical_url": "https://ross.abutalabs.com/products/type-systems", "card": {"archived": false, "artifact_type": "learning-resource", "description": "Implementations of various type systems in OCaml.", "domain": ["programming-languages", "education", "tutorials"], "enriched": true, "function": ["type-system", "interpreter", "programming-language"], "health_score": 20, "homepage": null, "language": "OCaml", "license": "Unlicense", "license_family": "permissive", "maturity": "maintenance", "member_repos": ["tomprimozic/type-systems"], "name": "tomprimozic/type-systems", "platform": ["cross-platform"], "pushed_at": "2015-08-31T06:47:52+00:00", "repo": "tomprimozic/type-systems", "stars": 1603, "tags": ["ocaml", "type-inference", "hindley-milner", "algorithm-w", "gradual-typing", "extensible-records", "polymorphism", "dependent-types", "academic", "type-systems", "algorithms"], "topics": [], "urls": [], "use_cases": ["learn how Hindley-Milner type inference works", "study implementations of Algorithm W in OCaml", "understand extensible records with scoped labels", "explore type inference for higher-rank polymorphism", "see how gradual typing can be implemented", "experiment with extending a type system", "prepare for programming languages coursework or research"], "what_it_is": "A collection of minimal, well-commented OCaml implementations of various advanced type systems, including Algorithm W, extensible rows, first-class polymorphism, gradual typing, and refined types. It is designed as an educational resource for learning about type inference and experimenting with type system design.", "when_to_avoid": ["you need a production-ready type checker or compiler", "you want a maintained library with API stability and releases", "you need type system implementations in a language other than OCaml", "you want comprehensive documentation or tutorials beyond the code"], "when_to_choose": ["you want clear, minimal reference implementations of type inference algorithms", "you are learning programming language theory and want runnable code", "you want a starting point to build or extend your own type system", "you need to understand papers like Leijen's extensible rows or HMF concretely"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/type-systems", "repo": "tomprimozic/type-systems", "role": "main", "score": 32}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.849744+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T03:52:32.855349+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4e8ee2242caa9668ffee9ce45853f3eced385feaa58867c1c91ad6f3362e482f", "fetched_at": "2026-08-28T04:05:09.849744+00:00", "kind": "readme", "missing": false, "url": "https://github.com/tomprimozic/type-systems"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.849744+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T03:52:32.855349+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4e8ee2242caa9668ffee9ce45853f3eced385feaa58867c1c91ad6f3362e482f", "fetched_at": "2026-08-28T04:05:09.849744+00:00", "kind": "readme", "missing": false, "url": "https://github.com/tomprimozic/type-systems"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T03:52:32.855349+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4e8ee2242caa9668ffee9ce45853f3eced385feaa58867c1c91ad6f3362e482f", "fetched_at": "2026-08-28T04:05:09.849744+00:00", "kind": "readme", "missing": false, "url": "https://github.com/tomprimozic/type-systems"}], "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:05:09.849744+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.849744+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.849744+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T03:52:32.855349+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4e8ee2242caa9668ffee9ce45853f3eced385feaa58867c1c91ad6f3362e482f", "fetched_at": "2026-08-28T04:05:09.849744+00:00", "kind": "readme", "missing": false, "url": "https://github.com/tomprimozic/type-systems"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.849744+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.849744+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T03:52:32.855349+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4e8ee2242caa9668ffee9ce45853f3eced385feaa58867c1c91ad6f3362e482f", "fetched_at": "2026-08-28T04:05:09.849744+00:00", "kind": "readme", "missing": false, "url": "https://github.com/tomprimozic/type-systems"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.849744+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.849744+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.849744+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T03:52:32.855349+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4e8ee2242caa9668ffee9ce45853f3eced385feaa58867c1c91ad6f3362e482f", "fetched_at": "2026-08-28T04:05:09.849744+00:00", "kind": "readme", "missing": false, "url": "https://github.com/tomprimozic/type-systems"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.849744+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:05:09.849744+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T03:52:32.855349+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4e8ee2242caa9668ffee9ce45853f3eced385feaa58867c1c91ad6f3362e482f", "fetched_at": "2026-08-28T04:05:09.849744+00:00", "kind": "readme", "missing": false, "url": "https://github.com/tomprimozic/type-systems"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T03:52:32.855349+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4e8ee2242caa9668ffee9ce45853f3eced385feaa58867c1c91ad6f3362e482f", "fetched_at": "2026-08-28T04:05:09.849744+00:00", "kind": "readme", "missing": false, "url": "https://github.com/tomprimozic/type-systems"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T03:52:32.855349+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4e8ee2242caa9668ffee9ce45853f3eced385feaa58867c1c91ad6f3362e482f", "fetched_at": "2026-08-28T04:05:09.849744+00:00", "kind": "readme", "missing": false, "url": "https://github.com/tomprimozic/type-systems"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T03:52:32.855349+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4e8ee2242caa9668ffee9ce45853f3eced385feaa58867c1c91ad6f3362e482f", "fetched_at": "2026-08-28T04:05:09.849744+00:00", "kind": "readme", "missing": false, "url": "https://github.com/tomprimozic/type-systems"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 0, "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": 4599, "days_push": 4020, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 32, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}