Почему переработанные дженерики трудно комбинировать с типами с более высоким родом? - PullRequest
Новая
       25

Почему переработанные дженерики трудно комбинировать с типами с более высоким родом?

22 голосов
/ 05 августа 2011

Существует мнение, что объединение переработанных обобщенных типов с типами с более высоким родом является сложной проблемой.

Существуют ли существующие языки, которые успешно объединили эти две функции системы типов, или это вообще невозможно?

Есть ли какая-либо дополнительная информация, чтобы понять, что было сделано в этом пространстве до сих пор?

1 Ответ

4 голосов
/ 16 августа 2011

Для второй части вопроса: взгляните на язык программирования Scala , который успешно объединил переработанные дженерики из базовой JVM с типами с более высоким родом. Ключевыми концепциями для этой работы являются неявные параметры и Манифесты . Манифесты используются для переноса части стертой информации о типах во время выполнения, а имплициты используются для внедрения манифеста в класс, подобный классу. В блоге Манифесты: Reified Types есть больше деталей.

...