原始函数方案中的“第三”是什么概念？

Question

我是方案计算的新手。

我有一个给定的问题：

(DEFINE (第三个C) (CAR(CDR CDR(C))))

(第三个'(A (B C) (D E) F))

我知道CDR和CAR的概念，但我不明白“第三”会做什么。我读到这是定义“三人组？？？”的一种方式。

我倾向于将 C 的值替换为第三个语句旁边的第二个语句的值，即‘(A (B C) (D E) F)，这是正确的吗？

你能用简单的术语解释一下“第三”在这个给定的情况下做了什么，我该如何解决这个给定的问题？

Answer 1

在 lisps 中，列表是一种基本的数据结构，它由对组成。传统上，该对的第一个成员称为它的 car，第二个成员称为它的 cdr：

(汽车.cdr)

这里的点表示该对由两个单元格组成。给定一对(a . b)，第一个成员的访问器也称为car，第二个成员的访问器称为cdr。所以：

(car '(a . b)) --> a 和
(cdr '(a . b)) --> b。

为了形成一个列表，对的组合方式如下：第一对的第一个成员是列表的第一个元素，第一对的第二个成员要么是空列表，要么是代表其余元素的对的名单。因此，一个元素的列表，例如 (a) 由一对 (a . ()) 表示。

两个元素的列表，例如，(a b) 由 (a . (b . ())) 对表示。这里，第一对的第二个成员是(b . ())。您会注意到列表(a b) 的cdr 是列表(b)，或等效为(b . ())。

三个元素的列表，例如 (a b c) 类似地表示为 (a . (b . (c . ())))。列表是具有空列表() 或其cdr 中的一对的对。这里有一个关于正确列表的区别（最后一对必须在其cdr 中有一个()）和不正确的列表，但我将在这里忽略这种区别。并且空列表也是一个列表（但不是一对）。更准确地说：在 Scheme 中，列表要么是空列表，要么是 cdr 为列表的对。

所以，car 获取列表的第一个成员，cdr 获取列表的其余部分。鉴于列表(a b c d)，我们可以看到：

(cdr '(a b c d)) --> (b c d), 和
(cdr (cdr '(a b c d))) --> (cdr '(b c d)) --> (c d), 和
(car (cdr (cdr '(a b c d)))) --> (car (cdr '(b c d))) --> @ 987654353@ --> c.

所以，给定定义：

(define (third xs)
  (car (cdr (cdr xs))))

我们有：

> (third '(a b c d))
c

我将把它留给 OP 将此信息应用于以下问题：

(third '(a (b c) (d e) f)) --> ?