bracket abstraction

0.01 sec.

(compiler)

bracket abstraction - An algorithm which turns a term into a function of some variable. The result of using bracket abstraction on T with respect to variable v, written as [v]T, is a term containing no occurrences of v and denoting a function f such that f v = T. This defines the function f = (\ v . T). Using bracket abstraction and currying we can define a language without bound variables in which the only operation is monadic function application.

See combinator.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			brachyfacial Brachygnatha brachypinacoid Brachypsectridae Brachypteraciidae brachypterous Brachyramphus brachysclereid brachyskelic brachysm Brachysyncline brachytherapy Brachythoraci Brachyura bracing brack Bracke, Wilhelm brackebuschite bracken Bracken County Bracken, John Brackenridge Park Brackenridge, Henry Marie Brackenridge, Hugh Henry Bracket bracket abstraction bracket baluster bracket capital bracket fungi bracket fungus bracket pile bracket saw bracket scaffold bracket staging bracket valve bracketed cornice bracketed eaves bracketed hood bracketed stair bracketed string bracketed style bracketing bracketing method bracketing salvo brackets Brackett series Brackett, Charles brackish Brackish-Water Fauna Brackley, Thomas Egerton, Viscount Bracknell			Bracke, Wilhelm brackebuschite bracken bracken bracken bracken Bracken Basic Concept Scale-Revised Bracken County Bracken County, Kentucky Bracken County, KY Bracken fern Bracken fern Bracken fern Bracken, John Brackenridge Park Brackenridge, Henry Marie Brackenridge, Henry Marie Brackenridge, Hugh Henry bracket bracket bracket bracket bracket bracket Bracket & Linkage Assembly Bracket (punctuation) Bracket (punctuation) Bracket (punctuation) Bracket (punctuation) Bracket (punctuation) bracket abstraction bracket baluster bracket capital bracket creep bracket creep bracket creep bracket creep bracket creep Bracket Creeps Bracket Creeps Bracket fungi Bracket fungi Bracket fungi bracket fungus bracket fungus Bracket Indexation Bracket light Bracket Mounted Terminal bracket out bracket pile bracket saw bracket scaffold Bracket series bracket staging bracket valve bracketed bracketed bracketed bracketed bracketed Bracketed belief

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.