https://plumephp.com/tags/%E7%B1%BB%E5%9E%8B%E7%B1%BB/Recent content in 类型类 on PlumePHPHugozh-CNMon, 28 Sep 2026 10:00:00 +0800https://plumephp.com/scala-typelevel-programming/Mon, 28 Sep 2026 10:00:00 +0800https://plumephp.com/scala-typelevel-programming/<h2 id="引言">引言</h2> <p>普通编程用<strong>值</strong>计算，类型级编程用<strong>类型</strong>计算——把「参数的数量、单位、状态机的合法状态」写进类型里，让<strong>编译器在编译期替你检查</strong>。Scala 3 的 <strong>Match Types</strong> 与 given/using 推导把它从炫技变成可用的生产力工具。本文从字面量类型讲起，到类型级函数（Nat/布尔/列表）、Match Types、类型类推导，再进入 Shapeless 的 HList/Coproduct 泛型推导，最后落地到类型安全状态机与编译期校验，并讨论性能陷阱与调试。</p>