генерируем строку типов и проверяем значения типов