这里是全站文章的归档入口，下面是按时间倒序排列的全部文章。若想按主题浏览，请从首页的专题分类进入。
Scala 领域建模实战：ADT、类型驱动设计与模块化架构
用 Scala 做领域建模的方法论：ADT（sealed trait + case class）建模领域对象、opaque type 值对象防混淆、类型驱动设计、错误建模（Either）、依赖注入（given/ZLayer）、六边形架构与状态机。
posts
文章归档
PlumePHP 全站文章的归档入口，按时间倒序汇总各专题的技术文章，并提供按主题浏览的专题分类入口。
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 并发与原子性实战：无锁编程、并发数据结构与 STM
系统覆盖 Scala/JVM 并发编程的底层与进阶：JMM 与可见性（volatile/final/synchronized）、java.util.concurrent 原子类（AtomicLong/CAS）、并发集合选型（ConcurrentHashMap/CopyOnWrite/BlockingQueue）、Scala 侧并发原语（并发集合、Future、Actor/Fiber 对比）、软件事务内存（ScalaSTM）、以及无锁数据结构的实现与陷阱，帮助读者在 Actor/效果系统之上掌握真正的并发原语。
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 与运行时优化。
Rust 网络编程与 API 设计：从 TCP Socket 到 gRPC 与 WebSocket
Rust 网络编程完整指南：TCP/UDP socket、tokio 异步网络栈、reqwest HTTP 客户端、tonic gRPC 服务、WebSocket 实时通信、RESTful API 设计最佳实践与网络性能优化（零拷贝、连接池、背压）。
React 全栈类型安全：组件类型、事件类型与前后端契约
系统覆盖 React 全栈开发中的类型安全实践：Props 与 Children 类型化、泛型组件、事件与表单类型、useState/useReducer 类型化、Context 与 Hooks 类型安全、React 与 API 的类型契约（请求/响应模型）、前后端共享类型、判别联合驱动 UI 状态机、以及常见 React 类型陷阱。
RDF 三元组与 SPARQL 查询实战：从语义网到知识图谱互操作
系统覆盖 RDF 语义网核心技术栈：RDF 三元组与图模型、RDF/XML/Turtle/JSON-LD 序列化、命名空间与 IRI、RDFS 与 OWL 本体建模、SPARQL 查询语言（SELECT/CONSTRUCT/DESCRIBE/ASK）、SPARQL 更新与推理、RDF vs 属性图对比、Jena/Virtuoso 实战、以及 RDF 在知识图谱互操作与 Wikidata 场景的应用。
QAOA 与量子组合优化：MaxCut、哈密顿量与混合变分求解
深入 QAOA（量子近似优化算法）：组合优化问题编码、Ising 哈密顿量、QAOA 电路结构（交替算子）、变分优化循环、MaxCut 实战（Qiskit）、与经典求解器对比与适用边界。
Python 高性能计算：Dask 与 Ray 分布式计算实战
Python 生态的分布式计算两巨头：Dask 与 Ray。本文系统讲解 Dask 的惰性图计算与 DataFrame/数组扩展、Ray 的 actor/task 并行模型、集群启动与资源调度、两者选型对比，以及大数据预处理、RL 训练、服务化部署的真实落地模式。
Python 设计模式与 SOLID：从经典模式到 Pythonic 简化
Python 设计模式完整指南：SOLID 五原则、创建型/结构型/行为型经典模式、用 Python 语言特性（装饰器/描述符/生成器/鸭子类型）简化经典模式、函数式模式、模式选型与过度设计、实战架构示例。
PostgreSQL 数据库设计规范：范式、类型选择与迁移演进
好的 schema 设计决定一个系统未来十年好维护还是天天改表。本文系统讲解 PostgreSQL 表设计规范：主键策略（序列/UUID/snowflake）、字段命名与类型选择（数值/时间/JSONB/text）、范式与反范式权衡、外键与约束、索引与唯一性、时间戳与软删除、分表与分区，以及基于迁移工具（Alembic/Prisma）的 schema 演进流程。
PostgreSQL 备份与恢复深度实战：逻辑备份、物理备份、WAL 归档与 PITR
备份是数据库运维的第一要务。本文系统讲解 PostgreSQL 备份与恢复：pg_dump 逻辑备份与 pg_restore、pg_basebackup 物理备份、WAL 连续归档与 PITR 时间点恢复、备份策略矩阵（RPO/RTO 权衡）、恢复演练清单，以及常见故障场景（误删/误改/坏盘）的实战恢复流程。
PostgreSQL 全文搜索：tsvector、tsquery 与 GIN 索引
PostgreSQL 内置全文检索能力，无需引入 Elasticsearch 即可支撑中小规模的搜索。本文系统讲解 tsvector 文档向量与 tsquery 查询语法、to_tsvector/to_tsquery 分词与词典、@@ 匹配操作符、GIN 索引加速、rank 排序、高亮与中文分词（zhparser/jieba），以及全文搜索与业务搜索的工程架构。