List,<div><br></div><div>I was wondering if there was any obstruction to the removal of the &quot;let&quot; keyword in a syntax for coreML.</div><div><br></div><div>My reasoning is that because everytime there is a &quot;let&quot; there is also an &quot;=&quot; sign, we could completely remove the &quot;let&quot; and use the &quot;=&quot; sign instead to identify new symbol introductions.</div>

<div><br></div>x = 1<br>s = function x -&gt; x + 1<div>d = s 1<br><div>o = function f g -&gt; function x -&gt; f (g x)</div><div><br></div><div>The only cases to handle would be</div><div>- comparison &quot;=&quot; sign : replaced by &quot;==&quot;</div>
<div>- let rec : could be ignored or replaced by something else like &quot;=|&quot;</div><div>- equational style &#39;let f x y = x + y&#39; : forbid</div><div><br></div><div>Does anyone see anything that could prevent this from being done ?</div>
</div><div><br></div><div>         Diego Olivier</div>