[장민석]

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를 조금 다르게 인코딩해야한다고 배웠던 것 같은데 구체적인 답이 기억나지 않네요.

아...이거 시험때매 고민하기 시작했는데, 이젠 진짜 궁금하네요.