[Haskell] 함수

함수 선언은

함수명 인자1 인자2... = 반환문
의 형태를 가진다.

인자를 2개 받아서 반환하는 함수는 다음과 같이 구현할 수 있다.

함수 반환문을 개행할 경우 저기 main문처럼 무조건 들여쓰기 처리를 해줘야 한다.
그걸로 포함 여부를 확인하기 때문이다.

infix 함수호출
그리고 인자가 2개인 함수는
A 함수명 B
와 같이 해서 infix로 표현할 수도 있다. 작은 따옴표가 아니다.

함수 타입 명시
함수도 상수처럼 타입을 명시할 수 있다.
타입 표현은
인자1->인자2->...인자N->반환타입
으로 한다.
참으로 기괴하다.
기존의 add 함수에 타입을 지정해봤다.

이러면 해당 함수의 인자로 Int값밖에 줄 수 없다.

로컬 정의 where절
이제까지는 상수의 정의를 전역에서 했었는데, 기본적으로 하스켈에서 함수는 단일 반환 구문만을 가지기 때문이다.
그래서 다음과 같은 코드는 에러를 뱉는다.
2개의 구문이 존재하기 때문이다.

이걸 해결하려면 사용할 상수의 정의들을 where 를 두고 그 뒤에다 쓰면 된다.

이제 잘 된다.