- 関数型プログラミング言語Haskell Part27＿©2ch.net
479 ：デフォルトの名無しさん[]：2015/02/10(火) 00:33:51.16 ID:nZohWp9h - 素直にMoggiの1989年からの一連の論文読むのが一番早いな。
|
- 関数型プログラミング言語Haskell Part27＿©2ch.net
482 ：デフォルトの名無しさん[]：2015/02/10(火) 10:15:51.98 ID:nZohWp9h - >>481
いやそらとっくの昔に読んだのでいまさら感想も何も、内容はワリとそのまま
（純粋な関数ならAが値域になるような）様々な計算の様態を
非停止性計算：⊥の追加によるリフティング A∪{⊥}
非決定性計算：ベキ集合 P(A)
副作用：記憶域の集合Sに対して (A × S)^S
例外：（A＋E）
継続：結果の集合Rに対して R^(R^A)
などと構成して、関手や対応する自然変換やそういうのをまとめて
Kleisli Triple, Monadとして構成できるよ、というだけの話なんだが。
|
- 関数型プログラミング言語Haskell Part27＿©2ch.net
484 ：デフォルトの名無しさん[]：2015/02/10(火) 10:42:59.32 ID:nZohWp9h - >>483
味付けなんかいらんだろ。正確にそのまま読みゃいいだけだ。
プログラム項の表示はKleisli Tripleで与えられるよ、ってだけなんだから。
|