※ 引述《SansWord (是妳)》之铭言：
: 课程上正在用scheme实作一个interpreter(mini-scheme),有environment机制
: 概念上是先订一组global environment
: 另外这个interpreter也支援high order function.
: 在这interpreter里面，lambda function evaluation的实作是:
: (eval (lambda ( arguments ) (function body) ) env )
Ok ok... 由于东西比较多，我用我比较熟悉的 "pseudo Haskell" 的
语法混合一些你的符号解释一下，希望看得懂....
假设我们定义一个小语言，有数字、加减法、lambda, LET, LETREC
等等（我把被解译的语言的关键字写成大写）。函数 eval 大约是像这样
eval n env = n