Lisp 中的冗余答案

【问题标题】：Redundancy in LispLisp 中的冗余
【发布时间】：2011-11-09 14:28:40
【问题描述】：

我已经开始学习 Lisp，并且想知道以多种不同方式执行特定任务的所有冗余是否有用？相信有经验的 Lisp 程序员可以回答这个问题。

仅举一个例子。我们可以通过以下两种不同的方式创建函数。

(defun add2 (x) (+ x 2))

或

(setf (symbol-function 'add2)
  #'(lambda (x) (+ x 2))

我知道这为实现不同的目标提供了灵活性。但是正确解释为什么会有所有这些冗余可以帮助我更好地理解事情。

【问题讨论】：

标签： lisp common-lisp

【解决方案1】：

第一种形式的存在是因为定义函数是一件很平常的事情，您需要一种方便的语法。

第二种形式的存在是因为有时，您想用宏生成函数定义之类的东西来做一些高级的事情。

如果没有defun，我们仍然可以用你的第二种形式定义函数，但是没有人会用 Lisp 编程，因为一个简单的任务会非常艰巨。每个程序员都会设计自己的defun 宏，与其他所有的宏都不兼容。

【讨论】：

【解决方案2】：

如果您查看现有实现中的 DEFUN，它的作用远不止定义一个函数。它记录例如IDE（开发环境）的定义位置，设置文档，记录类型信息，...

Lisp 通常以函数式接口的形式公开一种机制。然后通过一组宏来完成典型用法，这些宏在开发环境中提供了方便的界面和副作用。

有时，对于 CLOS，功能接口下甚至还有一个面向对象的实现。

然后图片是这样的

macros <- used by the programmer, convenient to use
   ^
   |
functions <- user interface to the implementation
   ^
   |
CLOS (classes, instances, generic functions) <- low-level extensible machine

【讨论】：

【解决方案3】：

您所描述的基本上是 Lisp 的很大一部分是自己编写的这一事实的副作用。因此，通常要使用的高级定义和其背后的低级内容都可供程序员使用。

如果您想做一些原本不可能的高级工作，那么拥有可用的低级定义会非常好，但通常可以将其视为实现细节。

【讨论】：