строгий контроль типов (strongly-typed)

Язык программирования является языком со строгим контролем типов, в котором каждому идентификатору присваивается тип. Если тип не указан явно, он определяется механизмом вывода типов. Это означает, что язык не будет выдавать непредсказуемых результатов в среде выполнения, поскольку тип этих идентификаторов и то, как операции влияют на данные типы, известны. См. также Статическая проверка.