関数型プログラミング言語Haskell Part34 (692ﾚｽ)
上
下
前
次
1-
新
421
:
デフォルトの名無しさん
[] 2024/10/02(水) 22:12:34.31
ID:OPLMo7z3(2/8)
AA×
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
ﾚｽ栞
|
ﾚｽ消
]
421: デフォルトの名無しさん [] 2024/10/02(水) 22:12:34.31 ID:OPLMo7z3 現実のプログラムだと式を評価する途中で発生する副作用というのは普通だけれど、 これを表示的意味論、操作的意味論で数学の世界に写そうと思うと途端に難しくなる。 数学で式の途中に文字列をディスプレイに映し出す、みたいな概念はないから。 それを整理して副作用と呼んでも差し支えない概念を提唱してHaskellに実装しているんだよ。 実際、ＩＯモナドの圏論的定式みるとこれが副作用？という表式してる。 全部後回しにしてフラッシュするというアイディアみたい。副作用をプログラムの最終局面で 実行しているから、式の評価途中の参照透明性も壊さない。なるほど、って感じ。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/421
現実のプログラムだと式を評価する途中で発生する副作用というのは普通だけれど これを表示的意味論操作的意味論で数学の世界に写そうと思うと途端に難しくなる 数学で式の途中に文字列をディスプレイに映し出すみたいな概念はないから それを整理して副作用と呼んでも差し支えない概念を提唱してに実装しているんだよ 実際モナドの圏論的定式みるとこれが副作用？という表式してる 全部後回しにしてフラッシュするというアイディアみたい副作用をプログラムの最終局面で 実行しているから式の評価途中の参照透明性も壊さないなるほどって感じ
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 271 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
ぬこの手
ぬこTOP
0.035s