I think that’s a major simplification of what’s going on in software development. Alan Kay invented OO, and everyone says the same thing about OO - that it’s over complicated and slows down development.

And then everyone replies with, “well that’s not _real_ OO - if you did OO right the software would be perfect!”

Except real OO cannot be done.

So, yea types are a tool and should be used wisely. But let’s not pretend like there’s some magical methodology out there that removes complexity from software.