이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김지훈
가입: 2006년 9월 12일 올린 글: 11
|
올려짐: 2006년12월16일 9:42 주제: let-polymorphic type system에서.. |
|
|
교수님께서 let-polymorphic 에서 imperative feature를 추가하면서 실행중에 malloc을 하지 않도록 해야 한다..는 조건을 추가해야 한다고 하셨는데요
example 2 는 이 경우에 해당하는 게 아니었나요??
'application 과 let만 체크하면 된다' 라고 필기해 놓았는데
e1 e2 ............ let x e1 e2
만약 malloc을 하는 경우를 체크를 해야한다면.. 두 경우에 e1/e2 를 모두 체크해야 되나요? |
|
위로 |
|
|
이광근
가입: 2005년 8월 29일 올린 글: 68
|
올려짐: 2006년12월16일 15:32 주제: |
|
|
let x = e in e' 의 타입 유추에서
e의 실행중에 malloc을 하지 않는 경우만 e의 타입을 일반화해야 합니다.
그런데, "e의 실행중에 malloc 하는지"를 미리 정확하게 알 수 는 없습니다.
하지만 e의 생김새 만으로 안전하게(보수적으로) 결정할 수는 있습니다.
참고로 e 가 \x.e'' 이면 e의 실행은 \x.e'' 와 현재 env입니다. e''를 실행하지는 않지요.
-K |
|
위로 |
|
|
|