Type erasure
http://dbpedia.org/resource/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.
rdf:langString
型消去 (英: type erasure) とは、が存在するクラスや構造体において、型変数を消去すること。
rdf:langString
类型擦除是计算机程序设计时，在编译期明确去掉所编程序（某部分）的类型系统。 操作语义不需要程序伴随着类型，这称作“类型擦除语义”（type-erasure semantics）。类型擦除语义的一种可能是通过，确保程序在运行时执行不依赖类型信息。 与之相对的是类型传递语义（type-passing semantics）。如通过具体化。。类型擦除的逆操作是类型推断。
rdf:langString
rdf:langString
型消去
rdf:langString
Type erasure
rdf:langString
类型擦除
xsd:integer
7386145
xsd:integer
1000155152
rdf:langString
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.
rdf:langString
型消去 (英: type erasure) とは、が存在するクラスや構造体において、型変数を消去すること。
rdf:langString
类型擦除是计算机程序设计时，在编译期明确去掉所编程序（某部分）的类型系统。 操作语义不需要程序伴随着类型，这称作“类型擦除语义”（type-erasure semantics）。类型擦除语义的一种可能是通过，确保程序在运行时执行不依赖类型信息。 与之相对的是类型传递语义（type-passing semantics）。如通过具体化。。类型擦除的逆操作是类型推断。
xsd:nonNegativeInteger
1986