
15 Dec
2012
15 Dec
'12
12:59 a.m.
On 12/14/12 2:37 PM, Mario Blažević wrote:
So far we have a consensus on the proposal (yay!), but no firm agreement on the naming. Of the two alternatives I've suggested, Sum appears to have edged ahead of Coproduct. Let me know if I misrepresented anybody's position:
Edward Coproduct (LeftF | RightF) Erik Sum Wren Coproduct (InL | InR)
I'd rather have LeftF|RightF. I only mentioned InL|InR in case people wanted to bikeshed some more.
Gábor ? (LeftF | RightF) Andreas Either1 (Left1 | Right1) Sean Sum (InL | InR) Henning Sum no prefixes
-- Live well, ~wren