Jerzy Karczmarczuk (GREYC, Caen)

Je présente l’application pratique du codage et de l’algorithmisation corécursive (extrapolatrice, paresseuse, qui engendre des flots “infinis”) dans le domaine du calcul scientifique : la manipulation des suites illimitées de dérivées “automatiques” du code numérique. Je discute l’usage du langage fonctionnel Haskell dans le traitement des structures comme les séries formelles ou les approximants de Padé. La formulation fonctionnelle corécursive élimine la plupart du code administratif (“boiler-plate”) comme le contrôle des boucles, mène à des programmes extrêmement courts et compacts et facilite l’implémentation informatique des constructions mathématiques comme des algèbres différentielles (le pain quotidien dans les mathématiques appliquées, comme la physique théorique).