PEP 3107 and stronger typing (note: probably a newbie question)

[harri]

Bruno Desthuilliers wrote:
[...]
>
> It seems obvious from this that static typecheking would require
> dropping all dynamism from Python - then turning it into another, very
> different (and mostly useless as far as I'm concerned) language. IOW :
> you can't have Python *and* static typechecks - both are mutually
> exclusive. Hence my answer : if you want static typecheking, you'll have
> to use another language - one way or another.

Well, static typing for me is usually the way to get the last speed
required once the
algorithmic improvements are exhausted.

The language Pyrex uses combines dynamic and static typing in a very
useful manner.

"Practicality beats purity"

Harri