Silna typizacja
Z Wikipedii
Silna typizacja to system typów języku programowania w którym każde wyrażenie ma ustalony typ, i nie można go używać w kontekście przeznaczonym dla innych typów.
Silna typizacja wykrywa pewne błędy, jednak ogranicza znacznie język i wykrywa wiele fałszywych błędów. Np. mieszanie liczb zmiennoprzecinkowych i całkowitych jest prawie zawsze w pełni poprawne, jednak niektóre systemy silnie typizowane uznają je za błąd.
Zobacz też: słaba typizacja