Une nouvelle manière de programmer
Langages à objets

1.1 Styles de programmation

Programmer, c’est communiquer une requête à une machine : on écrit un programme pour faire exécuter une certaine tâche à un ordinateur. La tâche en question peut être aujourd’hui fort complexe, et sa formulation directe dans le langage de la machine est hors de question. Le programme s’écrit dans un langage de programmation, dont le rôle est de soutenir l’effort intellectuel du programmeur en lui fournissant un cadre conceptuel plus ou moins confortable et plus ou moins bien adapté à la tâche devant être décrite. Les langages s’organisent selon plusieurs grands styles de programmation, qui diffèrent suivant les mécanismes intellectuels qu’ils mettent en jeu chez le programmeur et suivant les qualités de la formulation obtenue du point de vue de son traitement ultérieur (compilation, exécution, débogage, maintenance).

• Le style impératif/procédural classique cherche à formuler la tâche à accomplir d’une manière directe en termes de changements d’états de la machine. Il a l’inconvénient d’enfermer le programmeur dans des structures de données rigides, soumises à des algorithmes plus ou moins compliqués, et de le contraindre à une analyse approfondie du problème à traiter. Cette analyse conduit à une reformulation abstraite en termes de systèmes de variables et de procédures opérant sur ces variables. Un tel exercice ne peut être pratiqué que par des professionnels rompus à l’algorithmisation et à la manipulation des structures de données, munis d’une culture technique que ne possède pas le commun des mortels. En outre, malgré les efforts prolongés des spécialistes, les textes des programmes obtenus se prêtent mal à une vérification automatique de leur validité.

• Le style fonctionnel, de son côté, envisage la définition de la tâche à accomplir comme celle du calcul d’une fonction mathématique. Il a l’avantage de pouvoir mettre en branle une véritable théorie de la programmation, qui conduit par exemple à une forme de vérification sémantique, la synthèse de types. Il a l’inconvénient d’exiger de la part du programmeur un bagage mathématique non négligeable et de nécessiter un retour au style impératif pour traiter bon nombre de problèmes « pratiques »...