## lambda abstraction

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

```

``` \ 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.

Last updated: 1995-01-24

### Nearby terms:

Try this search on Wikipedia, OneLook, Google
{"ft_lang_label":"__label__en","ft_lang_prob":0.86009264,"math_prob":0.9368921,"size":1214,"snap":"2022-27-2022-33","text_gpt3_token_len":293,"char_repetition_ratio":0.14545454,"word_repetition_ratio":0.018691588,"special_character_ratio":0.25782537,"punctuation_ratio":0.14107884,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99053997,"pos_list":[0,1,2],"im_url_duplicate_count":[null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-06-27T21:47:44Z\",\"WARC-Record-ID\":\"<urn:uuid:0fd09b1c-1ca6-4def-a02c-f3eee65daabd>\",\"Content-Length\":\"9624\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:0165e90e-ded2-4cb8-9b16-0f12c315b7e4>\",\"WARC-Concurrent-To\":\"<urn:uuid:67fd0eb6-06f8-441c-9d89-0acbb14dd5dc>\",\"WARC-IP-Address\":\"172.67.159.189\",\"WARC-Target-URI\":\"http://foldoc.org/lambda+abstractions\",\"WARC-Payload-Digest\":\"sha1:Z7YW3HFYWTSVHECAD7ZEKSZQTQRY3TB5\",\"WARC-Block-Digest\":\"sha1:4ZVSOVLWODUDE4ZN4P2LL3ZHD4RCZNT4\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-27/CC-MAIN-2022-27_segments_1656103341778.23_warc_CC-MAIN-20220627195131-20220627225131-00318.warc.gz\"}"}