Encyclopedia > Lambda abstraction

  Article Content

Lambda abstraction

A lambda abstraction is an abstract lambda expression[?]. It is expressed in the language of lambda calculus. A lambda abstraction is to a functional programming language such as Scheme what pseudo-code[?] is to an imperative programming language.

More specifically, a lambda abstraction is a lambda expression with no free variables: each its variables is bound by some lambda. E.g.

f (f (f x))
is a concrete lambda expression, whereas
λf. λx. f (f (f x))
is an abstract lambda expression.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Sanskrit language

... poetry and prose. The oldest Vedic version is associated with the Aryan hordes to arrive in the Indus Valley region circa 1500 BCE. There seems to be no clear ...

 
 
 
This page was created in 40.2 ms