関数型の定義が未だに分からない
2だけならどの言語でも原則として受け入れられているんじゃないの