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
[Caml-list] Efficiency of 'a list
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-05-06 (02:50)
From: Nicolas Cannasse <warplayer@f...>
Subject: Re: [Caml-list] Two types of efficiency (Was Efficiency of 'a list)
> But before the Ocaml team rushes ahead and provides
> it *in addition* to the existing functorial interface,
> it might be a good idea to enquire about how the two
> are related on a theoretical level. It might be an idea
> to devise some principle for deciding which kinds of
> interfaces to provide in a library, since the issue is
> likely to arise again.
> It may even be an idea to figure out if the theoretical
> relationship between the two representations can somehow
> be connected with language syntax so the transformation
> from one kind to the other can be done easily by
> a dumb user (like me), obviating the need for
> providing an exponential set of interfaces.

Few people here are currently running the "ExtLib" - ocaml extended
library - project, and are trying to answer theses questions. For an example
of a structure that can be used to convert from and between several
different data structures, you could have a look at the Enum module from the
ExtLib CVS here :

This is a purely functionnal way of dealing with conversions between Arrays,
Lists, etc. with lazy-functionnal support that enable you to map-and-convert
a list to an array without having to build an intermediate data structure
for storing mapped elements.

Nicolas Cannasse

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: