[Haskell] 커링(Currying)

커링은 함수에서 임의 인자들을 미리 전달해놓은 부분 함수를 만들 수 있게 해주는 기능이다.

만약 Int를 두개 받고 Int를 반환하는
{** (Int, Int) -> Int } 함수가 있다 치자.
사실 저렇게 표현하긴 하지만,
저건 { Int -> (Int -> Int) } 이렇게도 표현될 수 있고, { (Int -> Int -> Int **} 이렇게도 표현될 수 있다.
놀랍게도 하스켈에서 저 타입들은 서로 같다!

때문에 두개짜리 함수에 인자를 하나만 전달하더라도, 그 표현식에서 나머지 인자를 받는 함수를 반환한다.
아래는 그 간단한 사용례다.

add2는 add의 lhs에 100을 박아놓은 커링 함수다. 그래서 받은 인자와 100을 잘 더해서 반환하는 함수가 됐다...

그리고 굳이 저렇게 부분함수를 쪼개지 않아도, 커링은 기본동작이다.
무슨소리냐면

이런 간단한 코드에서도 사실 커링이 수행되고 있던 것이다. 뭘까?
add 100 200은 사실 함수의 엄청난 우선순위 때문에 (add 100) 200로 평가된다.
첫번째 인자를 받은 커링함수를 만들고, 그 커링함수가 다시 두번째 인자를 받은 것이다.

하스켈의 함수는 이런 식으로 굴러간다.

참조
http://1ambda.github.io/haskell/intro-to-haskell-1/