Statyczna typizacja
Z Wikipedii
Statyczna typizacja to określanie typów wyrażeń w czasie kompilacji programu. Zalety w porównaniu do typizacji dynamicznej:
- 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 interferencję typów i Polimorfizm (informatyka)