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 NAA06943; Fri, 17 May 2002 13:40:15 +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 NAA06858 for ; Fri, 17 May 2002 13:40:14 +0200 (MET DST) Received: from beaune.inria.fr (beaune.inria.fr [128.93.8.3]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g4HBeDr05438; Fri, 17 May 2002 13:40:14 +0200 (MET DST) Received: by beaune.inria.fr (8.8.8/1.1.22.3/14Sep99-0328PM) id NAA0000006766; Fri, 17 May 2002 13:40:13 +0200 (MET DST) From: Luc Maranget Message-Id: <200205171140.NAA0000006766@beaune.inria.fr> Subject: Re: [Caml-list] Overlapping features of variant types and tuples in Ocaml To: daniel.de_rauglaudre@inria.fr (Daniel de Rauglaudre) Date: Fri, 17 May 2002 13:40:13 +0200 (MET DST) Cc: caml-list@inria.fr In-Reply-To: <20020516215748.N2924@verdot.inria.fr> from "Daniel de Rauglaudre" at mai 16, 2002 09:57:48 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > Hi, > > On Thu, May 16, 2002 at 10:45:44PM +0300, Vesa Karvonen wrote: > > > I'm not quite sure what you mean. Do you mean that improving the > > syntax is perceived to be waste of time by many people. > > Right. Notice that your question is frequently asked. Your problem > could be resolved syntactically (I mean by changing the syntax). See > Camlp4 and its "revised syntax", section "types". > > -- I personnaly like Daniel's solution to the 1 pair argument/2 arguments constructor dilema. [C (e1, e2) <-> C e1 e2, as it was for instance the case in lml, the lazy ml compiler from Goteborg] But changing such a basic feature of caml is a real problem (backward compatibility). So I can live with the old syntax. To me, the most annoying point with the ``official'' syntax of constructors is that beginners get confused. Then, as you get more familiar with a language, you get used to its syntax, and such trouble dissapears. I admit that this way of seeing things may lead me to consider syntax problems as of ``minor importance'' this does not mean that syntax is a non-issue and that working on syntax is wasting time. The key point is that the old syntax does not reflect well that constructors have n arguments. Shipping camlp4 with the distribution is a good idea. That way, Daniel's improvements (hum, I do not agree with all parts of revised syntax...) are easily available, better integrated, and considered officially as part of ocaml. For example our team choosed to use camlp4 in the new version of jocaml (under developpement), and the presence of camlp4 inside the distribution is very convenient. --Luc ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners