如何用语法模板展平嵌套列表？Mythical Macros的result6求解

我正在学习Mythical Macros中的示例，却完全被result6难住了。目标是替换以下代码片段中的???-pattern和???-template，使其求值为true：

(define result6
  (with-syntax
    ([???-pattern (syntax ((a (1 "alpha") (2 "beta"))
                           (b (3 "gamma") (4 "delta"))))])
    (syntax ???-template)))
 
(equal? (syntax->datum result6)
        '((a b) (1 2 3 4) ("alpha" "beta" "gamma" "delta")))

我认为模式部分是正确的，但模板和拼接部分无从下手。我尝试的代码如下：

(define result6
  (with-syntax
    ([  ((l (n text) ...) ...)
      #'((a (1 "alpha") (2 "beta"))
         (b (3 "gamma") (4 "delta")))])
    #'( (l ...)  (~@ n ...) ... ) ))

得到的结果是：

`((a b) 1 2 3 4)

我尝试了各种方法都无法让text模板正常工作，该如何解决这个问题？我遗漏了哪些知识点？

解决方案 #

你的模式匹配是对的，问题出在模板的拼接逻辑上。当前模板只处理了l和n的部分，且(~@ n ...) ...会把所有n扁平展开，没有将text部分收集成单独的列表。

正确的模板需要分别收集三类元素：标签（l）、数字（n）、文本（text），每一类都包裹在独立列表中。修改后的代码如下：

(define result6
  (with-syntax
    ([((l (n text) ...) ...)
      #'((a (1 "alpha") (2 "beta"))
         (b (3 "gamma") (4 "delta")))])
    #'( (l ...) (n ... ...) (text ... ...) )))

关键知识点说明 #

• 嵌套...展开规则：(n ... ...)中的两个...表示先展开单个标签下的所有n，再遍历所有标签将这些n合并为一个列表。第一个...处理单标签内的元素，第二个...处理多标签的聚合，text部分同理。
• 模板结构对齐：目标结果是三个子列表，因此模板需要明确写出三个列表结构，分别对应标签组、数字组、文本组，而非直接扁平展开数字。

修改后，result6的求值结果会与目标一致，equal?将返回true。

内容的提问来源于stack exchange，提问作者red-swan