Tipo de dado
Em ciência da computação tipos de variáveis ou dados é uma combinação de valores e de operações que uma variável pode executar, o que pode variar conforme o sistema operacional e a linguagem de computador. São utilizados para indicar ao compilador ou interpretador as conversões necessárias para obter os valores em memória durante a construção do programa. Basicamente, servem para categorizar e separar todos os valores em classificações com base em seu valor, seja ele um texto, um número inteiro ou um número decimal. Alguns tipos de dados ocupam mais espaço na memória. Na linguagem C, por exemplo, um caractere ocupa um byte na memória. O tipo de dado ajuda também o programador a detectar eventuais erros envolvidos com semântica das instruções, erros esses detectados na análise semântica dos compiladores.
Imagem: Prosa · BY · Openverse
A verificação do tipo de um dado é feita de forma estática em tempo de compilação ou de forma dinâmica em tempo de execução. Na linguagem C, C++, Java e Haskell os tipos são estáticos, e em Lisp, PHP, Ruby e Python são dinâmicos. Na linguagem C uma definição estática do tipo de uma variável ficaria assim:
Imagem: Aquarela 08 · BY-NC · Openverse
Linguagens implementadas com tipificação forte (linguagem fortemente tipificada), tais como Java e Pascal, exigem que o tipo de dado de um valor seja do mesmo tipo da variável ao qual este valor será atribuído. Exemplo: Ocorrerá um erro ao compilar a linha 7, pois o valor "17.1", que é do tipo REAL, precisa ser convertido para o tipo de dado INTEIRO. Em linguagens com tipos de dados fracos, tais como PHP e VBScript, a conversão não se faz necessária, sendo realizada implicitamente pelo compilador ou interpretador.
Imagem: floresyplantas.net · BY-NC-SA · Openverse
Um tipo primitivo (também conhecido por nativo ou básico) é fornecido por uma linguagem de programação como um bloco de construção básico. Dependendo da implementação da linguagem, os tipos primitivos podem ou não possuir correspondência direta com objetos na memória. Um tipo composto pode ser construído em uma linguagem de programação a partir de tipos primitivos e de outros tipos compostos, em um processo chamado composição. Na linguagem C, cadeias de caracteres são tipos compostos, enquanto em dialetos modernos de BASIC e em JavaScript esse tipo é nativo da linguagem. Tipos primitivos típicos incluem caractere, inteiro (representa um subconjunto dos números inteiros, com largura dependente do sistema; pode possuir sinal ou não), ponto flutuante (representa o conjunto dos números racionais), booleano (lógica booleana, verdadeiro ou falso) e algum tipo de referência (como ponteiro ou handles).
