Skip to main content

AILANG for AI Agents - Quick Integration Guide

AILANG is an AI-first programming language designed for AI-assisted development.

This guide is the onboarding path for AI coding agents (Claude, GPT, Gemini, …) and the humans configuring them. It deliberately contains no syntax reference — syntax lives in one place, the teaching prompt, so it can never drift from the compiler.

🚀 Quick Start (4 Steps)​

Step 1: Verify AILANG is Installed​

ailang --version

If not installed, use the one-line installer (see the getting started guide for manual options):

curl -fsSL https://ailang.sunholo.com/install.sh | bash

Step 2: Load the AILANG Teaching Prompt​

CRITICAL: Before writing ANY AILANG code, load the canonical syntax guide — never write AILANG from memory:

ailang prompt

The same content is served as the current teaching prompt v0.16.6, and version-scoped via the hosted docs MCP server. It carries the full syntax, the common mistakes, and the idioms — it is the single source of truth, updated with every release.

Step 3: Write AILANG Code​

Every AILANG program has this shape:

module benchmark/solution

import std/io (println)

export func main() -> () ! {IO} {
  println("Hello, AILANG!")
}

Everything beyond this shape — operators, ADTs, records, effects, recursion patterns — comes from the teaching prompt you loaded in Step 2.

Step 4: Check, then Run​

ailang check solution.ail                       # type + effect check first
ailang run --caps IO --entry main solution.ail  # flags BEFORE the filename

ailang check gives structured errors designed for machine repair — check before running, and re-check after every edit.

📚 Where Everything Lives​

You needGo to
Syntax and idiomsailang prompt / current teaching prompt
Live, version-scoped docs for agentsHosted docs MCP
Working programsExamples
What AILANG can't do yetKnown limitations
Current pass rates by modelBenchmarks dashboard
Debugging flags and REPLDebugging guide
Human-oriented setupGetting started

Success-rate numbers are deliberately not quoted here — they change every release. The benchmarks dashboard is always current.

Pre-Flight Checklist​

Before generating AILANG code, confirm:

  • Loaded the full teaching prompt (ailang prompt) — this session, not from memory
  • Understand: AILANG is NOT Python/JavaScript/Rust
  • Know: every program starts with a module declaration
  • Plan to ailang check after every edit, and validate output with ailang run

If unsure about syntax: re-read the relevant prompt section, look at a working example, or verify the claim directly with ailang check. When in doubt, use simpler constructs.

📞 Getting Help​