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.
Attributes | Values |
---|
rdfs:label
| - 型消去 (ja)
- Type erasure (en)
- 类型擦除 (zh)
|
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)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has 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)
|
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage disambiguates
of | |
is foaf:primaryTopic
of | |