"Strong typing vs. strong testing"

[Paul Rubin]

RG <rNOSPAMon at flownet.com> writes:
> I don't want to quibble over terminology.  Whatever label you choose to 
> put on it ("false positive", "not being able to express some things 
> without special extra effort") I consider it a deficiency.  The costs 
> are greater than the benefits.  Reasonable people can (and obviously do) 
> disagree.

Chris Smith's essay "What To Know Before Debating Type Systems"
discusses the question basically that way, without taking either side.
It's well worth reading:

http://web.archive.org/web/20080822101209/http://www.pphsg.org/cdsmith/types.html