Innehållsförteckning:
Definition - Vad betyder statiskt typ?
Statiskt typ är ett programmeringsspråk som kännetecknar variabla typer uttryckligen deklareras och därmed bestäms vid sammanställningstiden. Detta låter kompilatorn bestämma om en given variabel kan utföra de åtgärder som begärts från den eller inte.
Statisk typning associerar typer med variabler, inte med värden. Några exempel på statiskt typade programmeringsspråk inkluderar:
- Haskell
- FORTRAN
- Java
- C
- C #
- C ++
- Ada
- Jade
- Pascal
- ML
- Perl
- Scala
Techopedia förklarar Statically Typed
Vid statisk typskrivning finns det inget behov av att utföra ytterligare kontroller under körtiden för att bekräfta att ett objekt kan utföra vissa åtgärder. Statiskt skrivna programmeringsspråk utför typkontroll under kompileringskursen snarare än under körningstid, vilket gör att program skrivna på dessa språk körs mycket snabbare.
Dessutom är verktyg och refactoring bättre i statiskt skrivna språk eftersom verktygen kan ta reda på variabeltyperna när programmet är kodat. Detta hjälper dig att omedelbart förstå parametrarna för en given funktion och även de metoder som finns tillgängliga för ett specifikt objekt. Detta gör refactoringprocessen mycket mer okomplicerad också.
Med bara några få undantag är det lätt att omedelbart förstå vilka andra koder som beror på det när en metod eller ett objekt har refakturerats. Detta kommer dock till en kostnad. Med några få undantag kräver statiskt skrivna språk ytterligare kommentarer för att meddela kompilatorn angående författarens avsedda mål.
När det gäller objektstruktur tenderar statiskt typade språk att vara mindre flexibla jämfört med deras dynamiska motsvarigheter. Det är inte möjligt att lägga till fält och metoder till ett visst objekt under körtid. Detta kan vara komplicerat när du hanterar mindre strukturerade data; till exempel, genom att analysera JSON-, XML- eller databasfrågor leder till objektapplikationer som är mindre än idealiska.
