Question

我开始学习Emacs Lisp，作为练习我尝试使用foldr实现地图。代码如下：

(defun foldr (f z l)
   (if (null l)
       z
       (funcall f (car l)
                  (foldr f z
                           (cdr l)))))

(defun map (f l)
   (foldr (lambda (x z)
            (cons (funcall f x) z))
          nil
          l))

但是，当我尝试评估时，例如，

(map (lambda (x) (+ x 1)) '(1 2 3 4 5))

在Emacs中使用eval-last-sexp（在评估foldr和map之后），结果如下：

Debugger entered--Lisp error: (wrong-number-of-arguments (lambda (x z) (cons (funcall f x) z)) 1) (lambda (x z) (cons (funcall f x) z))(5) funcall((lambda (x z) (cons (funcall f x) z)) 5) (cons (funcall f x) z) (lambda (x z) (cons (funcall f x) z))(5 nil) funcall((lambda (x z) (cons (funcall f x) z)) 5 nil) (if (null l) z (funcall f (car l) (foldr f z (cdr l)))) foldr((lambda (x z) (cons (funcall f x) z)) nil (5)) (funcall f (car l) (foldr f z (cdr l))) (if (null l) z (funcall f (car l) (foldr f z (cdr l)))) foldr((lambda (x z) (cons (funcall f x) z)) nil (4 5)) (funcall f (car l) (foldr f z (cdr l))) (if (null l) z (funcall f (car l) (foldr f z (cdr l)))) foldr((lambda (x z) (cons (funcall f x) z)) nil (3 4 5)) (funcall f (car l) (foldr f z (cdr l))) (if (null l) z (funcall f (car l) (foldr f z (cdr l)))) foldr((lambda (x z) (cons (funcall f x) z)) nil (2 3 4 5)) (funcall f (car l) (foldr f z (cdr l))) (if (null l) z (funcall f (car l) (foldr f z (cdr l)))) foldr((lambda (x z) (cons (funcall f x) z)) nil (1 2 3 4 5)) map((lambda (x) (+ x 1)) (1 2 3 4 5)) eval((map (function (lambda (x) (+ x 1))) (quote (1 2 3 4 5))) nil) eval-last-sexp-1(nil) #[257 "\204\303!\207 \303!\n)B\211A =\204\211A\211@\207" [eval-expression-debug-on-error eval-last-sexp-fake-value debug-on-error eval-last-sexp-1] 4 2471606 "P"](nil) ad-Advice-eval-last-sexp(#[257 "\204\303!\207 \303!\n)B\211A =\204\211A\211@\207" [eval-expression-debug-on-error eval-last-sexp-fake-value debug-on-error eval-last-sexp-1] 4 2471606 "P"] nil) apply(ad-Advice-eval-last-sexp #[257 "\204\303!\207 \303!\n)B\211A =\204\211A\211@\207" [eval-expression-debug-on-error eval-last-sexp-fake-value debug-on-error eval-last-sexp-1] 4 2471606 "P"] nil) eval-last-sexp(nil) call-interactively(eval-last-sexp nil nil) command-execute(eval-last-sexp)

我不明白为什么这不起作用，当Haskell中的以下超级类似的实现工作正常时：

foldr f z l = if (null l) then z else f (head l) (foldr f z (tail l)) map f l = foldr (\ x z -> (:) (f x) z) [] l

那么为什么Lisp和Haskell程序不等同？ Lisp实现中问题的本质是什么，即为什么不能映射工作？

Answer 1

(setq lexical-binding t)

f是传递给foldr的lambda格式的自由变量。

使用词法绑定，您的示例可以正常工作：

(map (lambda (x) (+ x 1)) '(1 2 3 4 5)) ; ==> (2 3 4 5 6)

在Emacs Lisp中使用foldr实现map

1 个答案: