Preliminary proposal: Monoidal categories in base and proc notation support

[Simon Peyton Jones]

Sophie

I’m guessing that the primary audience for your proposal is the Core Libraries Committee, rather than GHC itself.  I’m cc’ing them.

So far as GHC is concerned, there is a long-running ticket #7828 that your proposal may bear on.  I am not satisfied with GHC’s treatment of arrows; it is complex and I do not fully understand it myself.   If you were able to join in the effort to simplify and modularise the story, that would be great.

Simon

From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Sophie Taylor
Sent: 15 September 2014 08:31
To: ghc-devs at haskell.org
Subject: Preliminary proposal: Monoidal categories in base and proc notation support

Hi everyone.

I am working on a proposal for some additions to the base library and some modifications to GHC in the same style as the do notation support for Applicatives. It is still very much a work in progress, but any input/constructive criticism would be greatly appreciated; this is the first one of these I've written.

Here is the proposal in its current form: http://blog.spacekitteh.moe/posts/new-monoidal-cats.html



Thanks,
Sophie Taylor
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20140915/d11d7b1c/attachment.html>