Site d’Emmanuel Saint-James
Philologie de la programmation
La fonction de la fonction en programmation

Ces langages dits fonctionnels sont allés plus loin dans l’abstraction, de la mémoire en particulier mais pas seulement :

• possibilité de données dont la taille évolue au cours de l’exécution, grâce à l’utilitaire nommé ramasse-miettes (en anglais garbage collector dont les initiales GC font partie du jargon des informaticiens), qui récupère automatiquement des emplacements mémoire précédemment alloués dans un espace dédié nommé tas ;
• possibilité de fonctions d’ordre supérieur ou fonctionnelles, prenant en argument ou retournant en résultat des fonctions, pendant informatique des concepts mathématiques de dérivation ou d’intégrale ;
• ces fonctionnelles permettent notamment la réflexivité de ces langages, qui peuvent décrire leur fonctionnement par un évaluateur méta-circulaire ;
• une autre utilisation est le style de programmation appelé passage à la continuation qui illustre en particulier comment procéder à une dérécursion :

  Factorielle(0, f) = f(1)
  Factorielle(n+1, f) = Factorielle(n, (lambda(r) r * (n+1))

• certains langages ont même introduit la capture de continuation, fonction prenant en argument une fonction prenant en argument une fonction, opérant une réification du calcul, permettant notamment d’aborder la programmation système dont il va être question ;
• en combinant évaluateur méta-circulaire et capture de continuation, on obtient les tours réflexives, à la limite de l’effet littéraire de la mise en abyme.