strictlet

EOPLのExercise3.59はcall-by-needインタプリタにstrictletを追加するというもの。問題文*1を読む限り、strictletとは束縛部が遅延評価されないletっぽい。しかし、本当にそれで合っているか自身がないので調べてみたら、どうやらそれで良いみたい(下記サイト参照)。どちらもEOPLに直接関係があるわけじゃないけど、たぶん問題ない。

• http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4-05w/text/eopl014.html
• http://www.cs.iastate.edu/~leavens/ComS342/OLD/Spring2006/homework/hw10.txt

追記：lazy evaluationに対して普通(？)の評価方法のことをstrict evaluationと言うようだ。

*1:"This is similar to the lazy let of exercise 3.58, but forces the evaluation of each of its bindings."