From my experience in using Typescript, it is extremely useful. It catches most errors instantly in your editor so you can correct them before even attempting t

From my experience in using Typescript, it is extremely useful. It catches most errors instantly in your editor so you can correct them before even attempting to run your program or tests. This makes coding faster for me, even though I also have to specify types. This is not "overhead" - working through type relationships also improves your understanding of the code you are writing - often you will find errors in your reasoning before you've even written the code, just because spelling out the types leads you down the correct path. Yes, there are cases where you will not find an error until run time. Debugging this is identical to debugging that same error in Javascript, because you know you don't have guarantees from Typescript.