커링

수학과 컴퓨터 과학에서 커링(currying)이란 다중 인수 (혹은 여러 인수의 튜플)을 갖는 함수를 단일 인수를 갖는 함수들의 함수열로 바꾸는 것을 말한다. 모지즈 쇤핑클에 의해 도입되었고, 이후 해스켈 커리에 의해 발전하였다.

예를 들어, 세 개의 인수를 가지는 함수$f$를 커링하면 다음과 같은 세 개의 함수가 만들어진다.

${\begin{aligned}x=f(a,b,c)\\h=g(a)\\i=h(b)\\x=i(c)\end{aligned}}$

언커링(uncurrying)은 커링의 쌍대 변환이다.

같이 보기

• 느긋한 계산법