Version française
Home     About     Download     Resources     Contact us    
Browse thread
Sorted list
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Xavier Leroy <Xavier.Leroy@i...>
Subject: Re: [Caml-list] Sorted list
In reply to Brian Hurt's comment:

>>Unortunately, the standard Ocaml solution in a situation like this is to
>>implement your own data structure.  The good news is that this is easy.
>>The bad news is that, because this is easy, there is little pressure on
>>the maintainers of Ocaml to add features to the core library.

We'll leave the development of the be-all and end-all of data structure
libraries to others (see below).  At any rate, I noticed something
interesting in this thread, namely that even if the OCaml core library
provided an implementation of priority queues, it would probably not
have met the needs of the original poster, because textbook priority
queues do not provide a "remove" operation.  In other terms, it is
often inevitable to implement your own "tailor-fit" data structure;
that is part of programming.

In reply to John Skaller's request:

> Well, I would like to see a community process for selecting,
> implementing, documenting and maintaining a set of good algorithms

Why not.  Care to start such a process yourself?  Or more modestly
joining one of the existing efforts for building additional OCaml
libraries, like Extlib?

> which go IN THE STANDARD DISTRIBUTION (under the usual LGPL+X licence,
> with a disclaimer the code base isn't maintained by Inria, merely
> distributed on behalf of the community).
> So Inria should provide the repository, and the Ocaml team has
> a final veto on selection .. but the work is done by outside
> volunteers.

No way.  Neither you nor us want to deal with our (admittedly slow)
release cycle, with copyright assignments, etc.  Moreover, we
definitely do not have the time and manpower to build such an
infrastructure, decide between conflicting proposals, etc.  If a
community is willing to make such an effort, it will have to
self-organize.

> So please would the High Priests of the Cathedral like
> to run a little Bazaar for their disciples?

Bazaars are not run by priests.

- Xavier Leroy