enterprisey
(replying to Saagar Jha)
@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
Saagar Jha
(replying to enterprisey)
@enterprisey I am very much on the side of near-universal bounds checks
Kevin Chadwick
(replying to Saagar Jha)
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.