Lisp的递归范围添加了句号？

作者: 狗头军师
发布时间: 2023-12-26 09:33:02 (4月前)

2 条回复

1#
回复此人
v-star*위위 | 2020-07-31 15-15

方案A列表要么是空列表()（也称为nil在一些的Lisp）或cons单元，其car（也称为first）是与所述列表的一个元件，其cdr（也称为rest）或者是列表的其余部分（即，另一个列表）或终止列表的原子。传统的终结者是空名单(); 以终止的列表()被称为“正确列表”。被其他原子终止的列表称为“不正确的列表”。该列表(1 2 3 4 5)包含元素1、2、3、4和5，并以终止()。你可以通过构造它 `(cons 1 (cons 2 (cons 3 (cons 4 (cons 5 ())))))` 现在，当系统打印一个cons单元格时，通常的情况是通过 `(car . cdr)` 例如，的结果(cons 1 2)打印为 `(1 . 2)` 由于列表是由cons单元构成的，因此您也可以将这种符号用于列表： `'(1 2 3 4 5) ==` `'(1 . (2 . (3 . (4 . (5 . ())))))` 但是，这相当笨拙，因此大多数lisps（我所知道的所有情况）都具有打印cons单元格的特殊情况：如果the cdr是列表（另一个cons单元格或()），则不要打印.，也不要打印的圆括号cdr（否则将有圆括号，因为它是一个列表）。所以，如果您看到类似的结果 `(1 2 3 . 4)` 这意味着您有一个不正确的列表，该列表被原子终止4。它具有结构 `(1 . (2 . (3 . 4)))` 现在的问题是：列表构造在哪里出现了问题？..应该总是返回正确的列表，所以让我们看一下情况：第一种情况总是返回正确的列表（空列表）： `((> (add1 start) stop) (quote ()))` 第二种情况看起来像它可以返回不是列表的东西（假设(sub1 stop) == (- stop 1)）： `((eq? (add1 start) stop) (sub1 stop))` 现在，如果..运行正常，则第三种情况将始终返回正确的列表（因为(cons x y)如果y是，则为正确的列表）： `(else (cons start (.. (add1 start) stop)))` 让您的第二种情况返回列表，您应该已经准备就绪。

编辑

登录后才能参与评论