Quoique s'adressant à des débutants, les auteurs ont choisi d'introduire les concepts et outils de programmation réputés comme étant les plus avancés, dans le but d'offrir un matériel méthodique de programmation fonctionnelle solide. Les langages choisis comme supports de démonstration sont le langage fonctionnel Caml et le langage impératif Ada. Nombreux exemples et exercices corrigés.
Sommaire :
Programmation. Environnements. Fonctions. Polymorphisme, produits et filtrage. Types somme. Exceptions. Listes. De la spécification au programme. Vers le monde impératif. Compilation et modularité. Présentation des langages impératifs. Fonctions en Ada. Les procédures. Retour sur les exceptions. Les types et valeurs. Types accès et types récursifs. Les modules.