Что означает выводимость типов?
(Отметьте один правильный вариант ответа.)
Варианты ответа
возможность определить тип из контекста окружения(Верный ответ)
возможность доказать, что выражение имеет тот или иной тип
возможность приписать тип выражениям в цепочке вывода
