|
|
|
|
|
|
by tel
2405 days ago
|
|
|
Summing is the act of gluing two components together with “or”. It’s possible to see all types as sums in this fashion (this is essentially “distributivity of addition over multiplication) but it’s also impossible to see char/int/bool as not having some sense of “or” within it. For a product type with no “or”, consider the JavaScript object {}. We see these as “atomic”. |
|
|