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

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

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

---

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

---

555: 545 [sage] 2011/11/14(月) 23:16:31.05 >>553 forall sf . (a -> col sf -> col (b, sf)) これが返す値 col (b, sf) の sf は何に使われるのでしょうか b は分かります dpSwitch 関数が管理するシグナル関数の入力に使われるのですよね でも dpSwitch 関数の残りの引数には sf 型は無いです 論文「The Yampa Arcade」を読むと、 そこでは dpSwitch 関数の第1引数として自作の route 関数を敵用させていますが、 この route 関数を見てもやはり sf の意味が分からないです http://echo.5ch.net/test/read.cgi/tech/1317958045/555

556: 553 [sage] 2011/11/15(火) 00:06:14.72 >>555 ソースは見た？ 今見てきたんだけど、内部での使われ方はそんな複雑じゃなかったよ。 sfはdpSwitchの第3引数として渡した関数に与える値を生成する為に使用されるSF a b型の値。 Yampaを知らんから適切な説明ができん。 http://echo.5ch.net/test/read.cgi/tech/1317958045/556

---

ﾒﾓ帳

(0/65535文字)

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.042s