macros - 生成函数的宏

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 ...)))))

由于省略号可用于重复包含模式变量的形式，而不仅仅是重复它们自己的普通模式变量，因此该宏具有很强的声明性，并且易于阅读和编写。