Re: [Caml-list] "Let"-less syntax for coreML

[Gabriel Scherer <gabriel.scherer@gmail.com>]

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
<dofp.ocaml@gmail.com> 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