我发现我没头没脑的没说清楚环境就直接发问了.... 昨天适逢debug整夜後的脑袋混沌状态...^^" 不过谢谢大家的回答，我有点头绪知道自己卡住的地方了.... 在发问前我先看了这篇在LtU 论坛的发问 http://lambda-the-ultimate.org/node/2971 标题是: doing letrec with lambdas 课程上正在用scheme实作一个interpreter(mini-scheme),有environment机制 概念上是先订一组global environment 另外这个interpreter也支援high order function. 在这interpreter里面，lambda function evaluation的实作是: (eval (lambda ( arguments ) (function body) ) env ) 会被转为 (%func ( arguments ) ( function body ) env ) 因为lambda function 有打包当时环境，所以後来执行该lambda function 时, function body 会查找的便是打包的环境 (所以是static scoping?) 题目是要在这样的环境下实作 define, let, let*, letrec 这几个机制 其共通性就是在处理这些function call 的时候 要如何对应的更改其中的environment. 我想发问的是在这种语言条件的情境下，letrec的概念大概是如何? 例如 define 其实就是把global 环境多加一组binding let 就是先把 let 的东西一口气加入环境後，在用更改过的环境eval body 可是letrec 的问题如下段程式码描述： (letrec ( (f (lambda (x) ...有递回的call 到f... ) ) ) ( f 3 ) ) f 是个递回函式，call到自己 body则是使用f 当我试图要在环境中先制造一组 (f (%func ... env ) ) 的bindings 时 f 要bind 到一个lambda function 的值～其中会包一个env 而因为这个lambda function 里面会使用到 f, 所以包进去的env 里面也会需要有 f bind 一个lambda function 的值 可是这个 lambda function 也需要有个env .... (以下省略，总之无限後退) 我後来的实作方法是先在目前的environment造一组 ( f 'dontcare ) 的binding 用这个environment eval 此lambda function 後 ，此时回传一个 (%func ... ) 的值 再利用set-cdr! 把本来设为 'dontcare 的binding 改为回传的那个值 这样的确就成功实作letrec了，可是我却不之所以然.... 所以想问问有没有比较学理的描述可以说明我这样的行为。 文章一开始提到的那个发问里面 有提到说如果语言机制里面允许 "mutable references" 就可以做到我正在做的事情 可是我想这也只是工具上的不同 我会再去弄那本课本来看～先谢过大家的回答了！ -- 爱与被爱....都是很毒很毒的毒药 爱着一个人....只会感受到付出没有回报的悲伤 被一个人爱上....却会因为不能回应而觉得有罪恶感 也许...爱..和被爱..都只有一种解药....那就是.... 深深爱上一个深爱你的人 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 114.45.217.232