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
On Mon, 2014-09-15 at 17:30 +1000, Sophie Taylor wrote:
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
Hi Sophie, In your proposal draft, I am missing the rationale part. Do we need *all* of these classes in base in order to desugar proc? Can you demonstrate why they are needed? Or will something simpler suffice? Roman
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@haskell.org] On Behalf Of Sophie Taylor Sent: 15 September 2014 08:31 To: ghc-devs@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
participants (3)
-
Roman Cheplyaka -
Simon Peyton Jones -
Sophie Taylor