News for hackers. Stuff that matters.

A comment on Why Don't People Use Formal Methods?. Parent comment

Re:Why Don't People Use Formal Methods? by patates on Tuesday January 22, 2019 @05:15AM (#18967278)
Ada has subtypes for such cases: https://en.wikibooks.org/wiki/Ada_Programming/Type_System#Co...
[ Parent | on HN ]
Re:Why Don't People Use Formal Methods? by Uberphallus on Tuesday January 22, 2019 @07:22AM (#18967745)
And checks on compile time are quite insightful, Ada tends to know beforehand if you're gonna run out of bounds.
[ Parent | on HN ]