使用 defmac 模拟 where in 方案

Question

我实际上在 Scheme 中遇到了一个问题。而且我只是不知道如何解决它。这很容易理解，我想对于任何 Scheme 专家来说都很容易。我只需要在定义宏“操作”的方案中使用 defmac 函数来模拟 haskell 的 where 表达式。例如，执行如下代码

> (operation (+ x y) 
   where ([x 1]
          [y (+ x 32)]))
34

我有点熟悉用宏 (defmac) 表示简单对象的方法，但现在我真的被这个问题困住了。

非常欢迎任何帮助或想法。 提前谢谢你。

Answer 1

如果我理解正确，您想将该代码转换为类似

(let* ((x 1)
       (y (+ x 32))
  (+ x y))

(define-syntax operation
 (syntax-rules (where)
   ((operation expression where body)
    (let* body expression))))

应该这样做，但仅限于“where”在表达式之后的地方

Answer 2

听起来应该可以解决问题（使用 defmac 的定义）：

(defmac (operation expr
          where (binding ...))
        #:keywords where
  (let* (binding ...)
    expr))

它只是将您的operation 形式转换为等效的let*，因此您的示例将变为：

(let* ((x 1)
       (y (+ x 32)))
  (+ x y))