From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 8FFBCBC32 for ; Tue, 15 Mar 2005 16:26:12 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j2FFQCkc023757 for ; Tue, 15 Mar 2005 16:26:12 +0100 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 QAA13811 for ; Tue, 15 Mar 2005 16:26:11 +0100 (MET) Received: from hedwig1.umh.ac.be (hedwig2.umh.ac.be [193.190.193.73]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j2FFQB2w009927 for ; Tue, 15 Mar 2005 16:26:11 +0100 Received: from poincare (mathwifi.swapping.umh.ac.be [10.102.100.18]) by hedwig1.umh.ac.be (8.13.1/8.13.1) with ESMTP id j2FFQ8HR1802456; Tue, 15 Mar 2005 16:26:12 +0100 Received: from poincare ([127.0.0.1] helo=localhost ident=trch) by poincare with esmtp (Exim 3.36 #1 (Debian)) id 1DBDvJ-0002Jw-00; Tue, 15 Mar 2005 16:25:33 +0100 Date: Tue, 15 Mar 2005 16:25:01 +0100 (CET) Message-Id: <20050315.162501.15509039.debian00@tiscali.be> To: "O'Caml Mailing List" Subject: Re: [Caml-list] OCaml troll on Slashdot From: Christophe TROESTLER In-Reply-To: <20050315.091248.68545374.eijiro_sumii@anet.ne.jp> References: <20050315092502.GA19351@furbychan.cocan.org> <1093.80.8.1.44.1110882854.squirrel@mail.irisa.fr> <20050315.091248.68545374.eijiro_sumii@anet.ne.jp> Organization: Universite de Mons-Hainaut (http://math.umh.ac.be/an/) X-Spook: Echelon SAFE Noriega enemy of the state Mena enforcers cybercash genetic SHA FSF X-Blessing: Om Ah Hum Vajra Guru Pema Siddhi Hum X-Operating-System: GNU/Linux (http://www.linux.org/) X-Mailer-URL: http://www.mew.org/ X-Mailer: Mew version 4.2 on Emacs 21.3 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Scanned-By: MIMEDefang 2.1 (www dot roaringpenguin dot com slash mimedefang) X-Miltered: at concorde with ID 4236FE94.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 4236FE93.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 christophe:01 troestler:01 eijiro:01 sumii:01 eijiro:01 sumii:01 trivial:01 ocaml:01 garbage:01 parametric:01 polymorphism:01 koans:01 hof:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.5 required=5.0 tests=FROM_ENDS_IN_NUMS autolearn=disabled version=3.0.2 X-Spam-Level: On Tue, 15 Mar 2005, Eijiro Sumii wrote: > > > Perhaps his program is not good. But he made a point. His > > experience say something and I agree with many stuff he said. > > I don't think he says _anything_ correct except trivial facts [...] I agree with that. The ./ post is a typical I-don't-know-what-I-am-talking-about-so-I-say-it-loud ! If he made a point I believe it is that it's easier to hit the "send" key than to try to be a good programmer... > As we can see from the careful wording at caml.inria.fr (both the > new one and the old one), OCaml is *not* defined as a functional > language. In fact, it is good even at imperative/OO programming > thanks to garbage collection, parametric polymorphism, data types, > pattern matching, etc.! In that vein, I like Doug Bagley koans. Here is the one about HOF: A disciple who was a recent convert from another sect felt troubled by the teachings of his former master, who taught the dogma that only referentially transparent languages have Functional Nature. So he asks his new master, Pierre Weis: "Does OCaml have Functional Nature?", to which wise master replied: "HOF!" On hearing the mystical incantation, the new convert was enlightened. My 2¢, ChriS