Calcul des adjoints et programmation paresseuse

Nous présentons une réalisation purement fonctionnelle et paresseuse de la technique du mode inverse de différentiation algorithmique. Cette technique, qui permet de calculer de manière précise et efficace les dérivées des expressions numériques dans un programme, est devenue indispensable dans plusieurs branches de programmation scientifique. Le mode inverse ou adjoint demande souvent l’usage des lourds paquetages extérieurs, et du pré-traitement du programme source. Grâce aux techniques de programmation paresseuse nous montrons comment intégrer de manière facile et transparente la construction des dérivées adjointes dans le programme même. Le résultat est pratiquement utilisable même si plusieurs optimisations seront nécessaires pour rendre le paquetage utilisable dans des cas plus sérieux.