ML/Ocaml을 이용한 컴파일러 작성의 장점 (1998)

요약

이 글은 1998년 작성된 글로, ML/Ocaml과 같은 함수형 언어를 사용하여 컴파일러를 작성하는 장점을 논합니다. 저자는 GC의 편리성, 꼬리 재귀 최적화, 그리고 데이터 타입 처리의 용이성 등 여러 기능들이 복잡한 컴파일 과정에 큰 도움을 준다고 주장합니다.

핵심 포인트

• GC는 C/C++의 수동 메모리 관리보다 훨씬 쉽고 빠르며 안정적입니다.
• 꼬리 재귀 최적화를 통해 스택 오버플로우 없이 빠른 트리 순회가 가능합니다.
• ML 계열 언어는 컴파일 과정에 적합한 데이터 타입(예: bignum)을 제공합니다.
• 저자는 지연 평가보다 엄격한 호출-값 방식(strict call-by-value)을 선호합니다.