增量宏定义可能吗？

Question

我经常发现以下类型的增量定义很有用：

(define (foo) (display "bar"))
(foo)
;prints bar
(define foo (let ((bar foo))
              (lambda ()
                (display "foo")
                (bar))))

(foo)
;prints foobar

如何使用宏执行这种类型的增量定义？ 我无法让 let-syntax 提供相同的功能。

目前我使用 plt 方案，但也希望看到不同 lisp 实现中的答案。

编辑：

天真地我想做以下事情：

(define-syntax foo
  (syntax-rules ()
    ((_) (display "bar"))))

(define-syntax foo
  (let-syntax ((old-foo (syntax-rules () ((_) (foo)))))
    (syntax-rules ()
      ((_) (begin
             (display "foo")
             (old-foo))))))

将天真的宏转换为工作 plt 方案宏：

(require-for-syntax scheme/base) 
(define-syntax foo
  (syntax-rules ()
    [(foo) (display "bar")]))
(define-syntax foo
  (let ([old (syntax-local-value #'foo)])
    (lambda (stx)
      #`(begin #,((syntax-rules ()
               [(_) (begin (display "foo"))]) stx)
             #,(old #'(_))))))
(foo)

如果我缺少更好的方法，请告诉我。

Answer 1

我不认为你可以用宏来做这样的事情。我也不认为尝试有任何意义。

请注意，宏不仅仅是一些具有额外魔力的函数！宏是完全不同的东西。

也许您正在寻找类似 Common Lisp 中的方法组合之类的东西？

Answer 2

通过宏的实现，您将能够创建世界上最难维护的软件。

编辑：在 Common Lisp 中这是可能的。我不记得我曾在源代码中见过它。

在 Common Lisp 社区中，向函数或宏添加行为通常被称为“建议”或“建议”。一些“建议”工具还可以为宏提供建议。

Answer 3

FWIW（这绝对不是很多，因为这几乎是用脚进行目标练习的练习），以下是您在 PLT 方案中仅使用卫生 syntax-rules 宏来执行此操作的方法

(define-syntax foo
  (syntax-rules ()
    [(foo x) (list 'x '= x)]))
(define-syntax foo
  (let ([old (syntax-local-value #'foo)])
    (compose (syntax-rules ()
               [(_ x ...) (list 'begin x ... 'end)])
             old)))
(printf ">>> ~s\n" (foo (+ 1 2)))

：不能在模块内部工作，只能在 REPL 上工作——这是一件好事。也可以在模块中执行类似的操作，但是如果您要这样做，您也可以使用过程宏（又名 syntax-case 宏），其标识符绑定在语法级别并“设置！”其值以扩展它。仍然不是一个好主意，并且仍然会导致眼睛流血，但有些人喜欢伤害自己......

（哦，顺便说一句 - 即使这样做仍然与所讨论的宏是否卫生完全无关。）

Answer 4

我认为你可以通过使用不卫生的宏来实现这一点，我相信 PLT 方案支持这一点。然后，您将使用与常规函数完全相同的机制，因为宏将是碰巧对 S 表达式进行操作的常规函数​​。

我不知道如何使用卫生宏来做到这一点，但我很惊讶你不能 - 我会考虑在 PLT 邮件列表上询问。

Answer 5

let* 怎么样？

(define foobar
    (let* ((foo (lambda () (display "foo")))
           (bar (lambda () (foo) (display "bar"))) )
            bar))