Lambda abstraction - Githubissues

klequis / zz-haskell-notebook

Notes from learning Haskell

1 stars 0 forks source link

Open klequis opened 2 years ago

klequis commented 2 years ago

A lambda abstraction is an anonymous function or lambda term.

(𝜆𝑥.𝑥 + 1)

The head of the expression, 𝜆𝑥., abstracts out the term 𝑥 + 1.
We can apply it to any 𝑥 and recompute different results for each 𝑥 to which we apply the lambda.