[Elm] 함수

함수의 정의는 변수 할당식과 크게 다르지 않다.
인자가 추가되는 것 말고는.
함수명 인자1 인자2 ... = **
** 반환식

그리고 반환식은 들여쓰기가 되어야만 한다. 안그럼 반환식으로 인식을 못한다.

단순히 숫자 두개를 더하는 함수는 이렇게 정의할 수 있다.

그리고 함수를 호출하려면, 함수명 뒤에 띄어쓰기를 넣고 인자들을 나열하면 된다.

함수의 타입

위의 함수 정의 반환 타입에서 보이듯, 함수의 타입은 인자타입->반환타입의 형태로 표현된다.
인자가 2개면 인자1->인자2->반환타입,
인자가 3개면 인자1->인자2->인자3->반환타입이다.

그리고 함수도 변수와 마찬가지로, 타입을 명시할 수 있다.

커링

근데 함수 타입의 표현이 조금 기묘하지 않은가?

저게 사실 다 커링을 위한 밑받침이다.
커링은 함수의 인자를 덜 전달해서 불완전하게 호출했을 때, 덜 전달된 인자만을 받는 새로운 함수를 생성해주는 기능이다.
가령, add 함수에서 인자를 10 하나만 전달한다면, 10을 고정적으로 받고, 두번째 인자만을 받는 함수를 반환하는 것이다. 아래 코드에서는 foo라는 이름으로 바인딩했는데, 그럼 foo에는 하나의 인자 rhs만을 전달하면 되는 것이다.

파이프라인 호출

이렇게 두가지 함수가 있다고 치자.

저 함수 둘을 한번에 사용한다면 어떨까?
그러니까, add 함수를 먼저 호출하고, 그 반환값으로 다시 double을 호출한다면?

이런 식의 연산은 오류를 뱉는다. add가 먼저 수행되는 게 아니라, double이 먼저 읽혀서 add를 double의 인자로 인식하기 때문이다.

이걸 해결하려면 괄호를 씌워서 우선순위를 명시해야 한다. add가 먼저 실행되도록.

근데 Elm에서는 이것보다 멋진 방법이 제공되는데, 그게 바로 파이프라인 연산자 '|>'다.
이건 양쪽으로 피연산자를 받는데, 왼쪽이 인자, 오른쪽이 함수다.
오른쪽 함수를 호출하면서 왼쪽의 인자를 전달해준다.

이걸 응용하면 좀더... 매끄러운 형식의 중첩 호출을 표현할 수 있다.
이런 식으로 말이다.

참조
https://www.tutorialspoint.com/elm/elm_functions.htm