# Premiers pas en OCaml/Structures de données

Les types primitifs vus au chapitre 3 sont la base des données, mais nous avons besoin de les organiser dans des structures pour pouvoir faire des manipulations plus complexes dans nos programmes.

## Les listes

Les listes sont une séquence d'éléments successifs :
Les listes ne sont qu'un conteneur, elles peuvent contenir n’importe quel autre type. Ci-dessus une liste d'entiers, ci-dessous une liste de chaîne de caractères :

## Différence entre tableaux et listes

Les listes sont une structure où l'accès des éléments est réalisé par parcours séquenciellement à partir du premier élément (appelé la tête). Leur construction est réalisée par empilement de nouveaux éléments à sa tête, et leur déconstruction par filtrage de motif.
Les tableaux sont une structure dont le nombre d'éléments reste le même, et où l’on peut accéder à n’importe lequel de ses éléments directement.
Les tableaux sont modifiables contrairement aux listes qui ne le sont pas. Les tableaux sont donc des structures impératives, et les listes des structures fonctionnelles.

## Construction d'une liste

Il est possible de construire une liste à partir d'une liste vide. Une liste vide se définit comme suit :
Voici comment empiler un élément sur une liste :
Il est possible d'empiler autant d'éléments qu'on le souhaite à la fois :

## Déconstruction d'une liste

La déconstruction d'une liste permet d'accéder à ses éléments et de faire divers manipulations. La déconstruction d'une liste s'effectue par filtrage de motif qui est le sujet du chapitre suivant.

## Itérateurs sur les listes

La bibliothèque standard d'OCaml fournit un module List qui met à disposition un certain nombre d'itérateurs pour les listes dont :

## Initialisation d'un tableau

Le module Array de la bibliothèque standard fournit la fonction suivante :
Qui s'utilise en lui fournissant le nombre d'éléments que doit contenir le tableau, ainsi qu'une fonction qui reçoit en argument l'indice de l'élément qu'elle doit retourner :

## Accès aux éléments d'un tableau

Pour un tableau contenant n éléments, ceux-ci sont indexés de 0 à n - 1. 0 étant le premier, et n - 1 le dernier.
Tenter un accès en dehors de ses limites lèvera une exception :

## Conversions entre listes et tableaux

Deux fonctions permettent de convertir les listes en tableaux et inversement :

## Les tuples

Les tuples permettent d'agréger plusieurs éléments ensemble. Ceux-ci peuvent-être de même type ou de types différents.

## Les variants
### Les variants sans arguments

Les variants simples sont une énumération de différentes valeurs possibles.
Voici un exemple de définition :
Le premier caractère doit être une lettre majuscule.
En utilisation :

### Les variants comme constructeurs

Les variants peuvent également être utilisés pour regrouper des types de données hétérogènes.
Définition :
Utilisation :

## Les enregistrements

Les enregistrements (record en anglais) sont un type qui doit être défini avant de pouvoir être utilisé.
Ici nous définissons un enregistrement dont le type s'appellera « vector » et qui contient trois éléments de type flottant. Chacun de ses éléments pourra être accédé à partir d'une étiquette, ici respectivement x, y et z :
Un élément de type vector est alors ensuite définit comme suit :
Et on accède à ses sous-éléments en utilisant ses étiquettes :

## Tableau récapitulatif

Voir la fiche de synthèse.
| Fonctions utilitaires | Filtrage de motif |