Track

Systems & Languages

Editor tooling that runs the real compiler instead of approximating it: a C++/CLI shim exposes the native parser in-process, and identifiers are classified by asking the AST what they are.

The same language, redesigned and rebuilt across four years. Each attempt was driven by a diagnosed failure in the one before it. The last stalled because type checking had grown inside the code generator, so every new feature cost more than the last. It is still going, and the next compiler is now underway, written in Alloy itself.