Browse thread
Objective Caml release 3.08.2
-
Damien Doligez
-
Frédéric_Gava
-
skaller
-
Frédéric_Gava
- Christophe TROESTLER
- Jon Harrop
- skaller
-
Frédéric_Gava
-
skaller
- Aleksey Nogin
-
Frédéric_Gava
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2004-11-25 (18:34) |
From: | Christophe TROESTLER <Christophe.Troestler@u...> |
Subject: | Re: [Caml-list] Objective Caml release 3.08.2 |
On Thu, 25 Nov 2004, Frédéric Gava <frederic.gava@wanadoo.fr> wrote: > > > > Why an order for the fold operator ? > > > > Because Set.t is an ordered container, > Ok, but it is an abstract type : you do not know how it works and > you do not need it As was said, since Set.Make takes an ordered structure, there are cases where you may care to process your elements in an ordered fashion -- it is good that the Set module makes this promise. If you do not like it, ignore it. > A Set.elements without ordering the elements would be more efficient. Show us! My 2¢, ChriS