Scheme &引用；让我们；球拍内循环评估器

我正在用Racket编写一个元循环计算器，我在为let表达式创建语法抽象方面遇到了麻烦。我试图为let的主体创建代码，因此本质上，

（展开let'（（a1）（b2））（+ab））

应该产生

”（（lambda（ab）（+ab））12）

我知道我需要递归绑定，直到到达表达式（+ab），但我不清楚如何在Racket中询问列表的car是否是a+，-，*，等等

---

如有任何建议，将不胜感激

如果列表中的

汽车

是

+

、

-

、

*

等，则无需询问Racket。

扩展lambda

功能可定义如下：

（定义（展开lambda expr）
（出租*（（成对（汽车出口））
（车身（cdr expr））
（钥匙（地图车对））
（VAL（map cadr对）））
（cons（cons的lambda（cons键体））VAL）

---

希望能有帮助。

我想你想得太多了。下面是我的

扩展let

的实现：

(define (expand-let form)
  (define bindings (car form))
  `((lambda ,(map car bindings) ,@(cdr form))
    ,@(map cadr bindings)))

---

为什么还要检查使用了哪个操作？我需要创建一个包含键（ab）、表达式和值列表的列表。问题是传入的绑定数量可能不同，表达式中的操作也可能不同。在let

（let（（x y）（y z）…）表达式中）

绑定位于它们自己的a列表中。因此，直到找到一个表达式时才递归，直到找到a列表的末尾时才递归。