関数型プログラミング言語Haskell Part34 (657レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) レス栞 あぼーん

522
(1): 2024/10/05(土) 13:16:57.88 ID:AoKf42Y0(1)調 AAS
>>519
異なる順序でreductionする方法がある場合は、どの順序でreductionしても同じ結果になるだろ?

IO a >>= (a -> IO b) -> IO bなら当たり前だけど(a -> IO b) -> IO bをa -> IO bに先にreduction可能
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ

ぬこの手 ぬこTOP 1.237s*