Skip to content
Typedown

Compiler Research

Research docs covering compiler architecture patterns used by typedown: rust-analyzer architecture, red-green trees, incremental compilation with salsa, and rustc internals.

  • rust-analyzer: An implementation of LSP for the Rust programming language - a good reference model.

  • rustc Development Guide: Covers incremental compilation persistence, cache management, and stable hashing.

  • libsyntax: Rust compiler's crate that documents some design notes on tree structure and parser.

  • salsa: An incremental computation framework for building responsive compilers and language servers.