0 = 0 而 1 = 1。鉴于一阶函数（在简单值比如整数上的函数）的不动点是个一阶值，高阶函数 f 的不动点是另一个函数 g 使得 f(g) = g。那么，不动点算子 fix 的定义是使得对于任何函数 f不动点组合子它们可以用非递归的lambda抽象来定义，在 lambda演算中的函数都是匿名的。然而在命令式编程语言中的递归，或许限制只能以唿叫函数名称作为参数来实作。在函数式编程语言中的不动点，以 lambda抽象来定义的Y组合子为：则允许匿名函数足够逹成递归的作用，即递归函数。应用于带有一