Voyons une autre situation, où cette fois-ci on a deux références distinctes. On part de let box_1 = ref 5 in
. L'objectif est d'écrire les trois instructions suivantes. La première pour créer une référence distincte de la première, et nommée box_2
. Son contenu initial sera la valeur de box_1
, non pas en mettant 5, mais en récupérant le contenu de box_1
. Pour vérifier que les deux boites sont bien distinctes, on affecte alors 7 à box_1
, avant d'afficher le contenu de box_2
. L'ensemble du code devrait ainsi afficher 5.