커링

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

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

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

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

같이 보기

• 느긋한 계산법