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.