关于Lisp之根源的一个问题

seaye

今天看了Lisp之根源，
http://www.v-ec.com/dh20156/article.asp?id=50
忽然想到一个问题，就是，eval 和apply 两个高阶算子构成的eval函数是怎么实现的，本人太菜了，实在想不出，另一个问题是，只用7个运算符，有多少种实现eval函数的方式。

win_hate

文章不错。如果能全文转过来就更好了。里面有些图我这里看不了。

• eval 和 apply 两个高阶算子构成的eval函数是怎么实现的
  
  这句有语病吧，无法理解。文章里也没有解释 apply.
  
• 只用7个运算符，有多少种实现eval函数的方式
  
  用这几个算符实现 eval，其思想是把表达式分解，得到每一步的操作，然后调用对应的运算符。绑定的变量可在环境参数中提取。
  
  在个做法被一些语言继承了，比如 python 中的 eval 跟这个很就类似。
  
  至于有多少种实现，我觉得这个提法没有多少意义。而且你还得给出 "不同实现" 的定义。
  

seaye

http://hi.baidu.com/pudding/blog ... 4b13cad1c86af4.html
这里有关于eval 和 apply 函数的介绍,《巫师书》紫皮书(Purple Book) - 计算机程序的构造和解释,里也有eval 和 apply 函数的介绍.
不同实现的定义是
比如 Lisp之根源中 用7个原始符号 定义6个额外函数，
有没有比6更少的数目
比如只定义3个额外函数来实现eval
额外函数的定义是指，用7个原始符号 构成的 可以重复使用的函数。

[ 本帖最后由 seaye 于 2008-12-6 16:26 编辑 ]

win_hate

• eval 和 apply 两个高阶算子构成的eval函数是怎么实现的
  
  看了你给的连接。我猜你想说的是 eval 和 apply 互递归吧。只要有适当的终止条件，最后就能终止。细节可以参考 SICP。
  
  eval 和 apply 的互递归不是必需的。在你给的那个连接中，就只有 eval，没有 apply
  
• 比如 Lisp之根源中 用7个原始符号 定义6个额外函数，有没有比6更少的数目比如只定义3个额外函数来实现eval额外函数的定义是指，用7个原始符号 构成的 可以重复使用的函数。
  
  以我的愚见，这不是个好问题。因为额外的函数都是在7个原语的基础上生成的，无非是一些功能的抽象。你可以把两个功能揉合到一个函数中去，这样就少了一个；也可以反过来，把功能拆得更细。
  
  如果问 7 个原语是否可以去掉一个，会稍微有意义一些。不过仍然太学究了。
  

[ 本帖最后由 win_hate 于 2008-12-6 19:00 编辑 ]