[Haskell] 섹션과 부분 함수
섹션은 하스켈이 가지는 기묘한 표현법 중 하나다.
정확한 정의는 "중위 연산자의 부분 적용"이다.
예를 들어 다음과 같은 코드는
이렇게도 표현할 수 있다.
이렇게도 되고
요렇게도 된다.
이게 함수 커링이라는 원리에 기반한건데. 사실 그렇게 복잡한건 아니다.
함수에다가 값을 미리 넣어놓은 또 하나의 간단한 함수를 생성하는 거라고 할 수 있다.
어쨌든 저렇게 소괄호로 묶어서 연산자와 값을 묶은 것을 함수 부분 적용이라고 한다. 저걸 함수처럼 지정하고 다룰 수도 있다.
add는 덜 적용된 나머지 인자를 받고 1을 더해주는 함수가 된 것이다.
따라서 이걸 고차함수로 전달하는 것 또한 가능하게 되는 것이다.