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
Re: [Caml-list] Future of labels
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-04-09 (15:21)
From: John Max Skaller <skaller@o...>
Subject: Re: [Caml-list] Future of labels, and ideas for library labelling
Chris Hecker wrote:

> I also feel (like Patrick) that there are more important things 
> (overloading, module recursion, generics) that need fixing than labeling right now.

	I beg to differ. The current status is the result
of an incomplete merger of two communities, who have agreed
to use a common tool (ocaml with two modes) to unify the
ocaml development environment and provide a vehicle for
experiments leading to further unification of the language.

	The next step is surely to further unify our efforts,
by eliminating the duality in the languages that shared tool
processes. It is OK, IMHO, to introduce a duality in 
the libraries to do this. Now the theoreticians and implementors
can focus their attention better.

	The next step is to eliminate the duality in the libraries.
This will probably require some cleanups in the core language,
as well as some willingness for users to migrate.

	It is likely there will be a further cleanup.
So we have done step 1 of a four (4) step process.

	I've always thought finishing a job was a sensible
high priority.

John (Max) Skaller,
10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850
checkout Vyper
download Interscript
To unsubscribe, mail  Archives: