> ... choose between adding type annotations where you don't particularly want them or ignoring compiler errors ... That is just not the case. Types get inferr

> ... choose between adding type annotations where you don't particularly want them or ignoring compiler errors ... That is just not the case. Types get inferred. If the inference isn't making it all the way through that means you have dynamic types, not a compilation error. And yes, ignoring warnings is crazy. TypeScript has very few warnings, mostly just errors that can't be ignored.