静的型付けを行うプログラム言語では，コンパイル時に変数名の誤り，誤った値の代入などが発見できる。Webプログラミングで用いられるスクリプト言語のうち，変数の静的型付けができるものはどれか。

解説　本サイト独自（IPA公表のものではありません）

ウ　TypeScriptは，変数などに型を指定でき，コンパイル時に型の整合性を検査できるスクリプト言語である。変数名の誤りや，定めた型に合わない値の代入を実行前に発見できるため，問題文の静的型付けができる言語に該当する。

• ア　ECMAScriptは，変数の型を実行時の値に応じて扱う仕様であり，変数を静的に型付けしてコンパイル時に検査するものではない。
• イ　JavaScriptでは，変数そのものに静的な型を定めず，代入された値の型を実行時に扱うので，問題文の条件を満たさない。
• エ　VBScriptも，変数へ静的な型を指定してコンパイル時に代入の整合性を検査するスクリプト言語ではない。