개념 지향 프로그래밍: 참조와 클래스, 상속의 재조명

초록

개념 지향 프로그래밍(COP)은 객체의 위치를 나타내는 참조를 일급 요소로 다루어 객체 접근과 표현을 통합적으로 모델링한다. 기존 객체지향의 클래스와 상속 개념을 ‘개념(concept)’과 ‘포함(inclusion)’ 관계로 일반화함으로써 프로토타입 기반, 베타의 내부 메서드, AOP의 횡단 관심사, 함수형의 값 지향 등 다양한 패러다임의 핵심 패턴을 최소한의 기본 개념만으로 기술한다. COP은 기존 OO와의 호환성을 유지하면서 통합 프로그래밍 모델을 제시한다.

상세 분석

본 논문은 개념 지향 프로그래밍(COP)의 핵심 메커니즘을 세 가지 축으로 분석한다. 첫째, 참조를 일급 객체로 승격시킨다. 전통적인 OO에서는 객체 식별자를 단순히 메모리 주소나 핸들로 취급하지만, COP에서는 참조 자체가 행동과 상태를 가질 수 있다. 이를 통해 객체 접근 전후에 로깅, 보안 검사, 캐시 관리 등 부가 기능을 자연스럽게 삽입할 수 있다. 둘째, **개념(concept)**이라는 새로운 선언 구조를 도입한다. 개념은 데이터(값)와 행동(메서드)을 동시에 정의하며, 기존 클래스와 달리 ‘포함(inclusion)’ 관계를 통해 계층을 형성한다. 포함 관계는 “하위 개념은 상위 개념을 포함한다”는 의미로, 상속과 합성을 동시에 표현한다. 이때 메서드 호출 시 상위 개념의 메서드가 먼저 실행되고, 필요에 따라 하위 개념이 이를 재정의하거나 확장한다. 이는 베타 언어의 내부 메서드와 유사하지만, 포함 관계가 명시적이며 다중 포함도 허용한다는 점에서 차별화된다. 셋째, 포함 관계를 통한 계층적 주소 체계이다. 각 개념은 자신만의 로컬 주소 공간을 가지며, 전체 객체는 포함 체인에 따라 복합 주소(예: root/segment/subsegment)로 식별된다. 이러한 주소 체계는 프로토타입 기반 프로그래밍에서 객체가 다른 객체를 복제하거나 확장할 때 발생하는 ‘클론’ 문제를 해결하고, AOP에서 횡단 관심사를 특정 주소 패턴에 바인딩함으로써 선언적 측면을 제공한다. 논문은 또한 COP이 함수형 프로그래밍의 값 지향성을 어떻게 흡수하는지 논의한다. 개념은 불변 값으로도 선언될 수 있으며, 이 경우 포함 관계는 순수 데이터 흐름을 모델링한다. 마지막으로, 기존 OO와의 후방 호환성을 보장하기 위해 개념을 클래스와 동일한 형태로 컴파일하고, 기존 객체는 자동으로 ‘기본 개념’에 매핑된다. 따라서 기존 코드베이스를 크게 수정하지 않고도 COP의 장점을 단계적으로 도입할 수 있다. 전체적으로 논문은 COP이 객체 표현, 접근, 계층 구조, 그리고 횡단 로직을 하나의 통합 메커니즘으로 재구성함으로써 다중 패러다임 프로그래밍을 단순화하고, 설계자에게 보다 직관적인 모델링 도구를 제공한다는 점을 강조한다.