>Er… how would that be heretic when Python 3's annotations were introduced to support exactly this?
I know well about Python 3 annotations, since that's what gave me hope to begin with. But I had the impression that every serious proposal I've seen on the Python Dev mailing list to integrate a static type checker in CPython had been met with rejection.
However, I just checked the archives and see now I was wrong. There have been multiple discussions about this, and even a working group.
GvR has given static types in Python the cold shoulder, but that attitude is clearly not shared by everyone in the community.
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.
I know well about Python 3 annotations, since that's what gave me hope to begin with. But I had the impression that every serious proposal I've seen on the Python Dev mailing list to integrate a static type checker in CPython had been met with rejection.
However, I just checked the archives and see now I was wrong. There have been multiple discussions about this, and even a working group.
GvR has given static types in Python the cold shoulder, but that attitude is clearly not shared by everyone in the community.
Glad to have been wrong in this case.