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] [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: 2004-04-28 (04:27)
From: Brian Hurt <bhurt@s...>
Subject: Re: [Caml-list] [ANN] The Missing Library
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 

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