monomorphisation
monomorphisation noun: 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.
Noun
monomorphisation (countable and uncountable, plural monomorphisations)
- 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.
- We describe the formal verification stages of the compiler, which include automated formal refinement calculi, a switch from imperative update semantics to functional value semantics formally justified by the linear type system, and a number of standard compiler phases such as type checking and...2016, Liam O'Connor, Christine Rizkallah, Zilin Chen, Sidney Amani, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Alex Hixon, Gabriele Keller, Toby Murray, Gerwin Klein, “COGENT: Certified...
- Rust accomplishes this by performing monomorphization of the code that is using generics at compile time. Monomorphization is the process of turning generic code into specific code by filling in the concrete types that are used when compiled.2019, Steve Klabnik, Carol Nichols, The Rust Programming Language, No Starch Press, →ISBN, page 181
Forms of monomorphisation
| plural | monomorphisations |
|---|---|
| alternative form | monomorphization |
Origin of monomorphisation
From mono- + morph + -isation.
Words that rhyme with monomorphisation
- station
- collation
- accommodation
- presentation
- derivation
- information
- modulation
- translation
- application
- fixation
- generation
- orientation
48 more rhymesFewer rhymes
- citation
- combination
- communication
- conjugation
- constellation
- determination
- elevation
- operation
- relation
- reservation
- alternation
- condensation
- conversation
- deviation
- excavation
- foliation
- formation
- foundation
- incarnation
- interpretation
- representation
- retardation
- speculation
- termination
- abbreviation
- adaptation
- articulation
- bifurcation
- concentration
- congregation
- declination
- degradation
- expectation
- extenuation
- gradation
- observation
- population
- preparation
- reconciliation
- rotation
- separation
- situation
- vexation
- vindication
- accumulation
- administration
- aggregation
- appropriation
Questions about monomorphisation
- What does monomorphisation mean?
- Monomorphisation means 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.
- What part of speech is monomorphisation?
- Monomorphisation is a noun.
- What is the plural of monomorphisation?
- The plural of monomorphisation is monomorphisations.
Words near monomorphisation in the dictionary
Source and license
Adapted from Wiktionary: monomorphisation (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “monomorphisation.” Word.ws, https://word.ws/monomorphisation. Based on Wiktionary, CC BY-SA 4.0.