मोनोमोर्फाइजेशन

प्रोग्रामिंग भाषाओं में, मोनोमोर्फाइजेशन संकलन-समय की प्रक्रिया है इस प्रकार जहां बहुरूपी कार्यों को प्रत्येक अद्वितीय तात्कालिकता के लिए कई मोनोमोर्फिक कार्यों द्वारा प्रतिस्थापित किया जाता है। उल्लिखित परिवर्तन से निकलने लाभदायक माना जाता है क्योंकि इसका परिणाम विशिष्ट प्रकार के आउटपुट इंटरमीडिएट प्रतिनिधित्व (आईआर) में होता है, तथा जो अधिक प्रभावी अनुकूलन की अनुमति देता है। और इसके अतिरिक्त, कई आईआर निम्न स्तर के होने का निश्चय रखते हैं और बहुरूपता को समायोजित नहीं करते हैं। जिससे परिणामी कोड सामान्यतः गतिशील प्रेषण से तेज़ होता है, किंतु फ़ंक्शन बॉडी को डुप्लिकेट करने के कारण अधिक संकलन समय और संग्रहण स्थान की आवश्यकता हो सकती है।

उदाहरण

यह Rust_(programming_language) में जेनेरिक प्रोग्रामिंग पहचान फ़ंक्शन के उपयोग का उदाहरण है

fn id<T>(x: T) -> T {
    return x;
}

fn main() {
    let int = id(10);
    let string = id("some text");
    println!("{int}, {string}");
}

मोनोमोर्फाइजेशन के बाद, यह बन जाएगा

fn id_i32(x: i32) -> i32 {
    return x;
}

fn id_str(x: &str) -> &str {
    return x;
}

fn main() {
    let int = id_i32(10);
    let string = id_str("some text");
    println!("{int}, {string}");
}

यह भी देखें

• पैरामीट्रिक बहुरूपता
• टाइप एसयोर
• टेम्पलेट (सी ++)