это явное указание в тексте программы типа каждой сущности. При этом используется имя типа - идентификатор, который однозначно определяет собственно тип. При этом обычно компилятор берет на себя работу по проверке типов, т.к. типы переменных ему известны уже на этапе компиляции. Тип переменной определяется первым упоминанием слева от знака присваивания и может быть изменен далее в коде. Языки программирования, использующие данную типизацию: Свернуть все | Развернуть все