There's a Blog post somewhere but I can't find it atm.Ok found it: http://pcwalton.github.io/blog/2012/12/26/typestate-is-dead/
But that is for runtime detection, not compile time?
There's a Blog post somewhere but I can't find it atm.Ok found it: http://pcwalton.github.io/blog/2012/12/26/typestate-is-dead/
But that is for runtime detection, not compile time?