3 ms·

> This is called "constrained parametric polymorphism" The more common terminology is ad-hoc polymorphism AFAIK.

• platz 9y ago
  eh, that might be a bit of a stretch. I like my peanut-butter and jelly separate, thank you.
• danharaj 9y ago
  ad-hoc polymorphism is more general. Constrained/Bounded parametric polymorphism is a controlled subset of violations of parametric polymorphism.