[rust-dev] Bring Back Type State
banderson at mozilla.com
Wed Jun 4 22:14:00 PDT 2014
Thank you for your suggestion, but typestate is not coming back. There
is no room in the complexity budget for another major piece of type
system, and linear types can serve much the same purpose.
On 06/04/2014 10:11 PM, Suminda Dharmasena wrote:
> The initial Type State implementation in Rust was not a great way to
> get about it. Please reconsider adding type state like it has been
> done in the Plaid language.
> Basically you can use traits mechanism to mixin and remove the trait
> when methods marked as having state transitions.
> Plaid: http://www.cs.cmu.edu/~aldrich/plaid/
> Rust-dev mailing list
> Rust-dev at mozilla.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Rust-dev