caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [oliver: Re: [oliver: Re: [Caml-list] Should be INSIDE STANDARD-LIB: Hashtbl.keys]]
@ 2004-04-24  8:53 Oliver Bandel
  0 siblings, 0 replies; only message in thread
From: Oliver Bandel @ 2004-04-24  8:53 UTC (permalink / raw)
  To: caml-list

----- Forwarded message from oliver -----

To: Martin Jambon <martin_jambon@emailuser.net>
Subject: Re: [oliver: Re: [Caml-list] Should be INSIDE STANDARD-LIB: Hashtbl.keys]

On Sat, Apr 24, 2004 at 03:30:53PM +0800, Martin Jambon wrote:
> On Fri, 23 Apr 2004, Oliver Bandel wrote:
> 
> > When you want to report each key only once, you need a temporarily
> > hash to sort out multiple stuff. This, because the fold-function
> > reports EACH binding (and it good that it does it), and therefore
> > multiple bindings to a key will occur more than once.
> > The function has to sort them out.
> >
> > I'm shure it's more efficient to implement that inside the
> > hashtbl-module. (I've not looked into the sources, but suppose
> > that it will be more performant, when a Hashtbl.keys will
> > be implemented inside the Hashtbl-module.)
> 
> Please, tell me why you don't like my solution:
>   http://caml.inria.fr/archives/200404/msg00527.html


I have not read it until now.

But will have a look at it immediately.

Ciao,
   Oliver


----- End forwarded message -----

-------------------
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


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2004-04-24  9:20 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-04-24  8:53 [oliver: Re: [oliver: Re: [Caml-list] Should be INSIDE STANDARD-LIB: Hashtbl.keys]] Oliver Bandel

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).