follow Dictionary.com

Get the details behind our redesign

bracket abstraction

bracket abstraction in Technology

compiler
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.
(1995-03-07)

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of The Day

Word Value for bracket

15
17
Scrabble Words With Friends