계속 전달 방식을 이용한 컴파일: 회고와 검토

2025-09-20

이 글에서는 애플의 1992년 저서인 "Compiling with Continuations"를 다시 살펴봅니다. 저자는 계속 전달 방식을 사용한 컴파일 기술에 대해 MiniML 언어, 어휘 분석, 구문 분석, CPS 언어, 클로저 변환, 레지스터 스필링, 가상 머신 등의 주제를 다루며 자세히 설명합니다. 연습 문제가 없고 일부 내용이 구식이라는 점을 제외하면, 이 책은 Standard ML과 계속 전달 방식에 대한 귀중한 통찰력을 제공하며, 특히 컴파일러 설계와 함수형 프로그래밍을 배우는 사람들에게 유익합니다. 그러나 구현 세부 사항의 모호성과 최신 컴파일러 기술에 대한 논의 부족으로 인해 읽기가 어려운 부분도 있습니다.