中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
Fixed-point combinator
来自维基百科,自由的百科全书
Found in articles
不动点定理
不动点组合子是一个“函数”,即输入一个λ表达式并输出该表达式的一个不动点。一个重要的不动点组合是Y 组合子(英语:
Fixed
-
point
_
combinator
#Y_
combinator
),它使用递归定义。 在程序语言的指称语义,一個克纳斯特-塔斯基定理的特例用于建立递归定义的语义。不动点定理虽然适
不动点组合子
不动点组合子(英語:
Fixed
-
point
combinator
,或不动点算子)是计算其他函数的一个不动点的高阶函数。 函数 f 的不动點是將函數應用在輸入值 x 時,會傳回與輸入值相同的值,使得 f(x) = x。例如,0 和 1 是函数 f(x) = x2 的不动点,因为 02 = 0 而 12
递归 (计算机科学)
等物件(即可以在執行期創建並作為變數處理),遞迴可以通過不動點組合子(英語:
Fixed
-
point
combinator
)來產生。以下Scheme程式沒有用到自呼叫,但是利用了一個叫做Z 算子(英語:Z
combinator
)的不動點組合子,因此同樣能達到遞迴的目的。 (define Z (lambda
Scheme
- 2.1.3 What Is Meant by Data?. [2024-01-13]. (原始内容存档于2024-02-26). y-
combinator
. [2024-01-06]. (原始内容存档于2024-01-06). Gerald J. Sussman, Guy L. Steele
Python
Library - Numeric and Mathematical Modules - decimal — Decimal
fixed
point
and floating
point
arithmetic. [2023-03-21]. (原始内容存档于2023-06-13). The Python Standard