固定点组合器用于定制类型的功能？

Question

多部使用固定点组合器的示例涉及将整数占整数的函数（例如阶乘）。在许多情况下，实际数字上的功能的固定点最终将是任意的理性或可能是非理性的数量（一个着名的例子是Logistic Map http：//en.wikipedia.org/wiki/logistic_map ）。在这些情况下，可以在原始类型方面不得表达定点（虽然Clojure确实支持比率）。我有兴趣了解关于固定点组合者（及其实施！），可以计算这些“异国情调”类型的固定功能点。因为与无限序列相同的物质相当于非特性数量，因此必须懒惰地评估此计算。这些（推定的）懒人评估是否会产生良好的近似值？我的目标语言是Python和Clojure，但我当然不介意看到任何OCAML或Haskell实现）。

Answer 1

你会发现这样的函数，在 andrej bauer 的博客上计算了固定点例如看似不可能的程序和 Infinite搜索有限时间。这对于固定点实际上处于“有限距离”的情况，因此它将达到。

你正在谈论的一些固定点不是这种，因为他们真的“无限遥远”。这些是 Computaive Analysis 。基本上理论有关于如何对固定点获得良好近似的一切。