TypeScript Academy · 课时

效果系统为何重要

让副作用和失败变得明确且可组合。

第 1 / 4 课13 个步骤

效果系统为何重要 是 CoddyKit 上的免费 TypeScript Academy 课时。 这是第 1 节课,共 4 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 TypeScript Academy 学习路径的一部分,你的进度在网页和 CoddyKit 应用中同步。 TypeScript Academy 课程共包含 4 节课。

为何效应系统重要

效应系统会让副作用、失败和依赖在类型系统中变得显式且可组合。不同于隐藏的抛出和环境输入输出,每个效应都是一个可以传递、转换和组合的值。

原始异步与抛出的问题

单纯使用 async/await 和 throw 会隐藏关键信息:函数签名不会说明它可能抛出哪些错误,也不会说明它需要哪些资源。

async function getUser(id: number): Promise<User> {
  // may throw NotFoundError, may throw NetworkError
  // needs a database connection from... somewhere
  // none of this is in the type
  return await db.users.find(id);
}

错误不可见

Promise<User> 不会告诉您任何失败模式。调用方无法知道需要处理哪些错误,因此要么捕获过多错误,要么完全遗漏某些情况。

依赖是隐式的

上面的函数会静默依赖数据库。这种依赖从全局对象或导入中获取,使测试和替换变得困难,也隐藏了真正的契约。

效应值是什么

效应是对计算的描述,而不是计算本身。构建效应不会执行任何操作;您可以稍后再运行它。这样,效应就成为可以像数据一样组合的纯值。

import { Effect } from "effect";

// A description: produces number, no errors, no requirements
const program = Effect.succeed(42);
// Nothing has run yet.

显式失败

效应会在类型中携带可能出现的错误,因此编译器会强制您有意地处理或传递这些错误。

import { Effect } from "effect";

const risky = Effect.fail(new Error("boom"));
// type encodes that this can fail with Error

显式依赖

效应也会在类型中记录所需的服务。需要 Database 的计算会明确说明这一点,并且在提供该服务之前无法运行。

可组合性

由于效应是值,您可以使用操作符(map、flatMap、zip)组合它们,就像组合数组或承诺一样,同时错误通道和依赖通道会自动随之传递。

延迟执行

在您明确运行效应之前,什么都不会发生(例如使用 Effect.runPromise)。将描述与执行分离后,您可以进行重试、中断和测试,而不会重新触发副作用。

import { Effect } from "effect";

const program = Effect.succeed(1);
// Run at the edge of your app:
// const result = await Effect.runPromise(program);

与承诺的比较

Promise 是急切执行的,错误没有类型约束,并且不会记录依赖。Effect 是惰性的,错误具有类型约束,并且能够感知依赖,所携带的信息严格更多。

为何重要

将效应、错误和依赖显式化,意味着编译器会强制执行正确的处理方式;通过替换依赖,代码也变得易于测试;复杂的异步流程可以可靠地组合,这正是 Effect-TS 等库背后的动机。

快速检查

请测试您对效应系统为何重要的理解。

回顾

效应系统会让副作用、失败和依赖变得显式。与急切执行、无法感知错误且隐藏依赖的承诺不同,效应是对计算的惰性、可组合描述,其类型携带成功、错误和要求信息,从而支持可靠的组合与可测试性。

免费开始

用 AI 导师学习 TypeScript — 免费

在浏览器中编写并运行真实代码,获得全天候 AI 导师的即时帮助,并在网页或应用中继续学习。

课程
101
课程
352

常见问题解答

「效果系统为何重要」课时是免费的吗?

是的 — 「效果系统为何重要」的完整文本可在网页上免费阅读。要进行交互式练习(内置代码编辑器和全天候 AI 导师)并解锁 TypeScript Academy 课程的其余内容,请升级到 CoddyKit PRO。 TypeScript Academy 课程共包含 4 节课。

「效果系统为何重要」这节课中我会学到什么?

让副作用和失败变得明确且可组合。 你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy,全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 TypeScript Academy 需要有经验吗?

无需任何先前经验。CoddyKit 上的 TypeScript Academy 课程适合初学者到高级学习者,你可以从这里开始或从头开始,按照自己的节奏学习。 这是第 1 节课,共 4 节。

「效果系统为何重要」课时需要多长时间?

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动,所以你能稳步进步,并在网页和应用中从离开的地方继续。

我能在这节 TypeScript Academy 课中编写并运行代码吗?

能。每节 TypeScript Academy 课都包含内置代码编辑器,你可以在浏览器中直接编写并运行真实代码,并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

  1. 效果系统为何重要
  2. Effect 类型
  3. 组合效果
  4. 错误通道与依赖
← 返回 TypeScript Academy