Constrained genericity: Difference between revisions
Content added Content deleted
No edit summary |
(cat:type system) |
||
| Line 1: | Line 1: | ||
{{task|Object oriented}} |
{{task|Object oriented}} |
||
[[Category:Type System]] |
|||
''Constrained genericity'' means that a parametrized type or function (see [[Parametric Polymorphism]]) can only be instantiated on types fulfilling some conditions, even if those conditions are not used in that function. |
''Constrained genericity'' means that a parametrized type or function (see [[Parametric Polymorphism]]) can only be instantiated on types fulfilling some conditions, even if those conditions are not used in that function. |
||