>>209
ここでの論点は、俺的には、

高階関数は関数型の特徴と言えるか? これは概ね話がついた。

属性と方法の区別のあるOOPLは不完全或は欠陥があるのか? 未決

もし不完全でないとするならば、
高階関数を特徴とする関数型は属性と方法を区別するOOPとは
理想とする方向性がある意味逆と言えるか? 未決

ObjectとClosureが等価であるとは一体どのような意味か?
それは、そのビヘイビアにおいて同形であるということとは
どのような関係にあるのか? 不明

こんな感じだろ。

その209の論点は、とりあえずのところは今のトピックではない。
論点自体は至ってまともだが。