• [^] # Re: Exemple judicieux ?

    Posté par . En réponse à la dépêche Apprendre la programmation fonctionnelle avec le MOOC OCaml. Évalué à 3.

    Pour le voir encore autrement, je vais représenter les arbres d'évaluations des fold sur une liste.

    let l = [1; 2; 3]
List.fold_left (+) 0 l;;
- : int = 6 (* ((0 + 1) + 2) + 3 *)
List.fold_right (+) l 0;;
- : int = 6 (* 1 + (2 + (3 + 0))) *)

    Dans le premier cas, on évalue ainsi :

     +
 / \
 + 3
 / \
 + 2
 / \
0 1

    Dans le second, on évalue comme ceci :

     +
 / \
1 +
 / \
 2 +
 / \
 3 0

    À comparer aux arbres que j'ai dessiné en réponse à Pierre-Matthieu Anglade.

    Avec des listes on construit toujours des arbres en peigne soit vers la gauche, soit vers la droite. Mais un arbre pourrait avoir une toute autre structure comme celui-là :

     / \ 
 / \
 /\ /\
1 2 3 0

    Et si tu fais un fold (fun i -> i) (+) sur lui, c'est évaluer l'expression (1 + 2) + (3 + 0)

    Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.