Manifest att skriva
| Typsystem |
|---|
| Allmänna begrepp |
| Huvudkategorier |
|
| Mindre kategorier |
Inom datavetenskap är manifest typning explicit identifiering av programvaruprogrammeraren av typen av varje variabel som deklareras. Till exempel: om variabel X ska lagra heltal måste dess typ deklareras som heltal. Termen "manifest typing" används ofta med termen latent typing för att beskriva skillnaden mellan det statiska , kompileringstypmedlemskapet av objektet och dess körtidstypidentitet .
Däremot använder vissa programmeringsspråk implicit typning (aka type inference ) där typen härleds från kontexten vid kompilering eller tillåter dynamisk typning där variabeln precis deklareras och kan tilldelas ett värde av vilken typ som helst vid körning.
Exempel
Tänk på följande exempel skrivet i programmeringsspråket C :
0
0
#include <stdio.h> int main ( void ) { char s [] = "Teststräng" ; float x = 0,0 ; int y = ; printf ( "Hej världen! \n " ); återvända ; }
Observera att variablerna s , x och y deklarerades som en teckenmatris, flyttal respektive ett heltal. Typsystemet avvisar, vid kompilering, sådana felslut som att försöka lägga till s och x .
Däremot behöver typerna i Standard ML inte explicit deklareras . Typen bestäms istället av typen av det tilldelade uttrycket.
0
låt val s = "Teststräng" val x = 0,0 val y = i tryck "Hej världen! \n " slut
Det finns inga manifesttyper i det här programmet, men kompilatorn härleder fortfarande typerna string , real och int för dem, och skulle avvisa uttrycket s+x som ett kompileringsfel.