It is the same type of concept. Typestate, effect system, linear typing, behavioural typing. It is no doubt the future for type systems, but also demanding. I've tried to raise awareness about it before, but no takers:http://forum.dlang.org/post/[email protected]
If I remember correctly Rust *did* have a typestate system very early on but it was done away with in favour of the borrow checker.
