함수언어와 referential transparency 그것 보다 더 중요한게 if 같은 construct 가 special form 이 아니어야 하는데(수학적 함수모델에 100% 맞으려면), 그러려면 lazy eval 과 actor 모델 말고는 따로 방법이 없을텐데? AM 11:26