Type produit et compagnie
Temps de lecture : 4 minutes 25/06/2020 #maths #info #théorie-des-typesUn truc qui peut sembler étrange quand on fait de la programmation, et surtout de la programmation fonctionnelle, c'est les noms « type produit » et « types sommes » (dans les autres styles de programmation, le système de type est assez différent pour que…