Em Pascal, toda variável (Seção de declaração de variáveis globais) possui um tipo. Isto é relacionado com a maneira como o computador vai interpretar a sequência de bits no endereço de memória acessado.
Na linguagem Pascal existem alguns tipos pré-definidos (ver seção Tipos de dados em Pascal). Aqui, contudo, o programador pode declarar seus próprios tipos de dados. Assim, um identificador pode ser usado para denotar este novo tipo ao se declarar variáveis no código-fonte.
A declaração é feita tendo como início a palavra reservada type. Segue então uma lista contendo um novo identificador, um símbolo de igual (“=”) e a definição do novo tipo baseada em tipos pré-existentes. Finalmente um símbolo de ponto-e-vírgula (“;”).
Exemplos:
type diaMes = integer; tipoSaldo = real; letra_minuscula = 'a'..'z'; nomes = array [1..MAX] of letra_minuscula;