Added to Favorites

Computing Dictionary

A term in lambda-calculus denoting a function. A lambda abstraction begins with a lower-case lambda (represented as "\" in this document), followed by a variable name (the "bound variable"), a full stop and a lambda expression (the body). The body is taken to extend as far to the right as possible so, for example an expression,

\ x . \ y . x+y

is read as

\ x . (\ y . x+y).

A nested abstraction such as this is often abbreviated to:

\ x y . x + y

The lambda expression (\ v . E) denotes a function which takes an argument and returns the term E with all free occurrences of v replaced by the actual argument. Application is represented by juxtaposition so

(\ x . x) 42

represents the identity function applied to the constant 42.

A lambda abstraction in Lisp is written as the symbol lambda, a list of zero or more variable names and a list of zero or more terms, e.g.

(lambda (x y) (plus x y))

Lambda expressions in Haskell are written as a backslash, "\", one or more patterns (e.g. variable names), "->" and an expression, e.g. \ x -> x.

(1995-01-24)

Explore Dictionary.com

More from Thesaurus.com

Synonyms and Antonyms for lambda abstraction

More from Reference.com

Search for articles containing lambda abstraction

More from Dictionary.com Translator

Translate lambda abstraction into French

Translate lambda abstraction into German

Translate lambda abstraction into Italian

Translate lambda abstraction into another language

Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Nearby Words

Copyright © 2014 Dictionary.com, LLC. All rights reserved.