Changes between Version 7 and Version 8 of MonadComprehensions


Ignore:
Timestamp:
Jan 4, 2012 8:49:53 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • MonadComprehensions

    v7 v8  
    11= Monad comprehensions = 
    22 
    3 Monad comprehensions were added to the main GHC repository on the 4th May 2011. See ticket #4370. 
     3 After a long absence, monad comprehensions are back, thanks to George Giorgidze and his colleagues.  With `{-# LANGUAGE MonadComprehensions #-}` the comprehension `[ f x | x <- xs, x>4 ]` is interpreted in an arbitrary monad, rather than being restricted to lists.  Not only that, it also generalises nicely for parallel/zip and SQL-like comprehensions. The aforementioned generalisations can be turned on by enabling the `MonadComprehensions` extension in conjunction with the `ParallelListComp` and `TransformListComp` extensions. 
     4 
     5 Rebindable syntax is fully supported for standard monad comprehensions with generators and filters. We also plan to allow rebinding of the parallel/zip and SQL-like monad comprehension notations. 
     6 
     7 For further details and usage examples, see the paper "Bringing back monad comprehensions" [[http://db.inf.uni-tuebingen.de/files/giorgidze/haskell2011.pdf MonadComp]] at the 2011 Haskell Symposium. 
     8 
     9See ticket #4370. 
    410 
    511== Translation rules ==