rustype/notes

Rusty Typestates

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 rustype organization. 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.

• [rust-typestate-part-1]
• [rust-typestate-part-2]
• [rust-typestate-part-3]
• [rust-typestate-feedback]

Background Reading

Related Type Theory

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.

• Type Systems
• Typestate-Oriented Programming
• Behavioral Types in Programming Languages
• Session Types for Rust
• Implementing Multiparty Session Types in Rust

Rust’s Macros

In the case you’re not familiar with Rust’s macro_rules! bellow you can find a series of resources:

• Official Resources
  • The Rust Book - https://doc.rust-lang.org/book/ch19-06-macros.html
  • Rust By Example - https://doc.rust-lang.org/rust-by-example/macros.html
  • The Rust Reference - https://doc.rust-lang.org/reference/macros.html & https://doc.rust-lang.org/reference/macros-by-example.html
• Several miscellaneous links (gists, blog posts, etc):
  • The Little Book of Rust Macros - https://danielkeep.github.io/tlborm/book/index.html
  • How to Write Hygienic Rust Macros - https://gist.github.com/Koxiaet/8c05ebd4e0e9347eb05f265dfb7252e1

🏡