Inprogramming languages,monomorphization is acompile-time process wherepolymorphic functions are replaced by many monomorphic functions for each unique instantiation.^[1] It is considered beneficial to undergo the mentioned transformation because it results in the outputintermediate representation (IR) having specific types, which allows for more effective optimization. Additionally, many IRs are intended to be low-level and do not accommodate polymorphism. The resulting code is generally faster thandynamic dispatch, but may require more compilation time and storage space due to duplicating the function body.^{[2][3][4][5][6][7]}

This is an example of a use of ageneric identity function inRust

fnid<T>(x:T)->T{returnx;}fnmain(){letint=id(10);letstring=id("some text");println!("{int}, {string}");}

After monomorphization, this would become equivalent to

fnid_i32(x:i32)->i32{returnx;}fnid_str(x:&str)->&str{returnx;}fnmain(){letint=id_i32(10);letstring=id_str("some text");println!("{int}, {string}");}

• Parametric polymorphism
• Type erasure
• Template (C++)

• Polymorphism (computer science)

• Articles with short description
• Short description matches Wikidata