Типизированная типизация

Язык программирования является типизированным, если спецификация каждой операции включает в себя типы данных, которые могут быть аргументами этой операции, и запрещает применение этой операции ко всем остальным типам данных. Попытка выполнить операцию над запрещенными типами данных приводит к ошибке (для языков с безопасной типизацией) или к неопределенному поведению (для прочих языков).

Типизированные языки являются противоположностью бестиповых языков.