rust
On Subtyping and Variance in Rust
1 Introduction Subtyping is a relationship between types, where a type S conforms to the type T’s interface and th...Typestate pattern in Rust
1 Introduction Rust’s type system is quite sophisticated, allowing for plethora of useful idioms. One of such idio...