The implementation of functional programming languages 의역

이 장에서는 람다 대수를 소개한다. 람다 대수는 앞으로 이 책에서 함수형 언어와 그 구현체 간에 다리 역할을 한다. 중간 언어로 람다 대수를 소개하는 이유는 다음과 같다. 언어가 단순하다. 표현력이 풍부하다. 람다 대수는 몇 개의 생성자와 의미 구조만 있어도 되는 단순

이 글은 책 The implementation of functional programming languages에서 2장 람다 대수 중 2.2.2.1 Simple examples of beta-reduction까지 읽고 정리한 것이다. 지금까지는 람다 대수의 문법 구조만

이 글은 책 The implementation of functional programming languages에서 2.2.2.2 Naming을 읽고 정리한 것이다. 여러 형식 인자 이름이 같을 때 주의를 해야 한다. 예를 들어 다음과 같은 식이 있다고 하자.

이 글은 책 The implementation of functional programing languages에서 아래 섹션을 읽고 정리한 것이다.2.2.2.4 Conversion, reduction and abstraction2.2.3 Alpha-conversion2.