[논문 리뷰] Why Nominal-Typing Matters in OOP

Moez A. AbdelGawad|arXiv (Cornell University)|2016. 06. 13.

Logic, programming, and type systems참고 문헌 40인용 수 3

한 줄 요약

이 논문은 객체지향 프로그래밍(OOP)에서 명칭형 타이핑이 타입 이름을 행동 계약과 연결함으로써 의미론적 명료성을 제공하며, 상속과 서브타이핑 사이에 일대일 대응을 가능하게 하여 구조적 OOP 모델과는 대조적으로 핵심적인 의미론적 명확성을 제공한다고 주장한다. 도메인 이론적 비교를 통해 명칭형 타이핑이 강건하고 유지보수가 쉬운 소프트웨어 설계를 지원하며, 향후 기초 OOP 연구가 구조적 모델보다 명칭형 모델을 우선시해야 한다고 주장한다.

ABSTRACT

The statements `inheritance is not subtyping' and `mainstream OO languages unnecessarily place restrictions over inheritance' have rippled as mantras through the PL research community for years. Many mainstream OO developers and OO language designers however do not accept these statements. In \emph{nominally-typed} OO languages that these developers and language designers are dearly familiar with, inheritance simply is subtyping; and they believe OO type inheritance is an inherently nominal notion not a structural one. Nominally-typed OO languages are among the most used programming languages today. However, the value of nominal typing to mainstream OO developers, as a means for designing robust OO software, seems to be in wait for full appreciation among PL researchers--thereby perpetuating an unnecessary schism between many OO developers and language designers and many OO PL researchers, with each side discounting, if not even disregarding, the views of the other. In this essay we strengthen earlier efforts to demonstrate the semantic value of nominal typing by presenting a technical comparison between nominal OO type systems and structural OO type systems. Recently, a domain-theoretic model of nominally-typed OOP was compared to well-known models of structurally-typed OOP. Combined, these comparisons provide a clear and deep account for the relation between nominal and structural OO type systems that has not been presented before, and they help demonstrate the key value of nominal typing and nominal subtyping to OO developers and language designers. We believe a clearer understanding of the key semantic advantage of pure nominal OO typing over pure structural OO typing can help remedy the existing schism. We believe future foundational OO PL research, to further its relevance to mainstream OOP, should be based less on structural models of OOP and more on nominal ones instead.

연구 동기 및 목표

• OOP에서 상속과 서브타이핑이 별개의 개념으로 간주되는 것이 일반적인 PL 연구의 관점에 도전하는 것, 특히 명칭형 타이핑 언어에서 그러한 관점에 대해.
• 명칭형 타이핑이 구조적 타이핑보다 더 의미론적으로 유의미하고 실용적인 기초를 제공함을 보여주는 것.
• 주류 OO 개발자/언어 설계자와 PL 연구자 간의 갈등을 줄이기 위해 명칭형 타이핑의 기술적 및 의미론적 가치를 보여주는 것.
• 향후 기초 OOP 연구가 구조적 모델에서 명칭형 모델로 전환하여 실용성과 영향력을 높여야 한다고 주장하는 것.

제안 방법

• 명칭형 타이핑 OOP의 도메인 이론적 모델과 잘 알려진 구조적 타이핑 OOP 모델 간의 기술적 비교를 수행하는 것.
• 명칭형 타이핑 언어에서 클래스 이름이 행동 계약을 참조함으로써 타입에 의미론적 의미를 통합하는 방식을 분석하는 것.
• 명칭형 시스템에서 타입 이름의 역할(고정되어 있고 계약과 연관됨)을 구조적 시스템에서의 역할(의미 없는 동의어)과 대조하는 것.
• 명칭성의 영향이 서브타이핑, 상속, 타입 재현 등에 어떻게 작용하는지 분석하며, 특히 바이너리 메서드와 재귀적 타입의 맥락을 고려하는 것.
• 표 3을 활용하여 명칭형 시스템과 구조적 시스템 간의 핵심 기능(계약 포함, 타입 재현, 하위형식 행동 등)을 체계적으로 비교하는 것.
• 자바와 같은 언어에서의 제네릭과 F-한정 다형성의 존재가 명칭형 타이핑의 타당성과 표현력을 더욱 뒷받침함을 강조하는 것.

실험 결과

연구 질문

• RQ1 왜 주류 OO 개발자와 언어 설계자들은 자바나 C#과 같은 언어에서 상속과 서브타이핑을 동일시하는가?
• RQ2 OOP 타입 시스템에서 명칭형 타이핑은 구조적 타이핑에 비해 어떤 의미론적 이점이 있는가?
• RQ3 명칭형과 구조적 OOP의 도메인 이론적 모델은 행동 계약과 타입 정체성 처리 방식에서 어떻게 다를까?
• RQ4 명칭형 타이핑은 상속과 서브타이핑 사이에 일대일 대응을 어느 정도 가능하게 하는가?
• RQ5 명칭형 타이핑에 대한 명확한 이해가 PL 연구자와 주류 OOP 실무자 간의 갈등을 해소하는 데 기여할 수 있는가?

주요 결과

• 명칭형 타이핑은 타입 이름이 직접적으로 행동 계약을 참조할 수 있도록 하여 객체 사양의 명확성과 정적 검사 가능성을 높인다.
• 명칭형 타이핑 OOP에서는 타입 상속과 서브타이핑이 일대일 대응되며, 이는 개발자의 정서적 모델을 유지하고 일관성을 보장한다.
• 구조적 OOP 모델은 행동 계약을 무시하여 부당한 하위형식화와 바이너리 메서드 문제를 야기하지만, 명칭형 타이핑은 이를 피한다.
• 명칭형 타이핑은 재귀적 타입과 바이너리 메서드를 자연스럽게 지원하지만, 구조적 시스템은 특수한 구문이 필요하거나 표현력에 제약을 받는다.
• 명칭형 시스템에서 타입 이름의 재바인딩이 불가능함으로써 타입 안정성이 보장되고 상속 과정에서 의미론적 혼란을 방지한다.
• 논문은 향후 기초 OOP 연구가 주류 소프트웨어 개발과의 연계성을 높이기 위해 명칭형 모델을 우선시해야 한다고 결론 내린다.