说实话，用TypeScript掌握Claude Code，咱就是说这是一个hen有意思的话题。

为啥这么说呢？因为现在hen多前端同学Yi经开始高频使用Claude Code、Cursor、Codex一类工具了哈哈，你懂的。

刚开始用的时候，hen容易被它们的“智Neng感”吸引：它Neng读代码，Neng改文件，Neng跑测试，Neng错误，甚至Neng自己拆任务。

但作为前端工程师，相比Python，我geng希望用TypeScript、类型系统和前端熟悉的工程抽象去重新理解它。

代数效应：一种geng通用的runtime边界设计

hen多人kan到“代数效应”四个字可Neng会立刻劝退，感觉这是编程语言理论里的东西。

不对不对，应该是它其实是一种hen实用的思想。

前端同学其实Yi经在React中接触过代数效应。比如这个组件：

function Profile {  const  = useState;  useEffect => {    document.title = name;  }, );  return <h1>{name}</h1>;}

你没有在组件里手动创建DOM，也没有自己决定effect的精确执行时机。

组件描述UI和副作用，React负责调度render、commit、effect。

Agent逻辑和运行时：声明意图和解释副作用

Agent逻辑负责声明意图，运行时负责解释副作用。

这和前端里的事件系统、状态管理、middleware、mock网络层dou有相通之处。

举个普通的例子，Ru果Agent要执行一个shell命令，Zui直接的代码可Neng是：

const output = await exec;

这当然Neng跑，但问题是Agent逻辑和真实副作用绑死了。

以后你想加权限审批、日志、mock、沙盒、重试，dou要围着这行代码改。

换成效应写法，Ke以变成：

const output = yield* perform;

这段代码没有直接执行shell。它只是声明：我需要一个BashExec效应。

TypeScript：表达Agent Harness的合适工具

TypeScript正在成为一类agent harnesshen自然的表达工具：类型适合描述工具schema，前端生态适合Zuo交互式TUI，Node/Bun适合贴近本地文件系统和命令行。

Kimi Code是一个hen好的信号。TypeScript正在成为agent工具链里越来越重要的工程选择。

为什么百度不收录我的文章？

害，这个问题啊，说实话，hen多原因dou可Neng导致百度不收录你的文章。

你得确保你的文章内容是有价值的，不是那些敷衍了事的东西。

然后你得kankan你的网站是不是够友好，比如加载速度快不快，有没有死链什么的。

一个coding agent到底是怎么被工程化地装起来的？

Learn Claude Code：用TypeScript重新理解Agent Harness

Zui近我让AI和我一起，把shareai-lab/learn-claude-code 成了一个面向前端工程师的TypeScript版本，并且用代数效应重新解释它背后的Agent harness结构。

while True: response = client.messages.create if response.stop_reason != "tool_use": return for block in response.content: output = TOOL_HANDLERS results.append messages.append

Harness = loop + tools + permissions + context + memory + state + protocols

README.mddocs/algebraic-effects-primer.mddocs/learn-shareai-crosswalk.mds01_agent_loop/README.mds01_agent_loop/agent.tss02_tool_use/README.mds02_tool_use/agent.ts...

npm installnpm run s01npm run s02npm run s20

const handlers = {  BashExec: async  => {    return exec;  },};

function* agentLoop {  const response = yield* perform;  const output = yield* perform;  return output;}

<Suspense fallback={<Loading />}>  <Profile /></Suspense>

用 TypeScript 理解 Agent Harness 的好处 AI Coding 工具背后的工程结构

我们使用 AI coding 工具时kan到的是智Neng；但真正支撑它工作的，是一套 harness 工程。

复杂 Agent 不是靠“geng多 prompt”堆出来的，而是靠一层一层 harness 机制支撑起来的。

代数效应 = 业务逻辑只声明“我要Zuo什么”，运行时再决定“怎么Zuo”。

Learn Claude Code 背后的故事 用 TypeScript 重写 Learn Claude Code

这个项目对我来说就是一次这样的拆解：用 AI 协作，把 github.com/shareAI-lab… 转成 TypeScript；再用代数效应，把工具调用、权限、记忆、任务、团队、MCP 这些机制放回同一个解释框架里。

---