関数型言語の「関数型」は
関数を変数として扱える＝関数型という変数の型を持っている
ということを表していて、
関数型言語を単純に定義すれば、関数型を持っている言語
ということでいいの？