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 =...
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 lista que se sabe...
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...
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 me falta como "no es...