なぜラムダ抽出は、未投げのラムダ計算の値である唯一の用語であるのですか？

Question

私は次の主張について混乱しています：「未熟なラムダ計算の唯一の値はラムダ抽出です」。

なぜ他の用語が値ではないのですか？ Lambda-Abstractionが価値になるとはどういう意味ですか？私の頭に浮かんだ最初のことは、おそらくラムダ抽出が唯一の可能な通常の形式であるということでしたが、これはもちろん、例えば、$（ lambda x。; x）; y to y $です。

誰かが私に啓発することができますか？

Answer 1

ここで起こっていることがたくさんあります：

• あなたが話している言語には追加のデータ型がありません。そうしないと、他の種類の値があります。
• 言語の削減戦略は、Lambdaの抽象化の内部を削減しません。コールごとの両方と電話ごとの両方がこれに準拠しています。それ以外の場合、すべてのラムダの抽象化が正常ではありません。
• 通常、閉じた表現をプログラムと見なすため、自由変数はありません。したがって、提示する例は考慮されません。

他の用語は、縮小できるか、閉じたプログラムに表示されないため、値ではありません。

ラムダの抽象化が値であることは、それ以上削減できないことを意味します（削減戦略に応じて）。

オープン用語の場合、変数も値です。