ふみ (DJ Monad) @fumieval オブジェクト指向向きの言語は、様々な状態とそれに対する手続きを独立した「オブジェクト」に切り離すことができるが、手続きそのものはファーストクラスではない。Haskellの場合は真逆で、好きなように手続きを定義できるが、状態を制御可能にしたまま分離する仕組みがなかった。 2014-09-12 13:58:55 ふみ (DJ Monad) @fumieval …というのを昨日山本さんに話した。これが従来のOOPの世界とHaskellのスタイルの間にある地溝で、ここに橋をかけない限り、状態について不自由が発生し続けるだろう 2014-09-12 14:02:45
![状態、型、抽象化についていろいろ](https://cdn-ak-scissors.b.st-hatena.com/image/square/53e975cf3984234a31ee172e5767ea548fe6a959/height=288;version=1;width=512/https%3A%2F%2Fs.togetter.com%2Fogp2%2Ff53ace307df8b06c8ef9cacdeaa3a378-1200x630.png)