Steve Downey on Nostr: Removing type annotations from a correct program in a language like JavaScript ...

Removing type annotations from a correct program in a language like JavaScript produces a correct program without behavior changes (usually) [this isn't the case for C++]

Adding type annotations is difficult and often uncovers issues, and these are often blamed on the type annotations. (See also arguments with the Rust borrow checker. )

Fundamentally, human beings can't be relied on to reason about programs and need all the help we can get.