如何模式匹配'letrec‘

Question

我正在尝试使用match-lambda将调用模式匹配到letrec。在我看来，这种模式：

(match-lambda
  (`(letrec ((,<var> ,<val>) . (,<vars> ,<vals>)) ,<expr> . ,<exprs>)
   `(<match>))

应与表单的调用匹配：

(letrec ((<var> <val>) ...) <expr> ...)

但是，当然，这是行不通的。

任何建议都是值得感谢的。

Answer 1

我认为您需要在match-lambda中使用...语法

(match-lambda
  (`(letrec ((,<var> ,<val>) ...) ,<expr> ...)
    body))

Answer 2

我不确定，但我想问题可能出在((,<var> ,<val>) . (,<vars> ,<vals>))上。这与你不想要的((,<var> ,<val>) ,<vars> ,<vals>)是一样的。也许可以试试像((,<var> ,<val>) . ,<vars-vals>))这样的东西

我还研究了documentation，看起来letrec不应该是表达式的一部分，您可能应该使用match-lambda*。

试一试

(match-lambda
  (`(((,<var> ,<val>) . ,<vars-vals>) ,<expr> . ,<exprs>)
   `(<match>)))

(当然，我可能是错的)