In Lambda Calculus, a function abstraction refers to the proccess of defining a Function by specifying how it transforms an input.
A minimal function abstraction looks like this:
- where indicates this is a function definition
- where is the input to the function
- where is the body/definition of the function, where is transformed somehow
For example, the function that adds one to its input:
Currying
todo Show multiple argument function abstraction
Link to original