Angular 2 setzt auf TypeScript (statt AtScript), Google baut SoundScript (Typsystem für JS in der VM) in V8 ein und auch Micrsoft forscht scheinbar an einem ähnlichen Konzept. Dort heisst es allerdings Safe TypeScript.
Das könnte echt endlich was werden mit dem Versuch das Minenfeld Javascript-Programmierung zu räumen.