발음 발음 정보 없음 · 품사 명사 (noun)
검증된 한국어 뜻을 준비 중입니다. 확인되지 않은 자동 번역은 표시하지 않습니다.
(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.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.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.”입니다.
문장 속 의미에 따라 가까운 동의어가 달라집니다.
정확한 반대말은 사용된 의미에 따라 달라집니다.
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.
FreeDictionaryAPI.com / Wiktionary · 원문 출처 · CC BY-SA 4.0
영어사전 정보는 FreeDictionaryAPI.com이 제공하며 해당 서비스가 밝힌 Wiktionary 라이선스를 따릅니다.