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
