agentlanguages.dev
syntactic camp

Codong.

Designed for AI to write, with one canonical way to express every operation. Nine bundled modules, structured JSON errors with fix/retry fields, ? operator for propagation. Compiles to Go IR, then native via go build.

authorBrett (brettinhere)
implementationGo
targetNative binary via Go IR + `go build`
licenceMIT
first seenMarch 2026
maturityworking compiler
Codong ArenaCodong Arena
markdowncodong.md

The thesis.

Codong’s diagnosis is choice paralysis. Python has five ways to make an HTTP request. JavaScript has four state-management libraries. Every choice costs tokens to navigate and produces unpredictable output. The README states it directly: “Codong is designed for AI to write, humans to review, and machines to execute.” The syntactic-camp move is to collapse the language and its standard library to one canonical form per task — http.get(url), web.serve(port: N), db.connect(url), json.parse(s). Nine modules bundled, zero external dependencies, no package manager required.

Codong has exactly one way to do everything.

The distinctive move is which kind of choice gets eliminated. NERD strips operators down to English keywords; Magpie strips ambiguity at the surface by making SSA the user-facing form. Codong leaves both operators and surface alone and instead collapses the standard library — one HTTP function, one JSON parser, one error shape. Compilation routes through Go: .cod source passes through lexer, parser, AST, Go IR, then go build for a static native binary. The compiler is essentially a frontend for Go’s toolchain, in the same way TypeScript is a frontend for JavaScript or Kotlin is a frontend for JVM bytecode.

What it looks like.

fn load_config(path) {
    content = fs.read(path)?
    config = json.parse(content)?
    host = config.get("host", "localhost")
    port = config.get("port", 8080)
    return {host: host, port: port}
}

try { config = load_config(“config.json”)? print(“Server: {config.host}:{config.port}) } catch err { print(“Failed: {err.code} - {err.fix}) }

Two bundled stdlib calls, ? on three of them propagating structured errors up the stack, and the err.fix field doing repair-loop work in the catch branch.

Distinctive moves.

Maturity.

Working compiler, MIT-licensed, v0.1.3 (28 March 2026) with four tagged releases since v0.1.0 first shipped on 24 March 2026. 92 commits, 67 stars, 7 forks. 1,427 tests across three suites (1,425 passing, 2 skipped for unconfigured MySQL/PostgreSQL environments). Written in Go (95.9% of source), with binaries published for Linux and macOS on amd64 and arm64; no Windows binary yet. v0.1.3 added a compilation cache the project reports as a “~170× speedup” on repeat runs. Single-author project (Brett, brettinhere); the repository’s contributors list also shows a claude bot account, consistent with the project’s “AI to write, humans to review” framing.

Agent tooling.

SPEC_FOR_AI.md ships at the repo root — a structured Markdown spec (~6,000 words, ~1,600 lines, 20+ sections) with paired // CORRECT and // WRONG examples for every rule, designed for paste-in to any LLM system prompt. Structured JSON errors with fix and retry fields handle the repair-loop side. A set_format("compact") toggle produces single-line errors (err_code:E_MATH|src:divide|fix:check divisor|retry:false) for token-constrained agent contexts, with a project-reported ~39% token reduction in error output. An MCP server for Claude Desktop is listed as Stage 7 in the v0.1.3 Roadmap — planned, not yet shipped.

design DNA
  • NERD syntactic Same camp, same diagnosis — choice paralysis burns tokens — opposite lever. NERD strips operators down to English keywords; Codong keeps conventional operators and collapses the standard library to one canonical function per task. Both self-report token-savings benchmarks from single-author runs.
  • Zero verification Cross-camp foil sharing the 'one X way' design slogan. Zero buys obviousness with capability-typed effects, raises markers, and a typed zero fix --plan --json API inside a verification project; Codong buys it with a single canonical stdlib inside a pure syntactic project. Industrial-backing contrast: Vercel Labs vs single author.
  • Magpie syntactic Same camp, opposite mechanism. Magpie surfaces SSA — every value %-prefixed, ~2.3× more tokens per operation — so the model has nowhere to be wrong; Codong keeps conventional surface but ships one canonical function per task so the model never has to choose. Magpie pays in tokens for unambiguity; Codong pays in stdlib scope.