Sistemas de Tipos e Verificação de Tipos em Programação
Classificado em Tecnologia
Escrito em em português com um tamanho de 5,11 KB
Definição de Tipo
Tipo pode ser definido como um conjunto de termos de uma linguagem, que possuem várias características em comum, permitindo-lhes interagir e serem sujeitos a alterações aplicadas a eles devido a essas características.
Sistemas de Tipos
Um Sistema de Tipos trata-se da teoria básica de associar um tipo a cada elemento de uma linguagem declarativa.
Construtores de Tipos
Exemplos de construtores de tipos incluem:
- Estruturas
- Uniões
- Objetos
- Ponteiros: referências de tipo
- Tipos de soma (sum types)
Analisador Semântico e Sistemas de Tipos
Cada analisador semântico implementa um sistema de tipos, que pode envolver testes estáticos e dinâmicos:
- Estático: Verificação em tempo de compilação.
- Dinâmico: Verificação em tempo de