純粋関数型言語とそうでない言語の違い - lethevert is a programmer

某所の議論を見て思ったのだけれど、 普通のオブジェクト指向言語でプログラミングする時は、対象を内在化してプログラムを書くという手法が比較的多く採用されているような気がする。特に複雑な問題を定式化するときは、対象をオブジェクトの形で表現するというところから設計が開始する。UMLなんかはその線で進めることが前提になっている気がする。 対象を内在化してオブジェクトの関係を固定化すると、対象に対する操作は自然に副作用を伴う操作になる。そのため、そのようなアプローチで進めた設計は、純粋関数型言語とは相容れないものになってしまう。おそらく、普通のオブジェクト指向言語で育ったプログラマは、この壁にぶつかってなかなか乗り越えられないのではないかと思う。 純粋関数型言語を相手にするときは、対象を内在化してプログラムを書くという手法は全面的に捨てる必要がある。代わりに、対象を外在化するというアプローチが必要に

[monjudoh]

オブジェクト指向言語と関数型言語の考え方の大きな違いと、オブジェクト指向言語での開発者が関数型言語を学ぶ上での落とし穴

[terazzo]

OOでも分厚いコントロール層を構築していくとメタファー的なプログラミングから離れていくよ。多態とか単一責務とか徹底すると結局は外在的になっていく。

[nanakoso]

モデルの外在化⇔内在化