完全β-簡約
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/10/03 01:23 UTC 版)
完全β-簡約(full β-reduction)においては、任意の時点で任意の関数適用が簡約される(関数の引数を捕獲回避置換を使った関数に置換する)。これは、適用されない関数の本体内でも行われる。
※この「完全β-簡約」の解説は、「評価戦略」の解説の一部です。
「完全β-簡約」を含む「評価戦略」の記事については、「評価戦略」の概要を参照ください。
- 完全β-簡約のページへのリンク