optional static typing for Python

[Christian Heimes]

Arnaud Delobelle wrote:
> On Jan 27, 11:00 pm, "Russ P." <Russ.Paie... at gmail.com> wrote:
>> On Jan 27, 2:49 pm, "André" <andre.robe... at gmail.com> wrote:
>>> Perhaps this:http://www.python.org/dev/peps/pep-3107/mightbe
>>> relevant?
>>> André
>> Thanks. If I read this correctly, this PEP is on track for Python 3.0.
>> Wonderful!
> 
> Note that annotations do not provide explicit typing, AFAIK:
> 
> def f(x:int) -> int: return x*2
> 
> is stricly equivalent to
> 
> def f(x): return x*2
> f.__annotations__ = {'x':int, 'return':int}

Your assumption is correct.

Christian