Topic/Compiler

- Emjay - a simple JIT that does math · Andrea Bergia's Website: Today I wanna show off my most recent little project, called emjay. It’s a very simple “language”, with an evaluator that generates JIT code and executes it. It does not have a “normal” interpreter, only the JIT compiler. The language is extremely limited, but that was intentional, since I wanted something simple that I could write end-to-end. All the code is written in Rust and it is hosted on GitHub at https://github.com/andreabergia/emjay. It’s roughly 4k lines of code including tests, so it is small enough to be presented in this post.

- A length-indexed Vector in Rust: Sneak peeking at Dependent Types and an encoding of length-indexed vectors in Rust to constraint consumers on operations they can perform. It’s customary to introduce Dependent Types (types as first-class citizens that may depend on terms) with vectors (or rather linked-lists) parameterized by a type A, indexed by a type...

- Part 0: Designing a Language without a Parser · Thunderseethe's Devlog: Designing a language, types first
- Part 1: Bidirectional Constraint Generation
- Part 2: Tying up Type Inference
- Part 3: Rowing Afloat Datatype Boats
- Part 4: TypeChecking Top Level Functions
- Part 5a: Lowering Our AST to Escape the Typechecker
- Part 5b: Escaping the Typechecker, an Implementation
- Part 6a: Lowering Row Types, Evidently
- Part 6b: The Types of Lowered Rows
- Part 6c: The Heart of Lowered Rows
- Part 7: Lowering Top Level Items