The #Vera v0.0.101 release makes LLM calls first-class algebraic effects. An agent calling another model declares <Inference> in the signature. Type-checked, contract-verified, impossible to call from pure functions. Postconditions constrain model output at runtime. Empty string? Contract violation, not silent garbage. Compose <Http, Inference> to fetch content, then reason. Every side effect declared. As far as I know, no other language can do this! https://veralang.dev #AI #LLM #Programming