Re: Properties and stricture

[John Porter]

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."