Archives of the Caml mailing list > Message from Markus Mottl

Browse thread

[Caml-list] Wanted - General Purpose "Glue Logic" Data-Structures

John Gerard Malecki
- Wheeler Ruml
  - Markus Mottl
    - Yaron M. Minsky
      - Jean-Christophe Filliatre
        
        Brian Hurt
        
        Jean-Christophe Filliatre
        
        Markus Mottl
        
        David Brown
        
        Brian Hurt
  - Brian Hurt
    - John Gerard Malecki
- Brian Hurt
- Matthew W. Boyd
- Nicolas Cannasse

Date:	-- (:)
From:	Markus Mottl <markus@o...>
Subject:	Re: [Caml-list] Re: Wanted - General Purpose "Glue Logic" Data-Structures

On Mon, 07 Apr 2003, Wheeler Ruml wrote:
> I saw Brian's recommendation of a priority queue, but wanted to
> mention that a resizable array would do here as well.

The RES-library implements everything you need for that purpose and also
matches the signature of ordinary arrays:

  http://www.oefai.at/~markus/home/ocaml_sources.html#RES

Regards,
Markus Mottl

-- 
Markus Mottl          http://www.oefai.at/~markus          markus@oefai.at

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