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