3 ms·
Since this often matters when implementing protocols, there is research about session types and verification. Here is a Rust library for session types: https://
by Klasiaster 5y ago
Since this often matters when implementing protocols, there is research about session types and verification. Here is a Rust library for session types: https://github.com/Munksgaard/session-types https://github.com/Munksgaard/session-types
I believe both have some overlap.
- 42jd 5y agoThe same site has a great introduction (not for rust though) to session types: https://rustype.github.io/notes/notes/session-types.html https://rustype.github.io/notes/notes/session-types.html