Hi,

Nice article, although a small contradiction:

> This transformation from an n-ary function to a unary function is known as currying

Do you agree with this definition of a function (from Wikipedia):

“a function is a relation between a set of inputs and a set of permissible outputs with the property that each input is related to exactly one output.”

If you do, currying can’t be about converting from an n-ary function to a unary function. It is converting from a unary function with a (single) n-tuple argument to a unary function returning a function.