我最初接触到的这方面的例子就是你写的相关内容，哈哈

其实和rust关系不大，只要是个提供ADT类型系统的语言，nominal typing的，都可以做到这一点。甚至typescript这种structural typing的，没有sum type的，也能模拟出来凑合用。

关键还是人要有概念，要主动充分使用类型来描述出尽可能多的逻辑要求。否则
rust也帮不了任何一点

【 在 lvsoft 的大作中提到: 】
: beep已经回答的很好了。
: 我之前在circuit版说过一个例子，比如mcu里面寄存器的某一个bit，表示对应的某个功能是否开启。1是开启0是关闭。
: rust里面对这个bit位的读和写要用不同的枚举。
: ...................
--
修改:beep FROM 123.120.175.*
FROM 123.120.175.*