Отметьте истинные высказывания
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
статическая типизация позволяет обнаружить нарушения типа в момент выполнения системы
наследование позволяет перейти от жесткого требования совпадения типов источника и цели к мягкому требованию соответствия типов(Верный ответ)
нарушение типа в момент вызова x.f (arg), где x присоединен к объекту OBJ, не возникает, если существует компонент, соответствующий f и применимый к OBJ
полиморфизм не дает возможности осуществить статическое связывание(Верный ответ)