🔗 Fixed-Point Combinator

🔗 Computer science 🔗 Mathematics

In combinatory logic for computer science, a fixed-point combinator (or fixpoint combinator),^: p.26 is a higher-order function (i.e. a function which takes a function as argument) that returns some fixed point (a value that is mapped to itself) of its argument function, if one exists.

Formally, if ${\displaystyle {\textsf {fix}}}$ is a fixed-point combinator and the function ${\displaystyle f}$ has one or more fixed points, then ${\displaystyle {\textsf {fix}}\ f}$ is one of these fixed points, i.e.

${\displaystyle f\ ({\textsf {fix}}\ f)={\textsf {fix}}\ f\ .}$

Fixed-point combinators can be defined in the lambda calculus and in functional programming languages and provide a means to allow for recursive definitions.