Combinator

In mathematics, a combinator is a function with no free variables.

In computer science, combinators have been used as a basis for the semantics of functional programming languages.

A term of a combinator is either a constant, a variable, or an application of the form (A B), denoting the application of term A (a function of one argument) to term B. Application associates to the left in the absence of parentheses. All combinators can be defined as a composition of two basic combinators - S and K. These two and a third, I, are defined thus:

(S f g x)	= (f x (g x))
(K x y)	= x
(I x)	= x	= (S K K x)

There is a simple translation between combinatory logic and the lambda-calculus. However, combinatorial expressions are much larger than their lambda-calculus equivalents.

A combinator of particular interest is the Y combinator, which is a fixed point combinator and can be used to implement recursion.

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) g)

Some special-purpose computers have been built to perform combinator calculations by graph reduction. Examples include the SKIM ("S-K-I machine") computer, built at Cambridge University, and the multiprocessor GRIP ("Graph Reduction In Parallel") computer, built at UCL.

See also:


The original version of article was based on material from FOLDOC, used with permission.



In the News

New Research Holds Promise For Protecting Cancer Patients Against Infe
A promising new therapy for protecting the fertility of women with cancer and auto-immune diseases such as lupus was revealed at the 23rd annual conference of the European Society of Human Reproduction and Embryology (Tuesday, July 3 2007).

Wild Sheep Descended From Single Pair Show Surprising Genetic Diversit
Reconstructing the genetic history of a population of mouflons (wild sheep) descended from a single pair, scientists have demonstrated that the animals'genetic diversity increased over time, contrary to what the usual models predict. These results contradict the belief that a population descended from a small number of individuals will exhibit numerous deficiencies and reduced genetic diversity.

Shades and Shadow-Pictures: The Materials and Techniques of American P
Historic overview of the development of American portrait silhouettes (also known as "profiles,""shadow portraits,"and "scissortypes"). Discusses the derivation of the term "silhouette"(from the surname of an eighteenth-century finance minister to Louis XV), how silhouettes are presented (such as in albums and mounted), types of paper used, tracing devices, and more. From the American Institute for Conservation of Historic and Artistic Works Book and Paper Group.

National Lab Researchers Develop Impurity-free Process For Powder Inje
Researchers at the Department of Energy's Pacific Northwest National Laboratory have developed a new method for powder injection molding of titanium and similar materials to form components for advanced engineering applications.

Lineage Trees For Cells: Weizmann Institute Scientists Develop New Ana
Some fundamental outstanding questions in science -- "Where do stem cells originate?""How does cancer develop?""When do cell types split off from each other in the embryo?"-- might be answered if scientists had a way to map the history of the body's cells going back to the fertilized egg. Now, a multidisciplinary team at the Weizmann Institute of Science has developed an analytical method that can trace the lineage trees of cells.

The Oil Sands Environmental Research Network (OSERN): Frequently Asked
Questions and answers about obtaining petroleum from the "naturally occurring deposits of bituminous sand"(known as oil sand or tar sand) found near the Athabasca River in Canada. Includes information about mining, the kinds of environmental disturbance oil sands mining causes, and reclamation. Also includes maps and a link to a glossary of oil sands acronyms. From the University of Alberta.

Alarm Pheromone Causes Aphids To Sprout Wings
When aphids are attacked by predators such as ladybird beetles, they release an alarm pheromone that has long been known to cause other aphids to walk around or drop from the plant. In a paper soon to appear in Ecology Letters, researchers at the University and Max-Planck-Institute in Jena, Germany, now show that exposure to alarm pheromone also causes pea aphids to produce winged offspring that leave their host plant when mature.

New Regulators Of Apoptosis And Chemoresistance Identified
Using targeted RNA interference, or RNAi libraries, researchers at Harvard Medical School describe the first large-scale classification of kinase and phosphatase gene families on the basis of their role in apoptosis and cell survival. This study appears in the June issue of Nature Cell Biology.

Boosting Key Milk Nutrients May Help Lower Type 2 Diabetes Risk
Most Americans fail to get the calcium and vitamin D they need, but this shortfall could be affecting more than their bones. It may, at least in part, be one reason behind the epidemic of type 2 diabetes, suggests new research.

Tips To Ease The Heartburn Of Pregnancy
Physician experts have compiled important health tips on managing heartburn symptoms during pregnancy, and importantly, identifying which heartburn medications are safe for use in pregnant women and those, which should be avoided. Heartburn symptoms are one of the most commonly reported complaints among pregnant women. Heartburn usually starts during the first trimester and tends to worsen during the second and third trimesters.


MP3 Music Downloads

Preview songs, Download Free Music,Burn CDs at ITunes.com
iTunes_RGB_9mm

 


Google




InformationQuickFind.com - Find Information Fast

Links