여기서 유일하게 새로운 것은 f의 공역이 수의 집합이 아니라 함수의 집합이라는 점이다. f에 정수를 적용하면 함수를 얻는다. 이렇게 결과로 얻은 함수에 정수를 적용하면 정숫값을 얻는다.

f(x)(y)를 f(x, y)의 커리한 형태(curried form)라고 한다. 튜플에 대한 함수(원한다면 이런 함수를 인자가 여럿인 함수라고 부를 수도 있다)에 대해 이런 식의 변환을 적용해서 함수를 반환하는 함수로 바꾸는 과정을 커링(currying)이라고 한다. 커링이라는 말은 하스켈 커리(Haskell Curry)라는 수학자의 이름을 딴 것이지만 커리가 커링을 맨 처음 발명한 것은 아니다.⁵

 

 

---