Proposal: merge Data.Functor.Coproduct into transformers
wren ng thornton
wren at freegeek.org
Mon Dec 17 03:39:07 CET 2012
On 12/16/12 9:36 AM, Andreas Abel wrote:
> Standing up against the dictator...
>
> I like neither 'Product' nor 'Sum'. For one, they are ambiguous already
> in type theory.
Yeah, this is one of the reasons I prefer Coproduct (or EitherF, or
Either1). FWIW, I wrote a short blog post about this terminological
confusion some time back:
http://winterkoninkje.dreamwidth.org/72346.html
--
Live well,
~wren
More information about the Libraries
mailing list