Definições: Tipo de dados, Tipo de Dados Abstratos e Tipo de Dados de
Primeira Classe
-
Um tipo de dados é
um conjunto munido de uma coleção de operações sobre os elementos do conjunto.
As instâncias do tipo de dados são
simplesmente os elementos do conjunto.
-
Um tipo de dados
abstrato (abstract data type, ou ADT) é um tipo de dados
cujas operações são acessíveis somente somente por meio de uma interface.
A criação de instâncias do tipo de dados só pode ser feita mediante
chamadas a alguma função da interface. As operações sobre as instâncias
só podem ser efetuadas mediante chamadas a funções da interface.
-
Um tipo de dados de
primeira classe (first-class data type) é um tipo de dados
que potencialmente tem múltiplas instâncias, as quais podem ser atribuídas
a variáveis, passadas como parâmetros para funções e devolvidas como valores
de funções.