KnowledgeHub
Questions
Tags
Users
Search
Alex Rivera
|
Logout
Edit Question
Title
Body
There exists a notion that combining reified generics with higher-kinded types is a hard problem. Are there existing languages who have successfully combined these two type system features or is it not possible in general? Is there any further information available to understand what has been done in this space until now?
Tags (comma-separated)
Save Edits
Cancel