A bit of theory
The concepts that we are going to use in this chapter are in some ways very similar and in other ways quite different. It's common to find some confusion as to their real meanings and there are plenty of web pages which misuse terms. You could even say that all the transformations in this chapter are roughly equivalent since they let you transform a function into another one that fixes some parameters, leaving others free and eventually leading to the same result. OK, I agree, this isn't very clear! So, let's start by clearing the air, and providing some short definitions, which we will expand later. (If you feel that your eyes are glazing over, please just skip this section and come to it later!) Yes, you may find the following descriptions a bit perplexing, but bear with us: we'll be getting into more detail just in a bit!
- Currying is the process of transforming an m-ary function (that is, a function of arity m) into a sequence of m unary functions, each of which receives...
