Tartalomjegyzék:
- Meghatározás - Mit jelent a statikusan tipizált?
- A Techopedia magyarázza a statikusan tipizált szöveget
Meghatározás - Mit jelent a statikusan tipizált?
A statikusan tipizált programozási nyelv olyan jellemző, amelyben a változó típusokat kifejezetten deklarálják, és így a fordítás idején határozzák meg. Ez lehetővé teszi a fordítónak annak eldöntését, hogy egy adott változó végrehajthatja-e a tőle kért műveleteket, vagy sem.
A statikus gépelés a típusokat a változókkal, nem az értékekkel társítja. Néhány példa a statikusan tipizált programozási nyelvekre:
- Haskell
- FORTRAN
- Jáva
- C
- C #
- C ++
- Ada
- gebe
- Pascal
- ML
- Perl
- Scala
A Techopedia magyarázza a statikusan tipizált szöveget
Statikus gépelésnél nincs szükség további ellenőrzések végrehajtására futási idő alatt annak megerősítésére, hogy egy objektum végrehajthat-e bizonyos műveleteket. A statikusan beprogramozott programozási nyelvek a típusellenőrzést a fordítás során, nem pedig futási idő alatt végzik, ami az ezeken a nyelveken írt programokat sokkal gyorsabbá teszi.
Ezenkívül a szerszámok és a refaktorok jobb statikusan tipizált nyelveken, mivel az eszközök a program kódolásakor megismerhetik a változótípusokat. Ez segít egy adott funkció paramétereinek és az adott objektumhoz elérhető módszerek azonnali megértésében. Ez a refaktorozási folyamatot is sokkal egyszerűbbé teszi.
Néhány kivételtől eltekintve, ha egy módszert vagy objektumot újra felújítottak, könnyen megértheti, hogy melyik más kód függ attól. Ez azonban költséges. Néhány kivételtől eltekintve a statikusan tipizált nyelvek további megjegyzéseket igényelnek, hogy értesítsék a fordítót a szerző tervezett céljairól.
Az objektum felépítésekor a statikusan tipizált nyelvek általában kevésbé rugalmasak, mint a dinamikus társaik. Nem lehet mezőket és módszereket hozzáadni egy adott objektumhoz futási idő alatt. Ez bonyolult lehet kevésbé strukturált adatok kezelésekor; például a JSON, XML vagy adatbázis lekérdezések elemzése ideálisnál kevesebb objektumleképezéshez vezet.
