Parametric Polymorphism 1

Polymorphism that relies on parameters. Type can be Generics in a function. This means the function allows any type.

• Maintains full static type safety

Example

• Haskell choose
• Haskell swap

Implementations

• Java Generics