Re: Implicit actions & program correctness

[Paul Rubin <no.email@nospam.invalid>]

deadhacker <gstover@gmail.com> writes:
> I guess another way to look at what I'm wondering is: In books about
> software engineering with Ada, I see lots of talk about correctness
> especially by moving bug detection to the compile phase.  How often
> can that actually be done?

Quite a lot, especially if you use fancier static checking like SPARK.
Programming errors can be classified into obvious silly ones, and more
subtle ones.  Decent compile time checking can catch most of the silly
ones.  That helps reliability and decreases testing workload, even if
you still have to deal with the remaining errors the usual ways.