Digitação de manifesto - Manifest typing

Em ciência da computação, a tipagem de manifesto é a identificação explícita pelo programador de software do tipo de cada variável sendo declarada. Por exemplo: se a variável X vai armazenar inteiros, seu tipo deve ser declarado como inteiro. O termo "digitação manifesto" é muitas vezes usado com o termo de digitação latente para descrever a diferença entre a estática , em tempo de compilação tipo de associação do objeto e seu tempo de execução tipo de identidade.

Em contraste, algumas linguagens de programação usam tipagem implícita (também conhecida como inferência de tipo ) onde o tipo é deduzido do contexto em tempo de compilação ou permite tipagem dinâmica em que a variável é declarada e pode receber um valor de qualquer tipo em tempo de execução.

Exemplos

Considere o seguinte exemplo escrito na linguagem de programação C :

#include <stdio.h>

int main(void) {
    char s[] = "Test String";
    float x = 0.0;
    int y = 0;

    printf("Hello, World!\n");
    return 0;
}

Note-se que as variáveis s , x , e y foram declaradas como uma matriz de caracteres, número de ponto flutuante, e um número inteiro, respectivamente. O sistema de tipos rejeita, em tempo de compilação, falácias como tentar adicionar s e x .

Em contraste, no ML padrão , os tipos não precisam ser declarados explicitamente. Em vez disso, o tipo é determinado pelo tipo da expressão atribuída.

let val s = "Test String"
    val x = 0.0
    val y = 0
in print "Hello, World!\n"
end

Não há tipos de manifesto neste programa, mas o compilador ainda infere os tipos string, reale intpara eles, rejeitaria a expressão s+xcomo um erro em tempo de compilação.

links externos

• Digitação de manifesto

Este artigo relacionado à linguagem de programação é um esboço . Você pode ajudar a Wikipedia expandindo-a .

• v
• t
• e