BAML is a language made specifically for writing agents, on the view that mainstream languages were designed for human productivity rather than AI workloads. It reads much like TypeScript, with unions, generics and lambdas, but removes loopholes that let sloppy code slip through.
Every function is traced and profiled locally, and agents can read those traces. It also offers AI functions with streaming and batching. BAML is free to use and suits developers who want stricter, more predictable agent code.