用Scheme表示一个无限循环

利用SICP里面讲到的一个替代模型，实现一个无限循环。

((lambda (x) (x x)) (lambda (x) (x x)))

 

注意上面的如果用替换模型将第一个lambda里面的x替换成第二个表达式(这里仍然是一个lambda表达式)的话，那么替换之后会得到一个一模一样的结果。所以替换模型会无限的进行下去。