|
|
|
|
|
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? |
|