Карта в HList в методе с Poly1 на основе параметра типа класса

У меня есть класс, параметризованный сHList и какой-то другой тип. Как я могу использоватьmap наHList в одном из его методов? Компиляция этого кода бросаетjava.lang.AssertionError: class Test[L <: HList, P](l: L, p: P) { type Cont[T] = (P, T) ...

Карта в HList в методе с Poly1 на основе параметра типа класса

У меня есть класс, параметризованный с

Любая причина, почему Scala не поддерживает явно зависимые типы?

Существуют зависимые от пути типы, и я думаю, что в Scala можно выразить почти все особенности таких языков, как Epigram или Agda, но мне интересно, почему Scala не поддерживаетэто [http://en.wikipedia.org/wiki/Dependent_type]более явно, как это ...

Любая причина, почему Scala не поддерживает явно зависимые типы?

и все готово!

лал несколько реализаций HList сейчас. Один из них основан на выступлении Даниэля Спевака в «Стране Скала», а другой - на посте в блоге Apocalisp. Цель состояла в том, чтобы иметь гетерогенный список, который не является гетерогенным по ...