[Haskell-cafe] Proposal: Non-recursive let

Ezra e. k. Cooper ezra at ezrakilty.net
Wed Jul 10 19:39:19 CEST 2013

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

Other suggestions would be welcome.


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.

More information about the Haskell-Cafe mailing list