[Cython] static type checking in Python

[Stefan Behnel]

Hi,

there's some work going on regarding static type analysis and checking of
Python programs, here's the mailing list for it:

https://groups.google.com/group/python-static-type-checking

I think this is somewhat related to Cython. After all, they are trying to
figure out static type information from source code - although apparently
rather in order to find bugs than to speed things up. But the one doesn't
necessarily exclude the other.

Stefan