I would be extremely excited about a static type checker, and given how favorably Python is seen in this community, plenty of others would be here as well. So p

I would be extremely excited about a static type checker, and given how favorably Python is seen in this community, plenty of others would be here as well. So please do post when you have a finished product! I'm sure you've seen these already, but if not, they would be highly relevant: * GvR did a commentary on some of the challenges that would arise with an optional type system: http://www.artima.com/weblogs/viewpost.jsp?thread=85551 http://www.artima.com/weblogs/viewpost.jsp?thread=85551 * Python 3 included some syntactic changes precisely to support things like type checking: http://www.python.org/dev/peps/pep-3107/ http://www.python.org/dev/peps/pep-3107/