Implementing typestate

[Meta via Digitalmars-d]

On Tuesday, 15 September 2015 at 18:30:34 UTC, Ola Fosheim 
Grøstad wrote:
> 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/ovoarcbexpvrrceysnrs@forum.dlang.org

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.