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=0.8 required=5.0 tests=AWL,SPF_SOFTFAIL 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 8712BBC6B for ; Fri, 9 Nov 2007 15:26:38 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAJb8M0dCbwQZnmdsb2JhbACPAQEBAQEHBAYp X-IronPort-AV: E=Sophos;i="4.21,395,1188770400"; d="scan'208";a="19112913" Received: from out1.smtp.messagingengine.com ([66.111.4.25]) by mail4-smtp-sop.national.inria.fr with ESMTP; 09 Nov 2007 15:26:38 +0100 Received: from compute1.internal (compute1.internal [10.202.2.41]) by out1.messagingengine.com (Postfix) with ESMTP id 0688E4669B; Fri, 9 Nov 2007 09:26:37 -0500 (EST) Received: from heartbeat2.messagingengine.com ([10.202.2.161]) by compute1.internal (MEProxy); Fri, 09 Nov 2007 09:26:37 -0500 X-Sasl-enc: Mv034zZRwQLS8rsNhkD2VKFQ3IDm9ZiMTg1O/OvDptit 1194618396 Received: from [192.168.1.11] (AMontsouris-753-1-1-70.w90-2.abo.wanadoo.fr [90.2.128.70]) by mail.messagingengine.com (Postfix) with ESMTP id 60B8924FDF; Fri, 9 Nov 2007 09:26:36 -0500 (EST) Date: Fri, 9 Nov 2007 15:26:28 +0100 (CET) From: Martin Jambon X-X-Sender: martin@martin.ec.wink.com To: Scott Owens Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] A sound semantics for OCaml light In-Reply-To: <2E0C2D8B-2512-4DEE-8F0C-21B29F4E912B@cl.cam.ac.uk> Message-ID: References: <2E0C2D8B-2512-4DEE-8F0C-21B29F4E912B@cl.cam.ac.uk> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Spam: no; 0.00; ens-lyon:01 semantics:01 ocaml:01 ocaml:01 semantics:01 subset:01 2007,:98 wrote:01 caml-list:01 jambon:01 jambon:01 caml:02 caml:02 objective:02 ambiguous:02 On Fri, 9 Nov 2007, Scott Owens wrote: > We are pleased to announce the public release of OCaml light, a formal > semantics for a substantial, practical subset of the Objective Caml language. 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 ambiguous. Martin -- http://wink.com/profile/mjambon http://martin.jambon.free.fr