Re: Bringing back Monad Comprehensions (in style)

On 06/10/2010 00:26, Max Bolingbroke wrote:

On 5 October 2010 15:41, George Giorgidze wrote:

...

One can also look at how recently introduced 'order by' and 'group by' constructs generalise to monad comprehensions. If that works, one could implement even more "stylish" monad comprehension notation.

They do: see the comments by MichaelAdams at http://haskell.org/haskellwiki/Simonpj/Talk:ListComp. Last I checked, the code there was slightly buggy but correct in spirit.

What *doesn't* generalise is the zip comprehensions extension:

[(x, y) | x<- xs | y<- ys] == zip xs ys

I wonder how much that extension is actually used, e.g. in all of Hackage? Could we deprecate it? Cheers, Simon