A semi-working implementation of a slightly modified version of OCR's "Exam Reference Language" (this was formerly known as the "Pseudocode specification"). I say slightly modified, because their specification is not very clear about a lot of parts of the language (including the type system).
You can currently build this from source using cargo build, but it is not yet ready for general
usage.
Books that I have found helpful.
- Rustc dev guide - contains useful details which are also applicable to other languages
- GNU reading list
- Optimising Compilers for Modern Architectures (Randy Allen & Ken Kennedy)
- A catalogue of optimising transformations
- Chris Fallin's series on code generation in Cranelift
- asmtutor.com
- Cornell lecture series on compilers
- Cranelift demo JIT
- Kixiron's rust-langdev compilation
- Computer Organisation and Design - the hardware/software interface - David Patterson and John Hennessy
These aren't actually that relevant, but they were interesting.
- Practical Foundations for Programming Languages (Robert Harper)
- The Blind Spot (Jean-Yves Girard)
- Why Programs Fail - a guide to systematic debugging (Andreas Zeller)
- Headcrab's reading list
See <ROADMAP.md> for details.