[ch7457]

8-1 테스트 할때 다음과 같은 유형의 인풋이 들어올 수 있는지 궁금합니다.
작성자 이름이 아이디로 되어있어서 죄송합니다. 최성호 입니다.

(1)
let val x = 2 in
y
end

(2)
let val x = 2 in
let val x = 3 in
x
end
end

[ch7457]

이런 인풋도 가능한가요?

let val f = fn x => x in
let val y = fn x => x in
(f 1) + (y "x")
end
end

[최재승]

안녕하세요.

기본적으로, 수업 자료에 나와 있는 타입 추론 알고리즘 (offline 알고리즘, M, W 등) 을 기준으로 생각하시면 됩니다. 기본적으로 타입체커는 안전(sound)해야 하며, 이 알고리즘들만큼 완전(complete)해야 합니다.