Preguntas etiquetadas con shapeless

Estoy tratando de llamar a una Shapelessmacro desde dentro de un quasiquotecon Scalay no obtengo lo que me gustaría obtener. Mi macro no devuelve ningún error pero no se expande Witness(fieldName)enWitness.Lt[String] val implicits = schema.fields.map { field => val fieldName:String = field.name val fieldType = TypeName(field.valueType.fullName) val in = TermName("implicitField"+fieldName) …

272 scala  scala-macros  shapeless  scala-quasiquotes 

En sin forma, el tipo Nat representa una forma de codificar números naturales a nivel de tipo. Esto se usa, por ejemplo, para listas de tamaño fijo. Incluso puede hacer cálculos a nivel de tipo, por ejemplo, agregar una lista de Nelementos a una lista de Kelementos y recuperar una …

151 scala  numbers  compiler-optimization  shapeless 

Estoy realmente interesado en descubrir dónde están las diferencias y, en general, identificar los casos de uso canónico en los que no se pueden usar las listas H (o mejor dicho, no producen ningún beneficio sobre las listas regulares). (Soy consciente de que hay 22 (creo) TupleNen Scala, mientras que …

144 scala  types  tuples  hlist  shapeless 

Hay tipos dependientes de la ruta y creo que es posible expresar casi todas las características de lenguajes como Epigram o Agda en Scala, pero me pregunto por qué Scala no admite esto de manera más explícita como lo hace muy bien en otras áreas (digamos , DSL)? ¿Algo que …

109 scala  path-dependent-type  dependent-type  shapeless