Session Types for Rust
>Using this library, you can implement bi-directional process communication with compile-time assurance that neither party will violate the communication protocol.<p>No, you cannot. "Assurance of not violating communication protocol" and "process communication" together are an oxymoron. If you do this, you deserve all the possible failures that come along with it.<p>Please don't write infrastructure code that depends on "assurances" instead of checking and validating communications.