Re: [Caml-list] Two types of efficiency (Was Efficiency of 'a list)

["Nicolas Cannasse" <warplayer@free.fr>]

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

http://sourceforge.net/projects/ocaml-lib

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