Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun Plural form of combinator.

Etymologies

Sorry, no etymologies found.

Support

Help support Wordnik (and make this page ad-free) by adopting the word combinators.

Examples

  • Following ideas of Schönfinkel and aiming at a mathematical analysis of the substitution process, Curry's 1930 thesis introduced a formal language based on basic general operators, the so-called combinators

    Paradoxes and Contemporary Logic Cantini, Andrea 2007

  • In the System IG compiler, there are 12 construction rules, most of them taking other certificates as arguments (which would make them certificate "combinators").

    Planet Haskell 2009

  • Perhaps it was something built from logic-like constructs, as in the work on Moses Schönfinkel on combinators.

    Wolfram Blog : Stephen Wolfram on the Quest for Computable Knowledge 2009

  • Thus neither U is definable in general, nor the combinators are definable.

    Combinatory Logic Bimbó, Katalin 2008

  • Similarly, to some numerical and geometrical functions, that can be described and grasped easily, the combinators that are frequently encountered can be characterized as perspicuous transformations on terms.

    Combinatory Logic Bimbó, Katalin 2008

  • There's a whole library of useful macros and combinators another handy higher-order programming tool in most Scheme systems, and any your system lacks can be copied easily enough.

    Snell-Pym » I’m missing Scheme 2008

  • Given a set of axiom schemas that are types of combinators with detachment as the rule of inference, the problem of the decidability of a logic can be viewed as the problem of inhabitation.

    Combinatory Logic Bimbó, Katalin 2008

  • The definitions are easily seen to imply that all these combinators depend on both S and K, but it is not obvious from the definitions that the defined combinators are mutually independent, that is, that none of the listed combinators is definable from another one.

    Combinatory Logic Bimbó, Katalin 2008

  • One of the combinators, C does exactly what is needed: Gxy can be changed to CGyx

    Combinatory Logic Bimbó, Katalin 2008

  • The connection between combinators and types may be explained on the example of the identity combinator.

    Combinatory Logic Bimbó, Katalin 2008

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.