評価と簡約 - 射撃しつつ前転 改

ボスの人に聞いてみた。一番大きな違いは、 簡約は式を書き換えて式を作る。 評価は式に対して値を返す。 というところであるそうな。簡約は定義域も値域も式。評価は定義域は式で値域は値。 例えば、(1+2)+(3+4)という式を考える。簡約する場合は3+(3+4)もしくは(1+2)+7と書き換えられて、さらに書き換えると10に合流する（チャーチ・ロッサー性という奴ですね）。この場合の10は簡約化できない、つまり正規形の式。評価の場合は評価戦略によってどこから評価するかはわからんけど、とにかく途中で3+(3+4)という式は出てこない。(1+2)+(3+4)を評価すると10という値が返ってくる。 「簡約は式の書き換えであって、副作用という概念の入り込む余地が無さそうだが、評価は副作用という概念を入れる余地がある様に見える。この印象は正しいか、間違っているか？」という質問には間違ってはいないだろうとい

[bouzuya]

「簡約→small step, 評価→big step」