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

---

519(1): 2024/10/05(土)10:51 ID:KE+ltgGd(1/2) AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
519: [sage] 2024/10/05(土) 10:51:32.56 ID:KE+ltgGd 普通のλはどの順序で適用しても同じ計算結果になる（Church-Rosserの定理）けど 副作用を伴うλは適用順序が入れ替わると副作用の順序も変わって同じ結果とは言えなくなるから 順序を保証する仕組みとしてモナドが応用されてるはず IO a >>= (a -> IO b) -> IO b は(a -> IO b)が(IO a)を受け取れないから (IO a)からaを取り出せるところまで計算しないと(a -> IO b)を適用できない 仮に IO a -> (IO a -> IO b) -> IO b みたいな形だと(IO a)の計算を保留したまま(IO a -> IO b)を適用できる 圏論はよく分からないけど 圏Aに便宜的な時間軸をつけたA_t0, A_t1, A_t2, …を用意して関手 A_t0 → A_t1, A_t1 → A_t2, … を作るとA_t0, A_t1…は全部AのクローンだからA_t0 → A_t1, …は自己関手になって その自己関手の集合がなんやかんやでモナドに相当するみたいなイメージ http://mevius.5ch.net/test/read.cgi/tech/1639713446/519
普通のはどの順序で適用しても同じ計算結果になるの定理けど 副作用を伴うは適用順序が入れ替わると副作用の順序も変わって同じ結果とは言えなくなるから 順序を保証する仕組みとしてモナドが応用されてるはず は が を受け取れないから からを取り出せるところまで計算しないと を適用できない 仮に みたいな形だと の計算を保留したまま を適用できる 圏論はよく分からないけど 圏に便宜的な時間軸をつけた を用意して関手 を作ると は全部のクローンだから は自己関手になって その自己関手の集合がなんやかんやでモナドに相当するみたいなイメージ

---

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

---

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

---

ぬこの手 ぬこTOP 0.035s