Meaning of monomorphisation | Babel Free

Definitions

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

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.”

“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.”

CEFR level