Monomorphisation
noun ·Rare ·Advanced level
Definitions
- 1 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. countable, uncountable
"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 monomorphisation."
Example
More examples"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 monomorphisation."
Etymology
From mono- + morph + -isation.
More for "monomorphisation"
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.