My point was that data can be corrupted due to logic bugs as well, safe languages no matter which one not even formal proofs prevent this.
If suffixes that the data written for an entry metadata is not the correct one for the actual content.
If suffixes that the data written for an entry metadata is not the correct one for the actual content.
For sure. But in the 10+ years I worked on Office, I spent far more time per UB bug than logic bugs. 1 UB bug could take weeks to fix. I don’t recall any logic bug taking more than a few days.
Developer productivity would be much improved if logic bugs were the only class of bugs.
I bet if Sinofsky would have had an option those AddIns wouldn't even exist, given his opinion on .NET.