Effect 类型

Effect 类型是工作流或操作的不可变描述，它是惰性执行的。这意味着当您创建一个 Effect 时，它不会立即运行，而是定义一个可以成功、失败或需要一些额外上下文才能完成的程序。

以下是 Effect 的一般形式：

         ┌─── 表示成功类型
         │        ┌─── 表示错误类型
         │        │      ┌─── 表示所需依赖
         ▼        ▼      ▼
Effect<Success, Error, Requirements>

此类型表示一个 effect：

• 成功并返回 Success 类型的值
• 失败并产生 Error 类型的错误
• 可能需要 Requirements 类型的某些上下文依赖才能执行

从概念上讲，您可以将 Effect 视为以下函数类型的副作用版本：

type Effect<Success, Error, Requirements> = (
  context: Context<Requirements>
) => Error | Success

然而，effect 实际上不是函数。它们可以建模同步、异步、并发和资源型计算。

不可变性。Effect 值是不可变的，Effect 库中的每个函数都会产生一个新的 Effect 值。

建模交互。这些值本身不执行任何操作，它们只是建模或描述副作用交互。

执行。Effect 可以由 Effect 运行时系统 执行，它将其解释为与外部世界的实际交互。 理想情况下，这种执行发生在应用程序的单个入口点，例如启动副作用操作的主函数中。

类型参数

Effect 类型有三个类型参数，含义如下：

参数	描述
Success	表示 effect 执行时可以成功返回的值的类型。如果此类型参数是 void，则意味着 effect 不产生有用信息，而如果是 never，则意味着 effect 永远运行（或直到失败）。
Error	表示执行 effect 时可能发生的预期错误。如果此类型参数是 never，则意味着 effect 不能失败，因为没有 never 类型的值。
Requirements	表示 effect 执行所需的上下文数据。此数据存储在名为 Context 的集合中。如果此类型参数是 never，则意味着 effect 没有需求，Context 集合为空。

类型参数缩写

在 Effect 生态系统中，您可能经常遇到 Effect 的类型参数分别缩写为 A、E 和 R。这只是类型 A（成功值）、Error（错误）和 Requirements（需求）的简写。

提取推断类型

通过使用工具类型 Effect.Success、Effect.Error 和 Effect.Context，您可以从 effect 中提取相应的类型。

示例（提取成功、错误和上下文类型）

import { Effect, Context } from "effect"

class SomeContext extends Context.Tag("SomeContext")<SomeContext, {}>() {}

// 假设我们有一个成功返回数字、
// 失败返回 Error、并需要 SomeContext 的 effect
declare const program: Effect.Effect<number, Error, SomeContext>

// 提取成功类型，即 number
type A = Effect.Effect.Success<typeof program>

// 提取错误类型，即 Error
type E = Effect.Effect.Error<typeof program>

// 提取上下文类型，即 SomeContext
type R = Effect.Effect.Context<typeof program>