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

• Pure functional - Lambda calculus, closures, pattern matching, ADTs
• Type inference - Hindley-Milner with row polymorphism
• Effect system - Capability-based security (IO, FS, Net, Clock, AI)
• Deterministic - Replayable execution, structured traces
• AI-first - Designed for machine reasoning, not human convenience
• LSP - ailang lsp --stdio ships in the binary: diagnostics, hover types, go-to-def, references, document symbols. One-command VS Code install: ailang editor install vscode (guide)

Learn more: Why AILANG? | No Loops Design | Go Interop

Development

make install    # Build and install
make test       # Run all tests
make repl       # Start REPL
make lint       # Run linter

Guides:

• Development Guide
• CONTRIBUTING.md
• CLAUDE.md - For AI development assistants

Project Structure

ailang/
├── cmd/ailang/     # CLI
├── internal/       # Compiler (lexer, parser, types, eval, effects)
├── stdlib/         # Standard library (std/io, std/fs, std/json, std/zip, std/xml, etc.)
├── examples/       # Example programs (97 files)
├── docs/           # Documentation website source
└── design_docs/    # Design documents

License

Apache 2.0 - See LICENSE

AILANG draws inspiration from Haskell, OCaml, Rust, and Idris/Agda.

For AI agents: Deterministic functional language with Hindley-Milner type inference, algebraic effects, and explicit effect tracking. See CLAUDE.md and Documentation for capabilities.