Strong static typing is a must for large scale software engineering. And by "large scale" I mean anything longer or more complicated than like a utility shell script.

These type extensions let you get some of the benefits of static typing for projects already written in Python or Ruby.