type erasure

Hello, you have come here looking for the meaning of the word type erasure. In DICTIOUS you will not only get to know all the dictionary meanings for the word type erasure, but we will also tell you about its etymology, its characteristics and you will know how to say type erasure in singular and plural. Everything you need to know about the word type erasure you have here. The definition of the word type erasure will help you to be more precise and correct when speaking or writing your texts. Knowing the definition oftype erasure, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.

English

Noun

type erasure (countable and uncountable, plural type erasures)

  1. (software) A compile-time process by which explicit data type annotations are removed from a program, before run-time execution.
    • 2009, Dean Wampler, Alex Payne, Programming Scala: Scalability = Functional Programming + Objects, "O'Reilly Media, Inc.", →ISBN, page 249:
      Although .NET does not have type erasure, meaning it supports reified types, the .NET version of Scala currently follows the JVM's erasure model in order to avoid incompatibilities that would require a “forked” implementation.
    • 2014, James Gosling, Bill Joy, Guy L. Steele Jr., Gilad Bracha, Alex Buckley, The Java Language Specification, Java SE 8 Edition, Addison-Wesley Professional, →ISBN, page 64:
      Type erasure is a mapping from types (possibly including parameterized types and type variables) to types (that are never parameterized types or type variables).
  2. (C++ programming) A technique by which a class is made generic without requiring compile-time template arguments.
    • 2019, Fedor G. Pikus, Hands-On Design Patterns with C++: Solve common C++ problems with modern design patterns and build robust applications, Packt Publishing Ltd, →ISBN, page 102:
      Type erasure is often seen as a mysterious, enigmatic programming technique. It is not exclusive to C++ (most tutorials on type erasure use Java for their examples).

Hyponyms

Coordinate terms

Further reading

Wikious
Boobota
Sagapedia