不动点组合子（英语：Fixed-point combinator，或不动点算子）是计算其他函数的一个不动点的高阶函数。

函数f的不动点是一个值x使得f(x) = x。例如，0和1是函数f(x) = x的不动点，因为0 = 0而1 = 1。鉴于一阶函数（在简单值比如整数上的函数）的不动点是个一阶值，高阶函数f的不动点是另一个函数g使得f(g) = g。那幺，不动点算子是任何函数fix使得对于任何函数f都有

不动点组合子允许定义匿名的递归函数。它们可以用非递归的lambda抽象来定义。

In computer science, a fixed-point combinator (or fixpoint combinator) is a higher-order function y that satisfies the equation

or in words: y, when applied to an arbitrary function f, yields the same result as f applied to the result of applying y to f. It is so named because, by setting , it represents a solution to the fixed point equation,