Aujourd'hui, les langages sont nombreux, et les styles de programmation qu'ils offrent se multiplient. Par exemple, les langages C ++, Eiffel, Java proposent des moyens de programmation objet et générique ; les langages Ada, Fortran, Cobol ont intégré des éléments de programmation objet ; les langages Python et JavaScript mêlent programmation fonctionnelle et objet ; les langages fondés sur le modèle fonctionnel comme Lisp, Scheme ou ML incluent la programmation impérative.
Pourtant, les différents styles de programmation sont souvent méconnus. L'idée de cet ouvrage est donc de les introduire, de les illustrer, de les comparer, de les associer, et cela grâce à un langage de la famille des ML : OCaml. Ce langage offre en effet des moyens très complets de programmation fonctionnelle, impérative, générique, modulaire et objet, dans un cadre où le système de typage est d'une puissance inégalée.
De nombreux exemples viennent illustrer, entre autres : les mécanismes et les concepts de base associés à la programmation fonctionnelle ; les techniques favorisées par la programmation fonctionnelle ; la comparaison entre la programmation fonctionnelle et impérative ; la programmation modulaire typée et sa généralisation, la programmation modulaire générique (mise en oeuvre par des "fonctions de modules") ; un florilège de techniques de programmation générique ; les notions de base de la programmation objet dans un cadre strictement typé ; les combinaisons possibles entre programmation fonctionnelle, générique et objet.