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 IAA14454; Tue, 3 Apr 2001 08:55:13 +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 IAA14620 for ; Tue, 3 Apr 2001 08:55:13 +0200 (MET DST) Received: from mta5.snfc21.pbi.net (mta5.snfc21.pbi.net [206.13.28.241]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f336tBP01500 for ; Tue, 3 Apr 2001 08:55:12 +0200 (MET DST) Received: from checkerlap.d6.com ([64.163.212.241]) by mta5.snfc21.pbi.net (Sun Internet Mail Server sims.3.5.2000.01.05.12.18.p9) with ESMTP id <0GB700ENYF755S@mta5.snfc21.pbi.net> for caml-list@inria.fr; Mon, 2 Apr 2001 23:54:41 -0700 (PDT) Date: Mon, 02 Apr 2001 23:55:39 -0700 From: Chris Hecker Subject: Re: [Caml-list] Future of labels, and ideas for library labelling In-reply-to: <3AC83117.7C3AD3C9@lri.fr> X-Sender: def6@shell16.ba.best.com To: Judicael Courant , Jacques Garrigue , caml-list@inria.fr Message-id: <4.3.2.7.2.20010402232928.00d3b180@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> Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I must admit to being a tiny bit lost in this labling discussion since I'm relatively new at caml and don't understand all the implications that people are talking about, but it appears people are now discussing enforcing typing labels even on labled non-optional parameters? Documentation has been cited as a reason. I would simply note that trying to force people to document their code simply doesn't work that well in practice. However, forcing people to be verbose in spite of themselves does tend to amount to a mess. I find OCaml pretty wordy as it is (no overloading being a big problem here, since the types all float into the names, as someone said), and making it moreso seems to me to be a mistake. I also feel (like Patrick) that there are more important things (overloading, module recursion, generics) that need fixing than labeling right now. However, I've only written maybe a 1000 lines so far, so we'll see how I feel when I've written more. Chris ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr