\bɹˈakɪt ɐbstɹˈakʃən], \bɹˈakɪt ɐbstɹˈakʃən], \b_ɹ_ˈa_k_ɪ_t ɐ_b_s_t_ɹ_ˈa_k_ʃ_ə_n]\
Definitions of BRACKET ABSTRACTION
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
- engaged in as a pastime; "an amateur painter"; "gained valuable experience theatricals"; "recreational golfers"; "reading matter that is both and mentally stimulating"; "unpaid extras the documentary" of or relating to recreation; "a recreational area with pool and ball fields"