I think that the biggest thing missing from Typescript is contract checking. The idea is that you use the type information to add assertions in the program and

I think that the biggest thing missing from Typescript is contract checking. The idea is that you use the type information to add assertions in the program and that should let you get more accurate stack traces even for the dynamic errors. An example would be getting an error in the line where you set a variable to null instead of getting an error latter on in the line where you try to call a method on that null variable.