Question

虽然过了let over lambda但我发生了

(defmacro! dlambda (&rest ds)
  `(lambda (&rest ,g!args)
     (case (car ,g!args)
       ,@(mapcar
           (lambda (d)
             `(,(if (eq t (car d))
                  t
                  (list (car d)))
               (apply (lambda ,@(cdr d))
                      ,(if (eq t (car d))
                         g!args
                         `(cdr ,g!args)))))
           ds))))

他们随后如此调用：

(setf (symbol-function 'count-test)
    (let ((count 0))
      (dlambda
        (:inc () (incf count))
        (:dec () (decf count)))))

是否有像flet / labels /这样的构造，我可以将结果闭包绑定到，以避免以全局方式使用funcall或setf符号函数？所以我可以这样做：

(with-closures ((counter (let ((count 0))
                          (dlambda
                           (:inc () (incf count))
                           (:dec () (decf count))))))
              (counter :incf))

Answer 1

你可以写一个宏：

(defmacro as-functions ((&rest names) &body body)
  (assert (every #'symbolp names) () "Names must be symbols")
  (let ((args (copy-symbol :args)))
    `(flet
         ,(mapcar (lambda (n) `(,n (&rest ,args) (apply ,n ,args))) names)
       ,@body)))

对于s中的每个符号names，将函数名称空间中的此符号绑定到变量名称空间。这可以隐藏当前词法范围内已经命名为s的任何函数，但由于它是明确完成的，程序员不应该感到意外。例如：

(let ((a (lambda (u) (+ 3 u))) (b (lambda (u) (* 2 u)))) (as-functions (a b) (a (b 3))))

... macroexpands as：

(LET ((A (LAMBDA (U) (+ 3 U))) (B (LAMBDA (U) (* 2 U)))) (FLET ((A (&REST #:ARGS) (APPLY A #:ARGS)) (B (&REST #:ARGS) (APPLY B #:ARGS))) (A (B 3))))

...并评估为9。

与绑定构造相反，它可以与函数参数一起使用：

(defun compose (f g) (as-functions (f g) (lambda (x) (f (g x)))))

也提供绑定

根据jkiiski的评论，这里是一个修改版本，除了单个符号外还接受(name fun)绑定。这看起来像FLET，除了可以在运行时计算函数。

(defmacro as-functions ((&rest names) &body body) (let ((args (copy-symbol :args))) `(flet ,(mapcar (lambda (name) (etypecase name (symbol `(,name (&rest ,args) (apply ,name ,args))) (cons (destructuring-bind (name fun) name `(,name (&rest ,args) (apply ,fun ,args)))))) names) ,@body)))

所以：

(defun thing (f g h) (as-functions (f (k (compose g h))) (f (k 3))))

<子> 编辑：我记得曾经使用MACROLET读过这样一个宏：请参阅comp.lang.lisp中的Erik Naggum的this reply Re：为什么Scheme不是Lisp？< / EM>

是否有一个let / flet / labels之类的概念用于绑定闭包以避免funcall？

1 个答案:

也提供绑定