https://plumephp.com/tags/%E5%87%BD%E6%95%B0%E5%BC%8F/Recent content in 函数式 on PlumePHPHugozh-CNMon, 28 Sep 2026 10:00:00 +0800https://plumephp.com/scala-domain-modeling/Mon, 28 Sep 2026 10:00:00 +0800https://plumephp.com/scala-domain-modeling/<h2 id="引言">引言</h2> <p>领域建模决定代码的「形状」——模型烂，后续所有功能都别扭。Scala 的建模语言是<strong>类型</strong>：<code>sealed trait</code> 表达「互斥的分支」，<code>case class</code> 表达「不可变的值」，<code>opaque type</code> 隔离「语义不同的同值类型」，<code>Either</code> 表达「可能出错的计算」。本文按一条主线展开：从 ADT 建模领域对象，到值对象与类型驱动设计，再到错误建模、依赖注入、六边形架构与状态机，最后给出演进与重构成熟度模型。</p>https://plumephp.com/nix-language-basics/Tue, 22 Sep 2026 10:00:00 +0800https://plumephp.com/nix-language-basics/<h2 id="1-nix-语言简介">1. Nix 语言简介</h2> <p>Nix 表达式语言（Nix Expression Language）是一门专门为软件包管理和系统配置设计的纯函数式编程语言。它的核心设计目标是实现<strong>可复现性</strong>（Reproducibility）和<strong>声明式配置</strong>（Declarative Configuration）——给定相同的 Nix 表达式，无论在何时何地求值，都会得到完全相同的结果。</p>https://plumephp.com/posts/scala/Tue, 22 Sep 2026 10:00:00 +0800https://plumephp.com/posts/scala/<blockquote> <p>Scala 是一门兼具面向对象与函数式编程特性的 JVM 语言，其 Actor 模型实现（通过 Akka 框架）为构建高并发分布式系统提供了优雅的抽象。Actor 模型的核心理念——「不共享状态，只通过消息通信」——正在影响从 Erlang/Elixir 到 Rust（actix）再到现代微服务通信的多个领域。</p>