※ 引述《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