In programming language theory, parametricity is an abstract uniformity property enjoyed by parametrically polymorphic functions, which captures the intuition that all instances of a polymorphic function act the same way. == Idea == Consider this example, based on a set X and the type T(X) = [X → X] of functions from X to itself.
In programming language theory, parametricity is an abstract uniformity property enjoyed by parametrically polymorphic functions, which captures the intuition that all instances of a polymorphic function act the same way. == Idea == Consider this example, based on a set X and the type T(X) = [X → X] of functions from X to itself.
Source: Wikipedia "Parametricity" · CC BY-SA 4.0
Share this article: X · Bluesky