Использование комбинатора неподвижной точки? Почему переполнение стека здесь?

Я смущен чем-то. Я хотел генерировать пример (в Clojure) демонстрирующий, как комбинатор неподвижной точки мог использоваться для оценки фиксированной точки последовательности, которая математически сходится после бесконечного числа приложений, но, на самом деле, сходилась бы после конечного числа шагов из-за конечной точности плавающих точек. Я являюсь по-видимому пропавшим что-то здесь.

(defn Y [r]
  ((fn [f] (f f))
   (fn [f]
     (r (fn [x] ((f f) x))))))

(defn simple-convergent [func]
  (fn [x]
    (if (zero? x)
      0.0
      (* 0.5 (func x)))))

Я могу затем добраться

user=> ((Y simple-convergent) 0.)
0.0
user=> ((Y simple-convergent) 0.2)
java.lang.StackOverflowError (NO_SOURCE_FILE:0)

Я не понимаю это переполнение стека. В более общем плане, связанный с моим более ранним сообщением, я задаюсь вопросом, может ли кто-то представить "корректную" версию комбинатора неподвижной точки, который может использоваться для приближения фиксированных точек последовательностей этим способом.