[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

826: デフォルトの名無しさん [sage] 2011/12/24(土) 05:44:34.49 AA×
>>804>>807


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
826: デフォルトの名無しさん [sage] 2011/12/24(土) 05:44:34.49 >>804 , >>807 ありがとう。 でも、その理屈でIO()をモナドに抽象できるのだとすると、 「IO()で提供されていた種々の関数は全て、 モナドで提供されている演算子に置き換え可能である」 という前提条件が存在すると思うのだけど、どうだろう？ この条件が成立しないと、結局forallはIO()型の値を必要とするよね。 IO()をMonad m=>mで置き換え可能であるためには、forallを使っている コードも含めて、IO()型に関連する「全ての関数」のモナド版を 用意してあげなくちゃいけないと思うのだけど。 http://echo.5ch.net/test/read.cgi/tech/1317958045/826
ありがとう でもその理屈でをモナドに抽象できるのだとすると で提供されていた種の関数は全て モナドで提供されている演算子に置き換え可能である という前提条件が存在すると思うのだけどどうだろう？ この条件が成立しないと結局は型の値を必要とするよね を で置き換え可能であるためにはを使っている コードも含めて型に関連する全ての関数のモナド版を 用意してあげなくちゃいけないと思うのだけど

---

上下前次1-新書関写板覧索設栞歴

---

あと 152 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.032s