Safe and Static Methods for Memory Management

Dirty Notes: MIR has Linear Type System, as drop is exposed explicitly. While Rust has Affine Type System, while must_use is not enforcing to consume values. Linear type systems are the internal language of closed symmetric monoidal categories

Addition: Categorical Semantic of Linear Type Systems: