type-driven-development

• 07 Apr 2024

  Typestate pattern in Rust

  1 Introduction Rust’s type system is quite sophisticated, allowing for plethora of useful idioms. One of such idio...