4La chaleur
1Répondre
Éviter la contrainte de classe sur les types naturels de type
8La chaleur
1Répondre
Pourquoi ce code ne porte-t-il pas atteinte à "l'exigence de saturation des familles de types"?
2La chaleur
1Répondre
Programmation au niveau du type pour représenter les tableaux multidimensionnels (Tenseurs)
3La chaleur
3Répondre
Génériquement morph une classe dans une autre en utilisant Shapeless + LabelledGenerics
3La chaleur
1Répondre
Programmation de niveau type dans Scala
4La chaleur
1Répondre
Comment définir correctement existentiel pour un type polymorphe f-bound
1La chaleur
1Répondre
Comment créer une liste de niveaux de type avec des symboles pour tester une famille de types
4La chaleur
1Répondre
Créer une liste de valeurs de la liste au niveau du type
19La chaleur
1Répondre
Haskell singletons: Que gagnons-nous avec SNat
0La chaleur
1Répondre
Pourquoi taper la vérification d'égalité avec implicitement échoue?