Ce livre est la version écrite d'un cours sur la programmation à l'université : il est donc destiné à des personnes qui, ayant déjà programmé, veulent voir plus clair dans cette discipline.
Il y convient merveilleusement. Le texte est sobre et d'une parfaite élégance, quelques coquilles mises à part. Lorsqu'il le faut, l'auteur donne des indications pratiques que d'autres, bien à tort, croient trop évidentes : c'est le signe d'une intelligente modestie et d'un grand art de la pédagogie.
Je n'avais jamais rien lu d'aussi limpide sur les listes et les tableaux, les exceptions, les entrées et sorties, les graphes etc.
Les erreurs les plus courantes, signalées en passant, sont généreusement attribuées au « programmeur inattentif » : l'adjectif est plus bienveillant que ceux que l'on s'attribue lorsque l'on est tombé dans l'une d'entre elles.
La densité du texte fatigue cependant vite : on arrive parfois à lire un chapitre entier du premier coup mais on ne va pas plus loin. Puis on relit en savourant l'exactitude du langage : certaines phrases se gravent alors dans la mémoire. Enfin on reprend le livre pour le seul plaisir de le lire en communiant avec l'auteur dans le goût de la clarté d'esprit.
Je regrette que les programmes cités aient été composés en OCAML : ce langage a sans doute des vertus mais ses notations sont laides. La lecture aurait sans doute été plus agréable s'ils avaient été écrits en Scheme.
Nota Bene : ce livre a été signalé par Laurent Bloch. Lorsque je l'ai cherché il était indisponible sur Amazon.fr comme chez l'éditeur. J'ai fini par le trouver chez Le Monde en Tique, où je suppose qu'il doit en rester quelques exemplaires. Si ce commentaire vous donne envie de le lire, dépêchez vous !
Aucun commentaire:
Enregistrer un commentaire