23 Dec
2010
23 Dec
'10
5:25 p.m.
On 23 December 2010 21:43, Mario Blažević
Why are Cofunctor and Comonad classes not a part of the base library? [SNIP] Later on I found that this question has been raised before by Conal Elliott, nearly four years ago.
http://www.haskell.org/pipermail/libraries/2007-January/006740.html
From a somewhat "philistine" persepective, that Conal's question went unanswered says something:
"Does anyone have useful functionality to go into a Cofunctor module (beyond the class declaration)?" Successful post-H98 additions to Base (Applicative, Arrows, ...) brought a compelling programming style with them. For Comonads, Category-extras does define some extra combinators but otherwise they have perhaps seemed uncompelling.