Python from Wise Guy's Viewpoint

[Pascal Costanza]

Matthias Blume wrote:
> Pascal Costanza <costanza at web.de> writes:
> 
> 
>>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.
> 
> 
> Care to give an example?  How you you know that the design is
> consistent? 

Squeak, probably. Lisp development environments. Probably almost any 
development environment with a good debugger that allows for changing 
code on the fly.

> Do you have a proof for that claim?  Can you write that
> proof down for me, please?

No. Design consistency is an aesthetical category.

> :-)
> 
> Matthias

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)