From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA15939; Wed, 11 Apr 2001 16:02:49 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA15926 for caml-list@pauillac.inria.fr; Wed, 11 Apr 2001 16:02:48 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA31766 for ; Tue, 10 Apr 2001 20:49:49 +0200 (MET DST) Received: from localhost.localdomain (kenny78.zip.com.au [61.8.18.206]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f3AInjb04260 for ; Tue, 10 Apr 2001 20:49:46 +0200 (MET DST) Received: from ozemail.com.au (IDENT:root@localhost [127.0.0.1]) by localhost.localdomain (8.9.3/8.8.7) with ESMTP id EAA05773; Wed, 11 Apr 2001 04:49:39 +1000 Message-ID: <3AD355C3.793DDA12@ozemail.com.au> Date: Wed, 11 Apr 2001 04:49:39 +1000 From: John Max Skaller X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.12-20 i686) X-Accept-Language: en MIME-Version: 1.0 To: Jacques Garrigue CC: caml-list@inria.fr Subject: Re: [Caml-list] Future of labels, and ideas for library labelling References: <20010402123958K.garrigue@kurims.kyoto-u.ac.jp> <4.3.2.7.2.20010402232928.00d3b180@shell16.ba.best.com> <3AD16EBE.831E8DD@ozemail.com.au> <20010409182142V.garrigue@kurims.kyoto-u.ac.jp> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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, mailto:skaller@maxtal.com.au 10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850 checkout Vyper http://Vyper.sourceforge.net download Interscript http://Interscript.sourceforge.net ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr