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