让非法状态不可表示：一篇关于 ADT 的帖子在 Reddit 火了

有一种东西，一旦用过就回不去了。Alex Fedoseev 管它叫"软件设计的基石"。 他说的东西不新鲜——代数数据类型（ADT），尤其是和类型（sum type）。但他说清楚了一件事：这不是类型系统的学术体操，是日常编码的思维方式。 文章从一个简单的例子切入。一个网站的深色主题设置，如果用布尔值 + 可空字段来表示——boolean...