Obsah:
Definice - Co znamená Staticky typizovaný?
Staticky napsaná je charakteristika programovacího jazyka, ve které jsou typy proměnných explicitně deklarovány a jsou tedy určovány při kompilaci. To umožňuje kompilátoru rozhodnout, zda daná proměnná může provádět požadované akce nebo ne.
Statické psaní přiřazuje typy k proměnným, nikoli k hodnotám. Některé příklady staticky zadaných programovacích jazyků zahrnují:
- Haskell
- FORTRAN
- Jáva
- C
- C#
- C ++
- Ada
- Nefrit
- Pascal
- ML
- Perl
- Scala
Techopedia vysvětluje staticky napsané
Při statickém psaní není třeba provádět další kontroly během běhu, aby se potvrdilo, že objekt může provádět některé akce. Staticky zadané programovací jazyky provádějí kontrolu typu v průběhu kompilace spíše než v době běhu, takže programy psané v těchto jazycích běží mnohem rychleji.
Kromě toho jsou nástroje a refaktoring lepší ve staticky psaných jazycích, protože tyto nástroje mohou zjistit kódované typy proměnných, jak je program kódován. To pomáhá okamžitě porozumět parametrům dané funkce a také metodám dostupným pro konkrétní objekt. Díky tomu je proces refaktoringu mnohem jednodušší.
Až na několik výjimek, jakmile je metoda nebo objekt refactored, je snadné okamžitě pochopit, které další kódy na něm závisejí. To však přichází za cenu. Staticky psané jazyky až na několik výjimek vyžadují dodatečné anotace, které informují kompilátora o zamýšlených cílech autora.
Pokud jde o strukturu objektů, staticky napsané jazyky mají tendenci být méně flexibilní ve srovnání s jejich dynamickými protějšky. Není možné přidat pole a metody k danému objektu během doby běhu. To může být komplikované při zpracování méně strukturovaných dat; například analýza dotazů JSON, XML nebo databází vede k méně než ideálnímu mapování objektů.
