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 VAA28084; Sat, 26 Oct 2002 21:27:46 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 VAA27242 for ; Sat, 26 Oct 2002 21:27:45 +0200 (MET DST) Received: from grace.speakeasy.org (grace.speakeasy.org [216.254.0.2]) by concorde.inria.fr (8.11.1/8.11.1) with SMTP id g9QJRh508508 for ; Sat, 26 Oct 2002 21:27:44 +0200 (MET DST) Received: (qmail 5938 invoked by uid 36130); 26 Oct 2002 19:27:42 -0000 Received: from localhost (sendmail-bs@127.0.0.1) by localhost with SMTP; 26 Oct 2002 19:27:42 -0000 Date: Sat, 26 Oct 2002 12:27:42 -0700 (PDT) From: brogoff@speakeasy.net To: "caml-list@inria.fr" Subject: Re: [Caml-list] CamlP4 Revised syntax comment In-Reply-To: <20021026173821.GA22421@opus.davidb.org> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I was thinking of Ada with /=, but I agree with others that this isn't that important. You could make the argument that <> is better than /= since it is symmetric. I'm not fond of != in classic OCaml for that reason and since the ! usually makes me think of dereferencing. Anyways, the "=" change is really the one I care about. I'll have to check my Ada 83 Rationale to see why Ichbiah and the Green Team chose /= instead of <>, since Ada is based on Pascal. There's a similar syntactic quirkiness about Ada as in OCaml, where constants are given values with ":=" instead of "is". IMO, of course ;-) -- Brian On Sat, 26 Oct 2002, David Brown wrote: > On Sat, Oct 26, 2002 at 11:27:37AM +0200, Stefano Zacchiroli wrote: > > > > Another possible change along the same lines is having =/= or /= for > > > inequality, which happens to look a little more like the mathematical > > > symbol. > > > > Uhm ... I disagree here, changing an operator in favour of a more > > diffused one is comfortable, adopting a new one from scratch just > > because it look more like the mathematical symbol can be really > > confusing ... > > It isn't completely from scratch. Ada uses /= for inequality. They > probably had the same motivation, to make it look like the mathematic > symbol. > > Dave Brown > ------------------- > 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 > ------------------- 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