Cuprins:
Definiție - Ce înseamnă tipografia statică?
Tipulat static este un limbaj de programare caracteristic în care tipurile de variabile sunt declarate explicit și astfel sunt determinate la timp de compilare. Acest lucru permite compilatorului să decidă dacă o anumită variabilă poate efectua sau nu acțiunile solicitate de la ea.
Tastarea statică asociază tipurile cu variabile, nu cu valorile. Câteva exemple de limbaje de programare tipizate static includ:
- Haskell
- FORTRAN
- Java
- C
- C #
- C ++
- Ada
- Jad
- Pascal
- ML
- Perl
- Scala
Techopedia explică tipografia statică
În tastarea statică, nu este necesară efectuarea de verificări suplimentare în timpul rulării pentru a confirma că un obiect poate efectua unele acțiuni. Limbajele de programare tipizate efectuează verificarea tipului pe parcursul compilării și nu în timpul rulării, ceea ce face ca programele scrise în aceste limbi să ruleze mult mai rapid.
În plus, instrumentarea și refactorizarea sunt mai bune în limbile tipizate statistic, deoarece instrumentele pot afla tipurile variabile pe măsură ce programul este codat. Acest lucru ajută la înțelegerea instantanee a parametrilor pentru o anumită funcție, precum și a metodelor disponibile pentru un anumit obiect. Acest lucru face ca procesul de refactorizare să fie și mai simplu.
Cu doar câteva excepții, odată ce o metodă sau obiect este refactorizată, este ușor să înțelegeți imediat ce alte coduri depind de ea. Cu toate acestea, acest lucru are un cost. Cu câteva excepții, limbile tipizate statistic necesită adnotări suplimentare pentru a notifica compilatorul cu privire la obiectivele propuse ale autorului.
Când vine vorba de structura obiectului, limbajele tipizate tind să fie mai puțin flexibile în comparație cu omologii lor dinamici. Nu este posibil să adăugați câmpuri și metode la un obiect dat în timpul rulării. Acest lucru poate fi complicat atunci când se manipulează date mai puțin structurate; de exemplu, analizarea interogărilor JSON, XML sau a bazei de date duce la mapări obiect mai puțin decât ideal.
