Hacker News Reader

Comment by bsaul | Hacker News Reader

Sorry to harass the hn community over this one more time, but does anyone knows if optional static typing is even being discussed as a future evolution for python ? I know about the pep for annotations that could be used for that ( but in a non standardized way ), i know about the mypy project ( which seems like a one man project), but is that all ?

View on HN

Well there is Cython, which is compatible with your every day python, but it might not be what you're looking for. Rpython has some type inference, but it's designed exclusively to be used to make interpreters; no standard libraries or anything.

Personally I think the most amazing and practical (but possibly difficult) thing to do is to add global type inferencing (Hindley–Milner?) to (a fork of?) Jython.

There's also python-like languages with static typing already like boo: http://boo.codehaus.org/

http://www.python.org/dev/peps/pep-3107/

> Sorry to harass the hn community over this one more time, but does anyone knows if optional static typing is even being discussed as a future evolution for python ?

No, it is not.

there's also pytyp, which is pure-python (inefficient) but integrates with ABCs as well as annotations. no-one uses it, as far as i know, but i thought i'd throw it out there in case you were interested - http://www.acooke.org/pytyp/

i also have a vague memory of there being discussions on the python ideas list (which i don't read regularly). you might look there.

Reply on news.ycombinator.com