Spec-first publication
The language specification, design decisions, and governance record under CC BY 4.0. The compiler source and binary follow in a later complete-release phase under FSL-1.1-Apache-2.0.
Arcana Lang
The language AI writes — compile-time safety for AI-authored automation.
Arcana Lang is a programming language designed from the ground up as a compile-time-safe target for AI code generation. Generic languages — TypeScript, Python, Ruby — were designed for humans to write. AI generators that target them inherit every safety problem those languages permit. Arcana takes the opposite premise: if an AI generates code that would violate a declared safety constraint, the compiler rejects it before the code can run.
This site is the public language specification, design decisions, and governance record.
Adoption model
Closer to WebAssembly or LLVM IR than to Rust or Python: code is generated into Arcana by AI systems and reviewed by humans, rather than hand-written by a developer community.
Honest scope
Arcana’s safety claims are deliberately hedged today — qualifying their scope, their gaps, and where they don’t apply. The hedges stay until a formal external security review independently confirms broader claims are defensible.
Six pillars
Compile-Time Safety · Effect Contracts & Capability Discipline · Batteries-Included · Portable Runtime & Execution · Self-Hosting & Determinism · Governance & Honest Scope. (Dedicated pages landing soon.)