Um tipo abstrato de dados se refere à definição de qual é o conjunto de valores que um determinado tipo de dados pode assumir e quais as operações que podem ser realizadas sobre estes valores.

Quando um tipo abstrato de dados é implementado em uma linguagem de programação, há a necessidade de restringir os valores que podem ser utilizados, visto que há restrições impostas pelo número de bytes que podem ser usados na representação dos dados.

As linguagens de programação podem ou não exigir que variáveis sejam declaradas.

Uma vez que uma variável é criada, seja qual for a linguagem de programação, não é possível alterar seu tipo de dados.

A quantidade de bytes usada para representar um determinado tipo de dados, como inteiros, por exemplo, pode variar de linguagem para linguagem.