トップページ > プログラム > 2015年01月30日 > rGzX5MxD

書き込み順位&時間帯一覧

30 位/222 ID中時間01234567891011121314151617181920212223Total
書き込み数0000000001000010000000002



使用した名前一覧書き込んだスレッド一覧
デフォルトの名無しさん
関数型プログラミング言語Haskell Part27_©2ch.net

書き込みレス一覧

関数型プログラミング言語Haskell Part27_©2ch.net
354 :デフォルトの名無しさん[sage]:2015/01/30(金) 09:54:25.50 ID:rGzX5MxD
>>353
あの定義だと、
<*>: m(a - >b) ->(ma - >mb) というシンプルな型定義に対して素直でない、
なんていう考え方はないの?
関数型プログラミング言語Haskell Part27_©2ch.net
362 :デフォルトの名無しさん[sage]:2015/01/30(金) 14:35:06.50 ID:rGzX5MxD
<$>: (a -> b) -> (ma -> mb)
<*>: m(a -> b) -> (ma -> mb)
>>=: (a -> mb) -> (ma -> mb)
と来たわけだがが、
?1: (a -> b) -> (a -> mb)
?2: (a -> b) -> (ma -> b)
?3: m(a -> b) -> (ma -> b)
?4: m(a -> b) -> (a -> mb)
?5: (a -> mb) -> (ma -> b)
?6: (a -> mb) -> (a -> b)
?7: (ma -> mb) -> (a -> b)
はなんか意味あるの?


※このページは、『2ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の2ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。