方案：模式匹配语法

Question

这是对之前帖子的编辑。我重新发布它是因为我认为原件没有得到更多的浏览，因为我已经接受了部分答案。

我编写了一个函数 ma​​tch-rewriter ，它只是 match-lambda ，只不过如果没有找到匹配项，它会返回其参数。

使用匹配重写器，我希望能够编写可以传递给另一个函数rewrite的规则，如下所示：

#| (rewrite rule s) repeatedly calls unary function 'rule' on every "part" 
    of s-expr s, in unspecified order, replacing each part with result of rule, 
    until calling rule makes no more changes to any part. 
     Parts are s, elements of s, and (recursively) parts of the elements of s. (define (rewrite rule s) |#

  (let* ([with-subparts-rewritten
          (if (list? s) (map (λ (element) (rewrite rule element)) s) s)]
         [with-also-rule-self (rule with-subparts-rewritten)])
    (if (equal? with-also-rule-self with-subparts-rewritten)
        with-also-rule-self
        (rewrite rule with-also-rule-self))))

这是正确用法的示例：

(define arithmetic 
   (match-rewriter (`(+ ,a ,b) (+ a b)) 
                (`(* ,a ,b) (* a b)) 
                ))
(rewrite arithmetic '(+ (* 2 (+ 3 4)) 5))

==>

19

现在我已经写了：

(define let→λ&call
  (match-rewriter (`(let ((,<var> ,<val>) . (,<vars> ,<vals>)) ,<expr> . ,<exprs>)
                   `((λ (,<var> . ,<vars>) ,<expr> . ,<exprs>) ,<val> . ,<vals>))))

将 let 实现为 lambda 调用，但这就是它的行为方式：

(rewrite let→λ&call '(let((x 1) (y 2) (z 3)) (displayln x) (displayln y) (displayln z)))
'((λ (x y 2)
    (displayln x)
    (displayln y)
    (displayln z))
  1
  z
  3)

我不得不说，这真的让我难住了。奇怪的是，这个调用：

(rewrite let→λ&call '(let((w 0) (x 1) (y 2) (z 3)) (displayln w) (displayln x) (displayln y) (displayln z)))
'(let ((w 0) (x 1) (y 2) (z 3))
   (displayln w)
   (displayln x)
   (displayln y)
   (displayln z))

只返回它的参数，这意味着匹配重写器没有找到该模式的匹配项。

任何建议表示赞赏。

谢谢。

Answer 1

这种模式：

((,<var> ,<val>) . (,<vars> ,<vals>))

不做你想做的事。特别是，它相当于：

((,<var> ,<val>) ,<vars> ,<vals>)

我建议您使用常规的匹配模式，而不是准模式，直到您更好地了解它们的工作原理。其模式是：

(list (list <var> <val>) (list <vars> <vals>) ...)