이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
정재영00
가입: 2019년 9월 12일 올린 글: 13
|
올려짐: 2019년12월8일 18:01 주제: HW8-1 질문있습니다 |
|
|
let rec f =
fn x => f x
in
f 1
end
위의 프로그램에 대해서,
올바르게 구현했다면 poly-checker가 int로 타입 추론을 해야되나요?
아니면 TypeError를 내야하나요? |
|
위로 |
|
|
조민기
가입: 2015년 9월 6일 올린 글: 82
|
올려짐: 2019년12월8일 22:47 주제: |
|
|
재밌는 케이스입니다.
f 는 forall a, b, a -> b로 타입 체킹되어야 합니다.
따라서 f 1는 임의의 타입으로 타입 체킹이 될 수 있습니다. 이와 같이 결과 타입이 하나로 정해지지 않는 경우는 채점에서 사용하지 않을 것입니다.
반면 조금 변형한 1 + (f 1)으로 끝나는 프로그램은 타입이 TyInt로 하나로 결정되므로 TyInt라고 결과를 내놓아야 합니다. |
|
위로 |
|
|
정재영00
가입: 2019년 9월 12일 올린 글: 13
|
올려짐: 2019년12월8일 23:36 주제: |
|
|
감사합니다 |
|
위로 |
|
|
|