函数式编程基础

Slyme 是一个高度可组合的函数式执行框架。在传统的面向对象编程（OOP）中，开发者习惯于将状态和修改状态的方法封装在类中；而在 Slyme 中，我们采用了函数式编程（Functional Programming, FP）的哲学。

虽然你不需要成为函数式编程的专家也能顺畅地使用 Slyme，但了解这些底层设计理念，将帮助你写出更优雅、更健壮、更容易测试的代码。

核心概念与 Slyme 的映射

函数式编程有几个关键的支柱概念，Slyme 的整个架构正是围绕这些支柱构建的。

在函数式编程中，数据一旦被创建，就不应该再被修改。任何对数据的“修改”操作，实际上都应该返回一个包含了新状态的全新数据副本。

在 Slyme 中的体现：

结构不可变的 Context：在 Slyme 中，Context 是核心数据结构，它是层次化的且结构不可变的。每次对 Context 的修改（例如设值）都会返回一个新的 Context 对象。
Copy-On-Write 机制：为了避免频繁创建对象的性能损耗，Context 内部通过 Copy-On-Write 机制来复用未修改的结构，从而极大地提高了运行效率。
执行期结构的不可变性：Slyme 将 Node 的声明期（Def）和执行期（Exec）严格分开。当调用 .prepare() 之后，可变的声明对象会被彻底转化为不可变的执行对象（Exec），从而保证了运行时结构的安全。

在严格的函数式概念中，纯函数（Pure Function）是指：给定相同的输入永远返回相同的输出，且在计算过程中不产生任何可观察的副作用（Side Effects，如读写数据库、发起网络请求等）。

在 Slyme 中的体现：

实用主义的平衡：需要明确的是，Slyme 并非像纯函数式编程语言那样遵循严苛的副作用管制。我们在框架的易用性与纯粹性之间做出了平衡。现实的业务系统离不开 I/O，因此你完全可以在自定义的 Node 中实现各种数据库操作或网络请求（这也是 @async_node 诞生的重要原因）。
由你定义纯粹：Slyme 框架本身提供了一套完美承载纯函数逻辑的架构体系。这意味着：如果你的自定义函数是纯函数的，那么由它构建的整个 Slyme Node 体系也就是严格纯粹的。我们把副作用的控制权交给了开发者。
显式的状态追踪：即使你引入了副作用，Slyme 标准的 @node 签名依然要求函数接受一个 Context 对象，并且返回一个新的 Context 对象。这使得即便存在 I/O，其对系统状态流转的影响也是显式且可追踪的。

与面向对象编程将数据和方法捆绑在一起不同，函数式编程提倡让数据结构尽可能简单、透明，让处理逻辑成为独立的、专注于计算的函数。

在 Slyme 中的体现：

极致的解耦：在 Slyme 中，Context 只负责存储和传递状态，而 Node 只负责纯粹的业务逻辑运算。
自动求值与依赖注入：通过设置 auto_eval=True（或使用内置的 Auto 类型提示注解），Slyme 会在 Node 执行前自动从 Context 中解析出真实的值并注入到参数中。这种设计完全解耦了“去哪取数据”与“如何处理数据”。

函数不仅可以处理数据，还可以接收其他函数作为参数，或者返回一个函数。利用这种高阶特性，我们可以将简单的小函数像乐高积木一样组合成复杂的系统。

在 Slyme 中的体现：

基于 PyTree 的无限组合：Node 支持无限组合，一个 Node 既可以包含其他 Node，也可以被其他 Node 所包含，并且这种关系可以直接通过原生的 Python 数据结构（如列表或字典）来表示。
@wrapper 洋葱模型：@wrapper 充当了中间件的角色，它接受一个目标节点作为参数并返回一个增强后的节点，这本质上就是高阶函数的一种优雅实现。@wrapper 遵循经典的“洋葱模型”，允许你拦截并增强 Node 的执行过程。
@builder 组装器：@builder 用于组装 Node 结构，用户可以在自定义函数内构建任意的 Node 流程。一个 @builder 可以调用其他的 @builder，极大提升了逻辑模块的复用率。

Slyme 之所以选择走函数式这条路，并不是为了追求学术上的纯粹，而是因为这种范式能够切实解决现代复杂软件工程中的痛点：

天然的并发安全：在复杂的 I/O 密集型或高并发场景下，共享可变状态往往是噩梦的开始（你需要引入各种 Lock 机制）。而在 Slyme 中，因为 Context 是结构不可变的，多线程或异步协程（@async_node）可以毫无负担地并发读取数据或派生新状态，并发执行下的状态管理变得极其简单和安全。
极佳的单元测试体验：测试一个复杂的面向对象实例，往往需要小心翼翼地 Mock 各个内部状态和依赖类。而在 Slyme 中测试一个纯净的 Node 非常简单：你只需要构造一个输入 Context，执行该 Node，然后断言返回的 Context 中的值是否符合预期。没有任何隐式状态，测试逻辑极其干净。
消除隐式依赖，减少冲突：Slyme 的 Node 设计是高度解耦的，这些 Node 之间严格通过 Context 进行通信。这使得不同的开发团队可以独立地开发各自的功能、进行单元测试，极大地减少了多人协作时的代码冲突。