プログラミング言語の一つ。静的型付けを謳っているけれど、型の表現力としてはどうなんだろう。好きな人は好きだけど、関数型言語の界隈の人はうっすら嫌っているイメージがある。