fixpoint（名词）：通常指不动点——对某个函数或变换 (f) 而言，满足 (f(x)=x) 的点 (x)。在计算机科学中也常指通过迭代求解方程/递归定义时达到的稳定结果（不再变化的值）。
（更常见的写法是 fixed point，但在某些学术与工程语境中也会写作 fixpoint。）
/ˈfɪksˌpɔɪnt/
A fixpoint is a value that doesn’t change under a function.
不动点是在函数作用下不会改变的值。
In denotational semantics, recursive definitions are interpreted as the least fixpoint of a suitable operator.
在指称语义学中，递归定义通常被解释为某个合适算子的最小不动点。
fixpoint 由 fix（固定）+ point（点）构成，字面意思是“固定的点”。在数学中“不动点（fixed point）”概念很早就存在；在计算机科学里，随着递归、迭代求解与语义学的发展，“不动点/最小不动点”等表述被广泛用于描述“反复应用规则后最终稳定下来的结果”。
Select Language