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 WAA32611; Tue, 23 Dec 2003 22:52:47 +0100 (MET) 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 WAA00225 for ; Tue, 23 Dec 2003 22:52:45 +0100 (MET) Received: from mail4.speakeasy.net (mail4.speakeasy.net [216.254.0.204]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hBNLqhb16376 for ; Tue, 23 Dec 2003 22:52:44 +0100 (MET) Received: (qmail 5196 invoked from network); 23 Dec 2003 21:52:42 -0000 Received: from grace.speakeasy.net ([216.254.0.22]) (envelope-sender ) by mail4.speakeasy.net (qmail-ldap-1.03) with AES256-SHA encrypted SMTP for ; 23 Dec 2003 21:52:42 -0000 Date: Tue, 23 Dec 2003 13:52:42 -0800 (PST) From: brogoff@speakeasy.net To: "caml-list@inria.fr" Subject: Re: [Caml-list] Ocaml syntax. In-Reply-To: <20031223164721.GA9202@davidb.org> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Loop: caml-list@inria.fr X-Spam: no; 0.00; brogoff:01 caml-list:01 camlp:01 misleading:01 analogy:01 raisins:01 inconsistent:01 ocaml:01 ocaml:01 speakeasy:01 syntax:02 syntax:02 native:02 laziness:02 clearer:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, 23 Dec 2003, David Brown wrote: > On Tue, Dec 23, 2003 at 09:52:59AM +0100, Stefano Zacchiroli wrote: > > > I also suggest to have a look at the revised syntax described in the > > camlp4 manual. I'm not using it because I've discovered it too late and > > I've to work everyday with code written in the standard one, but I found > > it clearer in a lot of cases. Since you're starting from scratch I think > > you can give it a chance. > > The revised syntax to ocaml attempts to provide an cleaner, more > consistent syntax for the language, and it does a fairly good job of it. > However, I don't see very much code written in the revised syntax. I've > thought about why, and come up with an interesting theory. Gack. Yet another misleading analogy with human languages? I think Wirth was right when he said we shouldn't call them programming languages. Stefano is correct, but doesn't go far enough. The reason many of us who like Revised better don't use it is that we don't work in a vacuum, but we work with other programmers, and use an existing code base. It's hard enough to get programmers to learn OCaml, with such a small user community and (comparatively) such a small amount of teaching material. Also, it's not clear what's going to happen to Revised now that ddr left. > The native ocaml syntax has a bunch of strange inconsistencies. Human > languages also tend to have lots of inconsistencies, especially around > the core words. Perhaps there is something about our brains that works > best when the core aspect of a language is inconsistent. If I believed that, I'd be using Perl and C++ more than I do. Nope, I think "hysterical raisins" and human laziness/inertia/risk-avoidance explains a lot. -- Brian ------------------- 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