[노건일]

함수를 선언할때 type을 미리 결정할 수 있나요?

예를들면,

let sum(x,y) = x+y

라고 한다면 x와 y를 integer형태로만 입력받도록 지정해주는 방법이 있을까요?
(저대로라면 '+' 연산자때문에 int 형태로 고정되긴 하겠지만,
그 밖의 방법으로 선언해주는 방법이 있는지 궁금합니다~ )

[허기홍]

Ocaml은 타입을 자동으로 유추합니다.

그런데 타입을 프로그래머가 명시해도 되지요.
컴파일 할 때 자꾸 타입 에러가 있다고는 하는데 프로그램이 복잡해서 어디가 잘못되었는지 모를 때는 이런 명시적 타입 선언이 도움되기도 합니다.

이렇게 할 수 있습니다.

x와 y가 정수란 것을 명확히 하고 싶으시다면