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 q03MZ2Xh004555 for ; Tue, 3 Jan 2012 23:35:02 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhoCAI2BA0/RVdS2kGdsb2JhbAA5CoIFqlQIIgEBAQEJCQ0bBCGBcgEBAQQSAhMZARsdAQMMBgULDS4hAQERAQUBHAYTCBqgWgqLZYJrhEE/iHECBQuIS4M5BJUCim+DDj2Dew X-IronPort-AV: E=Sophos;i="4.71,452,1320620400"; d="scan'208";a="125476549" Received: from mail-wi0-f182.google.com ([209.85.212.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 03 Jan 2012 23:34:56 +0100 Received: by wibhr1 with SMTP id hr1so17657664wib.27 for ; Tue, 03 Jan 2012 14:34:56 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; bh=BUXI/hEgB0w+y/8lF3iZS51Db2+RLfAsl8lmtyUVt7E=; b=BBWDG6BxdlxhZb7CdLl287Sx1fsmBt345SBJwEWtsRbPglQWYC/cg1oGormT2EKrIA c5PwqWGdgznndtvZeC75a6KGTU7YSGastWgu8uGUxuTUgoErfLr14IDo039/epmgeqh/ meyUoFNG5Wqmw7u48HCNaDQf4SXU5j9HUWjrI= Received: by 10.180.83.69 with SMTP id o5mr118308719wiy.1.1325630096789; Tue, 03 Jan 2012 14:34:56 -0800 (PST) MIME-Version: 1.0 Received: by 10.227.198.147 with HTTP; Tue, 3 Jan 2012 14:34:35 -0800 (PST) In-Reply-To: References: From: Gabriel Scherer Date: Tue, 3 Jan 2012 23:34:35 +0100 Message-ID: To: Diego Olivier Fernandez Pons Cc: caml-list Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q03MZ2Xh004555 Subject: Re: [Caml-list] "Let"-less syntax for coreML I feel I am missing some background. What is this "coreML" and what is the point of making subtle syntactic changes to it? On Tue, Jan 3, 2012 at 7:43 PM, Diego Olivier Fernandez Pons wrote: >     List, > > I was wondering if there was any obstruction to the removal of the "let" > keyword in a syntax for coreML. > > My reasoning is that because everytime there is a "let" there is also an "=" > sign, we could completely remove the "let" and use the "=" sign instead to > identify new symbol introductions. > > x = 1 > s = function x -> x + 1 > d = s 1 > o = function f g -> function x -> f (g x) > > The only cases to handle would be > - comparison "=" sign : replaced by "==" > - let rec : could be ignored or replaced by something else like "=|" > - equational style 'let f x y = x + y' : forbid > > Does anyone see anything that could prevent this from being done ? > >          Diego Olivier