Jump to content

Type erasure

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 195.217.226.30 (talk) at 07:45, 30 September 2009 (Undid revision 317048742 by 195.217.226.30 (talk)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In programming languages, type erasure refers to the compile-time process by which explicit type annotations are removed from a program, before it is executed at run-time. An operational semantics that does not require programs to be accompanied by types is called a type-erasure semantics, to be contrasted with a type-passing semantics. The possibility of giving a type-erasure semantics is a kind of abstraction principle, ensuring that the run-time execution of a program does not depend on type information.

References

  • Crary, Karl; Weirich, Stephanie; Morrisett, Greg (2002). "Intensional Polymorphism in Type-Erasure Semantics". Journal of Functional Programming. 12 (6): 567–600. {{cite journal}}: Cite has empty unknown parameter: |booktitle= (help)


See also