Saisie du manifeste - Manifest typing

En informatique, le typage manifeste est une identification explicite par le programmeur du logiciel du type de chaque variable déclarée. Par exemple : si la variable X va stocker des entiers alors son type doit être déclaré entier. Le terme « frappe manifeste » est souvent utilisé avec le terme frappe latente pour décrire la différence entre la statique , la compilation de type adhésion à l'objet et son exécution identité de type.

En revanche, certains langages de programmation utilisent un typage implicite (alias inférence de type ) où le type est déduit du contexte au moment de la compilation ou permettent un typage dynamique dans lequel la variable est simplement déclarée et peut se voir attribuer une valeur de n'importe quel type au moment de l'exécution.

Exemples

Considérons l'exemple suivant écrit en langage de programmation C :

#include <stdio.h>

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

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

Notez que les variables s , x et y ont été déclarées comme un tableau de caractères, un nombre à virgule flottante et un entier, respectivement. Le système de types rejette, au moment de la compilation, des erreurs telles qu'essayer d'ajouter s et x .

En revanche, dans Standard ML , les types n'ont pas besoin d'être explicitement déclarés. Au lieu de cela, le type est déterminé par le type de l'expression affectée.

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

Il n'y a pas de types manifestes dans ce programme, mais le compilateur déduit toujours les types string, realet intpour eux, et rejetterait l'expression s+xcomme une erreur de compilation.

Liens externes

• Saisie du manifeste

Cet article lié au langage de programmation est un bout . Vous pouvez aider Wikipedia en l' étendant .

• v
• t
• e