clojure - 每次调用 `letfn` 时， `sqrt` 中定义的绑定(bind)都会更新吗？

Question

假设定义了 abs 和 avg:

(defn sqrt [x]
  (letfn [(s [guess]
            (if (good-enough? guess)
              guess
              (s (improve guess))))
          (good-enough? [guess]
            (< (abs (- (square guess) x)) 0.0001))
          (improve [guess]
            (avg (/ x guess) guess))]
    (s 1.0)))

请忽略我在这里重新发明轮子。 :) 这仅作为示例。

如果是这样，有没有办法解决这个问题，这样每次调用函数时名称就不会一次又一次地绑定(bind)，并且不会在函数外部引入更多名称？

Answer 1

Will the functions defined in letfn be redefined every time sqrt is called?

是的。

每次输入 sqrt 函数时，s 和 good-enough 的绑定(bind)都会被重新创建。他们所束缚的事物被重新构建。

• s 和 good-enough 函数(实际上是 fn 特殊形式)编译一次，当 (defn sqrt ... ) 为已执行。
• 每次调用 sqrt 时，它们都会在 x 上闭合。
• 闭包可以在 JVM 上作为内部类实现符合 IFn 接口(interface)。
• 每次 sqrt 时都会构造闭包/函数对象输入，尽管它们所例证的类已经编译了很长时间。

<小时/>

这取决于您所说的“重新定义”的含义。我想不会，但是绑定(bind)两侧的元素都被更新了。所以现在我这么认为。是。

<小时/>

is there a more idiomatic way to write the square root function?

是的。

在 JVM 上...

(defn sqrt [x] (Math/sqrt x))

(sqrt 2);1.4142135623730951