техника статической проверки

Static Type Checking

Проверка согласованности операций и значений с правилами системы типов до выполнения программы.

На карте