[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

973(1): 2012/01/02(月)18:16 AA×
>>972


[240|320|480|600|100%|GIF|べ|ﾚｽ栞|ﾚｽ消]
973: [sage] 2012/01/02(月) 18:16:38.74 >>972 よくわかってないが、非決定計算、副作用、継続についてはMoggiの最初の論文の中で定式化されてる。 共通性といいたいところは多分普遍的性質のことだろうと思う。 普遍性の構造が共通している、というかそれぞれモナドで整理可能だからモナドなんだろう。 http://echo.5ch.net/test/read.cgi/tech/1317958045/973
よくわかってないが非決定計算副作用継続についてはの最初の論文の中で定式化されてる 共通性といいたいところは多分普遍的性質のことだろうと思う 普遍性の構造が共通しているというかそれぞれモナドで整理可能だからモナドなんだろう

---

上下前次1-新書関写板覧索設栞歴

---

あと 5 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.017s