Стирание типа - Type erasure

В языки программирования, стирание типа это время загрузки процесс, посредством которого явное аннотации типов удаляются из программы, прежде чем она будет выполнена в время выполнения. Операционная семантика которые не требуют, чтобы программы сопровождались типами, называются семантика стирания типов, в отличие от семантика передачи типов. Возможность предоставления семантики стирания типов является своего рода принцип абстракции, гарантируя, что выполнение программы во время выполнения не зависит от информации о типе. В контексте общее программирование, противоположность стирания типа называется овеществление.^[1]

Вывод типа

Основная статья: Вывод типа

Обратная операция называется вывод типа. Хотя стирание типа может использоваться как простой способ определить типизацию на неявно типизированных языках (неявно типизированный термин хорошо типизирован если и только если это стирание хорошо типизированного явно типизированного лямбда-член ), это не всегда приводит к алгоритму проверки неявно типизированных терминов.

Смотрите также

• Шаблон (C ++)
• Проблемы со стиранием шрифта (в Дженерики в Java )
• Полиморфизм типов

Рекомендации

1. Лангер, Анжелика. "Что такое овеществление?".

• Crary, Карл; Вейрих, Стефани; Моррисетт, Грег (2002). «Интенсивный полиморфизм в семантике стирания типов». Журнал функционального программирования. 12 (6): 567–600. CiteSeerX  10.1.1.5.4507. Дои:10.1017 / S0956796801004282.