Les types algébriques de données (ADTs) permettent d’unifier des valeurs,d’exprimer facilement un domaine et de décrire des structures de données. Il s’agit d’un outil expressif de création de types mais souvent relativement mal connu pour qui démarre. Dans cette présentation, je vous propose de les découvrir.
Programmer avec des produits, des sommes, des exponentiels et des constructeurs non-surjectifs
Animé avec brio par :
