Python from Wise Guy's Viewpoint

[Pascal Costanza]

Matthias Blume wrote:

> You first have to define what the meaning of a phrase is going to be
> if you let it slip past the type checker even though it is not
> well-typed.  As Andreas Rossberg pointed out, it is quite often the
> case that the type is essential for understanding the semantics.
> Simply ignoring types does not necessarily make sense under such
> circumstances.  So it all depends on how you re-interpret the language
> after getting rid of static types.

Can you show me an example of a program that does't make sense anymore 
when you strip off the static type information?


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)