Статическая типизация

Статически типизированный язык — это язык, где типы переменных известны во время компиляции (н-р Java, C, C++). В большинстве таких языков типы переменных должны быть явно заданы разработчиком. В остальных статически типизированных языках вывод типов (type inference) позволяет не задавать их (н-р OCaml).