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.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.Please don't write infrastructure code that depends on "assurances" instead of checking and validating communications.