Re: OT: Type safety (was: Language War (Re: "C" Manual))

[Preben Randhol <randhol@pvv.org>]

Craig Dickson <crdic@yahoo.com> wrote on 02/01/2002 (18:48) :
> 
> To say that any compiler, for any language, can guarantee that your
> program will do that you INTEND it to do is nonsense.

I never said that. Of course not. I don't understand why you get so angry
about it?

> > I didn't mean to say that it removes logical errors you may make in
> > your programming.
> 
> The problem is that you implied exactly that.

Yeah well English is my second language so I'm sorry if I expressed
myself clumsily if you would like to continue the discussion in
Norwegian we can do that :-)

> > But it will remove most errors
> > that you do with pointers and automatic typecasting that other languages
> > has.
> 
> That's a much more precise and accurate statement than what you originally
> wrote. Although the compiler doesn't, of course, remove these errors; it
> simply refuses to accept the code until you fix them.

Of course the compiler won't remove the errors by itself. "It will help
you find most errors" I should have said.


Preben
-- 
 ()   Join the worldwide campaign to protect fundamental human rights.
'||}
{||'                                           http://www.amnesty.org/