Język, w którym typ każdej zmiennej, wyrażenia lub funkcji jest określany przed kompilacją lub podczas wykonywania, a kompilator lub środowisko wykonawcze rygorystycznie sprawdzają zgodność typów podczas operacji. Zapobiega to błędom związanym z niezgodnością typów na wcześniejszych etapach rozwoju.

Poprzednia Dalej