- 622 名前:デフォルトの名無しさん mailto:sage [2007/12/30(日) 17:52:21 ]
- >>619
>なんでオブジェクト指向って言葉が根付いたのが手続き型言語の世界なんだろう。 関数型ではファンクターで抽象化できるからオブジェクト化が必要とされることがあまりなかったから。 手続き型では抽象化の方法がオブジェクト化に求められたが、これを関数型にポートする際にオブジェクト指向の関数型が必要とされた。 手続き型で蓄積された資産がすごい勢いでオブジェクト指向の関数型OCAMLにポートされつつあるからM$もF#を出す気になった。 こういった資産のひとつがOCAMLのocsigen。OCAML版Ruby on Railsのパクリ。 他にも、GaucheのKahuaもそれ系。 これらが関数型の世界でどんな進化をするのか興味深い。
|

|