TypeScript
Microsoftが作ってるJavaScriptに型を付ける静的型付け言語