• the basis of generic programming. Parametric polymorphism may be contrasted with ad hoc polymorphism. Parametrically polymorphic definitions are uniform:...
    16 KB (2,105 words) - 00:15, 26 May 2025
  • of polymorphism are: Ad hoc polymorphism: defines a common interface for an arbitrary set of individually specified types. Parametric polymorphism: not...
    17 KB (1,862 words) - 06:35, 16 March 2025
  • In programming languages, ad hoc polymorphism is a kind of polymorphism in which polymorphic functions can be applied to arguments of different types,...
    7 KB (985 words) - 16:37, 20 June 2024
  • 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...
    61 KB (8,534 words) - 19:20, 10 March 2025
  • theory, subtyping (also called subtype polymorphism or inclusion polymorphism) is a form of type polymorphism. A subtype is a datatype that is related...
    28 KB (4,046 words) - 11:15, 26 May 2025
  • a particular type. Bounded quantification is an interaction of parametric polymorphism with subtyping. Bounded quantification has traditionally been studied...
    6 KB (661 words) - 18:27, 25 December 2024
  • Thumbnail for Rust (programming language)
    types. This capability reduces duplicate code and is known as parametric polymorphism. The following program calculates the sum of two things, for which...
    108 KB (10,313 words) - 22:59, 19 July 2025
  • Look up polymorphism, polymorph, polymorphic, polymorphous, or polymorphy in Wiktionary, the free dictionary. Polymorphism, polymorphic, polymorph, polymorphous...
    3 KB (351 words) - 11:40, 6 December 2023
  • functions, automatic memory management through garbage collection, parametric polymorphism, static typing, type inference, algebraic data types, pattern matching...
    13 KB (1,461 words) - 18:17, 29 April 2025
  • Flix language supports algebraic data types, pattern matching, parametric polymorphism, currying, higher-order functions, extensible records, channel...
    28 KB (3,274 words) - 05:29, 10 April 2025
  • Swift, TypeScript, and Visual Basic (.NET). They are known as parametric polymorphism in ML, Scala, Julia, and Haskell. (Haskell terminology also uses...
    63 KB (7,796 words) - 15:15, 24 June 2025
  • Thumbnail for Julia (programming language)
    distinctive aspects of Julia's design include a type system with parametric polymorphism, the use of multiple dispatch as a core programming paradigm, just-in-time...
    108 KB (8,305 words) - 07:45, 18 July 2025
  • implement parametric polymorphism. Kinds appear, either explicitly or implicitly, in languages whose type systems account for parametric polymorphism in a...
    9 KB (878 words) - 07:32, 19 June 2025
  • 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...
    3 KB (324 words) - 21:53, 13 August 2023
  • event Parametric feature based modeler, a modeler using features defined to be parametric shapes associated with attributes Parametric polymorphism, a feature...
    2 KB (329 words) - 19:56, 15 January 2020
  • correspond to some memory locations. Programming languages that support parametric polymorphism make use of universally quantified type variables. Languages that...
    1 KB (135 words) - 00:28, 8 January 2025
  • for polymorphism. In statically typed languages (such as C++ and Java), the term generic functions refers to a mechanism for compile-time polymorphism (static...
    6 KB (628 words) - 12:02, 20 March 2025
  • operator overloading, sometimes termed operator ad hoc polymorphism, is a specific case of polymorphism, where different operators have different implementations...
    20 KB (1,782 words) - 11:08, 14 March 2025
  • System F (category Polymorphism (computer science))
    mechanism of universal quantification over types. System F formalizes parametric polymorphism in programming languages, thus forming a theoretical basis for...
    18 KB (2,532 words) - 21:05, 22 July 2025
  • Thumbnail for Object-oriented programming
    that deal with mutable objects, allowing both subtype polymorphism and parametric polymorphism (generics), and were able to formally model many OOP concepts...
    67 KB (7,162 words) - 13:13, 19 July 2025
  • failure is not an error (SFINAE) Metaprogramming Preprocessor Parametric polymorphism Expression templates Variadic template Compile-time function execution...
    26 KB (3,116 words) - 12:54, 29 November 2024
  • Thumbnail for C Sharp (programming language)
    additionally supports operator overloading. Since version 2.0, C# offers parametric polymorphism, i.e. classes with arbitrary or constrained type parameters, e...
    101 KB (8,571 words) - 14:54, 20 July 2025
  • subtype polymorphism support. While Haskell purposefully lacks subtyping, it has several other forms of polymorphism including parametric polymorphism. The...
    10 KB (999 words) - 16:13, 18 July 2025
  • described how to use double dispatching in Smalltalk, calling it multiple polymorphism. The general problem addressed is how to dispatch a message to different...
    31 KB (4,333 words) - 13:08, 19 May 2025
  • Thumbnail for C++ syntax
    parametric polymorphism). In particular, through the curiously recurring template pattern, it is possible to implement a form of static polymorphism that...
    61 KB (7,997 words) - 21:23, 15 July 2025
  • write theorem-proving tactics, supporting algebraic data types, parametric polymorphism, abstract data types, and exceptions. Theorems in the system are...
    5 KB (614 words) - 18:48, 19 March 2025
  • dispatched dynamically. Virtual functions are an important part of (runtime) polymorphism in object-oriented programming (OOP). They allow for the execution of...
    14 KB (1,657 words) - 16:54, 15 July 2025
  • construct that supports ad hoc polymorphism. This is achieved by adding constraints to type variables in parametrically polymorphic types. Such a constraint...
    21 KB (2,297 words) - 20:15, 4 May 2025
  • types. Whereas parametric polymorphism provides the same structure for every type instantiation, type families provide ad hoc polymorphism with implementations...
    19 KB (1,872 words) - 12:57, 8 April 2025
  • Thumbnail for Programming language theory
    Languages, introducing the terminology R-values, L-values, parametric polymorphism, and ad hoc polymorphism. In 1969, J. Roger Hindley publishes The Principal...
    15 KB (1,613 words) - 14:01, 18 July 2025