3 ms·
Would love to hear how - validated constraints on input/types/flow is one of the design objectives of Ada. In what way is Rust relevant here?
by pxmpxm 4y ago
Would love to hear how - validated constraints on input/types/flow is one of the design objectives of Ada. In what way is Rust relevant here?
- mustache_kimono 4y agoCan you describe what you mean here? I don't understand this feature re: Ada.
- elcritch 4y agoEven just the Ada ability to define integer and other ranges always seemed great! Rust doesn't provide integer overflow checking on release builds unless you use specialized methods. I think creating new number types like "Positive" also seems to require using unsafe, or at least the stdlib used it for a few of the number types I looked into.