16 Dec
2012
16 Dec
'12
9:39 p.m.
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