[Haskell-cafe] Proposal: Non-recursive let

[Ezra e. k. Cooper]

I support Oleg's proposal. A shadowing, non-recursive let would be a
useful tool.

As starter suggestions for the keyword or syntax, I submit:

  let new x = expr in body   -- Not the old x!

  let shadowing x = expr in body

  shadow x = expr in body

  let x =! expr in body  -- The explosive bang gives an imperative
  flavor.

Other suggestions would be welcome.

Ezra

On Wed, Jul 10, 2013, at 01:47 AM, oleg at okmij.org wrote:
> 
> I have also had problems with non-termination, unintended recursion. 
> The problem is not caught statically and leads to looping, which may
> be quite difficult to debug. Andreas should tell his story.