状態、型、抽象化についていろいろ

ふみ (DJ Monad) @fumieval オブジェクト指向向きの言語は、様々な状態とそれに対する手続きを独立した「オブジェクト」に切り離すことができるが、手続きそのものはファーストクラスではない。Haskellの場合は真逆で、好きなように手続きを定義できるが、状態を制御可能にしたまま分離する仕組みがなかった。 ふみ (DJ Monad) @fumieval …というのを昨日山本さんに話した。これが従来のOOPの世界とHaskellのスタイルの間にある地溝で、ここに橋をかけない限り、状態について不自由が発生し続けるだろう

[Nnwww]

型、抽象化の話は明快、状態は明示的な記述の悪さと対照的なFRPの本質的な利点から始まってFRPの解決出来ない問題に続いていく、m2ymさんの状態の話は後で読み直そう…

[vanbraam]

FRP: これか http://mcaf.ee/o0znl 読んだけどよくわからなかった.特徴がdiscreteでcontinuousってどういう事;本論の方は,読んでてこれ http://mcaf.ee/qlpd2 を思い出した;私は純粋関数プログラミングは幻想だと思う派

[kasumani]

状態、型、抽象化についていろいろ 「型を付けないほうが自由？」抽象化と型の関係について 20代なのにモスキート音が聞こえない！→そもそも放送されていません.. Tags: from Pocket December 09, 2014 at 10:28PM via IFTTT

[karasu9113]

さ、三行で…