이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
송호준
가입: 2018년 9월 21일 올린 글: 10
|
올려짐: 2018년11월27일 8:43 주제: 6-4 쓰이지 않는 함수 |
|
|
쓰이지 않는 함수가 있을 때, 타입 체크를 통해 함수 자체가 잘못되면 오류를 내야 할까요?
이를테면
let val f = fn x => (3 + true) in
write 3
end
같은 경우입니다.
비슷한 예로 함수가 아니라 값으로 줄 경우에는 오류를 내야 하나요?
예를 들면
let val x = 3 + true in
write 3
end
입니다. |
|
위로 |
|
|
로파스 Site Admin
가입: 2012년 9월 9일 올린 글: 280
|
올려짐: 2018년11월27일 16:27 주제: |
|
|
네 오류로 처리하셔야 합니다.
타입체크를 하는 시점은 실행전이므로, 어떤 부분이 dead code인지 알 수 없습니다.
따라서 타입오류가 있는 지점이 있다면 에러를 내주시는게 안전합니다.
-조교 드림. |
|
위로 |
|
|
|