Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
A Tale of Teaching Rust
Search
Andrew Lilley Brinker
April 10, 2025
Programming
0
10
A Tale of Teaching Rust
Andrew Lilley Brinker
April 10, 2025
Tweet
Share
More Decks by Andrew Lilley Brinker
See All by Andrew Lilley Brinker
Memory Safety and the Future of Vulnerabilities
alilleybrinker
0
19
Hello and Welcome: Documentation in the Rust Ecosystem
alilleybrinker
0
9
Efficient Nimber Calculation in Dots and Boxes
alilleybrinker
0
97
Other Decks in Programming
See All in Programming
Claude Codeで実装以外の開発フロー、どこまで自動化できるか?失敗と成功
ndadayo
2
180
Bedrock AgentCore ObservabilityによるAIエージェントの運用
licux
9
700
CLI ツールを Go ライブラリ として再実装する理由 / Why reimplement a CLI tool as a Go library
ktr_0731
3
1.1k
Constant integer division faster than compiler-generated code
herumi
2
660
UbieのAIパートナーを支えるコンテキストエンジニアリング実践
syucream
2
460
STUNMESH-go: Wireguard NAT穿隧工具的源起與介紹
tjjh89017
0
380
Infer入門
riru
4
1.5k
ゲームの物理
fadis
5
1.2k
Webinar: AI-Powered Development: Transformiere deinen Workflow mit Coding Tools und MCP Servern
danielsogl
0
130
『リコリス・リコイル』に学ぶ!! 〜キャリア戦略における計画的偶発性理論と変わる勇気の重要性〜
wanko_it
1
540
DynamoDBは怖くない!〜テーブル設計の勘所とテスト戦略〜
hyamazaki
1
200
実践 Dev Containers × Claude Code
touyu
1
210
Featured
See All Featured
Typedesign – Prime Four
hannesfritz
42
2.8k
Designing Dashboards & Data Visualisations in Web Apps
destraynor
231
53k
Save Time (by Creating Custom Rails Generators)
garrettdimon
PRO
32
1.4k
Practical Orchestrator
shlominoach
190
11k
Optimising Largest Contentful Paint
csswizardry
37
3.4k
Fireside Chat
paigeccino
39
3.6k
Java REST API Framework Comparison - PWX 2021
mraible
33
8.8k
Improving Core Web Vitals using Speculation Rules API
sergeychernyshev
18
1.1k
What’s in a name? Adding method to the madness
productmarketing
PRO
23
3.6k
Rebuilding a faster, lazier Slack
samanthasiow
83
9.1k
Facilitating Awesome Meetings
lara
55
6.5k
ピンチをチャンスに:未来をつくるプロダクトロードマップ #pmconf2020
aki_iinuma
126
53k
Transcript
A Tale of Teaching Rust Andrew Brinker
Hi! I’m Andrew!
I’m here to tell you a story
Act 1: The Idea
In early 2017, I was asked to teach a class
on programming languages
I replaced C with Rust, because it’s 2017
10 weeks long. Enough time for Rust, right?
Normally: Lisp, C, Java, Prolog Me: Haskell, Rust, Java, Prolog
3 weeks for Rust. No time to teach it all!
Act 2: The Pitch
What is Rust’s elevator pitch?
Zero-cost abstractions Move semantics Guaranteed memory safety (without GC) Threads
without data races Trait-based generics Type inference Minimal runtime Optional unsafety And more!
Zero-cost abstractions Move semantics Guaranteed memory safety (without GC) Threads
without data races Trait-based generics Type inference Minimal runtime Optional unsafety And more!
Week 1: Safety without GC = Ownership + borrows
+ lifetimes
Week 2: Threads without data races = Week 1
+ Send + Sync
Week 3: Explain why it matters
Act 3: The Plan
26 upper-division undergrads Wide variety of backgrounds None knew Rust
going in Some heard Rust was hard
What’s the approach?
Be very concrete: Lots of examples Live coding
Potential challenge: this requires the teacher to know Rust well
Suggestions: 1. Do examples beforehand 2. Treat rustc as a
teacher 3. Don’t fake it
Know the ecosystem of tools
Rust Playground The (New) Rust Book Rustlings ❤ Godbolt
Give room & tools to explore
Act 4: The Class
Lab 1: Safety without GC
All data has an owner Ownership can be moved Old
owner can’t use data Simple types can be copied
Students will realize this is painful to work around
Then introduce borrows
Aliasing XOR Mutability
Emphasize the rules Give lots of examples Show some complex
cases
Students will ask how it works
Then introduce lifetimes
Be very explicit: lifetimes are scopes, and all borrows have
one
The compiler tracks them whether they’re explicit or not
You can’t assign a lifetime
Sometimes you need code that’s generic over lifetimes
That’s when you make lifetimes explicit
If you have time (I didn’t), introduce Cell & RefCell
Assignment: do the move semantics Rustlings exercises
Lab 2: Threads w/out data races
Start with de fi nitions
Concurrency: Multiple threads of control Parallelism: Multiple threads of control,
running at once Deadlock: All threads are stopped (dead) Livelock: Threads are live, but not progressing Data race: Non-syncing mutable data across threads Race condition: Result depends on execution order And so on…
Same as before, be concrete
Talk about Send and Sync
Explain why some types implement them, and some don’t
Don’t explain unsafe traits (yet)
Introduce the key stdlib types: Arc, Rc, Mutex, RwLock
Explain why Arc is Sync but Rc isn’t
Make clear that Rust stops data races, not race conditions
Easy parallelism is the best! Show it off! Rayon, Hyper
w/ Tokio, Crossbeam
Assignment: solve the Dining Philosophers problem
Lab 3: Safety & Security
Bold move: Introduce unsafe
Explain Safe Rust & Unsafe Rust
Unsafe functions + unsafe traits: Have requirements the compiler can’t
check The programmer has to check instead
Unsafe blocks + unsafe trait impls: Tell the compiler “I’ve
checked these!” The compiler assumes you did so correctly
Safe Rust must trust Unsafe Rust
Unsafe Rust can’t trust Safe Rust
Safety lies at the module boundary
Safety has an impact on security
Embedded environments often can’t tolerate GC
Lots of old code in C and C++
Lots of common vulns still being written
Assignment: fi nd a CVE that could have been stopped
by Rust
Act 5: The Results
Ended the series with a post-Rust survey
Here’s what my students said:
Students thought the compiler was too picky
And the syntax was weird
A couple said they only liked Rust in comparison to
Haskell, which was too weird
Don’t despair!
Most students wanted to try Rust some more!
Students felt Rust was really powerful
Students felt more con fi dent than they did with
C++
And there are more reasons for optimism
The ergonomics initiative will help new Rustaceans!
Students did way better with ownership, borrowing, and lifetimes than
expected!
Conclusion
Can Rust be taught in 3 weeks? Not quite, but
you can get students excited for more!
Can Rust be taught to newer programmers? You bet!
Can Rust overcome the bad press on its learning curve?
I sure think so!
Thank you very much!
Twitter: @AndrewBrinker Github: @AndrewBrinker Class site: proglangs.com My site: andrewbrinker.com