Itérer avec persistance

  L'énumération des éléments d'une structure de données est
  généralement réalisée en ML par l'intermédiaire d'une fonction
  d'ordre supérieur. Cet article présente une alternative, sous la
  forme d'itérateurs pas à pas, à l'instar de ce qui se fait en
  programmation orientée objets, mais basés sur des structures
  persistantes, de manière à permettre notamment un éventuel
  backtracking. Plusieurs façons de parcourir les arbres
  binaires sont examinées, et des liens étroits avec le Zipper de
  Gérard Huet sont établis.