On: Ada 95: The Craft of Object-Oriented Programming

[binary132]

Almost as though in order to maintain runtime type invariants on values you must use some kind of function to “construct” them...

[pyjarrett → binary132]

Ada checks the ranges on types assigned to each other at compile time and then invariants on assignment and when passed as parameters. You can turn the runtime side of these checks on or off individually at the module level.