[stcredzero]

Type annotations are indeed useful for maintaining large projects. Even in dynamic languages, a lot of maintaining a large project is effectively type discipline.