Chinaunix

标题: 关于scheme的call/cc，有个问题请教 [打印本页]

---

作者: lispmm    时间: 2013-05-01 21:01
标题: 关于scheme的call/cc，有个问题请教

1. (define self
   
2.   (lambda (x) x))
   
3. 
   
4. (define fun
   
5.   (lambda (x) 2))
   
6. 
   
7. (define a (call/cc self))
   
8. 
   
9. (a fun)
   
10. (a fun)
    
11. (let ((b (call/cc self))) (b fun))

复制代码

在guile 1.8和2.0中，最后三个表达式的结果不同，
(a fun) => #<unspecified>
(a fun)=> 2
(let ((b (call/cc self))) (b fun)) => 2
不明白，恳求达人指点。

---

作者: lispmm    时间: 2013-05-07 22:46
看来很多材料，突然明白怎么回事了。

(define a (call/cc (lambda (x) x)))之后，a就是一个continuation，只不过还没绑定。
第一次执行(a fun)，此时控制跳转到(define a (call/cc (lambda (x) x)))中的call/cc表达式中。
接下来就是fun作为call/cc表达式的返回值，而call/cc表达式的返回值被define到变量a上。
define表达式结束，无继续进行的求值。

第二次求值(a fun)时，a已经是fun，所以就是求值(fun fun)=>2

对于(let ((b (call/cc self))) (b fun))来说，
首先 b被绑定为一个continuation，然后求值(b fun)。
求值(b fun)是的控制跳转到call/cc表达式中，并将fun作为call/cc的表达式的返回值。
然后b被绑定到call/cc的返回值，及fun。
然而，到此let表达式并未结束，还要继续求值let表达式的body，也就是(b fun)。
由于b已被绑定到fun，所以let表达式的值就是(fun fun)，也就是2。

---

欢迎光临 Chinaunix (http://bbs.chinaunix.net/)

Powered by Discuz! X3.2