"Écrivez du code modulaire !" entend-on dans les cours de programmation.
Mais les notions propres aux modules, que sont l'abstraction de types, la générativité, l'applicativité peuvent se révéler difficiles à maîtriser pour un utilisateur non averti. Le chercheur, en quête de sens, sera malheureusement souvent déçu par les modélisations proposées, souvent bien plus complexes que l'intuition ne le laissait penser.
Nous montrerons comment un découpage fin des types existentiels permet de donner une explication simple et concise des notions énumérées précédemment, ce qui constitue un premier pas vers des modules de première classe.