OK, I think I’m getting it.

A product is a set that this is the result of an ordered cartesian products.

struct Car {
  make: String,
  model: String,
  seats: u8,
} 

Car = String X String x u8.

An enum is a series of "or"s.

enum Animal {
  Dog,
  Cat,
  Giraffe,
  Chimpanzee,
}

can also be thought of as Animal = Dog | Cat | Giraffe | Chimpanzee. Where Dog is a type that only has single value in its set aka Animal = {1} | {2} | {3} | {4}, but it could also be strings, or other objects. Rust however allows more complex objects:

enum ComplexEnum {
    Nothing,
    Something(u32),
    LotsOfThings {
        usual_struct_stuff: bool,
        blah: String,
    }
}

In this case is Something(u32) the equivalent of any “tagged” u32, meaning in memory it’s something like a Tag + 32 bits where Tag is a constant string of bits, maybe itself a u32? Wouldn’t that make it a product type?
But then LotsOfThings is itself a product type LotsOfThings = bool x String.

So to put it all together ComplexEnum = Nothing | TaggedU32 | (bool x String)? Is that correct?

Anti Commercial-AI license