`let val = 3;` This statement can be statically analyzed using the inferred static types that are already present. There is a lot of idiomatic javascript code

`let val = 3;` This statement can be statically analyzed using the inferred static types that are already present. There is a lot of idiomatic javascript code that already has inferr-able static types in it. In fact, if you turn on the "implicit any" option in the typescript compiler, then you never need to add any types.