> Это перегрузка функций, а не полиформизм

У анонима это может быть и жопоморфизмом, но в остальном мире принята несколько иная терминология:
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 - одна.
Искользуется и в математике и в биологии, откуда идея именования и заимствовалось.