[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
553(2): デフォルトの名無しさん [sage] 2011/11/14(月) 23:06:23.65 AAS
>>545545(4): デフォルトの名無しさん [sage] 2011/11/14(月) 22:04:22.81 AAS
Yampa を調べているのですが、意味が分からない部分があります
dpSwitch 関数が第1引数として適用する関数
forall sf . (a -> col sf -> col (b, sf))
これの sf はこの関数においてどのような役割を果たすのでしょうか
外部ﾘﾝｸ:www.haskell.org
こことか型変数の全称量化について簡潔に書いてあるよ。
上下前次1-新書関写板覧索設栞歴
あと 425 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s