Python from Wise Guy's Viewpoint

Joachim Durchholz joachim.durchholz at web.de
Thu Oct 23 07:21:04 EDT 2003


Pascal Costanza wrote:

> Fergus Henderson wrote:
> 
>> In my experience, people who have difficulties in getting their programs
>> to typecheck usually have an inconsistent design, not a design which is
>> consistent but which the type checker is too restrictive to support.
> 
> Have you made sure that this is not a circular argument?
> 
> Does "consistent design" mean "acceptable by a type checker" in your book?

Matthias Blume already posted that the type checker caught several 
design errors. He's not the only to post such reports, I regularly 
statements like that on comp.lang.functional.

Regards,
Jo





More information about the Python-list mailing list