История изменений
Исправление antares0, (текущая версия) :
с функцией x, которая выполняет некоторые действия с переданным объектом, вызывая его метод m.
X вызывает не метод, она даже ничего не может знать о методах. Она вызывет функцию-дискримнатор порожденую соответствующим generic-ом. Эта функция передает аргументы и generic ищет внутри себя подходящий метод.
Исходная версия antares0, :
с функцией x, которая выполняет некоторые действия с переданным объектом, вызывая его метод m.
X вызывает не метод, она даже ничего не может знать о методах. Она вызывет функцию-дискримнатор порожденую соответсвующим generic. Эта функция передает аргументы и generic ищет внутри себя подходящий метод.