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, o...@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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
