I'm evaluating AILANG

You're weighing AILANG against other options. Here's the fast path to an informed decision.

What does AILANG actually do?

• Why AILANG — the elevator pitch and the trade-offs.
• Vision — the long-form motivation.
• AILANG vs Agent Frameworks — how it compares to LangChain, ADK, etc.

What works today?

AILANG v0.14.2 is the current stable release.

• Implementation Status — what's shipped.
• Known Limitations — what isn't.
• Roadmap — what's next.

How well do AI models write AILANG?

• Model Leaderboard — head-to-head pass rates per model.
• Agent Harness Explorer — drill into per-benchmark results.
• Eval Harness Architecture — how the numbers are produced.

Is the design sound?

• Type System — Hindley-Milner + row polymorphism + effects.
• Academic Foundations — axioms, design lineage, philosophical roots.
• GitHub repo — read the source, file an issue.