[Haskell-cafe] Re: a regressive view of support for imperative programming in Haskell

Isaac Dupree isaacdupree at charter.net
Mon Aug 13 12:27:45 EDT 2007

David Roundy wrote:
> The only cost is that
> this syntax relies on the do notation, and thus makes the desugaring of
> that do notation slightly more complicated when used.

If I understand correctly,

   f (do
            bar (<- action)

has an ambiguity: which do-block is the action bound in?  I can easily 
imagine myself being frustrated at having to refactor my code if the 
defined answer is not the one I want at the moment.


More information about the Haskell-Cafe mailing list