不动点组合子（，或不动点算子）是计算其他函数的一个不动点的高阶函数。函数 f 的不动点是将函数应用在输入值 x 时，会传回与输入值相同的值，使得 f(x) = x。例如，0 和 1 是函数 f(x) = x 的不动点，因为 0 = 0 而 1 = 1。鉴于一阶函数（在简单值比如整数上的函数）的不动点是个一阶值，高阶函数 f 的不动点是另一个函数 g 使得 f(g) = g。那么，不动点算子 fix 的定义是使得对于任何函数 f不动点组合子它们可以用非递归的 lambda抽象来定义，在 lambd