RG <rnospa...@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
--
http://mail.python.org/mailman/listinfo/python-list
