You are here: irt.org | FOLDOC | polymorphism
<theory, programming> The ability to leave parts of a type in a typed language unspecified. The term has three distinct uses:
* Parametric polymorphism refers to the use of type variables in a strongly typed language.
* Overloading, sometimes called ad-hoc polymorphism, means using the same syntax for different types.
* object-oriented polymorphism allows a variable to refer to objects whose class is not known at compile time.
(2014-01-05)
Nearby terms: Poly/ML « polymorphic « polymorphic lambda-calculus « polymorphism » polynomial » polynomial-time » polynomial-time algorithm
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL