There is also the mypy project (http://mypy-lang.org/). They are working on a ty... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		maximilian on June 8, 2014 \| parent \| context \| favorite \| on: PyParallel: How we removed the GIL and exploited a... There is also the mypy project (http://mypy-lang.org/). They are working on a type-checked variant of python. Currently it's just a pre-processing stage, but they eventually want to make it possible to AOT compile using the type information to get a faster language.

freyrs3 on June 8, 2014 [–]

It was originally part of the authors PhD work, it hasn't been touched since he graduated.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact