Mostrar código-fonte de Currying

{{Sem-fontes|data=abril de 2012| angola=| arte=| Brasil=| ciência=| geografia=| música=| Portugal=| sociedade=|1=|2=|3=|4=|5=|6=}}
Em [[ciência da computação]], '''''currying''''' é uma técnica de transformação de uma [[Sub-rotina|função]] que recebe múltiplos [[Parâmetro (ciência da computação)|parâmetros]] (mais especificamente, uma n-[[tupla]] como parâmetro) de forma que ela pode ser chamada como uma cadeia de funções que recebem somente um parâmetro cada. Foi inventada por [[Moses Schönfinkel]] e [[Gottlob Frege]], e independentemente por [[Haskell Curry]].

Cunhado por [[Christopher Strachey]] em 1967, o nome é uma referência ao matemático Haskell Curry.

== Definição ==
Dada uma função ''f'' do tipo <math> f \colon (X \times Y) \to Z </math>, então a técnica de ''currying'' a torna <math> \mbox{curry}(f) \colon X \to (Y \to Z) </math>. Isto é, <math> \mbox{curry}(f) </math> toma um parâmetro do tipo <math> X </math> e retorna uma função do tipo <math> Y \to Z </math>. ''Uncurrying'' é a transformação inversa.

Intuitivamente, ''currying'' significa que "se você fixa alguns parâmetros, você recebe uma função com os parâmetros remanescentes". Por exemplo, se a função <code>div</code> é a versão em ''currying'' da operação <code>x / y</code>, então <code>div</code> com o parâmetro <code>x</code> fixado em <code>1</code> é equivalente à função <code>inv</code>, que retorna o inverso de seu parâmetro, definida por <code>inv(y) = 1 / y</code>.

A motivação prática da técnica é que frequentemente se utiliza funções obtidas através da aplicação de somente alguns dos parâmetros. Algumas [[linguagem de programação|linguagens de programação]] possuem suporte sintático nativo ao ''currying'', de forma que funções com múltiplos parâmetros são expandidas para formas reduzidas; exemplos incluem [[ML (linguagem de programação)|ML]] e [[Haskell (linguagem de programação)|Haskell]]. Qualquer linguagem que suporte [[Clausura (ciência da computação)|clausura]] pode ser usada para escrever funções com essa técnica de ''currying''.

== Ver também ==
* [[Avaliação preguiçosa]]

== Ligações externas ==
* {{Link|pt|http://www.milfont.org/tech/2008/03/02/currying-em-javascript/|''Currying'' em Javascript}}

[[Categoria:Programação funcional]]