6La chaleur
1Répondre
Pourquoi GHC ne réduira-t-il pas ma famille de caractères?
9La chaleur
1Répondre
Comment autorisez-vous les GADT dans Haskell?
1La chaleur
1Répondre
GADTs pour représenter l'application de fonction avec plusieurs paramètres (AST)
2La chaleur
2Répondre
impression Pretty avec monades et GADTs libres
2La chaleur
1Répondre
paramètre de type existentiellement quantifié, fonction récursive et erreur de type
3La chaleur
1Répondre
Rang-2 types dans les constructeurs de données