3 ms·
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 pyth
by bsaul 13y ago
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 ?
- briancurtin 13y ago> 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.
- andrewcooke 13y agothere'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/ 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.
- asperous 13y agoWell 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://boo.codehaus.org/
- wahnfrieden 13y agohttp://www.python.org/dev/peps/pep-3107/ http://www.python.org/dev/peps/pep-3107/