Scala 领域建模实战：ADT、类型驱动设计与模块化架构
用 Scala 做领域建模的方法论：ADT（sealed trait + case class）建模领域对象、opaque type 值对象防混淆、类型驱动设计、错误建模（Either）、依赖注入（given/ZLayer）、六边形架构与状态机。
tag
ADT
共 2 篇文章。
Scala 类型系统实战：泛型、ADT、协变逆变与类型类
深入 Scala 类型系统：泛型类与方法、代数数据类型（ADT）、Option/Either 的类型结构、协变逆变与不变、类型边界（上下界）、隐式与类型类、路径依赖类型，并通过实战代码展示类型系统如何提升正确性。