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-11 (14:02)
From: John Max Skaller <skaller@o...>
Subject: Re: [Caml-list] Future of labels, and ideas for library labelling
Jacques Garrigue wrote:

> >       It is likely there will be a further cleanup.
> > So we have done step 1 of a four (4) step process.
> I'm not sure I follow you here: step 2 is clean-up of the semantics,
> step 3 is partial clean-up of the libraries (the remaining part being
> really a problem of taste). I do not see what is left to clean-up
> then..

	Neither do I. But I've been a member of a Standards committee
for a long time, as has Fergus Henderson, and I'm sure he'd agree
that the practical experience is that further quirks and anomalies
usually emerge even after the best effort to finalise the design
of both a language and it's libraries. I added 'step 4' to the
list to account for this. :-)

	In fact, because of the very strong support for theory
and mathematics, the merger may be satisfactory after step 4,
rather than 5, 6, 7, or perhaps never :-)

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