トップページ > プログラム > 2017年12月07日 > g7/WaViS

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

50 位/171 ID中時間01234567891011121314151617181920212223Total
書き込み数0000000000000000000010001



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

書き込みレス一覧

関数型プログラミング言語Haskell Part31©2ch.net
328 ：デフォルトの名無しさん[sage]：2017/12/07(木) 20:30:31.60 ID:g7/WaViS
>>326
>>327
おお、ありがとうございます
重ね重ね申し訳ないのですが、これによるとIOモナドの(>>=)はbindIOでbindIOは
bindIO :: IO a -> (a -> IO b) -> IO b
bindIO (IO m) k = IO (\ s -> case m s of (# new_s, a #) -> unIO (k a) new_s)
となっているのですが、ここでcase式を使っているのはどういった意図があるのでしょうか
letと同じ使い方ですか？


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