效果系统为何重要
让副作用和失败变得明确且可组合。
效果系统为何重要 是 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 反馈 — 无需本地设置。