Programming Language Development Plugin¶
A deep technical reference for designing and implementing programming languages: language design decisions and their consequences, lexing and parsing, name resolution and modules, type systems from Hindley–Milner to effects and ownership, intermediate representations, optimization passes, code generation and backends, runtime systems, interpreters and JITs, error messages and diagnostics, incremental compilation and IDE integration, testing and verification, standard library and ecosystem design, and how languages evolve and are governed.
One reference, split into 5 skills along its section groups so a task loads only the part it needs. Section numbers (§N) are shared across the set and cross-references into a sibling skill are written as §N → skill. Reference, not tutorial: sections are independent, every claim is tagged by how durable it is (stable fundamentals vs. versioned specifics vs. genuinely contested questions), and a currency snapshot (verified August 2026) flags what goes stale first.
Skills¶
- language-design-parsing-and-types — Language Design, Lexing and Parsing, Names and Modules, and Type Systems (§0–§4): Routing; Language Design; Lexing and Parsing; Names, Scopes, and Modules; Type Systems.
- language-irs-optimization-and-backends — Intermediate Representations, Optimization, and Code Generation (§5–§7): Intermediate Representations; Optimization; Code Generation and Backends.
- language-runtimes-interpreters-and-jits — Runtime Systems, Interpreters, and JITs (§8–§9): Runtime Systems; Interpreters and JITs.
- language-diagnostics-tooling-and-evolution — Diagnostics, Incremental Compilation and IDE Support, Testing, Standard Library, and Evolution (§10–§14): Diagnostics; Incremental Compilation and IDE Support; Testing and Verification; Standard Library and Ecosystem; Language Evolution.
- language-development-reference — Anti-Patterns, Contested Questions, Currency, and Canon (§15–§20): Anti-Patterns; Contested Questions; Currency Snapshot; The Canon; Quick Reference; Sources and Method.
Skills in this plugin¶
- language-design-parsing-and-types
- language-development-reference
- language-diagnostics-tooling-and-evolution
- language-irs-optimization-and-backends
- language-runtimes-interpreters-and-jits