Re: Re: What I miss... (really C, Ada, r

[rosen@gypsy.UUCP]

> Re: Range checks in Ada
> 
> If you program has a proof of correctness, and it checks its input data
> properly, it does not need range checks on subscripts.  Such checking only
> slows the computer down.  I don't have spare cycles for such a wast of time.
> REAL programmers don't need subscript checking, they write lint free code
> automatically.  Please leave your ADA hype on net.ada where no one is
> bothering to read it!
>

Don't need runtime checks in your production quality Ada code?  Hmm, 'pragma
SUPPRESS' (alias runtime accelerator) ought to do it.  Go ahead, you can
scan through your 'C' code and remove all of the range checking statements;
I'll just add a few of these pragmas where I see fit.  Those of us in the
Ada community recognize a 'C' mentallity when we see it.  Why don't you keep
your 'C' rhetoric in 'net.lang.c.braindamage'?  This flame has been recorded.

------------
Steve Rosen
Siemens Research and Technology Laboratories
Princeton, NJ

USENET: {ihnp4|princeton|adrvax}!siemens!gypsy!rosen
ARPA:   siemens!gypsy!rosen@TOPAZ