How to curry and uncurry a function RRN



The functions ABC corresponds to functions of the form A×CB. Going from the function A×CB to the function ABC is called currying, while going from the function ABC to the function A×CB is called uncurrying.
Suppose f is a function A×CB of two arguments, then we say its curried form f (not derivative) is a function ABC of one argument but whose values are themselves functions. For aA, f(a) is a function BC whose value at bB is f(a)(b)=f(a,b).
So a function RRN corresponds to a function R×NR. Take any function from R×N to R, say f(x,n)=x+n, then it is curried from f whose values at x denoted by f(x) is the function NR whose value at n is x+n. Symbolically, f(x)(n)=f(x,n)=x+n