[이소진]

안녕하세요,

function을 구현할 때 type을 따로 지정해주지 않아도 괜찮은 것일까요?
예를 들어 1-1 merge function의 경우, ocaml -init 1-1.ml로 코드를 실행하여 #merge;;를 입력했을 때
- : 'a list * 'a list -> 'a list = <fun>
으로 결과가 나와도 상관이 없는 것인지, 아니면
- : int list * int list -> int list = <fun>
으로 결과가 나오도록 해야하는 것인지 궁금합니다.

+추가 질문
function을 정의할 때 input은 이미 주어져있다고 가정하면 되는지, 아니면 콘솔에서 input을 받아주는 코드도 필요한 것인지 궁금합니다!

감사합니다.

[김훈]

안녕하세요, 프로그래밍 언어 조교 김훈입니다.

'a list * 'a list -> 'a list = <fun>
으로 나오셔도 괜찮습니다.

추가 질문에 답변을 드리자면 콘솔에서 input을 받아주는 코드는 작성하지 말아주시길 바랍니다.