Исходное сообщение
"Выпуск языка программирования Rust 1.40" Отправлено анонн, 27-Дек-19 16:23
> Это перегрузка функций, а не полиформизм У анонима это может быть и жопоморфизмом, но в остальном мире принята несколько иная терминология: http://www.ics.uci.edu/~jajones/INF102-S18/readings/05_strat... > There seem to be two main classes, which can be called ad hoc polymorphism and parametric polymorphism. > In ad hoc polymorphism there is no single systematic way of determining the type of the result from the type of the arguments. > There may be several rules of limited extent which reduce the number of cases, but these are themselves ad hoc both in scope and content. All the ordinary arithmetic operators and functions come into this category. It seems, moreover, that the automatic insertion of transfer functions by the compiling system is limited to this Еще, в остальном мире есть такие обозначения как monomorphism, homomorphism, heteromorphism и прочее. Это все от "morph(ism)" - отображение, форма. Poly - много, mono - одна. Искользуется и в математике и в биологии, откуда идея именования и заимствовалось.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>> Это перегрузка функций, а не полиформизм > У анонима это может быть и жопоморфизмом, но в остальном мире принята > несколько иная терминология: > http://www.ics.uci.edu/~jajones/INF102-S18/readings/05_stratchey_1967.pdf >> There seem to be two main classes, which can be called ad hoc polymorphism and parametric polymorphism. >> In ad hoc polymorphism there is no single systematic way of determining the type of the result from the type of the arguments. >> There may be several rules of limited extent which reduce the number of cases, but these are themselves ad hoc both in scope and content. All the ordinary arithmetic operators and functions come into this category. It seems, moreover, that the automatic insertion of transfer functions by the compiling system is limited to this > Еще, в остальном мире есть такие обозначения как monomorphism, homomorphism, heteromorphism > и прочее. > Это все от "morph(ism)" - отображение, форма. Poly - много, mono - > одна. > Искользуется и в математике и в биологии, откуда идея именования и заимствовалось.
	Введите код, изображенный на картинке: