Fixed-point combinator
Higher-order function Y for which Y f = f (Y f) / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Fixed-point combinator?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
In combinatory logic for computer science, a fixed-point combinator (or fixpoint combinator),[1]:ā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 is a fixed-point combinator and the function has one or more fixed points, then is one of these fixed points, i.e.
Fixed-point combinators can be defined in the lambda calculus and in functional programming languages and provide a means to allow for recursive definitions.