🌱 Enrico's Digital Garden

flashcards/rust

9 items with this tag.

Sep 15, 2026
Cargo links multiple versions of a crate as distinct types, so a version leaking into a public API breaks callers — re-export the dependency
- atomic
- flashcards/rust
Sep 14, 2026
Rust has no runtime reflection — type_name and TypeId are compile-time generics that report the static type
- atomic
- flashcards/rust
Sep 10, 2026
Self-referential structs are impossible in Rust because a move relocates the struct but not its interior pointer — use indices or Pin
- atomic
- flashcards/rust
Sep 10, 2026
The borrow rule (many &T XOR one &mut T) exists to guarantee no aliased mutation — enabling optimization and data-race-freedom
- atomic
- flashcards/rust
Sep 08, 2026
Generics keep the concrete type, trait objects erase it — that lever generates every tradeoff
- atomic
- flashcards/rust
Sep 08, 2026
Object safety is whether a vtable can be built; where Self Sized carves offending methods out of the dyn interface
- atomic
- flashcards/rust
Sep 02, 2026
Coherence guarantees one impl per (trait, type) pair, enforced by the orphan rule and no-overlap
- atomic
- flashcards/rust
Sep 02, 2026
Make invalid states inexpressible by carving the value-set to match the domain
- atomic
- flashcards/rust
Feb 26, 2026
Closures

Created with Quartz v5.0.0 © 2026

GitHub
Discord Community