Python from Wise Guy's Viewpoint
costanza at web.de
Sat Oct 25 05:24:49 CEST 2003
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?
More information about the Python-list