1.15 Liste

Listes chaînées possédant leurs données. Chaque nœud contient une paire de tags : l’un pour la donnée et l’autre pour le pointeur vers le suivant.

Les listes régulières peuvent être :

  • plusieurs éléments : [1, 2, 3]
  • un élément et une liste : [1 | [2, 3]]
  • plusieurs éléments et une liste : [1, 2 | [3]]
  • la liste vide : []

Les listes régulières se terminent par la liste vide : [1] == [1 | []].

Vous pouvez aussi construire des listes pointées (dotted lists) comme en Common Lisp, où le pointeur vers l’élément suivant est une forme arbitraire. Par exemple :

  • un élément et un autre élément : [1 | 2]
  • plusieurs éléments et un élément : [1, 2, 3 | 4]
  • la liste vide et un élément : [[] | 1]

Tous ces formats de listes sont pris en charge dans les motifs (pattern matching).

1.15.1 Fonctions

List List.map (List, Fn)
List List.reverse (List)

Top : Documentation KC3

Précédent : 1.14 Entier

Suivant : 1.16 Map