Perguntas com a marcação «shapeless»

Estou tentando chamar uma Shapelessmacro de dentro de um quasiquotecom Scalae não estou conseguindo o que gostaria de obter. Minha macro não retorna nenhum erro, mas não se expande Witness(fieldName)paraWitness.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 …

272 scala  scala-macros  shapeless  scala-quasiquotes 

Sem forma, o tipo Nat representa uma maneira de codificar números naturais em um nível de tipo. Isso é usado, por exemplo, para listas de tamanho fixo. Você pode até fazer cálculos no nível de tipo, por exemplo, anexar uma lista de Nelementos a uma lista de Kelementos e recuperar …

151 scala  numbers  compiler-optimization  shapeless 

Estou realmente interessado em descobrir onde estão as diferenças e, de maneira mais geral, identificar casos de uso canônicos em que as HLists não podem ser usadas (ou melhor, não produzem nenhum benefício em relação às listas regulares). (Estou ciente de que existem 22 (acredito)) TupleNem Scala, enquanto um só …

144 scala  types  tuples  hlist  shapeless 

Existem tipos dependentes de caminho e acho que é possível expressar quase todos os recursos de linguagens como Epigram ou Agda em Scala, mas estou me perguntando por que Scala não suporta isso de forma mais explícita como faz muito bem em outras áreas (digamos , DSLs)? Algo que estou …

109 scala  path-dependent-type  dependent-type  shapeless