如何使宏观卫生的一部分

Question

我想要一个名为 lambda-r 的 lambda 版本，您可以在其中返回。示例：

(+ ((lambda-r ()
    (return 1)
    2)) 5)

这将给出值 6。尽管您可能期望该值为 7，但实际上是 6，因为 lambda 表达式在达到 2 之前返回了 1。

这是我正在寻找的转变的一个例子。假设要使用 lambda-r 如下：

(lambda-r (a b)
    (return a)
    (+ a b))

我希望它像这样转换：

(call/cc (lambda (k)
       (define return (lambda (v)
                        (k (lambda (a b)
                             v))))
       (lambda (a b)
         (return a)
         (+ a b))))

也可以用 let 表达式而不是内部定义来表达，但我使用的是为了清楚起见定义。

请注意，上面的代码实际上确实按预期工作。 问题是我无法将lambda-r表达为宏。原因是我希望 k 和 v 卫生，但我不希望 return 卫生。

目前我的宏是这样的：

(define-syntax lambda-r
  (syntax-rules (return)
    [(_ (var ...) body ...)
     (call/cc (lambda (k)
           (define return (lambda (v)
                            (k (lambda (var ...)
                                 v))))
           (lambda (var ...)
             body ...)))
     ]))

这不起作用，因为 return 被卫生地处理，因此在使用 lambda-r 时不直接可见。因此 (lambda-r () (return 1)) 给出一个错误，指出 return 不是有效的标识符。

---

编辑：感谢内森·桑德斯的回答，我更接近理解我在这里必须做什么。但是我不完全理解以下过程，因此还无法使其正常工作。如果您能解释/引导我找到解释以下内容的资源，我将非常感激：

• syntax 过程
• datum->syntax/syntax->; datum 程序

编辑：没关系 - 我现在已经得到了:)

Answer 1

您想要的是 syntax-case 而不是 syntax-rules。

R6RS 定义给出了一些示例，特别是语法部分-对象和数据转换，这就是你想要的。您应该能够将带有 break 的 loop 示例调整为您的 return。