[숙제 2] Exercise 4 질문입니다.

이재현1 · 가입: 2025년 3월 16일 올린 글: 1

안녕하세요, 이해를 돕기 위해 궁금한 점 질문드립니다.

enQ를 작성할 때 타입 주석을 사용하지 않으면, 예를 들어

IntListQ.enQ(myQ, [1]) 이런 식으로 호출할 때
enQ : queue * element -> queue 보다 일반적으로
enQ : queue * int list -> queue 로 받아들일 수 있을 것 같은데요,

let enQ : queue * element -> queue =
fun ((inS, outS), x) ->
...

위와 같이 타입 주석을 반드시 명시하여야 하는지 질문드립니다.

오규혁 · Site Admin 가입: 2022년 3월 15일 올린 글: 88

안녕하세요,

Queue 모듈의 element는 다양한 타입이 될 수 있습니다.
문제에서는 한가지 예로서 int list가 element인 경우의 구현을 하는 경우입니다.

문제의 요구에 맞게 구현을 했다면 타입을 명시적으로 적어줄 필요는 없습니다.

감사합니다.

조교드림

TA 오규혁
e-mail: ghoh@ropas.snu.ac.kr