> if you use typing outside these two scopes you'd probably find many troubles. - encoding invariants and define valid evolutions of the codebase - memory saf

> if you use typing outside these two scopes you'd probably find many troubles. - encoding invariants and define valid evolutions of the codebase - memory safety without a garbage collector (see Rust’s Affine type system)