[過去ログ] 関数型プログラミング言語Haskell Part16 (978レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
556
(1): 553 [sage] 2011/11/15(火) 00:06:14.72 AAS
>>555
555(1): 545 [sage] 2011/11/14(月) 23:16:31.05 AAS
>>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 の意味が分からないです
ソースは見た?
今見てきたんだけど、内部での使われ方はそんな複雑じゃなかったよ。
sfはdpSwitchの第3引数として渡した関数に与える値を生成する為に使用されるSF a b型の値。
Yampaを知らんから適切な説明ができん。
558: 545 [sage] 2011/11/15(火) 07:37:16.66 AAS
>>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 とはどのような意味を持つものなのか、疑問が沸きます
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.037s