파생 형
컴퓨터 과학에서 데이터 유형 S가 다른 데이터 형 T와 is-a 관계에있을 때, S를 T의 파생 형 (은 세이 너희가, subtype)이라고한다. 또한 T는 S의 기본 형식 (きほんがた, supertype)이라고한다. 기본형의 데이터를 처리 할 수 있도록 만들어진 프로그램은 그 파생 형의 데이터에서도 제대로 처리 할 수있다. 즉, 기본형 - 파생 형 관계는리스 코프 치환 원칙이 성립한다. 그렇다고해도 실제 프로그래밍 언어는 고유 한 형식의 파생 (subtyping)의 개념을 채용하고있는 것도 있고, 또 그런 개념이없는 경우도있다. ...