
10 Jul
2013
10 Jul
'13
1:49 p.m.
"Ezra e. k. Cooper"
As starter suggestions for the keyword or syntax, I submit:
let new x = expr in body -- Not the old x!
It's not the old x in either case (recursive and non-recursive).
let shadowing x = expr in body
shadow x = expr in body
It's shadowing in either case.
let x =! expr in body -- The explosive bang gives an imperative flavor.
(=!) is a valid operator name.
Other suggestions would be welcome.
My suggestion: Don't add a non-recursive let. See my other post about general recursion and totality checking. Greets, Ertugrul -- Not to be or to be and (not to be or to be and (not to be or to be and (not to be or to be and ... that is the list monad.