Hack (プログラミング言語)
Hackでは関数の引数や戻り値に型を指定することができる。型の指定は以下のように行う。