💡 Words with a Similar Meaning to "Subtype polymorphism"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| inclusion polymorphismnoun | (computer science) Synonym of subtype polymorphism. |
| subtypingnoun | (programming) A form of type polymorphism in which an instance of a subtype can be used anywhere the supertype could be used, without changing the code. |
| parametric polymorphismnoun | (programming) A way to make a computer language more expressive, while maintaining full static type safety, by allowing a function or a data type to be written generically so that it can handle values identically without depending on their type. |
| subtypenoun | A group of specific things within a larger, more general group. |
| polymorphismnoun | (object-oriented programming) A feature pertaining to the dynamic treatment of data elements based on their type, allowing for a method to have several definitions. |
| ad-hoc polymorphismnoun | (computer science) A kind of polymorphism where polymorphic functions can be applied to arguments of different types, as they can denote a number of distinct and potentially heterogeneous implementations depending on the types of argument to which they are applied. |
| derived classnoun | (object-oriented programming) Synonym of subclass. |
| type classnoun | (programming) A type system construct that supports ad hoc polymorphism (independent of the type hierarchy), first pioneered in Haskell. |
| metatypenoun | (programming) The type of a type. |
| name-based type systemnoun | (software) Synonym of nominative type system. |
| overloadingnoun | (object-oriented programming) A type of polymorphism, where different functions, operators or variables with the same name are invoked based on the data types of the parameters passed. |
| monomorphisationnoun | (computer science) In a compiler, the process of converting a polymorphic function to a monomorphic function, by the creation of a specialised function for each different data type it is called with. |
| manifest typingnoun | (programming) A typing where the software programmer explicitly identifies the type of each declared variable. |
| monomorphizationnoun | Alternative spelling of monomorphisation. [(computer science) In a compiler, the process of converting a polymorphic function to a monomorphic function, by the creation of a specialised function for each different data type it is called with.] |
| weak typingnoun | (computing, programming) A system that does not place any restriction on the interactions between objects of different data types. |
| generic programmingnoun | (programming) A style of computer programming in which algorithms are written in terms of to-be-specified-later types that are then instantiated when needed for specific types provided as parameters. |
| strong typingnoun | (computing, programming) A system that places any of various kinds of restriction on the interactions between objects of different data types. |
| type hintnoun | (programming) An instance of type hinting: the specification of a data type in an otherwise untyped language. |
| nominal type systemnoun | (software) Synonym of nominative type system. |
| generic typenoun | (object-oriented programming) A type which can be instantiated with any other type. |
Translate “Subtype polymorphism” into Another Language
Pick a language — the word will be pre-filled in the translator.