type-driven-design-rust
Sûr 77Concevoir des API Rust plus sûres avec les types
par EmilLindfors
Les API Rust peuvent autoriser des états invalides ou des valeurs interverties lorsque les invariants restent dans la logique d’exécution. Cette compétence montre comment encoder les invariants avec des newtypes, typestate, builders, types fantômes et types de session.