List.iter et Array.iter

Ces deux fonctions sont des classiques des modules List [2] et Array [1].

Ces fonctions sont des itérateurs du type suivant :

val List.iter : ('a -> unit) -> 'a list -> unit
val Array.iter : ('a -> unit) -> 'a array -> unit

Elles permettent donc d'appliquer une fonction f : 'a -> unit qui agit par effets de bords à chaque élément d'une liste (ou d'un tableau).

Pratique donc !

Une meilleure version ?

Mais... Souvent, on a besoin, en plus de la valeur de chaque élément, de leur indice (par exemple pour afficher "la case i contient x[i]" ou autre).

Donc, on aimerait aussi avoir des itérateurs du type suivant :

val List.iteri : (int -> 'a -> unit) -> 'a list -> unit
val Array.iteri : (int -> 'a -> unit) -> 'a array -> unit

Où désormais f prend en premier argument l'indice correspondant à son deuxième argument. Très pratique pour éviter les boucles for !

for i in [2*i for i in range(8)]:
    print i

Deux fonctions qui ont tardées à venir

On constate que si Array.iteri a été codée en 1997 [3], son équivalent pour les listes List.iteri n'a été ajoutée qu'en... 2010 avec OCaml v4.00.1 ! (cf [4])

Quel est le problème ?

Ces fonctions sont assez pratiques, donc souvent utilisés.

Dans le cadre des projets et autre exercices demandés par certains cours à l'ENS Cachan, il faut faire marcher son code sur (au moins) une machine de la salle 411, qui sont vieilles !

C'est ainsi qu'en décembre 2013, nous avions perdu quelques minutes à trouver la source du problème, et inclure un petit "patch" v3.12 → v4.01.0 en ajoutant à la main le code de List.iteri dans nos projets [5].

En particulier, ce lien [6] montre les modifications effectuées sur mon code lors de la découverte de ce bug.

Bref, on aurait aimé les avoir plus tôt !

Voilà un titre qui résume bien le message de ce petit post.

Références