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 =...
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 uma lista que é...
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,...
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 perdendo como...