BAML is the programming language for agents

3.Apply a sound or "provably correct" type system. Instead, strike a balance between correctness and productivity.

Source: TypeScript Design Goals — Microsoft/TypeScript Wiki

What they meant was human productivity. AI agents are a new paradigm that requires a new programming language, just like in the past:

Hardware -> Assembly
Operating Systems -> Java
Web -> Javascript
Agentic Coding -> ????

BAML is a language designed to prevent context pollution and churn when coding with AI. Every feature opts to prevent mistakes at runtime (like Rust), while maintaining the dynamism necessary for writing and running code (like Python).

In one sentence: BAML feels like TypeScript, but with better error handling, no any, and more.

Our design philosophy

No viral edits.
Look like TypeScript.
Make undesired state unrepresentable.
Fix JavaScript's footguns.
One obvious way.
Tools for agents, not IDEs.
Make nondeterminism observable and testable.

Explore BAML

BAML is the programming language for agents

microsoft/TypeScript

TypeScript Design Non-Goals

Orta edited this page on Feb 26, 2020 · 5 revisions

3.Apply a sound or "provably correct" type system. Instead, strike a balance between correctness and productivity.

Source: TypeScript Design Goals — Microsoft/TypeScript Wiki

What they meant was human productivity. AI agents are a new paradigm that requires a new programming language, just like in the past:

Hardware -> Assembly
Operating Systems -> Java
Web -> Javascript
Agentic Coding -> ????

In one sentence: BAML feels like TypeScript, but with better error handling, no any, and more.

Our design philosophy

No viral edits.
Look like TypeScript.
Make undesired state unrepresentable.
Fix JavaScript's footguns.
One obvious way.
Tools for agents, not IDEs.
Make nondeterminism observable and testable.

Explore BAML