Kazalo:
Opredelitev - Kaj pomeni statično vpisano?
Statično vtipkana je značilnost programskega jezika, v kateri so tipi spremenljivk izrecno deklarirani in se tako določijo v času prevajanja. S tem se prevajalnik lahko odloči, ali lahko določena spremenljivka izvede dejanja, ki jih zahteva, ali ne.
Statično tipkanje povezuje vrste s spremenljivkami in ne z vrednostmi. Nekaj primerov statično tipkanih programskih jezikov vključuje:
- Haskell
- FORTRAN
- Java
- C
- C #
- C ++
- Ada
- Jade
- Pascal
- ML
- Perl
- Scala
Tehopedija razlaga statično vtipkano
Pri statičnem tipkanju ni treba izvajati dodatnih preverjanj med časom izvajanja, da bi potrdili, da predmet lahko izvede nekaj dejanj. Statično vtipkani programski jeziki izvajajo preverjanje vrste med kompilacijo in ne med izvajanjem, zaradi česar programi, napisani v teh jezikih, delujejo veliko hitreje.
Poleg tega sta orodje in refaktoring boljši v statično vpisanih jezikih, saj orodja lahko ugotovijo spremenljive vrste, ko je program kodiran. To pomaga takoj razumeti parametre za določeno funkcijo in tudi metode, ki so na voljo za določen predmet. Zaradi tega je postopek refaktoringa veliko bolj preprost.
Z nekaj izjemami, ko je metoda ali objekt ponovno postavljen, je enostavno takoj razumeti, katere druge kode so od njega odvisne. Vendar to pride do stroškov. Z nekaj izjemami jeziki, ki so statično vpisani, zahtevajo dodatna obvestila, s katerimi bodo prevajalca obvestili o predvidenih ciljih avtorja.
Kar zadeva strukturo objektov, so statično tipljeni jeziki v primerjavi z njihovimi dinamičnimi kolegi manj prožni. V času izvajanja določenemu predmetu ni mogoče dodati polja in metod. To je lahko zapleteno pri ravnanju z manj strukturiranimi podatki; na primer, razčlenjevanje poizvedb JSON, XML ali baze podatkov vodi do manj kot idealnih preslikav predmetov.
