Sadržaj:
Definicija - Što znači statički upisan?
Statički tipkan je karakteristika programskog jezika u kojem se tipovi varijabli izričito deklariraju i tako se određuju u vrijeme sastavljanja. To omogućuje sastavljaču da odluči može li određena varijabla izvršiti potrebne radnje ili ne.
Statički tipkanje povezuje vrste s varijablama, a ne sa vrijednostima. Neki primjeri statički tipkanih programskih jezika uključuju:
- Haskell
- FORTRAN
- Java
- C
- C #
- C ++
- Ada
- Žad
- paskal
- ML
- Perl
- Scala
Tehopedia objašnjava statički tip
U statičkom tipkanju nema potrebe za obavljanjem dodatnih provjera tijekom vremena izvođenja da bi se potvrdilo da objekt može izvesti neke radnje. Statički tipkani programski jezici vrše provjeru tipa tijekom kompilacije, a ne tijekom vremena izvođenja, zbog čega se programi pisani na tim jezicima rade brže.
Pored toga, alati i refaktoring bolji su u statički tipkanim jezicima jer alati mogu pronaći varijable tipova dok je program kodiran. Ovo pomaže odmah razumjeti parametre za određenu funkciju i metode dostupne za određeni objekt. To čini i postupak refaktoringa mnogo jednostavnijim.
Sa samo nekoliko iznimaka, kad se metoda ili objekt ponovno postavi, lako je odmah razumjeti koji drugi kodovi ovise o njemu. Međutim, to dolazi skupo. Uz nekoliko iznimaka, statički tipkani jezici zahtijevaju dodatne napomene kako bi obavijestili prevoditelja o planiranim ciljevima autora.
Kad je u pitanju struktura objekata, jezici statički tipkani obično su manje fleksibilni u usporedbi s njihovim dinamičkim kolegama. Nije moguće dodati polja i metode danom objektu tijekom vremena izvođenja. To može biti komplicirano pri rukovanju sa manje strukturiranim podacima; na primjer, raščlanjivanje JSON, XML ili upita baze podataka dovodi do manje nego idealnih objektnih mapiranja.
