V>В языках программирования и теории типов полиморфизмом называется способность функции обрабатывать данные разных типов.

V>Существует несколько разновидностей полиморфизма. Две наиболее различных из них: это ad hoc полиморфизм и параметрический полиморфизм.

V>Параметрический полиморфизм подразумевает исполнение одного и того же кода для всех допустимых типов аргументов, тогда как ad hoc полиморфизм подразумевает исполнение потенциально разного кода для каждого типа или подтипа аргумента.

V>A polymorphic function is one which takes a type as one of its arguments, and then acts on elements of that type.

V>Определение полиморфизма как «один интерфейс — много реализаций», популяризованное Бьерном Страуструпом, относится к ad hoc полиморфизму.
V>...
V>Параметрический полиморфизм и динамическая типизация намного существеннее, чем ad hoc полиморфизм, повышают коэффициент повторного использования кода, поскольку определенная единственный раз функция реализует без дублирования заданное поведение для бесконечного множества вновь определяемых типов, удовлетворяющих требуемым в функции условиям.
V>...
V>Подтипизация (subtyping), или полиморфизм подтипов (subtype polymorphism), означает, что поведение параметрически полиморфной функции ограничивается множеством типов, ограниченных в иерархию «супертип — подтип».

V>(Например, если имеются типы Number, Rational и Integer, ограниченные отношениями Number :> Rational и Number :> Integer, то функция, определённая на типе Number, также сможет принять на вход аргументы типов Integer или Rational, и её поведение будет идентичным.)

V>static class Extensions {
V>    void Draw(this IEnumerable<Widget> widgets, Context context) {
V>        foreach(var w in widgets)
V>            w.Draw(context);
V>    } 
V>}
V>

V>Indexed type families, or type families for short, are a Haskell extension supporting ad-hoc overloading of data types.

V>Наследование в С++ реализуется набором ad hoc-механизмов, однако, его использование называется в сообществе языка «полиморфизмом», а сокрытие полей — «абстракцией».

V>>A polymorphic function is one which takes a type as one of its arguments, and then acts on elements of that type.

S>Polymorphic functions are functions whose operands (actual parameters) can have more than one type.

V>>class List<T> : IList<T> 
V>>{...}

V>>class List<T> : IList<T> where T : IEquatable<T> 
V>>{...}
V>>

V>>class List<T> : IList<T> 
V>>{
V>>    public IndexOf(T value) {}

V>>    public IndexOf(T value) where T : IEquatable<T> {}
V>>}
V>>

V>приведение типов не является истинным полиморфизмом: кажется, будто оператор принимает значения множества типов, но значения должны быть преобразованы к некоторому представлению до того, как он сможет их использовать.

V>double d1 = 42;
V>Foo(d1);
V>double d2 = 42f;
V>Foo(d2);
V>

V>Многие языки программирования предоставляют синтаксический механизм для назначения нескольким мономорфным функциям единого имени (идентификатора).

V>В этом случае, в исходном коде становится возможным осуществлять вызов функции с фактическими параметрами разных типов, но в скомпилированном коде фактически происходит вызов различных функций (см. перегрузка процедур и функций). Стрэчи назвал такую возможность «ad hoc полиморфизмом».

V>единичная ф-ия с аргументом конкретного типа или класса типов — это не есть признак ad hoc, но это и не есть признак отсутствия ad hoc

V>Многие языки программирования предоставляют синтаксический механизм для назначения нескольким мономорфным функциям единого имени (идентификатора). В этом случае, в исходном коде становится возможным осуществлять вызов функции с фактическими параметрами разных типов...
V>Стрэчи назвал такую возможность «ad hoc полиморфизмом»

V>A polymorphic function is one which takes a type as one of its arguments ...

V>>>A polymorphic function is one which takes a type as one of its arguments, and then acts on elements of that type.

S>>Polymorphic functions are functions whose operands (actual parameters) can have more than one type.

V>An example is the polymorphic identity function id: ∏(A:U) A → A, which we define by id :≡ λ(A : U).λ(x : A).x.

V>In ad hoc polymorphism a function can behave in arbitrarily different ways on objects of different types. We shall ignore this view here, and consider only generic polymorphism where a function behaves in some uniform way over all the relevant types.

V>class MyExtentions 
V>{
V>    public int IndexOf<T>(IList<T> list, T value) {}
V>    public int IndexOf<T>(IList<T> list, T value) where T : IEquatable<T> {}
V>}
V>

V>static class MyExtentions 
V>{
V>    static public int IndexOf<T>(this IList<T> list, T value)
V>    {
V>        for (int i = 0; i < list.Count; i++)
V>            if (Object.Equals(list[i], value))
V>                return i;

V>        return -1;
V>    }

V>    static public int IndexOf<T>(this IList<T> list, T value) where T : IEquatable<T>
V>    {
V>        for (int i = 0; i < list.Count; i++)
V>            if (list[i].Equals(value))
V>            return i;

V>        return -1;
V>    }
V>}
V>

V>error CS0111: Type 'MyExtentions1' already defines a member called 'IndexOf' with the same parameter types

V>>>class List<T> : IList<T> 
V>>>{...}

V>>>class List<T> : IList<T> where T : IEquatable<T> 
V>>>{...}
V>>>

V>>>class List<T> : IList<T> 
V>>>{
V>>>    public IndexOf(T value) {}

V>>>    public IndexOf(T value) where T : IEquatable<T> {}
V>>>}
V>>>

V>static class MyModule 
V>{
V>    static public T Foo<T>(T value) where T : Eq<T> {}

V>    static public T Foo<T>(T value) where T : Num<T> {}
V>}
V>

V>>Многие языки программирования предоставляют синтаксический механизм для назначения нескольким мономорфным функциям единого имени (идентификатора).

V>>В этом случае, в исходном коде становится возможным осуществлять вызов функции с фактическими параметрами разных типов, но в скомпилированном коде фактически происходит вызов различных функций (см. перегрузка процедур и функций). Стрэчи назвал такую возможность «ad hoc полиморфизмом».

V>>A polymorphic function is one which takes a type as one of its arguments ...

V>>error CS0111: Type 'MyExtentions1' already defines a member called 'IndexOf' with the same parameter types