3 ms·

I agree with you, and the two posters who suggested "enums". This seesm to be confirmation that these terms are interchangeable, and refer to a choice type. Per

I agree with you, and the two posters who suggested "enums". This seesm to be confirmation that these terms are interchangeable, and refer to a choice type. Perhaps a distinction is that ADTs can hold optionally hold an inner value, like in rust. Fair enough? And perhaps to the title: Misusing booleans is a trap.

pshirshov 2y ago
Right, one might say that ADTs are a generalizaiton of the Enum concept.
ctenb 2y ago
ADTs are the space generated recursively by sums and products. Enums are a single flat sum type.