43 ms·
Almost as though in order to maintain runtime type invariants on values you must use some kind of function to “construct” them...
by binary132 3y ago
Almost as though in order to maintain runtime type invariants on values you must use some kind of function to “construct” them...
- pyjarrett 3y agoAda 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.