Go backward to Parametric Polymorphic Operations Go up to Top Go forward to Typed Parameters

Polymorphic Parameterized Abstracts

• Previous parameterized abstracts were untyped.
• In typed languages, untyped parameterized abstracts would act polymorphically.
• Formal parameters must be labeled with type expressions.
  • Label acts as precondition or guard.
  • Only actual parameters whose type structures match those of formal parameters are allowed as arguments.