Question

在Ubuntu上，如果我运行MIT-Scheme，它将显示一个函数作为一个过程：

1 ]=> (define (sq x) (* x x))

;Value: sq

1 ]=> (sq 3)

;Value: 9

1 ]=> sq

;Value 11: #[compound-procedure 11 sq]

和Berkeley的STk将sq显示为闭包：

STk> (define (sq x) (* x x))
sq
STk> (sq 3)
9
STk> sq
#[closure arglist=(x) b73fab48]

为什么Lisp（Common Lisp clisp），当我做同样的事情时，它会给我一个错误，我怎么能把一个函数显示为一个值（第一类值/对象）？

[1]> (defun sq(x) (* x x))
SQ
[2]> (sq 3)
9
[3]> sq

*** - SYSTEM::READ-EVAL-PRINT: variable SQ has no value
The following restarts are available:
USE-VALUE      :R1      Input a value to be used instead of SQ.
STORE-VALUE    :R2      Input a new value for SQ.
ABORT          :R3      Abort main loop

Answer 1

与Scheme不同，Common Lisp为变量和函数名称保留了单独的名称空间。在CL中尝试#'sq。同时谷歌周围的Lisp1 vs Lisp2＆＃39;关于这个问题的无休止的措辞。

Answer 2

显示由命名空间差异引起的Scheme和Common Lisp之间的语法差异。 Scheme有一个函数和变量的命名空间。 Common Lisp具有不同的函数和变量名称空间。 Common Lisp中的名称可以同时具有不同的含义：变量，函数等。

功能定义

这些差异不是由命名空间差异引起的。

计划：(define (foo a) (+ a 1))

Common Lisp：(defun foo (a) (+ a 1))

将函数对象作为值

计划：foo

Common Lisp：(function foo)或更短#'foo。此表单返回一个函数对象。

调用具有零个或多个参数的函数对象

Scheme：将评估函数表达式的第一个位置。

(let ((bar foo))
  (bar 10))

Common Lisp：我们需要使用funcall来调用带参数的函数对象。第一个参数必须是函数对象。

(let ((bar #'foo))
  (funcall bar 10))

名称冲突：一个名称空间与两个名称空间

Scheme：需要命名局部变量，以便它们不与定义的函数冲突：

(define (foo lst)
  (list lst))

Common Lisp：函数和变量之间没有名称冲突。

(defun foo (list)
  (list list))

在Scheme或STk中，函数将显示为过程或闭包，但为什么LISP会出错？

2 个答案: