Billets comportant le mot-clé « types existentiels »
Les types existentiels (2/2)
Par asmanur, le mardi 14 juillet 2009, à 17:15 | Catégorie : | Mots-clés : types existentiels et OCaml | Source
Maintenant que l'on sait comment implémenter des types existentiels en caml, je vais vous montrer les quelques usages que l'on en fait dans le code pour notre projet pour les novendiales.
Les types existentiels (1/2)
Par asmanur, le lundi 13 juillet 2009, à 19:22 | Catégorie : | Mots-clés : types existentiels et OCaml | Source
Pour les novendiales, notre code utilise ce qu'on appelle les types existentiels . C'est un aspect assez peu connu et assez délicat des langages fonctionnels et donc assez peu répandu. Pourtant, cette technique a des ressemblances avec ce qui peut se faire du coté de l'orienté de l'objet (en fait cela permet une encapsulation).
Page 1