장민석
가입: 2006년 9월 5일 올린 글: 165
|
올려짐: 2006년12월15일 3:17 주제: eager evaluation 시, if-then-else 인코딩 |
|
|
normal evaluation인 경우에는
if x then y else z = λx.λy.λz x y z 잖아요.
eager evaluation인 경우에는 어떻게 되나요?
(λx.λy.λz x y z) e1 e2 e3 라면, 결국 e1 e2 e3가 되는데, e2가 값이 결정되지 않고 무한루프 도는 경우에는 제대로 인코딩이 되지 않죠. 그래서 eager eval의 경우에는 if-then-else를 조금 다르게 인코딩해야한다고 배웠던 것 같은데 구체적인 답이 기억나지 않네요.
아...이거 시험때매 고민하기 시작했는데, 이젠 진짜 궁금하네요. |
|