重新定义内置的方案，但仅在用作特定过程的参数时？

Posted 2021-04-20

我怎样才能重新定义and程序，只要它被称为fetch程序的参数？

例如：

; this `and` returns #f
(and #t #f)

; this `and` returns "and a b" 
(fetch (foo (bar (and "a" "b"))))

我想写一个宏来做这个，但我无法弄清楚如何在传递给and的任意参数树中的任何地方编写一个匹配fetch的模式。

我正在使用鸡肉，我很乐意使用与鸡肉一样多的R7RS。

答案

一个挑剔：and不是一个程序，它是语法（考虑一下：一旦遇到第一个#f，评估就会停止）。

但不管怎样，我不认为你试图做的是通过压倒and。您需要将fetch转换为宏。我没有尝试扫描输入并替换and，而是使用不卫生的let来覆盖and本地的含义。有点像这样：

(define my-local-and ...)
(define the-real-fetch ...)

(define-syntax fetch
  (ir-macro-transformer
    (lambda (e i c)
      `(let ((,(i 'and) my-local-and))
         (the-real-fetch ,@(cdr e))))))

不过，我真的反对这一点，因为这会让用户对正在发生的事情抱有很大的期望。也许您可以解释一下为什么要这样做？