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 _______________________________________________ cython-devel mailing list cython-devel@python.org http://mail.python.org/mailman/listinfo/cython-devel