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