4 ms·
Rust doesn't have proper integer subtypes either. Ada has.
by JohnStrangeII 8y ago
Rust doesn't have proper integer subtypes either. Ada has.
- steveklabnik 8y agoAren’t ada’s runtime checked? You can do that in Rust.
- pjmlp 8y agoOnly if it cannot be proven at compile time.
- steveklabnik 8y agoInteresting. You wouldn’t happen to have a link to docs, would you?
- pjmlp 8y agoThe docs are the Ada language standard. http://www.ada-auth.org/standards/index.html http://www.ada-auth.org/standards/index.html Like with other languages, each vendor is free to do their best for optimizations, while keeping language semantics. Besides Ada Core, there are a couple others but at enterprise budget levels. http://www.adaic.org/ada-resources/pro-tools-services/ http://www.adaic.org/ada-resources/pro-tools-services/
- steveklabnik 8y agoThanks