Because of static types. If you're building software that needs to be maintained over time, types are always preferable to a lack of types. This is because type

Because of static types. If you're building software that needs to be maintained over time, types are always preferable to a lack of types. This is because types codify the shape of application data structures that exist whether you explicitly define them or not. A lack of types is a form of technical debt that every future developer has to repay as they discover application data structures through trial and error.