Topics · Concept

Compilers

Turning programs into other programs: parsers, interpreters, type checkers, and code generation.

Within
Programming languages
Pages
5
On the map 5 pages and the topics around it
Tap a dot to select it, tap again to open it.

Open in the full map →

  1. 2026

  2. The Proof You Only Have to Write Once

    Generation is cheap, so verification is the bottleneck — and we throw the verification away every time. What if a proof, once written, could be named, shared, and vouched for? A content-addressed commons for verified Haskell, and the move I left for after the semantic-artifact trilogy.

    Formal methodsProgramming languagesAI-assisted engineeringOpen sourceHaskellCompilers

    13 min

  3. The Field Exists Now

    Alasdair Allan's agentlanguages.dev catalogue turns AI-oriented programming languages from a loose set of experiments into a field with camps, disagreements, and testable claims.

    Programming languagesAI-assisted engineeringFormal methodsHaskellCompilers

    7 min

  4. Source Code Is the New Assembly

    Closing the trilogy. The artifact you author is no longer source code. It is a typed, verifiable object that carries meaning. Code becomes a lowering target.

    AI-assisted engineeringProgramming languagesFormal methodsHaskellCompilersProvenance

    27 min

  5. The Last Programming Language Might Not Be for Humans

    Three futures for programming languages as AI becomes the primary author of code, and why I bet on Haskell.

    AI-assisted engineeringProgramming languagesFormal methodsHaskellCompilers

    26 min

  6. 2023

  7. All beginning is Haskell

    How Haskell shaped the way I think about building systems, and why I am still building Haskell tooling years after writing my first monad.

    Programming languagesHaskellDeveloper toolingCompilers

    10 min

    Open the full search →