Discussion :

[Dunk]

Bonsoir

Voici mon problème : j'ai un bout de code en Caml qui doit me servir à coder une fonction... mais je ne connais pas le Caml !
Le morceau de code n'étant vraiment pas long, je me suis dit que je trouverais bien qqun ici pour m'aider à le traduire... (en algo pure, ou à la limite en C, en Pascal, ...)
Voici le code en question :

Code :

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

1
2
3
4
5
6
7
8
let enumere p =
  let t = make_vect (p+1) [] in
  t.(0) <- [[|1;-1|]];
  for k=1 to p do
     for i=0 to k-1 do t.(k) <- t.(k)@fusion (t.(i)) (t.(k-1-i))
     done
  done;
  t;;

A noter que "fusion" est une fonction définie plus haut, qui accepte 2 paramètres.
En gros, ce que je comprends :
- on a à faire à une procédure "enumere", qui admet un paramètre p (qui est un réel, ça je le sais)
- elle remplit un tableau (ça je le sais aussi ) t, de p+1 éléments
- t[0] : je comprends pas ce qu'on met dedans...
- on a 2 boucles imbriquées, je comprends la syntaxe du for... mais que signifie : t.(k) <- t.(k)@fusion (t.(i)) (t.(k-1-i)) ??
J'ai lu qqpart que @ était un opérateur de concaténation... mais je comprends pas trop...


Merci d'avance de votre aide

[pcaboche]

- t[0] : je comprends pas ce qu'on met dedans...

[|1;-1|] est un tableau d'entier contenant 1 et -1
[[|1;-1|]] est une liste contenant un seul élément: un tableau d'entier contenant 1 et -1

mais que signifie : t.(k) <- t.(k)@fusion (t.(i)) (t.(k-1-i)) ??

En fait, il doit manquer des parenthèses:
t.(k) <- t.(k)@( fusion (t.(i)) (t.(k-1-i)) )

Vu que t.(k) = [] (la liste vide), cela revient à faire directement :
t.(k) <- fusion (t.(i)) (t.(k-1-i))

Après, c'est facile à comprendre... (ça ressemble à n'importe quel langage impératif)

Sinon, elle est censée faire quoi la fonction fusion?

[Jedai]

Vu que t.(k) = [] (la liste vide), cela revient à faire directement :
t.(k) <- fusion (t.(i)) (t.(k-1-i))

t.(k) n'est pas toujours égal à la liste vide ! Par ailleurs sans fusion() il est difficile de déterminer ce que fait ce code.

--
Jedaï

[Dunk]

Je comprends bien, mais ça va être relativement compliqué à expliquer, étant donné que c'est une fonction très spécifique au programme en question.
En gros, fusion est une fonction qui admet comme paramètres 2 listes et qui renvoie une 3e liste formée à partir de combinaisons d'éléments des 2 premières...

Autre question : y a-t-il des pointeurs en Caml ? est-ce qu'il y a une analogie possible entre l'utilisation des pointeurs pour les listes en Pascal et les listes de Caml ?

[pcaboche]

Autre question : y a-t-il des pointeurs en Caml ?

On appelle ça des références.

est-ce qu'il y a une analogie possible entre l'utilisation des pointeurs pour les listes en Pascal et les listes de Caml ?

Il y a longtemps que je n'ai pas fait de Pascal. Ce que tu cherches à faire, c'est un itérateur sur la liste, c'est bien cela? Je ne sais pas si cela existe.

Indépendemment de cela, il est assez maladroit en Caml de vouloir reproduire ce que l'on a l'habitude de faire dans des programmes impératifs comme C ou Pascal. Surtout au début (un fois que tu as un peu d'expérience, tu fais ce qui te semble le mieux). Caml est avant tout un langage fonctionnel et les fonctions sont programmées récursivement.

Pour appliquer une fonction à tous les éléments d'une liste, on utilisera list__map:

Code :

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

list__map lafonction liste

Au fait, tu utilise camllight ou ocaml? c'est un projet universitaire ou autre?

[pcaboche]

t.(k) n'est pas toujours égal à la liste vide !

J'ai l'impression que si: au départ, on créé une liste avec make_vect ne contenant que []. Ensuite on change t.(0) en [|1;-1|], puis on prend k=1. De par le parcours du tableau, à tout moment du programme, pour tout i1 tel que i1<k, t.(i1) != [], et pour tout i2 tel que k=<i2, t(i2)=[]. Par conséquent, à tout moment du programme on a t.(k)=[].

[Jedai]

J'ai l'impression que si: au départ, on créé une liste avec make_vect ne contenant que []. Ensuite on change t.(0) en [|1;-1|], puis on prend k=1. De par le parcours du tableau, à tout moment du programme, pour tout i1 tel que i1<k, t.(i1) != [], et pour tout i2 tel que k=<i2, t(i2)=[]. Par conséquent, à tout moment du programme on a t.(k)=[].

Prenons k = 2, et supposons que si l'une des deux listes est non vide, fusion() renvoie une liste non vide. Tu est d'accord que quand k = 2, t.(0) et t.(1) sont non vide ? Lorsque i = 0, on met donc t.(2)@(fusion t.(0) t.(...)) dans t.(2), donc t.(2) n'est plus vide lorsqu'on arrive à i = 1... J'ai l'impression que tu avais oublié la boucle interne dans ton raisonnement ?

--
Jedaï

[pcaboche]

Oui, tu as raison Jedai. Ca me parait tellement pas naturel de faire de l'itératif en Caml que j'avais pas vu qu'on réécrivait toujours dans la même case du tableau.