[GHC] #9865: Comonads in base library
#9865: Comonads in base library -------------------------------------+------------------------------------- Reporter: spacekitteh | Owner: ekmett Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Core Libraries | Version: Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 | Type of failure: hour) | None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comonads are useful as heck, and should be in the base library. This could allow codo notation (e.g. https://www.cl.cam.ac.uk/~dao29/publ/codo- notation-orchard-ifl12.pdf ) in the future. It shouldn't be hard at all to do - just basically copy Edward's comonad package :) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9865 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9865: Comonads in base library -------------------------------------+------------------------------------- Reporter: | Owner: ekmett spacekitteh | Status: new Type: feature | Milestone: 7.12.1 request | Version: Priority: normal | Keywords: Component: Core | Architecture: Unknown/Multiple Libraries | Difficulty: Easy (less than 1 Resolution: | hour) Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by ekmett): This really should be submitted to the libraries@haskell.org mailing list as a formal proposal if you want to see it move forward. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9865#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9865: Comonads in base library -------------------------------------+------------------------------------- Reporter: spacekitteh | Owner: Type: feature request | Status: new Priority: normal | Milestone: 8.0.1 Component: Core Libraries | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by strake888): * cc: ekmett (added) Comment: I think we ought to not simply copy ekmett's comonad thoughtlessly. In particular, we ought to consider how this would interact with such other base classes as Applicative, as we may want Apply which ought to be a superclass of Applicative; and the names of the Comonadic methods, as I much prefer (copure, cobind, cojoin) as (extract, extend, duplicate) seem a little random and are mnemonically poor in comparison if one already knows Applicative and Monad. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9865#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#9865: Comonads in base library -------------------------------------+------------------------------------- Reporter: spacekitteh | Owner: Type: feature request | Status: closed Priority: normal | Milestone: 8.0.1 Component: Core Libraries | Version: Resolution: invalid | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => invalid Comment: Please submit a libraries proposal first, as mentioned in comment:1, and then reopen this ticket. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9865#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC