纯函数式效果系统实战：Cats Effect IO 与 ZIO
深入 Scala 效果系统：Cats Effect IO 与 ZIO 的 IO Monad、异步与并发原语、资源安全（bracket/Finalizer）、错误处理、依赖注入（ZLayer/Runtime），用两套主流实现落地生产级纯函数式程序。
posts
Scala 专题：从 Actor 并发到函数式编程与大数据生态
Scala 是一门融合面向对象与函数式编程的多范式 JVM 语言，由 Martin Odersky 于 2004 年设计。本专题系统覆盖 Scala 函数式编程（不可变/纯函数/高阶函数/Option）、集合库与性能选型、类型系统（泛型/ADT/协变逆变/类型类）、Actor 并发与 Akka 集群（监督/集群分片/容错）、纯函数式效果系统（Cats Effect IO / ZIO）、类型安全数据库访问（Slick/Doobie/Quill）、Web 与 HTTP 服务（Play/akka-http/http4s）、Scala 3 元编程（inline/Match Types/宏）、测试体系（ScalaTest/MUnit/ScalaCheck）与构建工具（sbt/Mill/Scala CLI）、大数据生态（Spark RDD/DataFrame/DAG 优化）以及 Scala 3（Dotty）新特性与迁移，进一步扩展流处理（Akka Streams/fs2/反压）、类型级编程（Shapeless/Match Types/编译期计算）、跨平台（Scala.js/Scala Native/crossProject）、JVM 性能调优（JIT/GC/热点）、领域建模（ADT/opaque type/六边形架构）与微服务实践（拆分/通信/Saga/可观测性），为 JVM 生态下的函数式、高并发、大数据与工程化开发提供完整指南。
Scala.js 与 Scala Native：跨平台编译、互操作与工程实践
Scala 三大目标平台的工程实战：Scala.js（前端/Node 的 JS 编译）、Scala Native（原生二进制）、crossProject 共享代码，覆盖互操作（JS Facade / C interop）、性能对比与部署集成。
Scala 领域建模实战：ADT、类型驱动设计与模块化架构
用 Scala 做领域建模的方法论：ADT（sealed trait + case class）建模领域对象、opaque type 值对象防混淆、类型驱动设计、错误建模（Either）、依赖注入（given/ZLayer）、六边形架构与状态机。
Scala 类型级编程实战：Shapeless、Match Types 与编译期计算
Scala 类型级编程的进阶地图：字面量类型、类型级函数（Nat/布尔/列表编码）、Scala 3 Match Types、类型类推导、Shapeless 的 HList/Coproduct 泛型推导，以及类型安全状态机与编译期校验实战。
Scala 测试体系实战：ScalaTest、MUnit、Mock 与属性测试
系统覆盖 Scala 测试体系：ScalaTest 风格矩阵、MUnit 轻量替代、Mockito 模拟、ScalaCheck 属性测试、异步代码与 Akka Actor 测试、覆盖率与 CI 集成，一套测试金字塔从单元到集成。
Scala 流处理实战：Akka Streams、fs2 与反压机制
Scala 流处理三件套：Akka Streams（Source/Flow/Sink 图 DSL）、fs2（纯函数式流与 Effect 融合）、反压机制（推拉模型、缓冲与异步边界），覆盖错误恢复、并发流、Kafka 桥接、性能调优与流式测试。
Scala 构建工具实战：sbt、Mill 与 Scala CLI 工程化
系统覆盖 Scala 三大构建工具：sbt 核心概念（build.sbt、模块、依赖、task）、Mill 简洁替代、Scala CLI 脚本化与云端，多模块工程、依赖管理、增量编译与 CI 全流程。
Scala 数据库访问：Slick、Doobie 与 Quill 类型安全 SQL
系统对比 Scala 三大数据库访问方案——Slick（函数式 ORM）、Doobie（纯 JDBC 效果型）、Quill（编译期 SQL DSL）：连接管理、类型安全查询、事务、schema 迁移，覆盖 PostgreSQL/MySQL 实战。
Scala 微服务实践：服务拆分、通信、弹性与可观测性
Scala 微服务全栈实践：领域边界拆分、HTTP/gRPC/事件通信、网关与契约、服务发现与配置、Saga/Outbox 分布式事务、日志指标链路可观测性、重试熔断限流弹性，以及契约测试与部署。
Scala Web 与 HTTP 服务：Play、akka-http 与 http4s
系统对比 Scala 三大 Web 框架——Play Framework、akka-http、http4s：路由 DSL、JSON 处理（circe/play-json）、中间件、WebSocket、认证与生产部署，帮你按项目类型选型并落地。
Scala JVM 性能调优实战：JIT、GC、热点定位与 Scala 特有陷阱
Scala 在 JVM 上的性能调优地图：JIT 分层编译与逃逸分析、GC 选型（G1/ZGC/Shenandoah）、堆与泄漏、Scala 特有陷阱（集合/boxing/虚方法）、profiler 热点定位、fiber 并发与 JFR 可观测性。
Scala 3 元编程实战：inline、透明内联与编译期计算
深入 Scala 3 元编程体系：inline 方法、透明内联（transparent inline）、编译期求值（constexpr）、Match Types 类型级计算、宏（Macros）与 Quotes，从零构建编译期 DSL 与运行时优化。
Scala 集合库实战：不可变集合、性能选择与常用操作速查
系统讲解 Scala 集合库：不可变 vs 可变集合、List/Vector/Set/Map 的选择与性能特征、常用转换操作（map/filter/flatMap/groupBy/sliding）、视图与惰性求值、并行集合、以及与 Java 集合的互操作。
Scala 类型系统实战：泛型、ADT、协变逆变与类型类
深入 Scala 类型系统：泛型类与方法、代数数据类型（ADT）、Option/Either 的类型结构、协变逆变与不变、类型边界（上下界）、隐式与类型类、路径依赖类型，并通过实战代码展示类型系统如何提升正确性。
Scala 大数据生态实战：Spark 核心与数据处理范式
讲解 Scala 在大数据生态的核心地位：Spark 的 RDD/DataFrame/Dataset、transformations 与 actions、宽窄依赖与 DAG、Spark SQL 与 DataFrame 实战、数据读写与优化（分区/缓存/广播）、以及 Flink/大数据开发中的 Scala 工程实践。
Scala 函数式编程实战：不可变、纯函数、高阶函数与 Option
系统讲解 Scala 函数式编程核心范式：不可变与纯函数、高阶函数（map/flatMap/foldLeft）、函数组合、Option/Either 错误处理、模式匹配、隐式参数与类型类初探，并给出从命令式思维迁移到函数式思维的方法论。
Scala 3 新特性实战：enum、given/using、缩进语法与迁移指南
系统讲解 Scala 3（Dotty）新特性：enum 定义、given/using 上下文参数、扩展方法、缩进语法与可选大括号、type 别名与交集/联合类型、Match Types、以及从 Scala 2 迁移到 Scala 3 的实践指南与兼容策略。
Akka 集群实战：Actor 分布式、集群分片与容错
深入 Akka 与 Akka Cluster：Actor 系统与 ActorRef、监督与容错、集群成员管理与故障检测、集群分片（Cluster Sharding）、集群单例、分布式数据，以及如何用 Akka 构建可扩展的分布式 Actor 系统。
并发编程模式actor详解
Actor模型是一种并发计算的数学模型，最初由Carl Hewitt在1970年代提出，并由William Clinger在其研究生数学工作中进一步发展。这个模型基于一个简单的观点，即自治代理（称为Actor）是并发计算的原始构建块。