関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新

---

493(1): 2024/10/04(金)22:08 ID:vLDssEdm(5/9) AA×
>>484>>460>>460


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
493: [] 2024/10/04(金) 22:08:30.14 ID:vLDssEdm >>484 横からというか >460 書いた者だけど、あなたの疑問は解釈1の「アクションを受け取ってアクションを返す関数」だとざっくりし過ぎて納得いかないって感じでしょうか？ でしたら、解釈2では納得出来ませんでしょうか？ 解釈２は、モナドの効能の一つに追加して「数学の世界にアウトソーシングという概念を持ち込む」というものです。 モナドの例えとして、床下配線というのがありますが、MaybeやListの様な通常のモナドも、>>=の中に関数適用部分を押し込んで、表から見えないようにしています。 （これも、見ようによってはアウトソーシングです。同じ数学の世界なので、隣の席に頼んだ感じですが） IOモナドは、>>=の中すら見えない状態で関数適用しているわけですが、 >460 でも書いたとおり、「数学の外（ハードウェア）」で関数適用されていると考えるわけです。 IOモナドの>>= は、外の世界と遣り取りする受付窓口というわけですね。 （実際、バッファの様な振る舞いをします） main = do x <- return 0 _________x <- return (x + 1) _________print x http://mevius.5ch.net/test/read.cgi/tech/1639713446/493
横からというか 書いた者だけどあなたの疑問は解釈のアクションを受け取ってアクションを返す関数だとざっくりし過ぎて納得いかないって感じでしょうか？ でしたら解釈では納得出来ませんでしょうか？ 解釈２はモナドの効能の一つに追加して数学の世界にアウトソーシングという概念を持ち込むというものです モナドの例えとして床下配線というのがありますがやの様な通常のモナドもの中に関数適用部分を押し込んで表から見えないようにしています これも見ようによってはアウトソーシングです同じ数学の世界なので隣の席に頼んだ感じですが モナドはの中すら見えない状態で関数適用しているわけですが でも書いたとおり数学の外ハードウェアで関数適用されていると考えるわけです モナドの は外の世界と遣り取りする受付窓口というわけですね 実際バッファの様な振る舞いをします

---

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

---

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

---

ぬこの手 ぬこTOP 0.036s