レス書き込み
スレへ戻る
写
レス栞
レス消
関数型プログラミング言語Haskell Part16
PC,スマホ,PHSは
ULA
べっかんこ
公式(スマホ)
公式(PC)
で書き込んでください。
名前
メール
引用切替:
レスアンカーのみ
>>558 > >>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 とはどのような意味を持つものなのか、疑問が沸きます > >
ローカルルール
SETTING.TXT
他の携帯ブラウザのレス書き込みフォームはこちら。
書き込み設定
で書き込みサイトの設定ができます。
・
ULA
・
べっかんこ(身代わりの術)
・
べっかんこ(通常)
・
公式(スマホ)
・
公式(PC)[PC,スマホ,PHS可]
書き込み設定(板別)
で板別の名前とメールを設定できます。
メモ帳
(0/65535文字)
上
下
板
覧
索
設
栞
歴
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.012s