Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Objective Caml release 3.08.2
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-11-25 (15:53)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] Objective Caml release 3.08.2
On Fri, 2004-11-26 at 01:47, Frédéric Gava wrote:

> > - stdlib: wrong order in Set.fold (PR#3161)
> Why an order for the fold operator ?

Because Set.t is an ordered container,
and order matters for folds if the operator being folded
isn't associative.

These functions are deterministic and depend on order:

Set.min_elt, Set.max_elt, Set.elements, Set.fold, Set.iter

Set.choose, however, chooses at random, and Set.for_all
doesn't appear to be ordered either (is that a bug
in the doc or deliberate?)

John Skaller,
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language