ailang-go-lsp

AILANG: The Deterministic Language for AI Coders

Example status

Third-party verification. AILANG is written autonomously by AI agents via its own coordinator. The badges above are independent static-analysis and supply-chain scores — not self-reported. Live correctness signal: the benchmark dashboard runs 33 benchmarks across 8 frontier models on every release.

AILANG is a purely functional, effect-typed language designed as a deterministic execution substrate for AI-generated code. Every construct has deterministic semantics that can be reflected, verified, and serialized.

Documentation | Examples | Live Demos | Vision | Benchmarks

Quick Start

AILANG is designed to be used by AI agents. The easiest way to get started is via your agent's plugin/extension system.

With Claude Code

/plugin marketplace add sunholo-data/ailang_bootstrap
/plugin install ailang

With Gemini CLI

gemini extensions install https://github.com/sunholo-data/ailang_bootstrap.git

What the Plugin Provides

• AILANG binary - Auto-installed for your platform
• MCP tools - ailang_prompt, ailang_check, ailang_run, ailang_builtins
• Slash commands - /ailang:prompt, /ailang:new, /ailang:run, /ailang:challenge
• Teaching prompts - Current syntax rules loaded automatically

Once installed, just ask your agent to write AILANG code - it handles the rest.

See ailang_bootstrap for details.

Quick Install

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

Detects your OS/architecture automatically. Pin a version with VERSION=v0.9.0 before the curl.

# macOS (Apple Silicon)
curl -L https://github.com/sunholo-data/ailang/releases/latest/download/darwin.arm64.ailang.tar.gz | tar -xz
sudo mv ailang /usr/local/bin/

# macOS (Intel)
curl -L https://github.com/sunholo-data/ailang/releases/latest/download/darwin.x64.ailang.tar.gz | tar -xz
sudo mv ailang /usr/local/bin/

# Linux
curl -L https://github.com/sunholo-data/ailang/releases/latest/download/linux.x64.ailang.tar.gz | tar -xz
sudo mv ailang /usr/local/bin/

# From source
git clone https://github.com/sunholo-data/ailang.git
cd ailang && make install

# Verify
ailang --version

For complete setup instructions, see the Getting Started Guide.

Hello World

module examples/hello

import std/io (println)

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

ailang run --caps IO examples/hello.ail
# Output: Hello from AILANG!

Interactive REPL

ailang repl

λ> 1 + 2
3 :: Int

λ> let double = \x. x * 2 in double(21)
42 :: Int

λ> :type \x. x + x
\x. x + x :: ∀α. Num α ⇒ α → α

λ> :quit

Key Features