Lisp函数的表示

开发 开发工具
Lisp函数相对其他语言来说,表示方法有一些不同。本文是paul graham所著的《Lisp之根源》的第二部分,介绍了Lisp函数的表示。

本文是paul graham所著的《Lisp之根源》的第二部分,介绍了Lisp函数的表示(***部分)。有关Lisp函数表示的具体描述如下:

函数的表示

接着我们定义一个记号来描述函数.函数表示为(lambda ( ... ) e ),其中  ... 是原子(叫做参数 ),e 是表达式. 如果表达式的***个元素形式如上

  1. ((lambda ( ... ) e )  ... )  

则称为函数调用 .它的值计算如下.每一个表达式 先求值,然后e 再求值.在e 的求值过程中,每个出现在e 中的 的值是相应的 在最近一次的函数调用中的值.

  1. > ((lambda (x) (cons x '(b))) 'a)  
  2. (a b)  
  3. > ((lambda (x y) (cons x (cdr y)))  
  4.    'z  
  5.    '(a b c))  
  6. (z b c) 

如果一个表达式的***个元素f 是原子且f 不是原始操作符

  1. (f  ... )  

并且f 的值是一个函数(lambda ( ... )),则以上表达式的值就是

  1. ((lambda ( ... ) e )  ... )  

的值. 换句话说,参数在表达式中不但可以作为自变量也可以作为操作符使用:

  1. > ((lambda (f) (f '(b c)))  
  2.    '(lambda (x) (cons 'a x)))  
  3. (a b c) 

有另外一个函数记号使得函数能提及它本身,这样我们就能方便地定义递归函数.3 记号

  1. (label f (lambda ( ... ) e ))  

表示一个象(lambda ( ... ) e )那样的函数,加上这样的特性: 任何出现在e 中的f 将求值为此label表达式, 就好象f 是此函数的参数.

假设我们要定义函数(subst x y z ), 它取表达式x ,原子y 和表z 做参数,返回一个象z 那样的表, 不过z 中出现的y (在任何嵌套层次上)被x 代替.

  1. > (subst 'm 'b '(a b (a b c) d))  
  2. (a m (a m c) d) 

我们可以这样表示此函数

  1. (label subst (lambda (x y z)  
  2.                (cond ((atom z)  
  3.                       (cond ((eq z y) x)  
  4.                             ('t z)))  
  5.                      ('t (cons (subst x y (car z))  
  6.                                (subst x y (cdr z))))))) 

我们简记f =(label f (lambda ( ... ) e ))为

(defun f ( ... ) e )

于是

  1. (defun subst (x y z)  
  2.   (cond ((atom z)  
  3.          (cond ((eq z y) x)  
  4.                ('t z)))  
  5.         ('t (cons (subst x y (car z))  
  6.                   (subst x y (cdr z)))))) 

偶然地我们在这儿看到如何写cond表达式的缺省子句. ***个元素是't的子句总是会成功的. 于是

  1. (cond (x y ) ('t z ))  

等同于我们在某些语言中写的

  1. if x then y else z  

对Lisp函数的表示便介绍到这里。

【编辑推荐】

  1. Lisp介绍之七个原始操作符
  2. 细数程序开发语言的七大奇迹
  3. Clojure编程语言 扩展你的Java想象力
  4. Scala将成为现代Web 2.0的发起语言
  5. Scala和Clojure,以及优秀的企业级语言之道
责任编辑:yangsai 来源: Freeshell
相关推荐

2013-03-29 10:13:22

lisp编译器

2017-03-16 09:30:56

LispAI数据结构

2012-06-04 10:34:17

Lisp

2012-11-22 10:11:16

LispLisp教程

2014-12-24 13:53:48

2018-11-21 09:33:01

2011-05-19 08:19:50

Lisp

2017-01-05 13:31:33

Lisp加法运算

2012-12-07 10:15:45

2010-03-16 10:13:55

python操作函数

2011-04-15 09:23:33

IETFLISP路由器

2010-10-15 10:35:18

2013-03-18 09:30:18

Lisp

2011-10-14 09:20:48

Lisp

2010-10-13 11:44:47

MySQL数据目录

2017-04-06 18:34:16

人工智能

2014-09-25 11:08:17

ECLLispC语言

2020-12-07 18:19:46

Common Lisp方言编程

2009-09-03 18:12:14

Lisp介绍

2023-04-06 09:42:00

LispHTMLQwit
点赞
收藏

51CTO技术栈公众号