The Tale of Troy
summary
Rust brings Haskell-like features to systems code and claims real wins: Servo code and parts of Firefox show measurable speedups and parallelism that earlier C++ attempts failed to deliver. Examples include pattern matching and algebraic data types, stack-versus-heap control with Box/Arc, an ownership/borrow checker with lifetimes that prevents use-after-free, iterator fusion, traits (type-class-like) and associated types, but it lacks higher-kinded types and effect tracking; cargo includes built-in testing and benchmarking and Rayon offers parallel iterators.
AI-written summary · about
chapters (17)
- 0:00Start
- 6:56Immutable by default
- 8:19Closures
- 10:22Higher-order functions
- 14:21Iterators
- 16:29Algebraic data types
- 20:13Type classes
- 21:43Associated Types
- 23:44Higher-kinded types
- 25:46Effect tracking
- 26:31Variance rules
- 30:49Lifetimes
- 35:16Mutation tracking
- 40:29Wrapper types
- 42:06Testing
- 42:35Benchmarking
- 50:27Affine types
related talks
40mRust’s approach of getting things right
33mRust and Haskell, sitting in a tree
35mLet’s Talk About Rust
49mThe Eternal Sunshine of the Spotless Programming Language
47mWhat's unique about Rust?
53mRust: Reach Further!
01h 05mKeynote - Rust: confident, productive systems programming
32mThe Story of Stylo: Replacing Firefox's CSS engine with Rust