Common Lisp中的高阶函数语法

Question

我自学的是使用Norvig的AI编程范式的Common Lisp，遇到了一些我不明白的东西，他也没有解释。

(defun mappend (fn the-list) 
    (apply #'append (mapcar fn the-list))) 

是什么叫高阶函数如下，higherOrderFunC#'funcName funcArg并呼吁mapcar没有#'时，他做什么区别呢？调用高阶函数时需要#'吗？

Answer 1

Common Lisp对函数和变量有不同的命名空间。

(defun mappend (fn the-list) 
    (apply #'append (mapcar fn the-list))) 

以上MAPPEND获取与两个局部变量fn和the-list

APPLY被传递的APPEND的功能值定义。

MAPCAR获得变量的值FN。

类似的看到这一点：

CL-USER 129 > (flet ((add-something (number) 
         (+ number 17))) 
       (let ((add-something (lambda (number) 
             (+ number 42)))) 
        (list 
        (mapcar #'add-something '(1 2 3)) 
        (mapcar add-something '(1 2 3))))) 

-> 

((18 19 20) (43 44 45)) 

LET创建局部变量，FLET创建本地功能。

第一个mapcar使用函数命名空间，第二个使用变量命名空间。

Common Lisp使用特殊的函数名称空间，因为它被认为更高效（实现快速Lisp稍微容易一些）并允许函数和变量具有相同的名称。

Common Lisp中，我们可以这样写：

(defun list-me (list) 
    (list list)) 

在计划，它没有单独的名称空间一个会写这样的事：

(define (list-me lst) 
    (list lst)) 

Answer 2

#'是句法糖function：#'foo被读作(function foo)。

Function是一个特殊的运算符，它返回给定名称的函数值bound。如果您将函数作为参数传递，那么该参数（在您的情况下为fn）将其值绑定到该函数。要将它传递给另一个函数，只需将变量名称放入调用表单即可。但是，要获得名称的功能值，您需要使用function访问它。

Answer 3

使用#'要求不严格。如果您只是通过'foo，符号函数将被调用。考虑以下几点：

* (defvar foo #'(lambda (a) 'var)) 
* (setf (symbol-function 'foo) #'(lambda (a) 'fun)) 

* (mapcar 'foo '(a b)) 
(FUN FUN) 

* (mapcar #'foo '(a b)) 
(FUN FUN) 

* (mapcar foo '(a b)) 
(VAR VAR) 

Practially＃ '富或' 富是等效的：

X3J13投[...]，以允许 '功能' 的唯一类型 '符号' 的 或'功能'; [...]必须在lambda表达式[...]之前使用'函数'特殊形式 。在flet

规格的功能有一些有趣的特性：

* (flet ((foo (a) 'FLET)) 
    (mapcar foo '(a b)))   ; Uses 'value' of foo 
(VAR VAR) 

* (flet ((foo (a) 'FLET)) 
    (mapcar 'foo '(a b)))   ; Uses 'function' of foo 
(FUN FUN) 

* (flet ((foo (a) 'FLET)) 
    (mapcar #'foo '(a b)))   ; Uses local binding 'flet' of foo 
(FLET FLET)