"monomorphisation" meaning in All languages combined

See monomorphisation on Wiktionary

Noun [English]

Forms: monomorphisations [plural]
Rhymes: -eɪʃən Etymology: From mono- + morph + -isation. Etymology templates: {{af|en|mono-|morph|-isation}} mono- + morph + -isation Head templates: {{en-noun|~}} monomorphisation (countable and uncountable, plural monomorphisations)
  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. Tags: countable, uncountable Categories (topical): Computer science Synonyms: monomorphization Related terms: monomorphism, polymorphism

Inflected forms

Alternative forms

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "mono-",
        "3": "morph",
        "4": "-isation"
      },
      "expansion": "mono- + morph + -isation",
      "name": "af"
    }
  ],
  "etymology_text": "From mono- + morph + -isation.",
  "forms": [
    {
      "form": "monomorphisations",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "~"
      },
      "expansion": "monomorphisation (countable and uncountable, plural monomorphisations)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English terms prefixed with mono-",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English terms suffixed with -isation",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Computer science",
          "orig": "en:Computer science",
          "parents": [
            "Computing",
            "Sciences",
            "Technology",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "examples": [
        {
          "ref": "2016, Liam O'Connor, Christine Rizkallah, Zilin Chen, Sidney Amani, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Alex Hixon, Gabriele Keller, Toby Murray, Gerwin Klein, “COGENT: Certified Compilation for a Functional Systems Language”, in arXiv:",
          "text": "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.",
          "type": "quote"
        },
        {
          "ref": "2019, Steve Klabnik, Carol Nichols, The Rust Programming Language, No Starch Press, →ISBN, page 181:",
          "text": "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.",
          "type": "quote"
        }
      ],
      "glosses": [
        "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."
      ],
      "id": "en-monomorphisation-en-noun-RNsmnI9S",
      "links": [
        [
          "computer science",
          "computer science"
        ],
        [
          "compiler",
          "compiler"
        ],
        [
          "polymorphic",
          "polymorphic"
        ],
        [
          "monomorphic",
          "monomorphic"
        ],
        [
          "specialised",
          "specialised"
        ],
        [
          "data type",
          "data type"
        ]
      ],
      "raw_glosses": [
        "(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."
      ],
      "related": [
        {
          "word": "monomorphism"
        },
        {
          "word": "polymorphism"
        }
      ],
      "synonyms": [
        {
          "word": "monomorphization"
        }
      ],
      "tags": [
        "countable",
        "uncountable"
      ],
      "topics": [
        "computer",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "science",
        "sciences"
      ]
    }
  ],
  "sounds": [
    {
      "rhymes": "-eɪʃən"
    }
  ],
  "word": "monomorphisation"
}
{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "mono-",
        "3": "morph",
        "4": "-isation"
      },
      "expansion": "mono- + morph + -isation",
      "name": "af"
    }
  ],
  "etymology_text": "From mono- + morph + -isation.",
  "forms": [
    {
      "form": "monomorphisations",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "~"
      },
      "expansion": "monomorphisation (countable and uncountable, plural monomorphisations)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "monomorphism"
    },
    {
      "word": "polymorphism"
    }
  ],
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English nouns",
        "English terms prefixed with mono-",
        "English terms suffixed with -isation",
        "English terms with quotations",
        "English uncountable nouns",
        "Pages with 1 entry",
        "Pages with entries",
        "Rhymes:English/eɪʃən",
        "Rhymes:English/eɪʃən/6 syllables",
        "en:Computer science"
      ],
      "examples": [
        {
          "ref": "2016, Liam O'Connor, Christine Rizkallah, Zilin Chen, Sidney Amani, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Alex Hixon, Gabriele Keller, Toby Murray, Gerwin Klein, “COGENT: Certified Compilation for a Functional Systems Language”, in arXiv:",
          "text": "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.",
          "type": "quote"
        },
        {
          "ref": "2019, Steve Klabnik, Carol Nichols, The Rust Programming Language, No Starch Press, →ISBN, page 181:",
          "text": "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.",
          "type": "quote"
        }
      ],
      "glosses": [
        "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."
      ],
      "links": [
        [
          "computer science",
          "computer science"
        ],
        [
          "compiler",
          "compiler"
        ],
        [
          "polymorphic",
          "polymorphic"
        ],
        [
          "monomorphic",
          "monomorphic"
        ],
        [
          "specialised",
          "specialised"
        ],
        [
          "data type",
          "data type"
        ]
      ],
      "raw_glosses": [
        "(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."
      ],
      "tags": [
        "countable",
        "uncountable"
      ],
      "topics": [
        "computer",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "science",
        "sciences"
      ]
    }
  ],
  "sounds": [
    {
      "rhymes": "-eɪʃən"
    }
  ],
  "synonyms": [
    {
      "word": "monomorphization"
    }
  ],
  "word": "monomorphisation"
}

Download raw JSONL data for monomorphisation meaning in All languages combined (2.8kB)


This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-11-06 from the enwiktionary dump dated 2024-10-02 using wiktextract (fbeafe8 and 7f03c9b). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.