Rust Type System Part 2 : Algebraic Types, Generic Associated Types, and Type-Level Concepts

Part 1 Type as Sets There are various ways to interpret types: Storage Method: The way data is stored. Types like i32, u8, and other copy types are stored on the Stack, unless explicitly placed inside a Box. Permitted Operations: Different types al...