The Little Schemer 笔记(第一章)

The Little Schemer 笔记(第一章)

原子

原子不是序对,也不是空表

(define atom?
  (lambda (x)
    (and (not (pair? x))
         (not (null? x)))))

除了空表和序对,就只有数字和符号。

原子包含在括号里就是表。

在 Scheme 中,数据的书面表示决定了数据在演算中的一切行为,所以上述形式定义是合适的。

空表()也是表。

S 表达式

原子和表。

Car

只能作用于非空表

Cdr

只能作用于非空表,结果是另一个表。

Cons

接收两个参数,第二个参数是表,结果是一个表。

Null?

只作用于表。

类型汇总

基础类型

相等判断谓词相等判断谓词
未定义序对 pair?数字 number?=
只有()一个实例空表 null?符号 symbol?eq?

eq? 接收两个非数字原子。

派生类型

表 list?,

  • 空表是表
  • 以空表结尾的嵌套序列是表
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值