[ghc-steering-committee] #526: Applicative Comprehensions (rec: accept)

[Simon Marlow]

Dear committee,

#526 proposes a new extension ApplicativeComprehensions (implying
MonadComprehensions). It would provide the equivalent of the current
ApplicativeDo desugaring for do-expressions to list comprehensions.

   - Github thread <https://github.com/ghc-proposals/ghc-proposals/pull/526>
   - Rendered
   <https://github.com/strake/ghc-proposals/blob/acomp/proposals/0000-applicative-comprehensions.rst>

The extension itself is relatively uncontroversial, but there are some
unresolved quirks in the original ApplicativeDo extension which made us
uneasy about extending it. However, after various discussions I'm going to
propose accepting this proposal in its current state.  Rationale:

   - It doesn't make things worse, and the implementation isn't likely to
   add significant complexity.
   - It retains consistency between ApplicativeDo and
   ApplicativeComprehensions (in contrast to the idea of making
   ApplicativeComprehensions perform a simpler desugaring, which came up
   during the discussion)
   - A future proposal can add a simpler version of the desugaring for both
   extensions later.


Cheers
Simon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20230928/c3cceb7d/attachment.html>