Typed Python?

[Jacek Generowicz]

Jorge Godoy <godoy at ieee.org> writes:

> From what I've read I got that they were trying to show that there's no
> ambiguity in using "(set! x 10)" but there is in "x=10": is it an
> attribution or a comparison? 

There's no ambiguity about that in Python: 'x=10' is binding, 'x==10'
is comparison.

The ambiguity in Python is abouth whether 'x=10' creates a new
binding, or rebinds an existing name. Before lexical scopes this was
disambiguated with the 'global' keyword. Now, that's not enough any
more.