Turn: A Language for Agentic Computation
arXiv:2603.08755v1 Announce Type: new Abstract: We present textbf{Turn}, a compiled, actor-based programming language — statically typed for schema inference, dynamically typed at the value level — for agentic software: programs that reason and act autonomously by delegating inference to large language models (LLMs). Existing approaches augment general-purpose languages with frameworks, encoding critical invariants (bounded context, typed inference output, credential isolation, durable state) as application-level conventions rather than language guarantees. Turn introduces five language-level constructs that address this gap. […]