Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
For example, Num a => a.
I assumed they’re just called “constrained types”, but Googling didn’t turn up many uses of that term so I’m curious to know if they go by some other name.
“Qualified types”. See Mark P. Jones. Qualified Types: Theory and Practice. Cambridge University Press, Cambridge, 1994.
Plenty of relevant matches on Google.