The AI-First
Programming Language
AILANG makes AI-generated code cheaper to debug, replay, and fix. Explicit effects constrain what code can do. Structured traces make errors easy to localize.
-- hello.ail
module examples/hello
export func main() -> () ! {IO} =
print("Hello, AILANG!")Start in 30 Seconds
Install via your AI coding agent's plugin system
/plugin marketplace add sunholo-data/ailang_bootstrap /plugin install ailang
gemini extensions install https://github.com/sunholo-data/ailang_bootstrap.git
Built on 12 Design Axioms
Every feature derives from non-negotiable principles that make AI-generated code easier to debug, replay, and fix.
Read the full axioms
Deterministic Execution
Same input, same output, every time. Replay any execution for debugging. No hidden nondeterminism.
Axiom 1Effect Boundaries
Side effects are explicit in types. AI cannot hallucinate network calls in pure functions.
Axiom 3 & 4Structured Traces
See exactly what happened. Slice traces by effect type. Get specific feedback, not "it crashed."
Axiom 2Machine-First Design
Built for AI reasoning, not human ergonomics. Decidable structure and semantic compression.
Axiom 7Explicit Authority
No implicit access to the world. Capabilities are statically visible and constrained by budget.
Axiom 4Pure Functional Core
Lambda calculus, pattern matching, ADTs. Composable features that never break reasoning.
Axiom 10Ready to Build with AI?
Start writing AILANG today. Full documentation, examples, and an interactive playground await.