This work is part of my thesis on behavioral types,
any kind of feedback is welcome and can be submitted as an issue to any of the repositories in the
For further discussion, please contact me through Twitter or Keybase.
This series aims to be a kind of devlog where I explore typestates (maybe others as well) and their implementation using the Rust type system.
Below you can find a list (loosely) organized by recommended reading order. If you are familiar with the topics, do not be afraid to skip them. Not all covered topics are directly related with the presented work.
In the case you’re not familiar with Rust’s
macro_rules! bellow you can find a series of resources: