Lambda Calculus를 이용해서 함수형 언어 인터프리터 구현이 가능한가 물어봤었는데,
이미 누가 구현하는 법을 책으로 냈네요:
Simon L. Peyton Jones의 THE IMPLEMENTATION OF FUNCTIONAL PROGRAMMING LANGUAGES요.