OCaml (option informatique) · Chapitre 7 · Application directe du cours

Compteur mutable

Enregistrements et types mutuellement récursifs · niveau 1 (application)

Énoncé

Déclarer compteur (un champ mutable valeur : int), puis incremente et remet_a_zero.

type compteur = { mutable valeur : int }

let incremente c = c.valeur <- c.valeur + 1
let remet_a_zero c = c.valeur <- 0

Les deux fonctions modifient le champ en place (<-) et renvoient (). Le champ doit être déclaré mutable, sinon l'affectation serait refusée.