用于生成函数的宏

Question

我正在尝试编写一些用于整数约束编程的宏，特别是我正在尝试扩展

(int-constr (x y z) 
        (< 10  
       (+
        (* x 4)
        (* y 5)
        (* z 6)))
    (> 10
       (+
        (* x 1)
        (* y 2)
        (* z 3))))

成

(let ((x (in-between 0 1))
      (y (in-between 0 1))
      (z (in-between 0 1)))
  (assert  
   (and (< 10  
           (+
            (* x 4)
            (* y 5)
            (* z 6)))
        (> 10
           (+
            (* x 1)
            (* y 2)
            (* z 3)))))
  (list x y z))

当递归使用语法规则时，我可以在开头创建嵌套的let，但我认为我失去了在最后调用参数列表的可能性。有什么办法吗？

Answer 1

即使只是坚持使用syntax-rules，这个宏也可以通过使用省略号来编写。这是您描述的行为的实现：

(define-syntax int-constr
  (syntax-rules ()
    ((_ (x ...) constr ...)
     (let ((x (in-between 0 1)) ...)
       (assert (and constr ...))
       (list x ...)))))

由于省略号可用于重复包含模式变量的表单，而不仅仅是自己重复普通模式变量，因此该宏非常具有声明性，并且读取和写入都很简单。