1
$\begingroup$

How do you call a convention by which any binary operator is an unary one returning another unary operator?

$F(x,y)\equiv (F(x))(y)$

This convention is used in functional programming languages. I want to know what is the name of this convention and may be after which scientist it is named if it did.

1 Answers 1

3

Transforming a function $f:A\times B\to C$ into $g:A\to (B\to C)$ is referred to as currying. It is named after the mathematician Haskell Curry.