💡 Words with a Similar Meaning to "Existential type"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| 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. |
| behavioral subtypingnoun | (programming, language theory) A subtype relation of the form that each subtype object satisfies the specification of the supertype. |
| eigenclassnoun | (object-oriented programming) A hidden class associated with each specific instance of another class. |
| subtypenoun | A group of specific things within a larger, more general group. |
| outer classnoun | (object-oriented programming) A class that contains an inner class. |
| virtual classnoun | (education) An online class. |
| subkindnoun | A specific type of kind; a subtype. |
| supertypenoun | (computing) The data type represented by a superclass. |
| sortnoun | A general type. |
| subsubtypenoun | A subtype of a subtype. |
| antitypenoun | Something that is symbolized or represented by a type, such as Christ by the Paschal Lamb; the fulfillment of a type. |
| abstractionnoun | The act of focusing on one characteristic of an object rather than the object as a whole group of characteristics; the act of separating said qualities from the object or ideas. |
| abstract methodnoun | (object-oriented programming) A method of an abstract class that has no implementation in that class and must therefore be implemented by all subtyping classes. |
| metaclassnoun | (object-oriented programming) A class that serves as a template for other classes rather than objects. |
| typenoun | A grouping based on shared characteristics; a class. |
| subexpressionnoun | (mathematics, programming) An expression that is a part of a larger expression. |
| super classnoun | (computing, object-oriented programming) Alternative form of superclass. [(computing, object-oriented programming) A high-level class that passes attributes and methods down the hierarchy to subclasses.] |
| subinterfacenoun | (telecommunications, computing, networking) A division of one physical interface into multiple logical interfaces. |
| inheritancenoun | The passing of title to an estate upon death. |
| subalternantnoun | (logic) A universal proposition. |
Translate “Existential type” into Another Language
Pick a language — the word will be pre-filled in the translator.