Microsoftが開発した、JavaScriptに型の仕組みを追加したプログラミング言語