Typowanie statyczne
Z Wikipedii, wolnej encyklopedii
(Przekierowano z Statyczna typizacja)
Typowanie statyczne to nadawanie typów zmiennym w czasie kompilacji programu.
Zalety, w porównaniu do typowania dynamicznego:
- możliwość większej optymalizacji
- możliwość wykrycia większej liczby błędów w czasie kompilacji
Wady:
- konieczność pisania dużej ilości informacji o typach, częściowo problem ten jest rozwiązywany przez inferencję typów i polimorfizm
