The little schemer 学习

参考文章:

The Little Schemer 阅读笔记-CSDN博客

前言

原子是Scheme的基本元素之一。首先定义了过程atom?,用来判断一个S-表达式是不是原子:

(define atom?

(lambda (x)

(and (not (pair? x)) (not (null? x)))))

这个“pair”实际上就是list.

但是需要注意,pair和list是两码事。pair在表达上是诸如'(1 . 2)这样用点分隔开的二元组。

第一章

S-表达式包括①原子atom;②列表list。

car取非空列表的第一个S-表达式

cdr取非空列表list的 除(car list)的剩余所有元素 组成的 列表

cons将某个S-表达式 添加到 某个列表的开头。

null? 判断S-表达式是否是空列表。

eq? 判断两个S-表达式是否相同。

list的默认解析方式是:以car为函数名,以cdr为参数列表对函数进行调用,整个list的evaluated的结果就是函数的返回值。某些“关键字”作为car时,求值规则会发生变化,这个要具体问题具体分析。这个问题可以参考SICP的练习1.6。(“关键字”很少,并不复杂)

quote 或者 ' 用来抑制对S-表达式的求值。由于S-表达式是递归结构,因此被抑制求值的S-表达式的各个子表达式都不会被求值。被quote的部分是作为“数据”的代码。quoted原子的结果是它本身,类似于C系语言的enum;quoted数字原子的结果仍然是数字;quoted list的结果就是不求值的列表,类似于链表这样的结构。

第二章  处理,处理,反复处理

本章从lat?函数的实现出发,探讨递归处理lat的基本思想和方法。

定义过程lat?,用来判断表的子表达式是否都是原子,即判断list是不是lat(list of atoms)。第五章之前,涉及到的列表基本上都是lat。

(define lat?
  (lambda (list)
    (cond ((null? list) #t)
          ((atom? (car list)) (lat? (cdr list)))
          (else #f)))`

特殊形式cond是惰性的,也就是说,如果某个子句的谓词为真,则不再检查下面的子句。

定义过程member?,用来判断某个原子是否为某个lat的成员。这个函数很重要,尤其是对于实现集合的第七章。

(define member?
  (lambda (x lat)
    (cond ((null? lat) #f) ;找遍列表也没找到
          ((eq? x (car lat)) #t)
          (else (member? x (cdr lat))))))

第三章

直接看参考文章吧,总结的很到位了

你可能感兴趣的:(SICP,sicp)