develooper Front page | perl.perl6.language | Postings from June 2001

Re: Properties and stricture

Thread Previous | Thread Next
From:
John Porter
Date:
June 5, 2001 13:44
Subject:
Re: Properties and stricture
Message ID:
20010605164450.C25971@min.net
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


nntp.perl.org: Perl Programming lists via nntp and http.
Comments to Ask Bjørn Hansen at ask@perl.org | Group listing | About