From Scripts to Contracts: what Rust's type system taught me about infrastructure composition
I spent years automating infrastructure with scripts that worked until they didn't. A missing dependency, a half-applied deploy, a config that looked right but wasn't — the alert always came at 3am. The tools I used typed individual resources but not the relationships between them. The dependency graph lived in my head.
So I rebuilt it around one idea: infrastructure deserves the same type discipline as application code. Not just resource validation — typed contracts over the entire composition. Every deployment facet — networking, secrets, orchestration, monitoring, a control center, a cryptographic vault — is an independent module that composes through contracts, not glue scripts. The deploy is a typed DAG with parallel resolution, automatic rollback, and state recovery. Event-driven coordination keeps services in sync. Agents and RAG operate over the same typed structure. If it doesn't typecheck, it doesn't touch a server.
LEVEL: Intermediate
RustLab is a conference made by Develer.
Develer is a company based in Campi Bisenzio, near Florence. Our motto is : "Technology to give life to your products". We produce hardware and software to create exceptional products and to improve industrial processes and people's well being.
In Develer we have passion for the new technologies and we offer our clients effective solutions that are also efficient, simple and safe for the end users. We also believe in a friendly and welcoming environment where anybody can give their contribution. This passion and this vision are what we've been driven to organize our conference "made by developers for developers".