명목적 자료형 체계
From Wikipedia, the free encyclopedia
명목적 또는 이름 기반 자료형 체계(nominal 혹은 nominative type system)은 자료형 체계의 주요 범주이다. 이 자료형 체계에서 자료형의 호환성과 등가성은 선언이나 자료형의 이름에 의해 명시적으로 결정된다. 노미널 체계는 두 자료형이 서로로 교체 가능한지, 혹은 하나가 다른 하나의 서브타입인지 확인하는 데 사용된다. 이는 구조적 자료형 체계와 대비를 이룬다. 구조적 체계의 경우, 자료형의 구조만 가지고 비교를 하며 명시적인 선언은 필요하지 않다.