{"adoption": {"forks": 257, "observed_at": "2026-08-28T04:08:06.897765+00:00", "stars": 3482}, "canonical_url": "https://ross.abutalabs.com/products/write-you-a-haskell", "card": {"archived": false, "artifact_type": "learning-resource", "description": "Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)", "domain": ["compilers", "programming-languages", "tutorials"], "enriched": true, "function": ["compiler", "interpreter", "parser", "type-system", "documentation"], "health_score": 20, "homepage": null, "language": "Haskell", "license": "MIT", "license_family": "permissive", "maturity": "maintenance", "member_repos": ["sdiehl/write-you-a-haskell"], "name": "sdiehl/write-you-a-haskell", "platform": ["cross-platform"], "pushed_at": "2021-01-11T13:56:03+00:00", "repo": "sdiehl/write-you-a-haskell", "stars": 3482, "tags": ["book", "hindley-milner", "type-inference", "lambda-calculus", "functional-programming", "pdf-book", "llvm", "type-theory", "haskell"], "topics": ["haskel", "compiler", "book", "evaluation", "lambda-calculus", "type", "type-checking", "type-system", "pdf-book", "functional-programming", "functional-language", "hindley-milner", "type-inference", "type-theory", "intermediate-representation"], "urls": [], "use_cases": ["learn how compilers work", "implement hindley-milner type inference", "build a functional programming language", "learn haskell through a compiler project", "understand type systems and type checking", "generate code with llvm from a custom language"], "what_it_is": "A free online book by Stephen Diehl that teaches how to build a modern functional language compiler from first principles in Haskell. It covers parsing, lambda calculus, type systems, Hindley-Milner inference, and code generation to LLVM.", "when_to_avoid": ["you need a production compiler or library", "you want a finished resource - the book is a work in progress with later chapters incomplete", "you are a Haskell beginner with no functional programming background"], "when_to_choose": ["you want a deep, principled walkthrough of building a functional compiler", "you want to learn type inference and type theory with concrete Haskell code", "you prefer a free book with HTML and PDF versions"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/write-you-a-haskell", "repo": "sdiehl/write-you-a-haskell", "role": "main", "score": 32}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.897765+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-29T18:36:26.746008+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a21cfbce13ae2054053913acdd601671ee0c9a19ef83e25a8e48abaa852edfcd", "fetched_at": "2026-08-28T04:08:06.897765+00:00", "kind": "readme", "missing": false, "url": "https://github.com/sdiehl/write-you-a-haskell"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.897765+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-29T18:36:26.746008+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a21cfbce13ae2054053913acdd601671ee0c9a19ef83e25a8e48abaa852edfcd", "fetched_at": "2026-08-28T04:08:06.897765+00:00", "kind": "readme", "missing": false, "url": "https://github.com/sdiehl/write-you-a-haskell"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-29T18:36:26.746008+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a21cfbce13ae2054053913acdd601671ee0c9a19ef83e25a8e48abaa852edfcd", "fetched_at": "2026-08-28T04:08:06.897765+00:00", "kind": "readme", "missing": false, "url": "https://github.com/sdiehl/write-you-a-haskell"}], "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:08:06.897765+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.897765+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.897765+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-29T18:36:26.746008+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a21cfbce13ae2054053913acdd601671ee0c9a19ef83e25a8e48abaa852edfcd", "fetched_at": "2026-08-28T04:08:06.897765+00:00", "kind": "readme", "missing": false, "url": "https://github.com/sdiehl/write-you-a-haskell"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.897765+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.897765+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-29T18:36:26.746008+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a21cfbce13ae2054053913acdd601671ee0c9a19ef83e25a8e48abaa852edfcd", "fetched_at": "2026-08-28T04:08:06.897765+00:00", "kind": "readme", "missing": false, "url": "https://github.com/sdiehl/write-you-a-haskell"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.897765+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.897765+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.897765+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-29T18:36:26.746008+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a21cfbce13ae2054053913acdd601671ee0c9a19ef83e25a8e48abaa852edfcd", "fetched_at": "2026-08-28T04:08:06.897765+00:00", "kind": "readme", "missing": false, "url": "https://github.com/sdiehl/write-you-a-haskell"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.897765+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:08:06.897765+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-29T18:36:26.746008+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a21cfbce13ae2054053913acdd601671ee0c9a19ef83e25a8e48abaa852edfcd", "fetched_at": "2026-08-28T04:08:06.897765+00:00", "kind": "readme", "missing": false, "url": "https://github.com/sdiehl/write-you-a-haskell"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-29T18:36:26.746008+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a21cfbce13ae2054053913acdd601671ee0c9a19ef83e25a8e48abaa852edfcd", "fetched_at": "2026-08-28T04:08:06.897765+00:00", "kind": "readme", "missing": false, "url": "https://github.com/sdiehl/write-you-a-haskell"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-29T18:36:26.746008+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a21cfbce13ae2054053913acdd601671ee0c9a19ef83e25a8e48abaa852edfcd", "fetched_at": "2026-08-28T04:08:06.897765+00:00", "kind": "readme", "missing": false, "url": "https://github.com/sdiehl/write-you-a-haskell"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-29T18:36:26.746008+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "a21cfbce13ae2054053913acdd601671ee0c9a19ef83e25a8e48abaa852edfcd", "fetched_at": "2026-08-28T04:08:06.897765+00:00", "kind": "readme", "missing": false, "url": "https://github.com/sdiehl/write-you-a-haskell"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 0, "longevity": 100, "rhythm": 35}, "computed_at": "2026-09-02T17:46:02.011165+00:00", "flags": ["no_releases"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 4258, "days_push": 2060, "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}}