Strong types are an obvious and IDE parseable way to express limited contracts with in the application. There are different methods with stronger and weaker le

Strong types are an obvious and IDE parseable way to express limited contracts with in the application. There are different methods with stronger and weaker level of that. There are codebases where they add a lot of value. In other big code bases strong types add no value or negative because they are to strong or to weak. For many applications they help. Other ways to manage large code bases include TDD with sufficient unit tests (can give more insight then just type errors).