About: Type erasure

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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

Property Value
dbo:abstract
  • In programming languages, type erasure is the load-time process by which explicit type annotations are removed from a program, before it is executed at run-time. Operational semantics that do not require programs to be accompanied by types are called type-erasure semantics, to be contrasted with type-passing semantics. The possibility of giving type-erasure semantics is a kind of abstraction principle, ensuring that the run-time execution of a program does not depend on type information. In the context of generic programming, the opposite of type erasure is called reification. (en)
  • 型消去 (英: type erasure) とは、が存在するクラスや構造体において、型変数を消去すること。 (ja)
  • 类型擦除是计算机程序设计时，在编译期明确去掉所编程序（某部分）的类型系统。 操作语义不需要程序伴随着类型，这称作“类型擦除语义”（type-erasure semantics）。类型擦除语义的一种可能是通过，确保程序在运行时执行不依赖类型信息。 与之相对的是类型传递语义（type-passing semantics）。如通过具体化。。类型擦除的逆操作是类型推断。 (zh)
dbo:wikiPageID
  • 7386145 (xsd:integer)
dbo:wikiPageLength
  • 1986 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1000155152 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • In programming languages, type erasure is the load-time process by which explicit type annotations are removed from a program, before it is executed at run-time. Operational semantics that do not require programs to be accompanied by types are called type-erasure semantics, to be contrasted with type-passing semantics. The possibility of giving type-erasure semantics is a kind of abstraction principle, ensuring that the run-time execution of a program does not depend on type information. In the context of generic programming, the opposite of type erasure is called reification. (en)
  • 型消去 (英: type erasure) とは、が存在するクラスや構造体において、型変数を消去すること。 (ja)
  • 类型擦除是计算机程序设计时，在编译期明确去掉所编程序（某部分）的类型系统。 操作语义不需要程序伴随着类型，这称作“类型擦除语义”（type-erasure semantics）。类型擦除语义的一种可能是通过，确保程序在运行时执行不依赖类型信息。 与之相对的是类型传递语义（type-passing semantics）。如通过具体化。。类型擦除的逆操作是类型推断。 (zh)
rdfs:label
  • 型消去 (ja)
  • Type erasure (en)
  • 类型擦除 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License