Lisp Scheme Part41 (855ﾚｽ)
上下前次1-新

---

196: 187 2020/04/29(水)13:42 ID:sxS/u8Yc(3/3) AA×
>>195

外部ﾘﾝｸ[cgi]:practical-scheme.net

[240|320|480|600|100%|GIF|べ|ﾚｽ栞|ﾚｽ消]
196: 187 [sage] 2020/04/29(水) 13:42:08.04 ID:sxS/u8Yc >>195 継続については「call/cc は副作用を生じる」というひとことで説明できます。 副作用とは何かというのは色々なモデル化のやり方があってはっきりしたひとつの定義を 定められないみたいなんですが、この説明が納得感があって参考になると思います。 https://practical-scheme.net/wiliki/wiliki.cgi?Scheme%3Acall%2Fcc%E3%81%A8%E5%89%AF%E4%BD%9C%E7%94%A8 副作用がないなら順序なんか考える必要はないんですよ。 どの順序で実行されようと並列であろうと (観測できる) 結果は同じなので順序を気にする意味がありません。 結果が同じにならない場合 (副作用がある場合) がどうあるべきか考えるから順序が効いてくるんです。 で、副作用がある手続きの中でも特に第一級継続は (観測できるだけでなく) 流れを変えることが出来るから どれが妥当なのか結論が出ないなぁってことです。 http://mevius.5ch.net/test/read.cgi/tech/1531587928/196
継続については は副作用を生じるというひとことで説明できます 副作用とは何かというのは色なモデル化のやり方があってはっきりしたひとつの定義を 定められないみたいなんですがこの説明が納得感があって参考になると思います 副作用がないなら順序なんか考える必要はないんですよ どの順序で実行されようと並列であろうと 観測できる 結果は同じなので順序を気にする意味がありません 結果が同じにならない場合 副作用がある場合 がどうあるべきか考えるから順序が効いてくるんです で副作用がある手続きの中でも特に第一級継続は 観測できるだけでなく 流れを変えることが出来るから どれが妥当なのか結論が出ないなぁってことです

---

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

---

あと 659 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.040s