[송호준]

쓰이지 않는 함수가 있을 때, 타입 체크를 통해 함수 자체가 잘못되면 오류를 내야 할까요?
이를테면
let val f = fn x => (3 + true) in
write 3
end
같은 경우입니다.
비슷한 예로 함수가 아니라 값으로 줄 경우에는 오류를 내야 하나요?
예를 들면
let val x = 3 + true in
write 3
end
입니다.

[로파스]

네 오류로 처리하셔야 합니다.

타입체크를 하는 시점은 실행전이므로, 어떤 부분이 dead code인지 알 수 없습니다.

따라서 타입오류가 있는 지점이 있다면 에러를 내주시는게 안전합니다.

-조교 드림.