monomorphisation

Noun

countable uncountable

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

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Sense（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.

Google Translation / DeepL Translation

Details

monomorphisations

（ plural ）

Details

monomorphisation

Dictionary quizzes to help you remember the meaning

Login / Sign up

Download the app!

monomorphisation

Dictionary quizzes to help you remember the meaning

Login / Sign up

Login

──── or ────

Sign up

──── or ────

Download the app!