# Transformations similar to Curry/Uncurry

The currying operator transforms a function of the form $(A\times B)\rightarrow C$ into an equivalent one of the form $A\rightarrow(B\rightarrow C)$. The uncurrying operator goes the other way round.

Are there standard names and/or notations for other transformations of this nature that are performed on the order of-, and on the order of application of a function's parameters?

I'm interested in particular in the following transformations.

$(A\times B) \rightarrow C \implies (B\times A)\rightarrow C$

$A \rightarrow (B\rightarrow C) \implies B\rightarrow(A\rightarrow C)$

Is there any textbook, article, or other resource where I can find a list of often occurring transformations of the kind mentioned above, together with their standard names and notations?

• This is the flip function in Haskell – BDN Jun 25 '18 at 8:16
• @BDN: Which one? The upper line or the lower one? – Evan Aad Jun 25 '18 at 8:17
• In Haskell they are the same as it always uses Curried functions. – BDN Jun 25 '18 at 8:25
• @BDN: Thanks. Are you familiar, by any chance, with any functional programming language where functions are not automatically Curried? – Evan Aad Jun 25 '18 at 8:28
• No, sorry. I haven't used any other functional programming languages. – BDN Jun 25 '18 at 8:35