エージェントはモナドである（ただし、あの種類ではない）
ソフトウェアエージェントの設計パターンとモナドの概念を関連付けて解説。関数型プログラミングに登場するモナド（Maybe, Either, IOなど）ではなく、哲学的・抽象的な観点から「エージェントはモナドである」という主張を展開する。HyleとPneumaという概念を用いて、エージェントがどのように状態と計算を構造化するかを分析する。
背景メモ
- 米国のプログラマー・エッセイストXe Iaso（ゼ・イアソ）によるブログ記事。同氏はインフラ・Rust・NixOS関連の解説で知られる。
- 記事タイトル「エージェントはモナドだ（でもあの種のモナドじゃない）」は、関数型プログラミングの「モナド」と、AI/自律エージェント業界の流行語「エージェント」を掛けたもの。
- 「Hyle」と「Pneuma」は著者が提唱する用語。Hyle（ヒュレー、ギリシャ語「物質」）＝生のAIモデル/GPTそのもの。Pneuma（プネウマ、同「霊気」）＝エージェントに与える「システムプロンプト」や振る舞いを規定するメタ命令。
- 著者は「エージェント」を過度に神秘化する風潮に反対し、素朴な入出力（LLMへのプロンプト→応答）を文脈付きで合成する仕組みとして説明。関数型言語のモナド（値を文脈ごと包み込む計算パターン）になぞらえ、LLM呼び出しを純粋関数の合成として扱う設計手法を提案している。
- 背景として、2023〜2024年のAIエージェントブームでは「自律型AI」が誇張されて語られることが多く、実際の仕組み（プロンプト＋ループ＋ツール呼び出し）と乖離があった。本稿はそのミスリードを解きほぐす意図を持つ。