The idea of using ownership and lifetimes to encode invariants is so fucking cool. Like this state machine example from HN: https://yoric.github.io/post/rust-typestate/. Starting to get why people like Rust now other than "C-like speed".
693942