lambda abstraction

Computing Dictionary

lambda abstraction definition


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)

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Explore Dictionary.com
Previous Definition: lambda
Next Definition: lambda b baryon
Words Near: lambda abstraction
More from Thesaurus.com
Synonyms and Antonyms for lambda abstraction
More from Reference.com
Search for articles containing lambda abstraction
Dictionary.com Word FAQs

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

Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT

;