From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.2 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 88050BC6B for ; Fri, 9 Nov 2007 16:38:36 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAB4ONEdIDtbli2dsb2JhbACPAwIBCAQEExEF X-IronPort-AV: E=Sophos;i="4.21,395,1188770400"; d="scan'208";a="19115904" Received: from hu-out-0506.google.com ([72.14.214.229]) by mail4-smtp-sop.national.inria.fr with ESMTP; 09 Nov 2007 16:38:36 +0100 Received: by hu-out-0506.google.com with SMTP id 40so1758269hub for ; Fri, 09 Nov 2007 07:38:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; bh=Fde9RQmIhdsnwG7fVJ0QL+DA4TBK1jDy1b351S9Iil0=; b=dox2grgvzO7Qn3aAh6jK8cTetDgWxf4EvvkQt2Z8NbKc+yUiKxows0yfpqKnWkXrz+sxVHgrR8WUN18xD4o3HyiXsnIORCr6wJi5DPwXc7g0HG9jn5V6IYRKOFuReE6ImO/Pi0Saq/B5Raz5wPxjnBM3wRNiUehH9ZjR9l7FWB0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=bKi3Fi/n4iVKzwPJ/7S4/9X8FuDRSk8oXcIBjBBvkosSoRiVhfM+CqdvnSKf/08H3miIfJ/28UOtBtzVrEaPGW8NxsFjl7Q/3EGdKFNTx3W1yu6E1+HJWtuR2NClViwjG/dY3x865vlBbH7Ei+M6Cd/uwUBC9zKtRbC8QqxexdM= Received: by 10.78.201.10 with SMTP id y10mr2588021huf.1194622715388; Fri, 09 Nov 2007 07:38:35 -0800 (PST) Received: by 10.78.157.4 with HTTP; Fri, 9 Nov 2007 07:38:35 -0800 (PST) Message-ID: <4a051d930711090738n3d1bac35re0a1d754f4fe8c47@mail.gmail.com> Date: Fri, 9 Nov 2007 10:38:35 -0500 From: "Christopher L Conway" Sender: christopherleeconway@gmail.com To: "Dario Teixeira" Subject: Re: [Caml-list] A sound semantics for OCaml light Cc: caml-list@yquem.inria.fr In-Reply-To: <634971.24746.qm@web54601.mail.re2.yahoo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: <634971.24746.qm@web54601.mail.re2.yahoo.com> X-Google-Sender-Auth: 41801eba19c79670 X-Spam: no; 0.00; semantics:01 ocaml:01 ocaml:01 o'caml:01 wikipedia:01 wiki:01 o'caml:01 skewed:01 nomenclature:01 cheers:01 beginner's:01 bug:01 irish:98 carbon:98 beginners:01 I think we as a community can agree that it is and always has been OCaml, not O'Caml [1,2]. But that's not going to prevent a great number of people from making the mistake. :-( I wonder if the folks at INRIA gave any thought to the "Irish interpretation"? (I'm quite sure the O'Haskell people did.) Chris [1] http://caml.inria.fr/resources/doc/faq/general.en.html#name-case [2] http://en.wikipedia.org/wiki/Talk:Objective_Caml#.22Ocaml.22_to_.22O.27= Caml_programming_language.22_move [3] http://www.cs.chalmers.se/~nordland/ohaskell/ On Nov 9, 2007 9:46 AM, Dario Teixeira wrote: > > May I suggest another name? > > There's already Caml light. > > In my opinion, having the name start with "ocaml" is a good idea (or > > should even be mandatory for every ocaml-derived product). > > It should just be followed by something that is reasonably not ambiguou= s. > > Hi, > > On a similar vein, has anyone noticed that "OCaml" and "O'Caml" produce > different results in Google? Could some (na=EFve) language popularity > statistics be skewed unfavourably towards Ocaml because of this? And > should we as a community stick to one nomenclature to avoid this problem?= ... > > Cheers, > Dario Teixeira > > > > ___________________________________________________________ > Want ideas for reducing your carbon footprint? Visit Yahoo! For Good htt= p://uk.promotions.yahoo.com/forgood/environment.html > > > _______________________________________________ > 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 > >