递归检测逻辑过于简单

Question

以下因为存在 {{recur}} 而崩溃。

`
(defn rec [expr]
(match expr

     [:global] 'GLOBAL
     [:constant x] x
     [:variable x] x
     [:lazy-variable x] `(deref ~x)
     [:if test if-true if-false] `(if ~(rec test)
                                    ~(rec if-true)
                                    ~(rec if-false))
     [:delist list index] `(get ~(rec list) ~(rec index))
     [:depair pair key] `(get ~(rec pair) ~(match key :first 0 :second 1))
     [:list elements] (map rec elements)
     [:fold-recur index-arg list-sym] `(recur (+ 1 ~index-arg) (rest ~list-sym))
     [:zip left right] `(map vector ~(rec left) ~(rec right))
     [:filter list arg body] `(filter (fn [~arg] ~(rec body) ~(rec list)))
     [:len list] `(count ~(rec list))
     [:pair first second] [(rec first) (rec second)]
     [:block arg body] `(fn [~arg] ~(rec body))
     [:app f arg] `(~(rec f) ~(rec arg))
     [:query e annotations] `(QUERY ~(rec e) ~annotations)
     [:lookup key] `(LOOKUP ~key)
     [:let name value expr] `(let [~name ~value] expr)
     ; ... about 15 more
     ))

`

Answer 1

评论由：jneen

一种棘手的选择方案是从外部作用域中插入 {{'recur}} 符号。

`
(def recur-sym 'recur)

(match expr
... (~recur-sym ...))

Answer 2

评论由：dnolen

既然现在有 tools.analyzer，就不难解决这个问题。

Answer 3

参考：https://clojure.atlassian.net/browse/MATCH-95 (由 dnolen 报告)