인터프리터 구축을 위한 변수 제거 기법

초록

이 논문은 호스트 언어의 기존 함수 적용 메커니즘을 재사용하여 인터프리터를 구현하는 방법을 제안한다. 사용자 정의 함수를 조합 논리(combinatory logic)로 변환해 호스트 언어 함수로 만들고, 호출‑값 전략과 명령형 특성을 가진 프로그램에 대해 기계 검증된 정당성을 제공한다.

상세 분석

본 연구는 인터프리터 구현 시 가장 비용이 많이 드는 부분인 함수 적용을 직접 구현하는 대신, 호스트 언어가 이미 제공하는 함수 호출 메커니즘을 그대로 활용한다는 근본적인 아이디어를 제시한다. 이를 위해 λ‑추상화를 조합자(combinator)들의 조합으로 변환하는 ‘변수 제거(variable elimination)’ 과정을 채택한다. 전통적인 스킴(Scheme)이나 ML 기반 인터프리터는 바디를 평가하면서 환경(environment)에 바인딩된 변수들을 찾아야 하는데, 이는 메모리 관리와 스코프 처리에서 복잡성을 야기한다. 논문은 이러한 복잡성을 없애기 위해 변환 단계에서 모든 자유 변수를 제거하고, S, K, I 같은 기본 조합자와 필요에 따라 새로운 조합자를 도입한다. 변환된 조합자 트리는 호스트 언어의 함수 합성 연산에 그대로 매핑될 수 있어, 인터프리터는 별도의 스택 프레임이나 클로저 관리 없이도 정확히 동일한 의미론을 유지한다.

특히 논문은 호출‑값(call‑by‑value) 전략을 전제로 정형화된 증명을 제공한다. 명령형 기능(예: 변수 할당, 순차 실행)과 결합된 경우에도, 변환된 조합자 프로그램이 원본 λ‑계산식과 동일한 부작용 순서를 보장한다는 점을 기계 검증 도구(Coq 등)로 확인하였다. 이는 기존의 정규화 기반 변환이 주로 호출‑값이 아닌 호출‑명칭(call‑by‑name) 혹은 정규화 전략에 의존하는 것과 대비된다. 또한, 변환 과정에서 발생할 수 있는 조합자 폭발(combinatorial explosion)을 완화하기 위한 최적화 기법—예를 들어, 중복된 조합자 서브트리를 공유하는 해시‑컨시스턴트 구조와 사전 정의된 합성 규칙—을 제시한다.

실험 결과는 간단한 산술 언어와 명령형 스크립트 언어 두 가지 사례에 적용했으며, 변환 후 생성된 호스트 언어 코드가 원본 인터프리터 구현보다 평균 15 % 정도 빠른 실행 속도를 보였고, 메모리 사용량도 유사하거나 약간 감소했다. 이는 변수 제거가 단순히 이론적 기법이 아니라 실제 성능 향상까지 가능하게 함을 입증한다.

마지막으로, 논문은 이 접근법이 함수형 언어뿐 아니라 객체지향 혹은 프로시저형 언어에도 확장 가능함을 논의한다. 조합자 집합을 해당 언어의 특수 연산에 맞게 확장하고, 변환 규칙을 조정하면, 기존 인터프리터 구현에서 발생하는 복잡한 스코프·클로저 관리 문제를 호스트 언어의 함수 합성으로 대체할 수 있다. 이러한 일반화 가능성은 인터프리터 설계와 구현에 새로운 패러다임을 제시한다.