agluszak / typestate-rs

Proc-macro typestate DSL for Rust

#[typestate]

This library provides developers with a macro to design typestated objects.

[dependencies]
typestate = "0.8.0"

Compiler support: requires rustc 1.42+

Documentation

If you're only interested in getting up and running with typestate, the documentation might be more useful for you. You can consult it in https://docs.rs/typestate/0.8.0/typestate/

If you're interested in learning more about the typestate crate, or typestates in Rust, you can read The Typestate Book in https://rustype.github.io/typestate-rs/.

Citing typestate

If you find typestate useful in your work, we kindly request you cite the following paper:

@inproceedings{10.1145/3475061.3475082,
    author = {Duarte, Jos\'{e} and Ravara, Ant\'{o}nio},
    title = {Retrofitting Typestates into Rust},
    year = {2021},
    url = {https://doi.org/10.1145/3475061.3475082},
    doi = {10.1145/3475061.3475082},
    booktitle = {25th Brazilian Symposium on Programming Languages},
    pages = {83–91},
    numpages = {9},
    series = {SBLP'21}
}

Publications

• Retrofitting Typestates into Rust (MSc Thesis)
• Retrofitting Typestates into Rust (SBLP'21)