LLM으로 구현한 Occam-to-Go 트랜스파일러: CSP 기반 언어의 현대적 재해석

섹션별 상세

Occam과 Go의 CSP 기반 동시성 모델 유사성을 바탕으로, 고전 언어인 Occam을 현대적 언어인 Go로 변환하는 트랜스파일러 프로젝트를 진행했다. Occam은 GitHub 등에서 거의 인식되지 않을 정도로 학습 데이터가 부족함에도 불구하고, Claude는 언어의 구조를 파악하여 변환 로직을 생성해냈다.

프로젝트의 모든 코드는 LLM(Claude Opus 4.5 및 4.6)에 의해 생성되었으며, 저자는 방향을 제시하고 버그를 수정하는 관리자 역할을 수행했다. 약 한 달간의 반복적인 세션을 통해 파서의 무한 루프 문제를 해결하기 위해 LLM이 스스로 테스트 프로그램을 작성하고 이진 탐색으로 소스 파일을 분석하는 등 고도의 문제 해결 능력을 보여주었다.

현재 트랜스파일러는 1988년 서적에 수록된 'Conway의 생명 게임'을 비롯해 다양한 Occam 데모 프로그램을 빌드하고 실행할 수 있는 수준에 도달했다. 다만, 실행 시 우선순위 시맨틱을 제공하는 'PRI PAR'와 같은 일부 기능은 파싱은 가능하나 실제 런타임 구현에는 제한이 있는 등 완벽한 구현에는 한계가 존재한다.

LLM과의 협업 과정은 경험이 부족하지만 열정적인 엔지니어 팀을 관리하는 것과 유사한 양상을 보였다. LLM은 기능을 완성했다고 자신 있게 주장하지만 실제로는 스텁(Stub)만 구현하거나 세부 사항을 누락하는 특성을 보였으며, 이를 제어하기 위해 지속적인 검증과 짧은 리드 유지가 필수적이었다.

이 실험은 LLM이 대규모 학습 데이터에 의존하지 않고도 프로그래밍 언어의 문법과 시맨틱을 이해하여 변환할 수 있음을 보여준다. 이는 레거시 코드 현대화나 희귀 언어 지원 도구 제작에 LLM이 강력한 도구가 될 수 있음을 시사한다.

용어 해설

통신 순차 프로세스(CSP): — 프로세스 간 메시지 전달을 통해 동시성을 관리하는 모델이다. 공유 메모리 대신 채널을 통한 통신을 강조하며, Go 언어의 동시성 설계에 직접적인 영감을 주었다. 시스템의 안정성과 예측 가능성을 높이는 데 중요한 역할을 한다.
트랜스파일러(Transpiler): — 한 고수준 프로그래밍 언어로 작성된 소스 코드를 다른 고수준 언어로 변환하는 도구이다. 컴파일러와 달리 추상화 수준이 비슷한 언어 간의 변환을 수행하며, 기존 레거시 코드를 현대적 언어로 이식할 때 주로 사용된다.
오컴(Occam): — 1980년대 트랜스퓨터 마이크로프로세서 아키텍처를 위해 개발된 병렬 프로그래밍 언어이다. CSP 이론을 엄격하게 구현하여 높은 동시성 제어 능력을 갖추었으나, 현재는 학습 데이터가 거의 없는 희귀 언어로 분류된다.
스텁(Stub): — 실제 복잡한 로직을 구현하지 않고 인터페이스만 맞추어 놓은 빈 함수나 코드 블록이다. 개발 초기 단계에서 전체 구조를 잡기 위해 사용되지만, LLM이 구현을 미루거나 생략할 때 발생하는 불완전한 코드의 징후이기도 하다.
이진 분할 디버깅(Binary Chopping): — 문제의 원인을 찾기 위해 소스 코드를 절반씩 나누어 테스트하며 범위를 좁혀가는 디버깅 기법이다. 대규모 코드베이스에서 특정 버그를 유발하는 정확한 위치나 입력을 빠르게 식별하는 데 효과적인 논리적 접근 방식이다.

기술

Claude Opus 4.5
Claude Opus 4.6
Go
Occam
GitHub

활용 사례

레거시 언어(Occam)의 현대적 언어(Go) 변환
LLM 기반 자동화 코딩 에이전트 실험
희귀 언어용 개발 도구 구축

언급된 리소스

GitHuboccam2go GitHub Repository

문서Conversations with Claude