Explore the inner workings of Rust's compiler architecture in this 32-minute Strange Loop Conference talk. Dive into the unique feature of Rust that allows access to all compiler internals from userland code, enabling the creation of static analysis tools and compilers. Learn how to write a simple static analyzer and implement a LISP that emits native objects using Rust's packaging machinery. Discover platform-specific hacks for creating a JIT compiler-like functionality. Gain insights into assembly, linkage, and code generation processes. Follow along as the speaker demonstrates practical examples, including a naive interpreter and compiler for Brainfuck. Understand the significance of LLVM in Rust's ecosystem and explore pattern matching techniques. Conclude with ideas for future applications and engage in a Q&A session to deepen your understanding of Rust's compiler capabilities.
Overview
Syllabus
richo who is this guy
Whyfor we're here
The tiniest rust compiler
Under the hood
What even is a compiler
and why do I want one?
Assembly
Linkage
Quick Wins brainfuck
Naive Interpreter
Naive Compiler Real like.. actual native code
First step, fixing codegen
A quick history lesson
clang
LLVM Low Level Virtual Machine
Aside: goddamit rust Why you ruin my talk in this way
Ok but like building things
Cheap thrills
Let's build a thing!
Pattern match like a champ
POW! Data
Conclusions
neat ideas going forward
Questions?
Taught by
Strange Loop Conference
