ECMAScriptに型アノテーションの文法を追加した言語

コンパイラは型チェックを行い、JavaScriptのコードを吐き出す