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

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

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

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

Ответы

Ответ 1

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