> This is called "constrained parametric polymorphism" The more common terminolo... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		leshow on Oct 17, 2017 \| parent \| context \| favorite \| on: Haskell Typeclasses vs. C++ Classes > This is called "constrained parametric polymorphism" The more common terminology is ad-hoc polymorphism AFAIK.

danharaj on Oct 17, 2017 | [–]

ad-hoc polymorphism is more general. Constrained/Bounded parametric polymorphism is a controlled subset of violations of parametric polymorphism.

platz on Oct 17, 2017 | [–]

eh, that might be a bit of a stretch. I like my peanut-butter and jelly separate, thank you.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact