Every argument about undefined behavior in a nutshell
@saagar bounds checks have a negligible performance impact in many use cases and even when they don't, they're still extremely worth it https://news.ycombinator.com/item?id=33805419
How much does Rust's bounds checking cost? | Hacker News

@enterprisey I am very much on the side of near-universal bounds checks

@saagar @enterprisey
@filippo

Ada is probably the fastest safest language on the planet. The ranged type system actually means that bounds checks can be elided in more cases than other languages. It can also ensure that a program never crashes better than any other and it isn't a difficult language to use.

"https://learn.adacore.com"

“learn.adacore.com"

An interactive learning platform to teach the Ada and SPARK programming languages.

learn.adacore.com