>>619
＞なんでオブジェクト指向って言葉が根付いたのが手続き型言語の世界なんだろう。

関数型ではファンクターで抽象化できるからオブジェクト化が必要とされることがあまりなかったから。
手続き型では抽象化の方法がオブジェクト化に求められたが、これを関数型にポートする際にオブジェクト指向の関数型が必要とされた。
手続き型で蓄積された資産がすごい勢いでオブジェクト指向の関数型OCAMLにポートされつつあるからＭ＄もＦ＃を出す気になった。
こういった資産のひとつがOCAMLのocsigen。OCAML版Ruby on Railsのパクリ。
他にも、GaucheのＫａｈｕａもそれ系。
これらが関数型の世界でどんな進化をするのか興味深い。