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

B>На самом деле вы оба правы. Статический/динамический относится к компиляции, следовательно, это варианты реализации полиморфизма. Потому что логика программы от этого не меняется. А ad-hoc и параметрический различаются по логике. Т.е. есть два варианта классификации полиморфизма (по логике и по реализации). Их действительно часто путают.

Собственно я говорил именно о "статический/динамический" и "ad-hoc и параметрический" не приплетал.