[김세빈]

안녕하세요. 조교님,

merge 함수를 int list * int list -> int list 가 되도록 과제에 명시되었는데
'a list * 'a list -> 'a list 가 되도록 만들어서 제출하는것은 문제가 없을까요?

감사합니다

[안중원]

안녕하세요,

해당 타입이 되도록 제출하셔도 괜찮습니다.
'a list * 'a list -> 'a list 타입의 식은 'a를 다른 어떤 타입으로 바꾸어놓아도 안전하게 쓸 수 있습니다.
따라서 merge 함수가 해당 타입으로 타입 체크가 된다면, 'a를 int로 바꾼 int list * int list -> int list 로도 안전하게 타입 체크가 됩니다.
실제로 아래와 같이 강제로 타입을 지정해보면 컴파일이 잘 되는 것을 확인하실 수 있을 겁니다: