Why Ada Is the Language You Want to Be Programming Your Systems With

Re:Why Ada Is the Language You Want to Be Programming Your S... by markdoubleyou on Tuesday September 10, 2019 @03:11PM (#20932208)

A language doesn't make code automatically reliable, but it can certainly help.

Ada can do overflow checking, so choice of language can have an impact on reliability, but the software engineers deliberately disabled some of those checks to save CPU cycles on a computer that was running at/near capacity. Their reasoning was that it was impossible for the variables in question to overflow given the known flight characteristics... of an Ariane 4.

[ Parent | on HN ]

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 ]