Manifest psaní - Manifest typing

Typové systémy
Obecné pojmy
Hlavní kategorie
Menší kategorie
Viz také

V počítačové vědě manifestní psaní je výslovná identifikace softwarový programátor z typ každé deklarované proměnné. Například: if variable X bude ukládat celá čísla než jeho typ musí být deklarováno jako celé číslo. S výrazem se často používá výraz „manifest typing“ latentní psaní popsat rozdíl mezi statický, čas kompilace typ členství objektu a jeho run-time typová identita.

Naproti tomu některé programovací jazyky používají implicitní psaní (aka odvození typu ) kde je typ odvozen z kontextu v době kompilace nebo umožňuje dynamické psaní ve kterém je proměnná právě deklarována a může jí být za běhu přiřazena hodnota jakéhokoli typu.

Příklady

Zvažte následující příklad napsaný v Programovací jazyk C.:

#zahrnout <stdio.h>int hlavní(prázdnota) {    char s[] = "Testovací řetězec";    plovák X = 0.0;    int y = 0;    printf("Ahoj světe!");    vrátit se 0;}

Všimněte si, že proměnné s, X, a y byly deklarovány jako pole znaků, číslo s plovoucí desetinnou čárkou a celé číslo. Systém typů odmítá v době kompilace takové omyly, jako je pokus o přidání s a X.

Naproti tomu v Standardní ML, typy není třeba výslovně deklarovat. Místo toho typ je určen typem přiřazeného výrazu.

nechat val s = "Testovací řetězec"    val X = 0.0    val y = 0v tisk "Ahoj světe!"konec

V tomto programu nejsou žádné typy manifestů, ale kompilátor stále vyvozuje typy tětiva, nemovitý a int pro ně, a odmítl by výraz s + x jako chyba při kompilaci.

externí odkazy