静的型付けができるスクリプト言語（TypeScript）

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