November 2017
Intermediate to advanced
670 pages
17h 35m
English
A lambda expression is an instance of a functional interface consisting of a set of terms. These terms can be variables like x, y, and z. These are not mutating variables, but rather placeholders for values or other lambda terms. The variable inside of x is applied to whatever it is bound to. The variable x is inside the term t. The lambda abstraction is defined as λ x.t.
For example, if we have the equation f(x) = x2 and replace x with 5, we have f(5) = 52.
When the function f is applied to x, we get x2. In our example, the function f is applied to the argument 5 and we get 52.
We can eliminate the parentheses for brevity and we have the term f applied to another term 5: f 5 = 52.
When we abstract, we remove information ...