[caml] Les listes

[jujudu597]

Bonjour,

J'essaie de comprendre un exercice de Caml, mais le type définit me pose problème.

exception ListeVide

type liste = Vide | Cons of cellule
and cellule = {
valeur : int;
mutable suivant : liste;
mutable precedent : liste
}

let la_cellule l =
match l with
| Vide -> raise ListeVide
| Cons a -> a

J'aimerais comprendre ce que donne la fonction la_cellule (de type liste -> cellule = ).

En effet, que represente une cellule? Une element de la liste?

Dans ce cas, pourquoi la fonction la_cellule nous donne une cellule, laquel c'est?

Merci d'avance!

[Rockleader]

Je suis pas sur pour le mutable.

Autrement j'aurais dis


Une liste c'est soit Vide soit une cellule


Une cellule c'est construit comme étant {liste,int,liste}

C'est comme un enchevêtrement de noeud.

Au final tu construit tout ça de façon récursive

{liste,int,liste}
{ {liste,int,liste},int, {liste,int,liste}}

Jusqu'à ce que tu arrives sur une feuille auquel cas tu remplaceras liste par vide.



Je pense que le type liste est mal nommé ici, ça ressemble plus au concept des arbres grd.