Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] [ANN] The Missing Library
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Martin Berger <martinb@d...>
Subject: Re: [Caml-list] [ANN] The Missing Library

> The result is, in my opinion, the best CS library
> EVER built. Its just a pity the C++ language doesn't
> have what it takes to drive it (lexical scoping 
> like ML has).

i agree with this. what i wonder is: why not do the STL for
ocaml? of course ocaml's typing system is not (yet) up
expressive enough to express/enforce all relevant concepts,
and may never be, but so what? neither is c++, but the
STL is highly successful.

it should not be too hard to come up with an ocaml-like syntax
(an extension of ocaml) to specify STL-like data structures and
algorithms and compile them down to ocaml. i think that would be
very useful.

what do you think?

martin

maybe this text is of interest:

http://www.osl.iu.edu/publications/pubs/2003/comparing_generic_programming03.pdf

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