Yes, because then they would no longer be incremental. Every major company is basically working on slowly migrating all their dynamic code over to using static typing, but doing that all at once would be hard and breaking. (Often, this is done by requiring every new PR to have inferrable types, or at least most of them.)