Daniel S. Wilkerson wrote: > Michael G Schwern wrote: > > Type checking is nice, but its just one class of error-checking. > > Doesn't do squat for basic logic errors, for example. > > No, it does. I think you're missing what ought to be an obvious point: No amount of (sane) typing will allow your compiler to know that if ( x > y ) is wrong when you meant to say if ( x < y ) That is what is meant by "logic error". -- John Porter "Anything essential is invisible to the eyes."Thread Previous | Thread Next