News for hackers. Stuff that matters.

A comment on Sum Types Are Coming (2015). Parent comment

Re:Sum Types Are Coming (2015) by matt_kantor on Friday February 16, 2018 @03:03AM (#16390719)
The numbers of values in the types are what get summed up. The sum type `Boolean | Byte` has 2 + 256 unique values while the product type `(Boolean, Byte)` has 2 * 256 unique values
[ Parent | on HN ]

There are no comments on this comment yet.