Discussion :

[camboui05]

Bonjour à tous,
Débutant en Caml, j'aurai besoin d'aide sur le code qui va suivre.
Bon déjà, dites moi si je me trompe :
-le 'e sert bien de substitution pour n'importe quel type de variable ?
-L'association des deux types permet bien de créer une variable qui sera constitué d'un nombre infini de couples jusqu'à l'apparition du constructeur Fin ?

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
type 'e couple = 'e* int;;
type 'e ensemble = Fin | E of 'e couple *'e ensemble;;

Alors le problème est que je voudrais récupérer la somme des valeurs des

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

couples (_,cette_valeur)

qui est de type int.

J'ai essayé plusieurs choses mais j'ai seulement réussi à récupérer le int du premier couple avec :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
let somme_des_ints (e: 'e ensemble) :int =
match e with
|Fin->0
|E(cple,ens)->let (_,y)=cple in y;;

Je n'arrive donc pas à accéder aux couples suivants jusqu'à l'apparition de 'Fin', auriez vous une idée de comment faire ? Je suppose qu'il faut utiliser une boucle, mais comment changer de couple à chaque fois ?

Merci de votre aide !

[SpiceGuid]

comme première ligne de code je te propose let rec somme_des_ints e =

et pour faire la somme je te propose d'utiliser l'opérateur +

Je n'arrive donc pas à accéder aux couples suivants jusqu'à l'apparition de 'Fin', auriez vous une idée de comment faire ?

Ces couples suivants sont dans ta variable ens

[camboui05]

Et bien merci, j'avais pensé à la récursivité mais je visualisais mal comment ça marchait.
Tout est bon, merci !