ML 모듈 시스템은 강력한 모듈화 프로그래밍과 데이터 추상화를 지원함에도 불구하고 재귀 모듈을 지원하지 못한다는 점이 단점으로 지적되어 왔다. 재귀 모듈을 이용하면 상호의존적이지만 개념적으로는 서로 분리된 소프트웨어 컴포넌트들을 각각 다른 모듈에 작성할 수 있기 때문에 코드의 재사용성을 더욱 증진시킬 수 있다. 이러한 중요성 때문에 재귀 모듈은 지난 10년 동안 프로그래밍언어 분야에서 깊이 있게 연구되어 왔으며, 그 결과 OCaml과 같은 언어에서 성공적으로 지원되고 있다. 그러나 기존 연구는 복시 문제와 순환 타입 문제를 완벽하게 해결하지 못하여 한정된 재귀 모듈 프로그래밍 패턴만을 지원하는 한계점이 있다. 본 논문에서는 복시 문제와 순환 타입 문제를 해결하고 다양한 재귀 모듈 프로그래밍 패턴을 지원하는 타입 시스템을 제안한다. 제안된 타입 시스템은 프로그램 문법 기반으로 설계되어 실제 재귀 모듈 시스템을 구현하는데 손쉽게 이용될 수 있을 것으로 기대된다.
Although the ML module system provides powerful support for modular programming and data abstraction, traditionally it does not support recursive modules. Due to the lack of recursive modules, ML programmers often have to consolidate conceptually separate mutually recursive definitions into a single module, thus compromising modular programming. In response, several authors have recently proposed recursive module extensions to ML, one of which is successfully implemented in OCaml. Type systems in previous proposals, however, fail to typecheck common patterns of recursive modules that are essential to the expressivity of the module system due to two technical challenges, namely the double vision problem and cyclic type definitions. In this paper, we propose a type system for recursive modules that solves the two technical challenges and typechecks common patterns of recursive modules. Our approach is purely syntactic and the definition of the type system is ready for use in an actual implementation.
