抽象型

抽象型（ちゅうしょうがた、英: abstract type）とは、コンピュータプログラミングの型システムのうち、名前的型システム (nominal / nominative type system) における型の一種であり、直接インスタンス化することができないという特徴を持つ。対義語は具象型（英: concrete type）であり、具象型はインスタンス化することができる。