контроль соответствия типов