## combinator

<*theory*>

S f g x = f x (g x) K x y = x I x = x = S K K xThere is a simple translation between combinatory logic and lambda-calculus. The size of equivalent expressions in the two languages are of the same order.

Other combinators were added by David Turner in 1979 when he used combinators to implement SASL:

B f g x = f (g x) C f g x = f x g S' c f g x = c (f x) (g x) B* c f g x = c (f (g x)) C' c f g x = c (f x) gSee fixed point combinator, curried function, supercombinators.

Last updated: 2002-11-03

### Nearby terms:

COMAL ♦ combination ♦ **combinator** ♦ combinatory logic ♦ Comdex ♦ COME FROM

Try this search on Wikipedia, OneLook, Google

Loading