>>225
カリー化された関数（'a -> 'b -> 'c)なんかも高階関数と呼ばれるよね。

>>217
ハア？じゃあ、メソッドは関数の実装といえると思うが、どうよ？