News for hackers. Stuff that matters.

A comment on An epic treatise on error models for systems programming languages. Parent comment

Re:An epic treatise on error models for systems programming ... by looperhacks on Saturday March 08, 2025 @11:48AM (#43301511)
The "sum" and "product" is more about the cardinality of the type. If you have a type A with 3 possible values and B with 5 possible values, then the sum type X = A+B has 8 possible distinct values while the product type Y = A*B has 15 possible values
[ Parent | on HN ]
Re:An epic treatise on error models for systems programming ... by marcosdumay on Saturday March 08, 2025 @12:54PM (#43302000)
Yeah, that's the bad definition that leads to problems like the one the OP describes.
[ Parent | on HN ]