エージェントはモナドである（ただし、あの種類のモナドではない）
本記事では、AIエージェントの設計パターンとモナドの概念を結びつけて考察する。「自己関手」という難しい用語を使わずに、エージェントの振る舞いをモナド的な構造として捉える視点を提示する。
背景メモ
- Xe Iaso（ゼ・イアソ）は著名なソフトウェアエンジニア／ブロガーで、インフラやプログラミング言語理論について皮肉を交えた解説記事で知られる。
- 「モナド (monad)」は関数型プログラミング（特にHaskell）由来の概念。簡単に言えば「値にコンテキスト（副作用や非同期処理など）を付加するための設計パターン」で、圏論（数学）の「自己関手の圏におけるモノイド対象」として定義されるが、実務では「プログラム可能なセミコロン」と揶揄されることも多い。
- 「エンドファンクター（endofunctor）」は上記モナドの定義に登場する専門用語。モナドを説明する際にこの単語を持ち出すと読者が離脱するジンクスがあり、著者は「今回こそendofunctorと言わずにモナドを説明する」というお約束のネタに挑戦している。
- 本記事のタイトル「エージェントはモナドである（が、あの種類のモナドではない）」は、「エージェント」をLLMベースの自律型プログラムと解釈し、それが実は関数型プログラミングにおけるモナドと同じ構造を持つという趣旨。ただし、Haskell的なモナドではなく、もっと広い概念としてのモナドを指している。