方案模式匹配

Question

我编写了以下语法规则：

(define-syntax match-rewriter  
  (syntax-rules ()
    ((_ (patt body) ...)
     (λ (x) (match x (patt body) ... (_ x))))))

它本质上是 match-lambda ，只不过如果没有找到匹配项，它会返回其参数而不是抛出异常。

现在我想编写一个函数 let_as_lambda，它将源代码字符串作为输入，并将 let 语句重写为新的 let_as_lambda 函数。这就是我所拥有的：

(define let_as_lambda  
  (match-rewriter (`(let((,<var> ,<val>)) ... ,<expressions>)
                   `((lambda (,<var> ...) ,<expressions>) ,<val> ...))))

这显然是错误的：

(let_as_lambda '(let((x 3)) (+ x 2)))

返回：

'((λ ((x) ...) (+ x 2)) (3) ...)

仍然显示省略号并在括号中显示“3”。我相信我的问题是我不理解符号 `、. 和 , 在模式匹配中的正确用法。

如果有人可以向我展示正确的方法，我将不胜感激。

谢谢。

Answer 1

您可能会感到困惑，因为您使用两种不同的模式匹配工具。第一个是通过 syntax-rules 得到的，第二个是 match 。它们看起来足够接近，但存在一些重要的差异 - 在这种情况下，主要问题是与 syntax-rules 不同，您不能在准规则中使用 ...引用匹配的结果。因此，要处理匹配值的列表，您需要使用 unquote-splicing （或 ,@）和其他函数，如 map 等。例如，比较这两个表达式的结果：

(match '(1 2 3) [`(,x ...) `(foo ,x ...)])
(match '(1 2 3) [`(,x ...) `(foo ,@x)])

作为旁注，如果通常的准引用能够满足您的要求，那就太好了，但是对于完整的解决方案，它需要可以使用简单的函数也是如此——这使整个事情变得复杂（...的使用需要转换为apply）。