shapeless
Utiliser des combinateurs fonctionnels sur les tubes Scala?
Les listes HL ne sont-elles rien de plus qu'une façon compliquée d'écrire des tuples?
Une raison quelconque pour laquelle scala ne prend pas explicitement en charge les types dépendants?
Limites de type Nat dans Shapeless
Quelqu'un peut-il m'expliquer à quoi sert la bibliothèque Shapeless?