A Syntactic Type System for Recursive Modules

초록

ML 모듈 시스템은 강력한 모듈화 프로그래밍과 데이터 추상화를 지원함에도 불구하고 재귀 모듈을 지원하지 못한다는 점이 단점으로 지적되어 왔다. 재귀 모듈을 이용하면 상호의존적이지만 개념적으로는 서로 분리된 소프트웨어 컴포넌트들을 각각 다른 모듈에 작성할 수 있기 때문에 코드의 재사용성을 더욱 증진시킬 수 있다. 이러한 중요성 때문에 재귀 모듈은 지난 10년 동안 프로그래밍 언어 분야에서 깊이 있게 연구되어 왔으며, 그 결과 OCaml과 같은 언어에서 성공적으로 지원되고 있다. 그러나 기존 연구는 복시 문제와 순환 타입 문제를 완벽하게 해결하지 못하여 한정된 재귀 모듈 프로그래밍 패턴만을 지원하는 한계점이 있다. 본 논문에서는 복시 문제와 순환 타입 문제를 해결하고 다양한 재귀 모듈 프로그래밍 패턴을 지원하는 타입 시스템을 제안한다. 제안된 타입 시스템은 프로그램 문법 기반으로 설계되어 실제 재귀 모듈 시스템을 구현하는데 손쉽게 이용될 수 있을 것으로 기대된다.

키워드