Building Little Languages with Rust
summary
Builds a query language for protocol buffers that searches a 200 MB/day archive and actually runs against year‑long transit data. Uses Google protoc tools to generate C code compiled into a C-generated .so via protoc and loads it with Rust FFI for schema and type checking. Implements a parser, a simple type checker, and a surprisingly compact iterator-based evaluator in Rust; originally written in C then rewritten in Rust, the Rust version is smaller and works, with some borrow‑checker friction.
AI-written summary · about
chapters (6)
- 0:00Intro
- 1:07Motivating Example: Transit Data
- 3:19Parts of my little language
- 5:07Type Checker
- 8:17The power of abstractions
- 12:01Conclusion
related talks
40mRust’s approach of getting things right
20mRust for Safer Protocol Development
26mMoving to modern languages in long-living projects
36mRusty Runtimes: Building Languages In Rust
49mThe Eternal Sunshine of the Spotless Programming Language
21mWhat I Learned About Rust by Creating a Language
27mMiniRust: A Core Language for Specifying Rust
56mReady for Rust