"It is easier to write an incorrect program than understand a correct one." That's why it's harder to write a fully typed program in TypesScript than just hack

"It is easier to write an incorrect program than understand a correct one." That's why it's harder to write a fully typed program in TypesScript than just hack it JavaScript. A static type system will show you edge cases; probably more than you encounter in practice, but also the few that you will.