https://plumephp.com/tags/adt/Recent content in ADT on PlumePHPHugozh-CNMon, 28 Sep 2026 10:00:00 +0800https://plumephp.com/scala-domain-modeling/Mon, 28 Sep 2026 10:00:00 +0800https://plumephp.com/scala-domain-modeling/<h2 id="引言">引言</h2> <p>领域建模决定代码的「形状」——模型烂，后续所有功能都别扭。Scala 的建模语言是<strong>类型</strong>：<code>sealed trait</code> 表达「互斥的分支」，<code>case class</code> 表达「不可变的值」，<code>opaque type</code> 隔离「语义不同的同值类型」，<code>Either</code> 表达「可能出错的计算」。本文按一条主线展开：从 ADT 建模领域对象，到值对象与类型驱动设计，再到错误建模、依赖注入、六边形架构与状态机，最后给出演进与重构成熟度模型。</p>https://plumephp.com/scala-type-system/Sun, 27 Sep 2026 10:00:00 +0800https://plumephp.com/scala-type-system/<h2 id="引言">引言</h2> <p>Scala 类型系统是 JVM 上最强类型系统之一，也是「为什么写 Scala 不容易出错」的底气。它允许你用<strong>类型本身来表达领域约束</strong>：<code>Option[Int]</code> 告诉你「可能没有值」、<code>Either[String, Order]</code> 告诉你「失败带原因」、case class 建模出的 ADT 让非法状态根本编译不过。</p>