| progr. |
статическая типизация (ssn); статический контроль типов (ssn); статическая проверка типов (ssn); статическая проверка соответствия типов (ssn); статическое деление на типы (ssn); отнесение к типу в процессе компиляции (ssn); статический контроль соответствия типов (ssn) |
