[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)

関数型プログラミング言語Haskell Part16 http://echo.5ch.net/test/read.cgi/tech/1317958045/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

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

---

558: 545 [sage] 2011/11/15(火) 07:37:16.66 >>556 私も一応ソースは見ましたが、私にはけっこう複雑でまだ計算を正しく追えていません > sfはdpSwitchの第3引数として渡した関数に与える値を生成する為に使用されるSF a b型の値 ということは、SF a b型の値ではなくて SF b c 型の値ではないでしょうか どちらにしても、それなら dpSwitch 関数が第1引数として適用する関数は 次のような型で良いはずです a -> col (SF a b) -> col (b, (SF a b)) あるいは（もし私の認識の方が正しければ）、 a -> col (SF b c) -> col (b, (SF b c)) そうではなく、わざわざ forall を付けて汎用の sf 型としているからには、 シグナル関数以外のどのような型でも受け付けるという事ではないでしょうか そう考えると、ではこの sf とはどのような意味を持つものなのか、疑問が沸きます http://echo.5ch.net/test/read.cgi/tech/1317958045/558

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.016s