🚀 go-pugleaf

In article <4000003@nucsrl.UUCP> gore@nucsrl.UUCP (Jacob Gore) writes:

>In order for an error to be noticed at run time, the program thread
>containing the error has to be executed.  This may not happen until
>the program had been out in the field for many months (or years...).
>The only way to test for such errors it to have a test suite that
>executes every single branch in the software.

This has to be done anyway for reliable software - it's too bad that
only a handful of publicly-available programs come with test suites,
many folks don't realize that test programs are an important component
of systems in the real world.  Having compile-time type checking only
finds the second-least-interesting class of mistakes (syntax errors being
the least interesting).  It does not do anything for semantic errors,
such as those that flip F-16s upside down when crossing the equator...

>Jacob Gore

							stan shebs