[김지훈]

교수님께서 let-polymorphic 에서 imperative feature를 추가하면서 실행중에 malloc을 하지 않도록 해야 한다..는 조건을 추가해야 한다고 하셨는데요

example 2 는 이 경우에 해당하는 게 아니었나요??
'application 과 let만 체크하면 된다' 라고 필기해 놓았는데
e1 e2 ............ let x e1 e2

만약 malloc을 하는 경우를 체크를 해야한다면.. 두 경우에 e1/e2 를 모두 체크해야 되나요?

[이광근]

let x = e in e' 의 타입 유추에서
e의 실행중에 malloc을 하지 않는 경우만 e의 타입을 일반화해야 합니다.

그런데, "e의 실행중에 malloc 하는지"를 미리 정확하게 알 수 는 없습니다.
하지만 e의 생김새 만으로 안전하게(보수적으로) 결정할 수는 있습니다.

참고로 e 가 \x.e'' 이면 e의 실행은 \x.e'' 와 현재 env입니다. e''를 실행하지는 않지요.

-K