Type erasure
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.
Wikipage disambiguates
primaryTopic
Type erasure
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.
has abstract
In programming languages, type ...... erasure is called reification.
@en
型消去 (英: type erasure) とは、が存在するクラスや構造体において、型変数を消去すること。
@ja
类型擦除是计算机程序设计时,在编译期明确去掉所编程序(某部分 ...... antics)。如通过具体化。。类型擦除的逆操作是类型推断。
@zh
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,000,155,152
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
comment
In programming languages, type ...... erasure is called reification.
@en
型消去 (英: type erasure) とは、が存在するクラスや構造体において、型変数を消去すること。
@ja
类型擦除是计算机程序设计时,在编译期明确去掉所编程序(某部分 ...... antics)。如通过具体化。。类型擦除的逆操作是类型推断。
@zh
label
Type erasure
@en
型消去
@ja
类型擦除
@zh