C'est la signature pour une collection séquentielle, cela veut dire que les opérations sont faites de proche en proche en suivant un parcours particulier de la structure (par exemple un parcours en profondeur dans un arbre). Ce n'est généralement pas la chose la plus intuitive pour une structure d'arbre.
La fonction fold qui est définie dans le journal est bel et bien ce que l'on désire, c'est à dire un catamorphisme.
[^] # Re: Exemple judicieux ?
Posté par Aluminium95 . En réponse à la dépêche Apprendre la programmation fonctionnelle avec le MOOC OCaml. Évalué à 2.
C'est la signature pour une collection séquentielle, cela veut dire que les opérations sont faites de proche en proche en suivant un parcours particulier de la structure (par exemple un parcours en profondeur dans un arbre). Ce n'est généralement pas la chose la plus intuitive pour une structure d'arbre.
La fonction
foldqui est définie dans le journal est bel et bien ce que l'on désire, c'est à dire un catamorphisme.