BRACKET ABSTRACTION
\bɹˈakɪt ɐbstɹˈakʃən], \bɹˈakɪt ɐbstɹˈakʃən], \b_ɹ_ˈa_k_ɪ_t ɐ_b_s_t_ɹ_ˈa_k_ʃ_ə_n]\
Sort: Oldest first
-
An algorithm which turns a term into a functionof some variable. The result of using bracket abstraction onT with respect to variable v, written as [v]T, is a termcontaining no occurrences of v and denoting a function f suchthat f v = T. This defines the function f = (\ v . T). Usingbracket abstraction and currying we can define a languagewithout bound variables in which the only operation ismonadic function application.See combinator.
By Denis Howe
Word of the day
basidiomycota
- comprises fungi bearing the spores on basidium: Gasteromycetes (puffballs); Tiliomycetes (comprising orders Ustilaginales (smuts) and Uredinales (rusts)); Hymenomycetes (mushrooms; toadstools; agarics; bracket fungi); in some classification systems considered a division of kingdom comprises fungi bearing spores on a basidium; includes Gasteromycetes (puffballs) Tiliomycetes comprising the orders Ustilaginales (smuts) and Uredinales (rusts) Hymenomycetes (mushrooms, toadstools, agarics bracket fungi).
Nearby Words
- bracing
- bracinum
- brack
- bracken
- bracket
- bracket abstraction
- bracket creep
- bracket fungus
- bracket out
- bracket-light
- bracketed