いおりのプログラミングめも

この広告は30日以上更新がないブログに表示されております。
新規記事の投稿を行うことで、非表示にすることが可能です。

"Scheme 9 from Empty Space"の終盤で出てきた単語です。

Wikipediaの「評価戦略」「ラムダ計算」あたりを読み込めば理解できるかなあ、と。

beta reductionはベータ簡約、call-by-nameは名前呼び、と訳すのが正しいそう。

ちょくちょくわからない単語も出てくるけどリンクたどりながら読みまくるしかないな。