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

[Wojciech Meyer <wojciech.meyer@googlemail.com>]

Hi,

Diego Olivier Fernandez Pons <dofp.ocaml@gmail.com> writes:

>     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 ?

The problem here is that it would cause:

- ambiguity with structure equivalence operator
- ambiguity in the parser, e.g. the toplevel let bindings are separated
  by "let", the local lets by pair "let" and "in"
- replacement of == would not be good as it is reserved for physical
  equality
- ignoring "rec" - no good too - please see the other thread, it
  contradicts how the aliasing of values is now used e.g. for extending 
  modules via. include

--
Wojciech