Andreas Abel
<andreas.a...@ifi.lmu.de> writes:
> Proposal: add a non-recursive let to the Haskell language. In
>
> let' p = e in e'
> do { ... let' p = e ... }
>
> the variables of pattern p are then *not* in scope in e.
>
> Reasons for adding a non-recursive let:
>
> 1. recursive-let is the source for many non-termination bugs.
-1 from me. I don’t see that having non-recursive let available
will have much impact on the bugs. It just changes forgetting to
use different variable names because of recursion (which is
currently uniform throughout the language) to forgetting to use
non recursive let instead of let.
--
Jón Fairbairn jon.fairba...@cl.cam.ac.uk
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
