Compiler Lecture Series

These are videos where various experts explain different parts of the compiler:

General

• January 2019: Tom Tromey discusses debugging support in rustc
• June 2019: Responsive compilers - Nicholas Matsakis - PLISS 2019
• June 2019: Things I Learned (TIL) - Nicholas Matsakis - PLISS 2019

Rust Analyzer

• January 2019: How Salsa Works
• January 2019: Salsa In More Depth
• January 2019: Rust analyzer guide
• February 2019: Rust analyzer syntax trees
• March 2019: rust-analyzer type-checker overview by flodiebold
• March 2019: RLS 2.0, Salsa, and Name Resolution

Type System

• July 2015: Felix Klock - Rust: A type system you didn't know you wanted - Curry On
• November 2016: Felix Klock - Subtyping in Rust and Clarke's Third Law
• February 2019: Universes and Lifetimes
• April 2019: Representing types in rustc
• March 2019: RFC #2229 Disjoint Field Capture plan

Closures

• October 2018: closures and upvar capture
• October 2018: blitzerr closure upvar tys
• January 2019: Convert Closure Upvar Representation to Tuples with blitzerr

Chalk

• July 2018: Coherence in Chalk by Sunjay Varma - Bay Area Rust Meetup
• March 2019: rustc-chalk integration overview
• April 2019: How the chalk-engine crate works
• May 2019: How the chalk-engine crate works 2

Polonius

• March 2019: Polonius-rustc walkthrough
• May 2019: Polonius WG: Initialization and move tracking

Miri

• March 2019: oli-obk on miri and constant evaluation

Async

• February 2019: async-await implementation plans
• April 2019: async-await region inferencer

Code Generation

• January 2019: Cranelift