Вопросы с тегом «shapeless»

Я пытаюсь вызвать Shapelessмакрос изнутри quasiquoteс, Scalaи я не получаю то, что я хотел бы получить. Мой макрос не возвращает никаких ошибок, но не расширяется Witness(fieldName)вWitness.Lt[String] val implicits = schema.fields.map { field => val fieldName:String = field.name val fieldType = TypeName(field.valueType.fullName) val in = TermName("implicitField"+fieldName) val tn = TermName(fieldName) val …

272 scala  scala-macros  shapeless  scala-quasiquotes 

В бесформенном типе Nat представлен способ кодирования натуральных чисел на уровне типа. Это используется, например, для списков фиксированного размера. Вы даже можете выполнять вычисления на уровне типа, например, добавлять список Nэлементов в список Kэлементов и возвращать список, который, как известно, во время компиляции имеет N+Kэлементы. Способно ли это представление представлять …

151 scala  numbers  compiler-optimization  shapeless 

Я действительно заинтересован в том, чтобы выяснить, где существуют различия, и, в более общем плане, выявить канонические случаи использования, в которых нельзя использовать списки HL (или, скорее, не давать никаких преимуществ по сравнению с обычными списками). (Я знаю, что TupleNв Scala есть 22 (я полагаю) , тогда как нужен только …

144 scala  types  tuples  hlist  shapeless 

Существуют типы, зависящие от пути, и я думаю, что в Scala можно выразить почти все функции таких языков, как Epigram или Agda, но мне интересно, почему Scala не поддерживает это более явно, как это очень хорошо в других областях (скажем, , DSL)? Что-нибудь, что мне не хватает, например, «это не …

109 scala  path-dependent-type  dependent-type  shapeless