On Mon, 26 Apr 2004, Martin Berger wrote:

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

I'm wondering what concepts Ocaml can't express/enforce?  The only thing I 
can think of that you can do in C++ templates that I can't do in Ocaml is 
code generation- I have to use pcaml for that :-).

Well, one caveat- Ocaml doesn't allow for operator overloading.  But it 
*does* allow for defining new operators.  

It's been too long since I've used the STL- what data structures and 
algorithms does it provide?  I'm betting that Ocaml, or Ocaml + ExtLib, 
already provides most if not all of them.

Maybe we should take this to the extlib mailing list...

-- 
"Usenet is like a herd of performing elephants with diarrhea -- massive,
difficult to redirect, awe-inspiring, entertaining, and a source of
mind-boggling amounts of excrement when you least expect it."
                                - Gene Spafford 
Brian

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