As a developer that is very appreciative of statically typed languages and the benefit that that programming environment created inside of your development process, this project was particularly interesting. As Anders points out, this is not true “Static Typing” but allows the developer to state the intent of his/her code so that your coding process can be aided by tool support.
Also note that this entire project is Open Source – Way to go MS!
Have a look for yourself. I first found it via video here:
The official website, documentation, examples etc. can be found here: http://www.typescriptlang.org/