智能体是单子（但不是那种单子）
本文探讨了人工智能中的"智能体"（agent）概念与编程中的"单子"（monad）之间的类比关系，指出二者在组合方式上存在相似性，但并非传统意义上的单子类型。作者从函数式编程的角度分析了智能体系统的结构特性，揭示了抽象模式在不同领域中的共通之处。
背景速读
- 本文作者 Xe Iaso 是知名技术博主和开源开发者（曾在 Vercel、Sourcegraph 工作），以对 Nix、Rust 和 WebAssembly 等底层技术的深入、风格鲜明的评论闻名。
- “Monad”（单子）是函数式编程（特别是 Haskell）中的数学概念，指一种带有 flatMap/bind 操作的数据容器，常被初学者视为晦涩难懂的术语；近年 AI 领域的“Agent”（智能体/代理）框架也常自称为“Monad”，但两者并无实际联系。
- 文章标题玩了一个文字梗：“Agents are monads (but not that kind)”——函数式编程的 monad 和哲学/神学中的“monad”（单子，莱布尼茨提出的不可分实体）是不同概念；作者想说的是，AI Agent 更像后一种“monad”（自包含、不可分的行为单元），而非编程中的 monad。
- 当前 AI 领域“Agent”概念泛滥（如 Anthropic、LangChain、AutoGPT 等），各厂商对“什么是 Agent”定义混乱；本文旨在用类型系统的思路厘清 Agent 的定义，构建一个形式化的 Agent 类型模型。