Hacker News new | ask | show | jobs
by noelwelsh 354 days ago
Records are a logical and. A cat is a name and an age and a color, for example.

A variant is a logical or. A pet is a dog or a cat.

And and or are duals.

Much more in the "Algebraic data types" chapter at https://scalawithcats.com/

Does that answer it?

1 comments

Ok, sum types and product types
Yes.