Math 自定义类型上函数的不动点组合符？

使用不动点组合的大多数示例都涉及将整数转换为整数的函数（例如阶乘）。在许多情况下，实数上函数的不动点最终将成为任意有理数或无理数（著名的例子是logistic映射）。在这些情况下，不动点可能不会用原语类型表示（请注意，Clojure确实支持比率）。我感兴趣的是找到关于不动点组合器（及其实现！），它可以计算这些“奇异”类型上函数的不动点。由于无理数等事物的十进制表示形式是无限序列，因此这种计算似乎必须惰性地进行计算。这些（假定的）惰性评估中有没有一个能很好地逼近真实的不动点？我的目标语言是Python和Clojure，但我当然不介意看到任何OCaml或Haskell实现）。

您会在的博客上找到这样的函数，可以计算固定点；例如和。这是针对固定点实际上处于“有限距离”的情况，因此它将被到达

你所说的一些固定点不是这种类型的，因为它们确实是“无限远的”。这些是在中使用的固定点类型。基本上，那里的理论都是关于如何获得不动点的良好近似