2017年02月13日
ベータリダクション(beta reduction)とcall-by-name
"Scheme 9 from Empty Space"の終盤で出てきた単語です。
Wikipediaの「評価戦略」「ラムダ計算」あたりを読み込めば理解できるかなあ、と。
beta reductionはベータ簡約、call-by-nameは名前呼び、と訳すのが正しいそう。
ちょくちょくわからない単語も出てくるけどリンクたどりながら読みまくるしかないな。
Wikipediaの「評価戦略」「ラムダ計算」あたりを読み込めば理解できるかなあ、と。
beta reductionはベータ簡約、call-by-nameは名前呼び、と訳すのが正しいそう。
ちょくちょくわからない単語も出てくるけどリンクたどりながら読みまくるしかないな。
タグ:S9fES
【このカテゴリーの最新記事】
-
no image
-
no image
この記事へのコメント
コメントを書く
この記事へのトラックバックURL
https://fanblogs.jp/tb/5939855
※ブログオーナーが承認したトラックバックのみ表示されます。
この記事へのトラックバック