Appel initial : Le premier appel de la fonction.

Calculez la somme des entiers de la liste [9;8;10;7;5;2]
calcul [9;8;10;7;5;2] (+) 0;;
- : int = 41
Concaténez les chaînes de caractères de la liste ["un ";"deux ";"trois "]
calcul_terminal ["un ";"deux ";"trois "] (^) "";;
- : string = "trois deux un "
calcul_terminal (inverse ["un ";"deux ";"trois "]) (^) "";;
- : string = "un deux trois "
• Ecrire la fonction récursive terminale calcul_conditionnel_terminal qui applique la
fonction f aux éléments d'une liste qui respecte le prédicat p.
let rec calcul_conditionnel_terminal liste f p accumulateur =
match liste with
|[] -> accumulateur
|h::t -> if p h then calcul_conditionnel_terminal (f h accumulateur) t f p
else calcul_conditionnel_terminal accumulateur t f p;;
val calcul_conditionnel _terminal:
'a -> 'b list -> ('b -> 'a -> 'a) -> ('b -> bool) -> 'a =
• Ecrire la fonction récursive terminale calcul_conditionnel qui applique la fonction f aux
éléments d'une liste qui respecte le prédicat p.
let rec calcul_conditionnel liste f p resultat_simple =
match liste with
|[] -> resultat_simple
|h::t -> if p h then f h (calcul_conditionnel t f p resultat_simple)
else calcul_conditionnel t f p resultat_simple;;
val calcul_conditionnel : 'a -> 'b list -> ('b -> 'a -> 'a) -> ('b -> bool) -> 'a =
Calculez la somme des entiers pairs de la liste [9;8;10;7;5;2]
calcul_conditionnel 0 [9;8;10;7;5;2] (+) (fun x -> x mod 2 = 0);;
Ecrire une fonction entiers_positifs qui construit une liste constituée des entiers positifs
présents dans une liste d'entiers.
let entiers_positifs liste =
calcul_conditionnel liste (fun h liste -> h::liste) (fun x -> x>=0) [];;
let entiers_positifs liste =
let positif x = x>=0 in
let insere h liste = h::liste in
calcul_conditionnel liste insere positif [];;