方案：映射 let 和 set！到列表中

Question

我正在尝试映射 let 和 set！ on 列出了类似这样的内容：

(map (lambda (x) (let ((x #f)))) <list>)

and

(map set! <list1> <list2>)

但是，当然，两者都不起作用。

有办法做到这一点吗？任何建议表示赞赏。

谢谢。

---

真正的问题是我正在尝试找到一种模式匹配 letrec 的方法。我需要能够模式匹配：

(letrec ((var val) ...) expr0 expr1 ...)

并使用 match-lambda 将其转换为仅使用 let 和 set 的等效调用！这是我试图模仿的模板：

(letrec ((var val) ...) expr0 expr1 ...)

==>

(let ((var #f) ...)
(let ((temp val) ...)
(set! var temp) ...
(let () expr0 expr1 ...)))

问题是将其转换为 match-lambda 接受的语法。这是我正在做的事情，假设有一种方法可以完成最初的问题：

(match-rewriter (`(letrec((,<var> ,<val>) ...) ,<expr> ...)
                   `((map (λ (x) (let ((x #f)))) ,<var>)
                      (let ((temp ,<val>)))
                        (map set! ,<var> temp)
                        (let () ,@<expr>))))

任何建议都会受到赞赏。

谢谢。

Answer 1

你不能那样做。如果不使用eval，变量名通常不允许是动态的（基本上任何不是符号文字的东西）。这是设计使然。

如果您的变量名确实是文字，并且您只是想要一种同时绑定多个变量的方法，则可以使用 let-values (SRFI 11) 或扩展 let (SRFI 71)。

---

编辑以匹配OP的编辑：你想要做的听起来像 letrec 定义在这里给出。但是，该宏使用 syntax-case，而不是 match-lambda 等。不过，您也许可以使用它作为起点。

Answer 2

这是您想要的代码：

(define (rewrite-letrec l)
  (match l
    [(list 'letrec (list (list vars rhss) ...)
           exprs ...)
     (let ([tmps (map (λ _ (gensym)) vars)])
       `(let (,(map (λ (v) `(,v #f)) vars))
          (let (,(map (λ (tmp rhs) `(,tmp ,rhs)) tmps rhss))
            ,@(map (λ (v t) `(set! ,v ,t)))
            (let () ,@exprs))))]))

这里有几个区别。一是 let 是嵌套的。其次，我们正在构建代码，而不是尝试运行它。