J'essaie d'appeler une Shapelessmacro de l'intérieur d'un quasiquoteavec Scalaet je n'obtiens pas ce que j'aimerais obtenir. Ma macro ne renvoie aucune erreur mais ne se développe pas Witness(fieldName)dansWitness.Lt[String] val implicits = schema.fields.map { field => val fieldName:String =...
En informe, le type Nat représente un moyen d'encoder des nombres naturels à un niveau de type. Ceci est utilisé par exemple pour les listes de taille fixe. Vous pouvez même faire des calculs au niveau du type, par exemple ajouter une liste d' Néléments à une liste d' Kéléments et récupérer une...
Je suis vraiment intéressé à découvrir où se trouvent les différences, et plus généralement, à identifier les cas d'utilisation canoniques où les HLists ne peuvent pas être utilisées (ou plutôt, ne donnent aucun avantage par rapport aux listes régulières). (Je suis conscient qu'il y en a 22 (je...
Il existe des types dépendant des chemins et je pense qu'il est possible d'exprimer presque toutes les fonctionnalités de langages tels que Epigram ou Agda dans Scala, mais je me demande pourquoi Scala ne prend pas en charge cela plus explicitement comme il le fait très bien dans d'autres domaines...