[Purescript] 함수

함수도 상수와 마찬가지로 이름과 =만으로 정의할 수 있다.
다만, 이름 오른쪽에 매개변수를 추가로 쓸 수 있다는 것이 다를 뿐이다.

그리고 = 후 함수 영역의 구분은 들여쓰기로 한다. 들여쓰기 칸을 잘 맞춰줘야 한다...

그럼 이런식으로 호출해서 사용할 수 있다.

함수의 타입

함수도 일반 상수와 마찬가지로 타입을 명시할 수 있다.
다음은 Int를 2개 받고 Int를 반환하는 함수의 타입이다.

함수형 언어를 처음 접해본다면 좀 당황스러운 구조일 것이다.

커링

상당수의 함수형 언어들에서는 함수들이 커링이란 것으로 동작한다.
함수가 인자를 한꺼번에 받아서 처리하는 형태가 아니라, 하나를 받을 때마다 나머지 인자들을 받고 반환하는 함수를 반환하는 것이다.

때문에 아래와 같은 짓들이 가능하다.
첫번째 인자인 lhs만을 전달하면, 해당 인자로 고정된 형태의, rhs를 받는 함수를 반환해버린다.
그리고 그걸 호출하면 rhs만을 전달해서 완전한 호출을 수행할 수 있다.

좀 이상해보이지만 은근히 유용한 시스템이다.

그렇다.

근데 Purescript 이게 인기가 너무 없는지 자료가 많이 부실하다.
그래서 다음 포스트는 올라오지 않을 수도 있다.