过滤器过于激进

Question

我试图让它不必完全理解代码，因此先阅读整个问题，然后根据需要深入研究代码。

我正在尝试为模式匹配做一个宏。 它通过列表中的第一个元素是要执行的匹配类型来工作

例如：列表中的第一个元素是“cons”;宏会调用一个cons匹配函数。

匹配函数接受一个对象和一个函数，用匹配的值调用该函数。使用cons匹配器时，它会使用列表的头部和尾部调用函数。

我用一个“num”匹配器进行测试。它基本上是一个身份匹配器，所以它可以任意嵌套在自己内部，如下所示。

;a macro to make debugging easier 
(defmacro log [item] `(do (print ~(join [(str item) ": "])) (println ~item))) 

(defn make-pattern-matcher-iter [result bindings-queue] 
    (println "starting next iteration") 
    (log bindings-queue) 
    (if (first bindings-queue) (println "bindings-queue does contain an element") nil) 
    (if (first bindings-queue) 
    (let [[next-symbol pattern] (first bindings-queue) 
      pattern-name (first pattern) 
      pattern-items (next pattern) 
      pattern-matching-function (prepend-symbol "match-" pattern-name) 
      gensyms-attached-to-subpatterns (map (fn [pattern] 
               (if (symbol? pattern) 
                pattern 
                `(~(gensym "matchbinding") ~pattern))) 
               pattern-items) 
      all-bound-symbols (map (fn [sym] 
            (if (symbol? sym) sym (first sym))) 
           gensyms-attached-to-subpatterns) 
      gensyms-subpattern-pairs (filter list? gensyms-attached-to-subpatterns) 
      rest-of-bindings-queue (next bindings-queue) 
      updated-bindings-queue (concat rest-of-bindings-queue 
             gensyms-subpattern-pairs) 
      subpatterns (map second gensyms-subpattern-pairs)] 
     (log next-symbol) 
     (log all-bound-symbols) 
     (log updated-bindings-queue) 
     (log gensyms-attached-to-subpatterns) 
     (log gensyms-subpattern-pairs) 
     (log subpatterns) 
     `(~pattern-matching-function 
     ~next-symbol 
     (fn [~@all-bound-symbols] ~(make-pattern-matcher-iter result updated-bindings-queue)))) 
    result)) 

(defn make-pattern-matcher [object pattern result] (make-pattern-matcher-iter result [[object pattern]])) 


(defn match-num [x f] 
    (if (number? x) (f x) nil)) 


(def this-m (make-pattern-matcher-iter '(+ x y) [['object '(pair x y)]])) 
(def this-n (make-pattern-matcher '15 '(num (num z)) 'z)) 
(= this-n this-m) 

(defmacro bind-match [object pattern result] (make-pattern-matcher object pattern result)) 

(bind-match 15 (num (num z)) z) 

的问题是，宏没有正确绑定“Z”

日志提供了有关第二次迭代：

gensyms-attached-to-subpatterns: ((matchbinding8210 (num z))) 
gensyms-subpattern-pairs:() 

还有其他日志消息，但这些似乎成为问题。

看看如何计算gensyms-subpattern-pairs。在让块说：

gensyms-subpattern-pairs (filter list? gensyms-attached-to-subpatterns) 

这应该拿出一切，但列表，这是所有的，所以它不应该拿出任何东西。 这个过滤器看起来太过分了。为什么？

Answer 1

如您所述，gensyms-attached-to-subpatterns的元素不是IPersistentList s，而是Cons es。理智检查：

(contains? (supers clojure.lang.Cons) clojure.lang.IPersistentList) 
;=> false 

所以它看起来像你需要使用其他检查比list?。