ETAS: An Effect-Typed Language for Agent Systems
ETAS is a new programming language designed for agent systems, treating elements like model-backed agents, tool calls, prompts, policies, and execution traces as first-class semantic components. It separates deterministic computation from agentic nondeterminism and provides static typing with effect and trace tracking for authorization and audit. The language is implemented in Rust, featuring a command-line interface and type-checking infrastructure.
Why it matters: ETAS introduces a formal programming-language foundation for building safe and auditable agent systems by integrating authorization, nondeterminism, and trace tracking into the type system.
Full story at: arXiv Multiagent Systems ↗