Python from Wise Guy's Viewpoint

[Pascal Costanza]

Andreas Rossberg wrote:

>>An increase of expressive power of the static type checker decreases the
>>expressive power of the target language, and vice versa.
> 
> 
> That's a contradiction, because the type system is part of the "target"
> language. You cannot separate them, because the type system is more then
> just a static analysis phase - you can program it.

For christ's sake, the only interesting question here is: do statically 
typed languages increase or decrease the set of programs that behave 
well at runtime?


Pascal