scheme十戒五律
0.1 scheme十戒
0.2 scheme五律
| 五法 | 内容 |
|---|---|
| car之法则 | 基本元件car仅定义为针对非空列表(获取第一个元素) |
| cdr之法则 | 基本元件cdr仅定义为针对非空列表,任意非空列表的cdr总是另一个列表 |
| cons之法则 | 基本原件cons需要两个参数, 第二个参数必须是一个列表, 结果是一个列表 |
| null? 之法则 | 基本元件null?进定义为针对列表 |
| eq?之法则 | 基本元件eq?需要两个参数, 每个参数都必须是一个非数字的原子 |
Ch1 玩具总动员
名词解释:
- atom: 原子
- list: 列表
- collection: 集合
- S表达式: scheme中所以元素都可以叫做S表达式。
1.1 本章基本函数
1.1.1 car函数
def car(lst: List) -> Any:"""Returns the first item in lst"""assert isinstance(lst, list), "must provide a list!"try:# 尝试获取第一个元素return lst[0]except IndexError:# 如果列表是空的，抛出IndexErrorraise IndexError(f"func-car: The provided {lst} is empty")
1.1.2 cdr函数
def cdr(lst: List) -> List:"""Returns all items in lst after the first one"""assert isinstance(lst, list), "must provide a list!"try:# 跳过第一个元素return lst[1:]except IndexError:# 如果列表元素不足，抛出IndexErrorraise IndexError(f"func-cdr: The provided {lst} has insufficient elements")
1.1.3 cons函数
def cons(item: Any, lst: List) -> List:"""Returns a new list with car_item as the first element followed by elements of lst"""assert isinstance(lst, list), "must provide a list!"try:# 创建新列表，包含 car_item 和 lst 的元素return [item] + lstexcept TypeError:# 如果传入的对象不是列表，抛出TypeErrorraise TypeError(f"func-cons: The provided object {lst} is not a list")
1.1.4 is_null函数
def is_null(lst: List) -> bool:"""Returns True if lst is empty, False otherwise"""assert isinstance(lst, list), "must provide a list!"return not lst
1.1.5 is_atom函数
def is_atom(s: Any) -> bool:"""Returns True if obj is an 'atomic' type (int, float, str, bool), False otherwise"""return isinstance(s, (Number, str, bool))
1.1.6 eq函数
def eq(a: Any, b: Any) -> bool:"""Returns True if a is equal to b, False otherwise"""assert isinstance(a, (str, bool)), "must provide a no Number atom!"assert isinstance(b, (str, bool)), "must provide a no Number atom!"return a == b
1.2 本章内容注意
注意点:
(car l)是获取l的第一个元素, 两端的括号只是代表这是一个过程了- 当
(cdr l)只返回一个元素时, 要在外面加上一层列表哦
Ch2 处理, 处理, 反复处理
2.1 本章基本函数
2.1.1 cond函数
2.1.2 lat函数
def lat(lst: List) -> bool:"""返回列表是否全部由原子组成"""assert isinstance(lst, list), "must provide a list!"if is_null(lst): return Trueif not is_atom(car(lst)): return Falsereturn lat(cdr(lst))
