- Este artículo trata sobre tipos sin miembros directos; ver también Tipo de dato abstracto.
En
ingeniería de software, un
tipo abstracto es un tipo en un sistema de tipo nominativo que es declarado por el programador, y que tiene la propiedad de no contener miembros que no sean miembros de algún subtipo declarado. Según el
paradigma de programación orientado a objetos, los tipos abstractos se implementan bajo nombres como
clases base abstractas,
interfaces,
rasgos (en inglés, traits),
mixins,
sabores (en inglés, flavors) o
roles.