The sum/product dichotomy is very confusing. Sums and products are operations in muggle math (functions), but in the example a product is a data type? It feels off.
It's not intuitive at all and so far removed from normal programming practice, the terminology doesn't help.
It's the overload of concepts that makes it harder to grasp.
It's not intuitive at all and so far removed from normal programming practice, the terminology doesn't help.
It's the overload of concepts that makes it harder to grasp.