대규모 제네릭 프로그래밍을 위한 새로운 언어 G의 설계와 평가

이 논문은 현대 소프트웨어 개발에서 재사용 가능한 라이브러리를 만들기 위한 핵심 방법론인 제네릭 프로그래밍의 현황과 한계를 분석하고, 이를 극복하기 위한 새로운 프로그래밍 언어 G의 설계와 구현, 그리고 실증 평가를 다룬다. 서론에서는 1968년 NATO 소프트웨어 위기 회의에서 제시된 “대량 생산 소프트웨어 컴포넌트” 개념을 시작으로, Musser와 Stepanov가 1990년대 초 C++ 템플릿을 활용해 표준 템플릿 라이브러리(STL)를 만든 과정을 되짚으며, 제네릭 프로그래밍이 어떻게 주류가 되었는지를 설명한다. 그러나 C++ 템플릿은 **지연 타입 검사**와 **전체 재컴파일**이라는 두 가지 근본적인 문제를 안고 있다. 템플릿 정의가 인스턴스화될 때까지 타입 검사가 이루어지지 않기 때문에, 사용자는 복잡하고 이해하기 어려운 오류 메시지를 마주하게 되고, 라이브러리와 애플리케이션을 동시에 컴파일해야 하는 비용이 급증한다. 이러한 문제를 해결하고자 저자들은 시스템 F 기반의 계산법 F G를 개발하였다. F G는 기존 시스템 F의 파라메트릭 다형성에 제네릭 제약을 명시적으로 표현할 수 있는 ‘컨셉’(concept) 메커니즘을 추가한다. 컨셉은 **다중 타입 제약**, **연관 타입**, **동일 타입 제약**, **리파인먼트(상속)** 등을 지원한다. 예를 들어, STL의 `merge` 알고리즘은 두 입력 이터레이터와 하나의 출력 이터레이터가 각각 `InputIterator`와 `OutputIterator` 컨셉을 만족해야 하며, 두 입력 이터레이터의 `value_type`이 동일하고 비교 가능해야 한다는 복합적인 요구를 갖는다. 이러한 요구를 C++에서는 주석이나 문서로만 표현하지만, G에서는 컨셉 정의와 모델 선언을 통해 정형화된 형태로 기술한다. G의 설계 목표는 두 가지 핵심 특성을 제공하는 것이다. 첫째, **모듈식 타입 검사**(modular type checking)이다. 제네릭 함수·클래스는 인스턴스화 없이도 완전한 타입 검증이 가능하므로, 라이브러리 개발자는 사용자가 올바르게 사용할 것을 보장할 수 있다. 둘째, **별도 컴파일**(separate compilation)이다. 제네릭 정의를 독립적인 오브젝트 파일로 컴파일하고, 호출 시 링크만 수행함으로써 대규모 프로젝트의 컴파일 시간을 크게 단축한다. 이는 C++ 템플릿이 헤더‑전용으로 동작해야 하는 현 상황과는 근본적인 차이를 만든다. 컨셉 기반 오버로드와 별도 컴파일 사이에 존재하는 긴장 관계도 논의된다. 완전한 오버로드를 구현하려면 템플릿 특수화와 같은 메커니즘이 필요하지만, 이는 별도 컴파일과 충돌한다. 따라서 G는 **제한된 형태의 컨셉 기반 오버로드**만을 제공하고, 완전한 특수화와 오버로드는 C++ 0x(현 C++ 표준)에서 지원하도록 설계 선택을 달리한다. 평가에서는 두 개의 실증 사례가 제시된다. 첫 번째는 기존 C++ STL을 G로 포팅한 작업이다. 여기서는 `iterator`, `container`, `algorithm` 사이의 복잡한 관계를 컨셉과 모델로 명확히 정의하고, 기존 템플릿 코드와 비교해 오류 메시지가 훨씬 직관적이며, 별도 컴파일이 가능함을 보여준다. 두 번째는 복잡도가 높은 Boost Graph Library(BGL)를 G로 이식한 사례이다. BGL은 그래프 타입, 정점/간선 프로퍼티, 다양한 알고리즘이 서로 얽혀 있어 연관 타입과 컨셉 기반 오버로드가 빈번히 사용된다. G는 이러한 복합 구조를 비교적 적은 코드 수정으로 구현하면서도, 컴파일 시간과 바이너리 크기를 크게 줄였다. 표 1과 표 2를 통해 G와 기존 언어(C++, Java, C#, Haskell, OCaml, SML, Cecil 등)를 비교한다. G는 **다중 타입 컨셉**, **연관 타입 접근**, **연관 타입 제약**, **레키컬 스코프 모델**, **별도 컴파일**, **모듈식 타입 검사** 등에서 독보적인 지원을 제공한다. 특히 레키컬 스코프 모델은 모델 선언이 선언된 범위에만 적용되도록 하여, 전역 인스턴스 충돌을 방지하고 모듈성을 강화한다. 관련 연구에서는 Haskell의 타입 클래스와 연관 타입 확장, Java와 C#의 제네릭, OCaml의 모듈 시스템 등을 검토한다. G는 이들 접근법과 달리, **컨셉**이라는 고수준 추상화를 도입하고, **별도 컴파일**을 핵심 목표로 삼음으로써 실용적인 제네릭 프로그래밍 환경을 제공한다. 마지막으로 향후 연구 과제로는 (1) 컨셉 기반 오버로드의 표현력을 확대하여 특수화와 같은 고급 기능을 지원하는 방법, (2) 타입 추론 알고리즘을 고도화해 프로그래머가 명시적으로 타입 인자를 제공할 필요성을 최소화, (3) 기존 C++ 코드와의 원활한 상호 운용성을 위한 인터페이스 설계, (4) 대규모 실무 프로젝트에 대한 장기적인 성능 및 유지보수성 평가 등이 제시된다. 전체적으로 이 논문은 제네릭 프로그래밍의 핵심 요구를 충족시키면서도, 모듈성·컴파일 효율성을 크게 향상시킨 새로운 언어 G의 설계와 실증을 통해, 차세대 라이브러리 개발 패러다임을 제시한다.