monomorphisation

名词 n.

英文释义

名词 n.
  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.

词形变化

monomorphisations plural monomorphization alternative

词源

From mono- + morph + -isation.
0 次浏览 数据来源: Wiktionary