Overview
Explore a comprehensive keynote presentation on Rust programming language delivered at Scala Days Chicago 2017. Dive into Rust's innovative approach to systems programming, combining low-level control and predictability with safety and ergonomics. Discover the concept of "ownership" and its role in enabling memory safety without garbage collection, concurrency without data races, and abstraction without overhead. Learn how Rust guarantees thread safety through ownership and explore the integration of Rust code with other languages. Gain insights into the Rust community's approach to open, consensus-driven language evolution, achieving stability without stagnation. The presentation covers topics such as the basics of ownership, compiler-enforced moves, mutable references, borrow checking, concurrency, trait definition and usage, zero-cost abstractions, and Rust's feature pipeline. Understand why Mozilla supports Rust and how it balances control and safety in systems programming.
Syllabus
Intro
Why Mozilla?
What is control?
What is safety?
Ownership in Rust
Compiler enforces moves
Mutable references
Borrow checking
Bending the rule
Concurrency in Rust
Static checking for thread safety
Abstraction in Rust
Defining a trait
Using a trait
"Zero cost" abstraction
Leveraging abstraction
Rust 1.0: Stability as a deliverable
The feature pipeline
Taught by
Scala Days Conferences