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.