From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q03J98s8000432 for ; Tue, 3 Jan 2012 20:09:08 +0100 X-IronPort-AV: E=Sophos;i="4.71,451,1320620400"; d="scan'208";a="125461636" Received: from cbg35-2-78-242-14-140.fbx.proxad.net (HELO [192.168.0.145]) ([78.242.14.140]) by mail4-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 03 Jan 2012 20:09:03 +0100 Mime-Version: 1.0 (Apple Message framework v1251.1) Content-Type: text/plain; charset=iso-8859-1 From: Alan Schmitt In-Reply-To: Date: Tue, 3 Jan 2012 20:09:03 +0100 Cc: caml-list Content-Transfer-Encoding: 7bit Message-Id: <169032BC-E110-4864-9EB1-423D62D8D911@polytechnique.org> References: To: Diego Olivier Fernandez Pons X-Mailer: Apple Mail (2.1251.1) Subject: Re: [Caml-list] "Let"-less syntax for coreML On 3 janv. 2012, at 19:43, Diego Olivier Fernandez Pons wrote: > - equational style 'let f x y = x + y' : forbid This seems a bit extreme. Alan