combinator Definition

A combinator is a function of functions that is given by a combination of other combinators. Combinators are important in theoretical computer science and in the formalism of lambda calculus, particularly in the theory of programming languages and functional programming.