...
- suppose f(x, y) = x + y;
- let F be a function of one variable x, such that F
( x ) is a function G of one variable y, where G
( y ) {{ f(x, y) }} x + y;
- then F
( x ) ( y ) {{ x + y }} f( x, y );
In the same manner, any function of three variables can be represented as a combination of three functions, each of which is a function of one variable via currying.
...