Результаты поиска по запросу "shapeless"
Что такое «у» в бесформенном (скала)?
Я видел объект (вероятно, функцию) с именем «at», разбросанный по бесформенному источнику и в коде, который использует бесформенный. В частности, он используется в ответе наэтот другой ...
scala - универсальная распаковка для HList
У меня есть следующая проблема Scala: Напишите функцию, которая будет принимать список HLists List(23 :: “a” :: 1.0d :: HNil, 24 :: “b” :: 2.0d :: HNil) # this is list of hlistsи вернуть обратно HList of Lists List[Int](23, 24) :: ...
Любая причина, почему Scala не поддерживает явно зависимые типы?
Существуют зависимые от пути типы, и я думаю, что в Scala можно выразить почти все особенности таких языков, как Epigram или Agda, но мне интересно, почему Scala не поддерживаетэто [http://en.wikipedia.org/wiki/Dependent_type]более явно, как это ...
Карта в HList в методе с Poly1 на основе параметра типа класса
У меня есть класс, параметризованный сHList и какой-то другой тип. Как я могу использоватьmap наHList в одном из его методов? Компиляция этого кода бросаетjava.lang.AssertionError: class Test[L <: HList, P](l: L, p: P) { type Cont[T] = (P, T) ...
Проверка утверждения о том, что что-то не должно компилироваться
ПроблемаКогда я работаю с библиотеками, которые поддерживают программирование на уровне типов, я часто пишу комментарии, подобные следующим ...