3 ms·

Algebraic Data Types. /thread

• the__alchemist 2y ago
  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.