有另外一个记号使得函数可以提及它本身,因此提供了一个方便定义递归函数的方式。这个记号的形式如下:
(label f (lambda (p1 ... pn) e))
(它)表示一个像(lambda (p1 ... pn) e)
这样的函数,同时还增加了这样的特性:任何一个出现在表达式e
中的符号f
都将被求值为此label
表达式,就好像f
是这个函数的参数一样。
有另外一个记号使得函数可以提及它本身,因此提供了一个方便定义递归函数的方式。这个记号的形式如下:
(label f (lambda (p1 ... pn) e))
(它)表示一个像(lambda (p1 ... pn) e)
这样的函数,同时还增加了这样的特性:任何一个出现在表达式e
中的符号f
都将被求值为此label
表达式,就好像f
是这个函数的参数一样。