Tutoriel par Examples: coproduit



Intuition Le produit catégoriel de deux types A et B doit contenir les informations minimales nécessaires pour contenir une instance de type A ou B. Nous pouvons voir maintenant que le coproduit intuitif de deux types devrait être l'un Either ab l' Either ab . D'autres candidats, tels ...

Page 1 de 1