« Mémoïsation » : différence entre les versions

Dans les langages de [[programmation fonctionnelle|programmation fonctionnels]], où les fonctions sont des [[objet de première classe|entités de première classe]], il est possible de réaliser la mémoïsation de manière automatique et externe à la fonction (c'est-à-dire sans modifier la fonction initiale){{Référence nécessaire|date=6 avril 2016}} : on peut écrire une [[fonction d'ordre supérieur]] <code>memo</code> prenant en argument une fonction <code>f</code> et renvoyant une version mémoïsée de <code>f</code>. Un candidat pour une telle fonction <code>memo</code> peut s'écrire ainsi :