Skip to main content

Safety and Correctness

Much like Rust's type system helps ensure memory safety, Hydro helps ensure distributed safety. Hydro's type system helps you avoid many kinds of distributed systems bugs, including:

These safety guarantees are surfaced through the Rust type system, so you can catch these bugs at compile time rather than in production. And when it is necessary to bypass these checks for advanced distributed logic, you can use the same unsafe keyword as in Rust as an escape hatch.