Parametric polymorphism: Difference between revisions

Genyris is a dynamically typed language with optional type checking. Since types are used heavily with tagging, parametric types are usefluseful. Here's a simple function which adds to expressions if type "a" and returns a result with the same type: