4 ms·
Sum types versus product types. You’re doing data Number = Left Segment | Right Segment but data Number = BothHands Segment Segment is possible.
by thanatropism 6y ago
Sum types versus product types.
You’re doing
data Number = Left Segment | Right Segment
but
data Number = BothHands Segment Segment
is possible.
- cannabis_sam 6y agoI just love how this illustrates the names sum and product types. permutations(sum of Segment) == permutations(Segment) + permutations(Segment) vs. permutations(product of Segment) == permutations(Segment) * permutations(Segment) (Edit: permutations is the wrong term, it should be cardinality or a non-mathematical concept like some colloquial concept of “variations” )
- majewsky 6y agoI don't think "permutations" is the right word. You probably want "cardinality".
- cannabis_sam 6y agoYou are right, I was thinking more from a programmers practical perspective and started with the word «varations» and changed it to «permutations» without thinking it through. Thanks for the correction!