Linéarité et dérivation à l’ordre supérieur dans les langages de programmation
Date(s) : 28/06/2024 iCal
10h00 - 11h00
Les langages de programmation dits fonctionnels, c’est-à-dire fondés sur le lambda-calcul, forment un modèle de calcul dans lequel les programmes calculent des fonctions d’ordre supérieur, c’est-à-dire définies sur espaces de fonctions. Ces modèles permettent de définir une notion de programme linéaire, dans un sens très similaire à la linéarité en algèbre (préservation des sommes), notion rigoureusement introduite par la logique linéaire de Girard. L’analogie peut-être poussée plus loin puisque l’on peut également introduire des programmes (multi-)linéaires approximant un programme donné, ce qui conduit à définir une opération de dérivation formelle des programmes et même à donner un sens opérationnel à la formule de Taylor en montrant que tout programme est égal à la somme de ses approximants multi-linéaires.
Emplacement
I2M Luminy - TPR2, Amphithéâtre Herbrand 130-134 (1er étage)
Catégories