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 WAA06310; Mon, 9 Apr 2001 22:00:01 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA06306 for ; Mon, 9 Apr 2001 22:00:00 +0200 (MET DST) Received: from mta7.pltn13.pbi.net (mta7.pltn13.pbi.net [64.164.98.8]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f39Jxxf19037 for ; Mon, 9 Apr 2001 22:00:00 +0200 (MET DST) Received: from checkerlap.d6.com ([64.163.212.241]) by mta7.pltn13.pbi.net (Sun Internet Mail Server sims.3.5.2000.03.23.18.03.p10) with ESMTP id <0GBJ00F9UJ98WV@mta7.pltn13.pbi.net> for caml-list@inria.fr; Mon, 9 Apr 2001 12:53:43 -0700 (PDT) Date: Mon, 09 Apr 2001 12:54:31 -0700 From: Chris Hecker Subject: Re: [Caml-list] Future of labels, and ideas for library labelling In-reply-to: <3AD16EBE.831E8DD@ozemail.com.au> X-Sender: def6@shell16.ba.best.com To: John Max Skaller Cc: Judicael Courant , Jacques Garrigue , caml-list@inria.fr Message-id: <4.3.2.7.2.20010409124220.00d4a810@shell16.ba.best.com> MIME-version: 1.0 X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Content-type: text/plain; charset="us-ascii" References: <20010402123958K.garrigue@kurims.kyoto-u.ac.jp> <4.3.2.7.2.20010402232928.00d3b180@shell16.ba.best.com> Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > I've always thought finishing a job was a sensible >high priority. Fair enough, especially if there's a spirit of compromise. I think people (myself included) were simply reacting against the rather extreme suggestions that seemed to be going around from both sides. Since I've been labeled (!) as a classic mode user in this discussion, I should point out that I am actually a label mode user since all of my ocaml code uses lablgl and labltk, and so I'm forced to use label mode. I don't mind it, and I've actually written useful functions with optional arguments, commutation, and whatnot. My only request is still that if there's no ambiguity, don't require labels even in label mode. Of course, I reserve the right to request more features as I write more code. :) I've actually written a fair amount of "real" code over the past few weeks, so I'm starting to get more confidence in my knowledge of the language, but I'm still a long way off. I'm a bit concerned by the currying-with-labels discussion, but I definitely don't understand all the issues there, so I can't weigh in with my [extremely valuable, I'm sure :) ] opinion. I've run into this before, I think, but I can't remember the circumstances. As I've been getting more comfortable with functional programming, I've been using currying more and more, and labels should definitely play nice with it. I guess that means not forcing eta expansions very often just to rename parameters, among other things. I wonder if that problem would go away if the "don't force labeling when unambiguous" feature was added... Chris ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr