4La chaleur
1Répondre
Ne peut pas détruire le type transitif
2La chaleur
2Répondre
10La chaleur
2Répondre
Comment faire fonctionner les catamorphismes avec des types paramétrés/indexés?
1La chaleur
1Répondre
Type ambigu pour les membres de la fonction polymorphe GADT
3La chaleur
3Répondre
Evaluation d'un AST (comme GADT) avec des flèches comme valeurs atomiques
4La chaleur
2Répondre
récursive remplacer dans un GADT