Typowanie statyczne

(Przekierowano z Statyczna typizacja)
 Ten artykuł od 2021-04 wymaga zweryfikowania podanych informacji.
Należy podać wiarygodne źródła, najlepiej w formie przypisów bibliograficznych.
Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.
Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tego artykułu.
Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

Typowanie statyczne – nadawanie typów zmiennym w czasie kompilacji programu.

W porównaniu do typowania dynamicznego, zaletami są możliwość większej optymalizacji oraz możliwość wykrycia większej liczby błędów w czasie kompilacji. Wadą jest natomiast konieczność pisania dużej ilości informacji o typach. Częściowo problem ten jest rozwiązywany przez inferencję typów i polimorfizm.

Języki stosujące statyczne typowanieEdytuj

Do języków stosujących typowanie statyczne należą między innymi:

Źródło: „https://pl.wikipedia.org/w/index.php?title=Typowanie_statyczne&oldid=62888553”