Подтвердить что ты не робот

Как новый Scala TypeTags улучшает (устаревшие) Manifests?

Возможный дубликат:
Scala 2.10: Что такое TypeTag и как его использовать?

Я читал о новых TypeTags, которые приходят вместе с новым отражением api. Кажется, что Manifests предполагается заменить этой новой концепцией. Может ли кто-нибудь опубликовать некоторые примеры кода, чтобы показать преимущества?

Некоторые ссылки:

4b9b3361

Ответ 1

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

TypeTags - это типы, которые их компилятор понимает. Не "как" компилятор их понимает, но "как" компилятор их понимает - сам компилятор использует TypeTags. Это не 1-к-1, это просто 1.: -)