如何显示Rust类型系统支持代数数据类型（ADT）？

Question

Wikipedia's list of programming languages with algebraic data types (ADTs)表明Rust确实有ADT，但我不确定我的解释是否对Rust的原因是正确的。据我了解，说一个具有ADT的人都需要有：

值：

• 零（或无效） - !拉斯特） - 一个类型，就没有得到价值。
• 一个（或单元） - ()在Rust中） - 一种获得一个值的类型：()本身。

操作：

• 加法 - enum { A, B }鲁斯特 - 操作，可以返回的A值或B值。
• 乘法 - Tuple (A, B) Rust - 可以返回所有组合A和B的操作。

规则：

• a + b = b + a：enum { A, B } =~ enum { B, A }
• a * b = b * a：(A, B) =~ (B, A)
• 0 + x = x：enum { !, A } =~ enum { A }
• 0 * x = 0：(!, A) =~ !
• 1 * x = x：((), A) =~ A

这里A =~ B意味着有一个fn(A) -> B和fn(B) -> A

是我的描述上面为什么锈病的类型系统支持ADT的真实，还是我丢失或误解的东西呢？

Answer 1

我上面的描述是为什么Rust的类型系统支持ADT是真的，还是我错过了或者误解了它的一些东西？

是的，这是对的。我会做的一个改变是将Void表示为enum。作为interjay在评论中说，!不是（yet）稳定的锈的一部分：

enum Void {} // uninhabited 

其余如下容易，我不知道一个答案可以表达它比你在做你自己题。