Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. 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.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.