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 <[email protected]> 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 -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
