Defunctionalizationとの関係
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/02/27 16:50 UTC 版)
「CEK機械」の記事における「Defunctionalizationとの関係」の解説
CEK機械は、ラムダ計算の標準的な評価関数に対して、クロージャ変換、値渡し評価戦略のCPS変換、defunctionalizationを順に適用することで導出できる。ここで、値渡し評価戦略の代わりに名前渡し評価戦略を使うとKrivineの機械が導出される。
※この「Defunctionalizationとの関係」の解説は、「CEK機械」の解説の一部です。
「Defunctionalizationとの関係」を含む「CEK機械」の記事については、「CEK機械」の概要を参照ください。
ウィキペディア小見出し辞書の「Defunctionalizationとの関係」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- Defunctionalizationとの関係のページへのリンク
