News for hackers. Stuff that matters.

A comment on Why Ada Is the Language You Want to Be Programming Your Systems With. Parent comment

Re:Why Ada Is the Language You Want to Be Programming Your S... by atoav on Tuesday September 10, 2019 @05:37PM (#20934063)
This is why I always document considerations like these with stuff like: “This error case can’t happen because foo” or even better, enforce these things by type system and let the compiler decide if it really can’t happen once you changed something in the other part of the code.
[ Parent | on HN ]
Re:Why Ada Is the Language You Want to Be Programming Your S... by shakna on Tuesday September 10, 2019 @07:14PM (#20934882)
Ada could have enforced those at the type system level, it has bounded types, but those checks were disabled.
[ Parent | on HN ]