💡 Words with a Similar Meaning to "Nominal type system"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| name-based type systemnoun | (software) Synonym of nominative type system. |
| nominative type systemnoun | (programming) A major type system where compatibility and equivalence of data types are determined by explicit declarations or the names of the types. |
| subtype polymorphismnoun | (programming, computing theory) Synonym of subtyping. |
| type systemnoun | (computing) A way programming language classifies values and expressions into types, how it can manipulate those types and how they interact. |
| manifest typingnoun | (programming) A typing where the software programmer explicitly identifies the type of each declared variable. |
| metatypenoun | (programming) The type of a type. |
| pseudotypenoun | (computing) Something resembling, or having certain characteristics of, a data type. |
| 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.] |
| second-class entitynoun | (programming, languages) Synonym of second-class object. |
| third-class entitynoun | (programming, languages) Synonym of third-class object. |
| synonymizernoun | A person who uses or studies synonyms, especially one who curates collections of them. |
| inclusion polymorphismnoun | (computer science) Synonym of subtype polymorphism. |
| type classnoun | (programming) A type system construct that supports ad hoc polymorphism (independent of the type hierarchy), first pioneered in Haskell. |
| weak typingnoun | (computing, programming) A system that does not place any restriction on the interactions between objects of different data types. |
| exotypenoun | (programming) A type (of object) that is defined programmatically at runtime based on external data. |
| generic typenoun | (object-oriented programming) A type which can be instantiated with any other type. |
| gradual typingnoun | (programming) A type system where some variables are statically-typed and some are dynamically-typed. |
| pseudo-typenoun | (programming) A data type that can be only used in certain places, for example as the argument to a function. |
| common type systemnoun | (computing) A set of data types that are common to all .NET languages and can be shared over CLI. |
| identifiernoun | Something that identifies or uniquely points to something or someone else. |
Translate “Nominal type system” into Another Language
Pick a language — the word will be pre-filled in the translator.