>>398
「関数型」言い始めたのはその前の>387からだろ．
>390はその流れを受けているだけ．

>>393
もともとの話が>338（1,2,が同じことを言っているのか別のことを言っているのか）の話なんだから，その文脈での"Object"だよ．
とりあえずWikipediaの「第一級オブジェクト」あたりを下敷きにすればいいんじゃね？
ja.wikipedia.org/wiki/%E7%AC%AC%E4%B8%80%E7%B4%

> 普通にできるジェネリック関数とか区別せずに、全ての関数でできる。
ということだけど，Haskellとかの関数型言語って，mapとかの高階関数そのものを引数にしたり戻り値にしたりできたっけ？