theres a very simple way to do non recursive let already! do notation in the identity monad. I use it quite a lot lately.


On Wed, Jul 10, 2013 at 1:49 PM, Ertugrul Söylemez <es@ertes.de> wrote:
"Ezra e. k. Cooper" <ezra@ezrakilty.net> wrote:

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

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe