Covariance on PlumePHPhttps://plumephp.com/tags/covariance/Recent content in Covariance on PlumePHPHugozh-CNSun, 27 Sep 2026 10:00:00 +0800Scala 类型系统实战：泛型、ADT、协变逆变与类型类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>