Proposal: Non-recursive let

[Jon Fairbairn]

Andreas Abel
<andreas.abel at 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.Fairbairn at cl.cam.ac.uk