lisp基本操作及其函数名解释



1.

百度文库看到一篇lisp入门，提到了lisp世界的7个公理(基本操作)，相当于欧几里德几何世界的5条公理。

http://wenku.baidu.com/view/986ef1fe04a1b0717fd5dd86.html

2.

不理解lisp操作符的字面含义，记忆真的是事倍功半。

2.1 新浪上的一篇博客解释了lisp基本操作符名字的由来

http://blog.sina.com.cn/s/blog_5340ada20100i3ya.html

它就是转载了 http://www.iteye.com/topic/95409

奇怪的命名

cons函数的名称并非没有含意：它是单词'construct'的缩写。car是短语'Contents of the Address part of the Register'；cdr（'could-er'）是短语'Contents of the Decrement part of the Register'。这些短语说明了Lisp是在多么原始的机器上被开发的。

cdr的一个更合理的别名叫：rest。

GNU网站上也有的解释 http://www.gnu.org/software/emacs/manual/html_node/eintr/Strange-Names.html

2.2 《编程语言原理》 Concepts of Programming Languages, Tenth Edition, [美] Robert W. Sebesta

CAR和CDR源于LISP的第一个实现，那是在IBM704计算机上, 该机内存字有2个域：减量(decrement)和地址(address), 用于存放操作数, 这两个域都可以存放一个内存地址。IBM704计算机有2个机器指令，称为CAR和CDR, 用于取得这2个域的值。这两个域各存放一个指针就恰好表示了一个表的节点。这2个名字沿用到所有LISP方言中。

Scheme语言中C和R之间，A和D的任意组合多至4个，都是合法的，如CADDAR。

CONS某种意义上是CAD和CDR的反函数。CAR和CDR把表拆开，CONS(construct)根据给出的部分构建新表。