English Dictionary

monomorphisation

名詞

可算名詞 不可算名詞

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

日本語の意味

コンパイラにおいて、多相性（ポリモーフィック）関数を、呼び出し時の各異なるデータ型に対して専用の単相性（モノモルフィック）関数へ変換するプロセス

The compiler's monomorphisation step produced a specialized, monomorphic function for each concrete type used by the polymorphic routine.

コンパイラによる、汎化された関数を呼び出された各データ型ごとに特殊化して単型化する処理は、汎用ルーチンが使用する各具体的な型に対して個別の単型関数を生成しました。

意味（1）

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

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 ）