lisp - Common Lisp : Are all functions built from the core functions, CAR、CDR、CONS 等？

Question

对还是错？

Common Lisp 有很多函数。所有这些函数都是使用这一小组核心函数构建(或可以构建)的:CAR、CDR、CONS、ATOM、EQ、QUOTE、COND、LAMBDA、LABEL、NULL。

如果答案为 False，您能否提供无法使用核心功能实现的功能示例？也许核心功能列表不完整，需要另外或两个额外的核心功能？

Answer 1

[..] All of those functions are built (or could be built) using [..]

重要的部分是可以，您已经自己想通了。 Lisp 的(几乎*)所有(a)都可以使用那小组核心功能(形式)来构建，这是 Lisp 之美的一部分。但在实践中，未在 Lisp 中实现的函数(表单)集要大得多。

当实现只能实现最小的核心时，为什么还要费心去实现那么多？举个小例子，想想这个表达式:

(+ 1 2)

您可以实现一个仅使用一小部分核心函数的 Lisp，并且它能够(为数字提供适当的解析器)计算此表达式。 但这会非常慢!我们可用的系统(CPU)大多提供许多不同的指令，Lisp 实现(尤其是编译器)试图尽可能多地利用这些指令，以便允许快速执行 Lisp 程序。并且，回到这个例子，这也意味着人们不会使用 peano arithmetic 进行实际计算。而是使用在硬件中实现的“ bool 逻辑算术”。

If the answer is False, can you provide an example of a function that cannot be implemented using the core functions?

这很简单，你是如何实现format的？任何不属于编程语言“算法”性质的东西，即与“外部世界”接口(interface)的东西，通常不会在其自身中实现，而是 - 依赖于底层系统 - 通常在 C 或汇编中实现。