Types, variables and managing the memory

Linear type systems allow references but not aliases.

Garbage collection is not needed, as you can’t not mod the value a var is assigned to, till you transfer it’s ownership to any other one ( eg a smart pointer like `box <T>` ). That while is also the lifetime of var, as after which our var ll not exist in the current scope.¹