Hello, you have come here looking for the meaning of the word
monomorphisation. In DICTIOUS you will not only get to know all the dictionary meanings for the word
monomorphisation, but we will also tell you about its etymology, its characteristics and you will know how to say
monomorphisation in singular and plural. Everything you need to know about the word
monomorphisation you have here. The definition of the word
monomorphisation will help you to be more precise and correct when speaking or writing your texts. Knowing the definition of
monomorphisation, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Etymology
From mono- + morph + -isation.
Pronunciation
Noun
monomorphisation (countable and uncountable, plural monomorphisations)
- (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.
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 Compilation for a Functional Systems Language”, in arXiv: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.
2019, Steve Klabnik, Carol Nichols, The Rust Programming Language, No Starch Press, →ISBN, page 181: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.
See also