Re: [Caml-list] Are map and iter guaranteed to be called in forwards order?

[Richard Jones <rich@annexia.org>]

This came up because I wanted a sensible way to number a list of
items.  The obvious imperative approach is:

  # let items = ['a';'c';'e';'g';'i'];;
  val items : char list = ['a'; 'c'; 'e'; 'g'; 'i']
  # let i = ref 0;;
  val i : int ref = {contents = 0}
  # let items = List.map (fun item -> let n = !i in incr i; n, item) items;;
  val items : (int * char) list =
    [(0, 'a'); (1, 'c'); (2, 'e'); (3, 'g'); (4, 'i')]

The functional approach is comparatively long-winded: you have to
effectively write your own loop explicitly, and the obvious way to
write it isn't tail recursive, so you have to do it with accumulators.

It'd be nicer to have a library HOF to do this.

Rich.

-- 
Richard Jones. http://www.annexia.org/ http://www.j-london.com/
Merjis Ltd. http://www.merjis.com/ - improving website return on investment
MOD_CAML lets you run type-safe Objective CAML programs inside the Apache
webserver. http://www.merjis.com/developers/mod_caml/

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners