0%

bracket abstraction

B b

Transcription

    • US Pronunciation
    • US IPA
    • US Pronunciation
    • US IPA

Definition of bracket abstraction words

  • noun Technical meaning of bracket abstraction (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. 1
Just one definition for bracket abstraction

Information block about the term

Parts of speech for Bracket abstraction

noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
Full grammatical hierarchy of Bracket abstraction

See also

Matching words

Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?