the basis of generic programming. Parametric polymorphism may be contrasted with ad hoc polymorphism. Parametrically polymorphic definitions are uniform:...

of polymorphism are: Ad hoc polymorphism: defines a common interface for an arbitrary set of individually specified types. Parametric polymorphism: not...

In programming languages, ad hoc polymorphism is a kind of polymorphism in which polymorphic functions can be applied to arguments of different types,...

system is a classical type system for the lambda calculus with parametric polymorphism. It is also known as Damas–Milner or Damas–Hindley–Milner. It was...

theory, subtyping (also called subtype polymorphism or inclusion polymorphism) is a form of type polymorphism. A subtype is a datatype that is related...

a particular type. Bounded quantification is an interaction of parametric polymorphism with subtyping. Bounded quantification has traditionally been studied...

types. This capability reduces duplicate code and is known as parametric polymorphism. The following program calculates the sum of two things, for which...

Flix language supports algebraic data types, pattern matching, parametric polymorphism, currying, higher-order functions, extensible records, channel...

Look up polymorphism, polymorph, polymorphic, polymorphous, or polymorphy in Wiktionary, the free dictionary. Polymorphism, polymorphic, polymorph, polymorphous...

for polymorphism. In statically typed languages (such as C++ and Java), the term generic functions refers to a mechanism for compile-time polymorphism (static...

event Parametric feature based modeler, a modeler using features defined to be parametric shapes associated with attributes Parametric polymorphism, a feature...

Swift, TypeScript, and Visual Basic (.NET). They are known as parametric polymorphism in ML, Scala, Julia, and Haskell. (Haskell terminology also uses...

correspond to some memory locations. Programming languages that support parametric polymorphism make use of universally quantified type variables. Languages that...

Distinctive aspects of Julia's design include a type system with parametric polymorphism and the use of multiple dispatch as a core programming paradigm...

language, the type system being based on many-sorted logic with parametric polymorphism. It is named after logician Kurt Gödel. Gödel has a module system...

functions, automatic memory management through garbage collection, parametric polymorphism, static typing, type inference, algebraic data types, pattern matching...

implement parametric polymorphism. Kinds appear, either explicitly or implicitly, in languages whose type systems account for parametric polymorphism in a...

use today, including "R-value" and "L-value", "ad hoc polymorphism", "parametric polymorphism", and "referential transparency". The lecture notes were...

operator overloading, sometimes termed operator ad hoc polymorphism, is a specific case of polymorphism, where different operators have different implementations...

that deal with mutable objects, allowing both subtype polymorphism and parametric polymorphism (generics), and were able to formally model many OOP concepts...

additionally supports operator overloading. Since version 2.0, C# offers parametric polymorphism, i.e. classes with arbitrary or constrained type parameters, e...

failure is not an error (SFINAE) Metaprogramming Preprocessor Parametric polymorphism Expression templates Variadic template Compile-time function execution...

construct that supports ad hoc polymorphism. This is achieved by adding constraints to type variables in parametrically polymorphic types. Such a constraint...

general parametricity theorem does not hold for Haskell programs; thus, these transformations are unsound in general. Parametric polymorphism Non-strict...

described how to use double dispatching in Smalltalk, calling it multiple polymorphism. The general problem addressed is how to dispatch a message to different...

write theorem-proving tactics, supporting algebraic data types, parametric polymorphism, abstract data types, and exceptions. Theorems in the system are...

parametric polymorphism). In particular, through the curiously recurring template pattern, it is possible to implement a form of static polymorphism that...

declaration. Idris supports inductively-defined data types and parametric polymorphism. Such types can be defined both in traditional Haskell 98-like...

Languages, introducing the terminology R-values, L-values, parametric polymorphism, and ad hoc polymorphism. In 1969, J. Roger Hindley publishes The Principal...

subtype polymorphism support. While Haskell purposefully lacks subtyping, it has several other forms of polymorphism including parametric polymorphism. The...