为什么递归函数没有被记忆

Question

您好，我无法解决这个问题：

(defn integrate
  "Finding the definite integral from 0 to stop"
  ([f dx]
   (let [itg (memoize
              (fn [itg stop n]
                (if (<= n 0)
                  0
                  (+ (let [b (* n dx) a (- b dx)]
                       (println "[DEBUG] stop = " stop " and n =" n) 
                       (* (- b a) (/ (+ (f a) (f b)) 2))
                      )
                     (itg itg stop (dec n))))))
         itg (partial itg itg)]
     (fn [x] (itg x (quot x dx))))))

(time ((integrate (fn [x] (* x x)) 0.1) 5))
(time ((integrate (fn [x] (* x x)) 0.1) 5))

我希望我第二次调用这个函数时，它应该达到记忆的结果，但它只是第二次重新计算整个积分并再次打印 DEBUG 消息。

为什么会发生这种情况？如何解决这个问题？

Answer 1

两个问题。1) 每次调用integrate都会创建一个新的记忆化函数，因此第二次调用integrate不会重用第一次调用计算出的任何结果。2) 记忆函数的参数之一本身就是一个函数。事实并非如此(= (fn []) (fn []))，因此备忘录可能不会像您希望的那样经常匹配。