Constrained genericity: Difference between revisions

Content added Content deleted
m (omit Ruby)
(exclude Python)
Line 1: Line 1:
{{task|Object oriented}}
{{task|Object oriented}}
{{omit from|Python}} <!--Python is not statically typed, so this task is not relevant-->
''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.