It's slower when done retroactively. A developer writing typed code has the problem domain and software design unmarshaled into his brain while writing his smal

It's slower when done retroactively. A developer writing typed code has the problem domain and software design unmarshaled into his brain while writing his small section. Type testing occurs concurrently with feature testing. Types added retroactively need to be applied to a large codebase and undergo separate testing.