Java isn't that restrictive. Rust's type system is much more restrictive and customizable. That said, a good way to think about programs is a series of restric

Java isn't that restrictive. Rust's type system is much more restrictive and customizable. That said, a good way to think about programs is a series of restrictions, i.e. invariants. Truth be told, only Ada Spark so far really embraced invariants.