Здравствуйте, samius, Вы писали:

_>>Совершенно верно. И какую ты тут видишь разницу со случаем equal_to (заменяем его на f, а оператор равенства на xrmbrm)?
S>никакой. Потому и заявляю, что equals_to — ad hoc, т.к. требует специализации чуть ли не для всех типов.

Абсолютно верно. Даже Вики подтверждает:

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

"Унутре" ресолвера типов того же Хаскеля параметрический полиморфизм зачастую превращается в сочетание ad hoc + динамического полиморфизма (на основе таблицы ф-ий для классов типов). Но для программиста всё выглядит как чистейшей воды параметрический полиморфизм. А только эта т.з. для нас, программистов, и важна, ИМХО.