Python from Wise Guy's Viewpoint
Pascal Costanza
costanza at web.de
Thu Oct 23 11:36:27 EDT 2003
Matthias Blume wrote:
> Pascal Costanza <costanza at web.de> writes:
>
>
>>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?
>
> Sure. What he says is that the problems with those programs are
> usually still there even after you erase types and, thus, arrive at an
> untyped program.
Well, to say this once more, there are programs out there that have a
consistent design, that don't have "problems", and that cannot be
statically checked.
Pascal
--
Pascal Costanza University of Bonn
mailto:costanza at web.de Institute of Computer Science III
http://www.pascalcostanza.de Römerstr. 164, D-53117 Bonn (Germany)
More information about the Python-list
mailing list