We are working on making our programming language BAML turing-complete. https://github.com/boundaryml/baml

It is a language that is embeddable in other programming languages, with the type system similar to typescript, and a runtime that is similar to Go.

People use it currently for structured outputs with llms but soon we will support orchestration and more.

We are letting some users have an early access preview! Let me know if you are interested in hacking with it!