BAML provides a domain-specific language for prompt engineering that transforms prompts into typed functions with structured output schemas. It generates type-safe code for Python, TypeScript, Ruby, Go, and other languages, enabling developers to build LLM-powered workflows with built-in retries, streaming, guardrails, and model-agnostic tool-calling support.