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 UAA17592; Tue, 24 Jul 2001 20:29:05 +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 UAA17576 for ; Tue, 24 Jul 2001 20:29:04 +0200 (MET DST) Received: from 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 f6OIT2n14353; Tue, 24 Jul 2001 20:29:02 +0200 (MET DST) Received: from checkerlap.d6.com ([64.163.214.244]) by mta5.snfc21.pbi.net (iPlanet Messaging Server 5.1 (built May 7 2001)) with ESMTP id <0GGZ00FW2Q092Y@mta5.snfc21.pbi.net>; Tue, 24 Jul 2001 11:28:58 -0700 (PDT) Date: Tue, 24 Jul 2001 11:22:28 -0700 From: Chris Hecker Subject: [Caml-list] Re: [Caml-announce] G'Caml, Caml with Extensional polymorphism extension In-reply-to: <20010724160232T.Jun.Furuse@inria.fr> X-Sender: def6@shell16.ba.best.com To: Jun Furuse Cc: Jun.Furuse@inria.fr, caml-list@inria.fr Message-id: <4.3.2.7.2.20010724110117.02819a90@shell16.ba.best.com> MIME-version: 1.0 X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Content-type: text/plain; charset=us-ascii Content-transfer-encoding: 7BIT References: <4.3.2.7.2.20010720233759.027da4b0@shell16.ba.best.com> <20010619182424P.Jun.Furuse@inria.fr> <4.3.2.7.2.20010720233759.027da4b0@shell16.ba.best.com> Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk [I just noticed this thread has been on caml-announce. I've switched it over. Perhaps the reply-to header on caml-announce should be set to caml-list?] >> Can I make a minor syntax request? Can this be called "typecase" instead of >> "case" to prevent confusion with the "match with" operator and SML's "case"? >Sorry, but I just do not want to type *8* (not 4) more letters >for each generic binding. You're kidding, right? A syntax decision on an important feature that has no backwards compatibility restrictions and will be with us forever is being made because you don't want to type 4 more characters? Dude, look into dabbrev-expand or bind a key to (insert "typecase") or something. This is exactly how languages get to the point where a newcomer decides to start learning it and quickly says, "what the hell were they thinking?" Sometimes over and over again. >Let me write some history of the generic binding. The "generic >... case" syntax was originally proposed in the POPL'95 paper by >Catherine Dubois, Fran\c{c}ois Rouaix and Pierre Weis. SML's had it since, what, 1970? > Actually, it is not mandatory to write "case" in G'Caml. Then do that instead. I'm fine with not having to type it at all, but then make that the official syntax and don't make case a reserved word. Yes, I guarantee having it in there is going to be confusing to new people. Please, either remove it, or change it to typecase (or whatever), before it's too late. Chris ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr