On Thu, 2004-04-08 at 09:03, Vasili Galchin wrote:
> John,
> 
>    You misunderstood my point.

No I didn't :) YOu said at one point 

"I'm an old man and I'd love to see a 
decent language in the mainstream"

.. or words to that effect. Me too, both
parts!

The issue here is how to get the result we want.
I'd go for Ocaml 4 with the existing Ocaml team
remaining in full control of the compiler,
but relinquishing *totally* the standard library
to a public process.

The new library starts off EMPTY, and compatility
isn't allowed as an argument except as a tie breaker.

On the other hand accepted principles are valid arguments, 
for example functions operating on a container type shall take
the container as the first argument.

There's no way this process would work without
the Ocaml team being an active part of it!

[And I'm going to vote for Ocamlgraph being included
first thing!]

-- 
John Skaller, mailto:skaller@users.sf.net
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net



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