Lisp 入门/第四章 原子和值
< Lisp 入門
第四章 原子和值
编辑再讲原子
编辑这次，我们愿意详细讲解原子
原子可以是任何数，分数，小数，自然数，负数等等。
原子可以是一个字母排列，当然其中可以夹杂数字和符号。
空表就是原子NIL。
在 LISP 解释器中输入引用符（单引号）紧接着输入一个原子，可以返回这个原子本身，就像对列表的操作一样。比如：
'sdf
会返回 SDF。
SDF 是一个普通的原子。像
- sd2f
- SDF+
- SDF*
- SDF.
都是普通的原子。
但原子中还是不能包含一些特殊字符的，比如逗号：sdf, 。这个会返回错误 Error: A comma has appered out of a backquote. 含义是，逗号出现在了单引号之外。
ATOM运算符
编辑判断一个字符序列是不是原子，或者甚至一个元素是不是原子，我们用ATOM运算符。
(atom 'a)
(atom '(3))
上面的第一个表达式返回 T，因为 a 是一个原子。而第二个表达式则返回 NIL，因为 (3) 是一个列表。 换言之， ATOM运算符在参数为原子时返回真，在参数为一个表时或参数构不成原子时返回假。
SETQ运算符
编辑首先来看一下
>1
1
>a
Error: The variable A is unbound
很好，我们说过，解译器的功能就是对一个输入的表达式求值而已。1的值自然是1，然而a的值呢，错误说变量A的值还未经绑定。绑定的意思就是类c语言中的赋值。
如何绑定一个变量呢，如下
>(setq a 5)
5
然后，我们再次输入a，情形就不同了。
>a
5
不过，你肯定对输入(setq a 5)之后有一个5出现迷惑不解，setq运算符的意义就是赋值并且将此值返回。就是说，表达式(setq a 5)的值是5 。
我们可以接著
>(setq a 6)
6
>a
6
再然后，我们可以
>(cons a '(3))
(6 3)
现在这样也是可以的：
>(setq a 'b)
B
>(cons a '(3))
(B 3)
>(setq a '(1 2 3))
(1 2 3)
>(cdr a)
(2 3)