커링

수학과 컴퓨터 과학에서 커링(currying)이란 다중 인수 (혹은 여러 인수의 튜플)을 갖는 함수를 단일 인수를 갖는 함수들의 함수열로 바꾸는 것을 말한다. 모지즈 쇤핑클에 의해 도입되었고 (Reprinted lecture notes from 1967.)Kenneth Slonneger and Barry L. Kurtz. Formal Syntax and Semantics of Programming Languages. p. 144., 이후 해스켈 커리에 의해 발전하였다.Henk Barendregt, Erik Barendsen, "Introduction to Lambda Calculus", March 2000, page 8.

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

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

 같이 보기 
 느긋한 계산법
 참고 문헌 

분류:고차 함수
분류:함수형 프로그래밍
분류:람다 대수