From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 3CAEDBDE6 for ; Wed, 7 Sep 2005 20:10:09 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j87IA83k021895 for ; Wed, 7 Sep 2005 20:10:08 +0200 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 UAA26399 for ; Wed, 7 Sep 2005 20:10:08 +0200 (MET DST) Received: from smtp9.wanadoo.fr (smtp9.wanadoo.fr [193.252.22.22]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j87IA76K021891 for ; Wed, 7 Sep 2005 20:10:07 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf0903.wanadoo.fr (SMTP Server) with ESMTP id 9AC1D1C0018B for ; Wed, 7 Sep 2005 20:10:07 +0200 (CEST) Received: from oemcomputer (Mix-Lyon-121-4-98.w80-12.abo.wanadoo.fr [80.12.49.98]) by mwinf0903.wanadoo.fr (SMTP Server) with SMTP id 9F5821C00177; Wed, 7 Sep 2005 20:09:56 +0200 (CEST) X-ME-UUID: 20050907180956652.9F5821C00177@mwinf0903.wanadoo.fr Message-ID: <005901c5b3d7$1a35c840$62310c50@oemcomputer> From: "Damien Guichard" To: "Matt Gushee" , References: <007f01c5af12$c10db3e0$bbe6f8c1@oemcomputer> <431ED5FD.5050100@havenrock.com> Subject: Re: [Caml-list] The Caml morale crasher #1 Date: Wed, 7 Sep 2005 20:06:51 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 X-Miltered: at nez-perce with ID 431F2D00.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 431F2CFF.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; damien:01 caml-list:01 ocaml:01 lambdas:01 ocaml:01 milner:01 damien:01 caml-list:01 lambdas:01 higher-order:01 ocaml's:01 conformity:01 beginner's:01 beginners:01 bug:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Hi, Thanks for encouragements. Indeed OCaml is all about lambdas, any OCaml function is a named-lambda. OCaml without lambda-calculus is just impossible. Another adjective for OCaml was "esoteric" and another about Milner type system was "over the top feature". I think the only possible answer is to deliver, the functionality overcomes the resistance. The first language that delivers has great chances to become the standard. People that fear OCaml can deliver faster just prove OCaml is better. - damien ----- Original Message ----- From: "Matt Gushee" To: Sent: Wednesday, September 07, 2005 1:58 PM Subject: Re: [Caml-list] The Caml morale crasher #1 > Damien Guichard wrote: > > > http://www.bytesmiths.com/Publications/9701ArchitectsVersusCoders.html > > Unfortunately, I couldn't connect with this site, but I will venture a > comment anyway. Since I know nothing about your project, I can only > respond in the most general terms. > > > When annoucing an OCaml project on a public forum i have been advised to > > renunce lambdas because it would impede translation to "a less obscure, > > more popular language". > > And I imagine the same people who said that would also advise you not to > use higher-order functions and variant types. Just sacrifice some of > OCaml's most powerful features for the sake of compatibility ... or > perhaps we should say (social) conformity. It might be a useful tactic > in some specific cases, but as a general principle, if you're going to > do that, why bother with OCaml at all? > > Let's assume you had good reasons for choosing OCaml (people who use > non-mainstream languages usually do). The question then is whether there > is any practical need for the members of that forum to accept your > methods. If so, then try again to make your case ... I'm sure there are > people here who can suggest some "talking points." Otherwise, well, > innovation has always met with resistance, and probably always will. > Have confidence in your choices and forge ahead. Or give up. It's your > choice. > > Best of luck with your project. > > -- > Matt Gushee > Englewood, CO, USA > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >