함수형 계산 이론을 본격적으로 다루기에 앞서 필요한 기초적인 개념, 표기 관례 등을 정리한 문서입니다.

목차

1. 용어와 표기

2. 타입

3. 연산자의 결합 특성

4. 바인딩 연산자

5. 고계 함수